Trace number 3743453

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opb
MD5SUMa88af6dd0118c2f12fc3d8f44e999a51
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-432
Best CPU time to get the best result obtained on this benchmark780.628
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 512
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 3967
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 61696
Number of bits of the biggest sum of numbers16
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-3743453-1338798760.opb
0.00/0.00	c File size is 28224608 bytes.
3.79/3.86	c Highest Coefficient sum: 61696
3.79/3.86	c Parsing was ok!!
3.79/3.86	c Total parsing time: 3.86 s
4.09/4.15	c Var: 400896 Constr: 402763 400785/1977/1 Lit: 2338937 Watch. Lit: 1260487
4.09/4.15	c Obj. Vars: 892 (0.222502 % of total variables)
183.23/183.34	c Pre-processing Time: 183.286 s
183.23/183.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.23/183.36	c        0 400022   401715  2332359    5  1257351  500000      0      0 183.29
183.23/183.36	c Switching off lower bounding mode.
1797.97/1798.31	c      101 397625   401821  2342359    5  1257828  550001    106      0 189.68
1797.97/1798.31	c      251 397625   401979  2353871    5  1258144  605002    264      1 207.68
1797.97/1798.31	c      476 397625   402226  2431917    6  1258644  665503    511      1 249.98
1797.97/1798.31	c      816 397625   402576  2507040    6  1259645  732054    861      2 287.12
1797.97/1798.31	c     1325 397625   403115  2572152    6  1261295  805260   1400      3 338.45
1797.97/1798.31	c     2088 397625   403895  2687813    6  1264828  885787   2180      4 445.88
1797.97/1798.31	c     3234 397625   405104  3093288    7  1268428  974366   3389      5 622.55
1797.97/1798.31	c     4955 397625   406990  3862158    9  1273337  500000   5275      5 928.30
1797.97/1798.31	c     7539 397625   409849  5122146   12  1279354  550001   8134      5 1318.71
1797.97/1798.31	c Resources Exceeded
1797.97/1798.31	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.31	c    9    10351   6213  1941349   413098  6866901  11383      5 1798.00
1797.97/1798.31	s UNKNOWN
1797.97/1798.31	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-3743453-1338798760/watcher-3743453-1338798760 -o /tmp/evaluation-result-3743453-1338798760/solver-3743453-1338798760 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3743453-1338798760.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.00 2.00 2.00 3/176 1342
/proc/meminfo: memFree=26288640/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=38640 CPUtime=0 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 346004625 39567360 313 33554432000 134512640 137136520 4293129712 4293127928 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 9660 314 184 641 0 2125 0

[startup+0.0272069 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1342
/proc/meminfo: memFree=26288640/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=39912 CPUtime=0.02 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 765 0 0 0 2 0 0 0 20 0 1 0 346004625 40869888 718 33554432000 134512640 137136520 4293129712 4293127912 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 9978 718 254 641 0 2443 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 39912

[startup+0.100219 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1342
/proc/meminfo: memFree=26288640/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=43036 CPUtime=0.09 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 1791 0 0 0 9 0 0 0 20 0 1 0 346004625 44068864 1704 33554432000 134512640 137136520 4293129712 4293127912 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 10759 1704 455 641 0 3224 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43036

[startup+0.300216 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1342
/proc/meminfo: memFree=26288640/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=49732 CPUtime=0.29 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 4074 0 0 0 29 0 0 0 20 0 1 0 346004625 50925568 3859 33554432000 134512640 137136520 4293129712 4293128420 136523248 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 12433 3859 978 641 0 4898 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49732

[startup+0.700302 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1342
/proc/meminfo: memFree=26288640/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=62580 CPUtime=0.69 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 8450 0 0 0 68 1 0 0 20 0 1 0 346004625 64081920 7981 33554432000 134512640 137136520 4293129712 4293128432 134516226 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 15645 7982 1930 641 0 8110 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62580

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1343
/proc/meminfo: memFree=26254424/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=87712 CPUtime=1.49 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 16763 0 0 0 147 2 0 0 20 0 1 0 346004625 89817088 15788 33554432000 134512640 137136520 4293129712 4293128240 134517643 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 21928 15788 3497 641 0 14393 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87712

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1343
/proc/meminfo: memFree=26223088/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=120580 CPUtime=3.09 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 27332 0 0 0 306 3 0 0 20 0 1 0 346004625 123473920 26368 33554432000 134512640 137136520 4293129712 4293128132 136523260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 30145 26368 6063 641 0 22610 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 120580

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1343
/proc/meminfo: memFree=26128520/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=175396 CPUtime=6.29 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 43992 0 0 0 623 6 0 0 20 0 1 0 346004625 179605504 40111 33554432000 134512640 137136520 4293129712 4288317396 136509014 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 43849 40111 189 641 0 43205 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175396

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1343
/proc/meminfo: memFree=26128528/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=175396 CPUtime=12.69 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 43995 0 0 0 1262 7 0 0 20 0 1 0 346004625 179605504 40114 33554432000 134512640 137136520 4293129712 4288317172 136498219 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 43849 40114 189 641 0 43205 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175396

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1343
/proc/meminfo: memFree=26128660/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=175396 CPUtime=25.49 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 43995 0 0 0 2542 7 0 0 20 0 1 0 346004625 179605504 40114 33554432000 134512640 137136520 4293129712 4288317472 134543603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 43849 40114 189 641 0 43205 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175396

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1343
/proc/meminfo: memFree=26128536/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=175396 CPUtime=51.08 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 43995 0 0 0 5100 8 0 0 20 0 1 0 346004625 179605504 40114 33554432000 134512640 137136520 4293129712 4288317172 136498219 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 43849 40114 189 641 0 43205 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175396

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1398
/proc/meminfo: memFree=26242480/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=175528 CPUtime=102.25 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 44031 0 0 0 10217 8 0 0 20 0 1 0 346004625 179740672 40122 33554432000 134512640 137136520 4293129712 4288317472 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 43882 40122 189 641 0 43238 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 175528

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1456
/proc/meminfo: memFree=26212760/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=175528 CPUtime=162.23 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 44044 0 0 0 16214 9 0 0 20 0 1 0 346004625 179740672 41439 33554432000 134512640 137136520 4293129712 4288317172 136498219 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 43882 41439 189 641 0 43238 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 175528

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1456
/proc/meminfo: memFree=26201520/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=183848 CPUtime=222.22 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 446268 0 0 0 22076 146 0 0 20 0 1 0 346004625 188260352 43527 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 45962 43527 198 641 0 45318 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 183848

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1456
/proc/meminfo: memFree=26181296/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=180268 CPUtime=282.22 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 886419 0 0 0 27985 237 0 0 20 0 1 0 346004625 184594432 42663 33554432000 134512640 137136520 4293129712 4293128208 136498219 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 45067 42663 198 641 0 44423 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 180268

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1456
/proc/meminfo: memFree=26152644/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=183404 CPUtime=342.21 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 1547777 0 0 0 33855 366 0 0 20 0 1 0 346004625 187805696 43447 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 45851 43447 198 641 0 45207 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 183404

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1458
/proc/meminfo: memFree=26137756/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=183532 CPUtime=402.2 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 2112042 0 0 0 39739 481 0 0 20 0 1 0 346004625 187936768 43479 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 45883 43479 198 641 0 45239 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 183532

[startup+462.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 1461
/proc/meminfo: memFree=26085972/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=184832 CPUtime=462.18 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 2834472 0 0 0 45589 629 0 0 20 0 1 0 346004625 189267968 43804 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 46208 43804 198 641 0 45564 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 184832

[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 1461
/proc/meminfo: memFree=26054484/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=185516 CPUtime=522.17 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 3389497 0 0 0 51470 747 0 0 20 0 1 0 346004625 189968384 43975 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 46379 43975 198 641 0 45735 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 185516

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 1461
/proc/meminfo: memFree=26048284/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=184384 CPUtime=582.16 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 4030156 0 0 0 57342 874 0 0 20 0 1 0 346004625 188809216 43692 33554432000 134512640 137136520 4293129712 4293128640 134543735 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 46096 43692 198 641 0 45452 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 184384

[startup+642.3 s]

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

/proc/meminfo: memFree=25809212/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=201956 CPUtime=1062.09 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 8158724 0 0 0 104505 1704 0 0 20 0 1 0 346004625 206802944 48085 33554432000 134512640 137136520 4293129712 4293128400 134607060 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 50489 48085 198 641 0 49845 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 201956

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1466
/proc/meminfo: memFree=25746848/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=203024 CPUtime=1122.08 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 8431234 0 0 0 110453 1755 0 0 20 0 1 0 346004625 207896576 48352 33554432000 134512640 137136520 4293129712 4293128272 134615365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 50756 48352 198 641 0 50112 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 203024

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1466
/proc/meminfo: memFree=25697868/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=203156 CPUtime=1182.07 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 8889563 0 0 0 116363 1844 0 0 20 0 1 0 346004625 208031744 48384 33554432000 134512640 137136520 4293129712 4293128480 134573706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 50789 48384 198 641 0 50145 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 203156

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1466
/proc/meminfo: memFree=25646200/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=206920 CPUtime=1242.06 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 9616170 0 0 0 122213 1993 0 0 20 0 1 0 346004625 211886080 49326 33554432000 134512640 137136520 4293129712 4293128304 134616586 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 51730 49326 198 641 0 51086 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 206920

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1467
/proc/meminfo: memFree=25617336/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=211448 CPUtime=1302.06 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 10270309 0 0 0 128078 2128 0 0 20 0 1 0 346004625 216522752 50458 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 52862 50458 198 641 0 52218 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 211448

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1467
/proc/meminfo: memFree=25590084/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=212052 CPUtime=1362.04 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 10845382 0 0 0 133962 2242 0 0 20 0 1 0 346004625 217141248 50600 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 53013 50600 198 641 0 52369 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 212052

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1467
/proc/meminfo: memFree=25556644/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=215384 CPUtime=1422.04 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 11448041 0 0 0 139839 2365 0 0 20 0 1 0 346004625 220553216 51442 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 53846 51442 198 641 0 53202 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 215384

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1467
/proc/meminfo: memFree=25526636/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=218048 CPUtime=1482.02 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 11843647 0 0 0 145758 2444 0 0 20 0 1 0 346004625 223281152 52108 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 54512 52108 198 641 0 53868 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 218048

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1467
/proc/meminfo: memFree=25496728/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=223784 CPUtime=1542.01 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 12187390 0 0 0 151687 2514 0 0 20 0 1 0 346004625 229154816 53510 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 55946 53510 198 641 0 55302 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 223784

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1467
/proc/meminfo: memFree=25474412/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=227936 CPUtime=1602 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 12516279 0 0 0 157618 2582 0 0 20 0 1 0 346004625 233406464 54548 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 56984 54548 198 641 0 56340 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 227936

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1471
/proc/meminfo: memFree=25447116/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=232452 CPUtime=1661.99 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 13158095 0 0 0 163496 2703 0 0 20 0 1 0 346004625 238030848 55677 33554432000 134512640 137136520 4293129712 4293128304 134616822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58113 55677 198 641 0 57469 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 232452

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1493
/proc/meminfo: memFree=25431244/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=232160 CPUtime=1721.98 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 13479025 0 0 0 169433 2765 0 0 20 0 1 0 346004625 237731840 55635 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58040 55635 198 641 0 57396 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 232160

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1493
/proc/meminfo: memFree=25410916/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=234092 CPUtime=1781.97 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 13918894 0 0 0 175350 2847 0 0 20 0 1 0 346004625 239710208 56119 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58523 56119 198 641 0 57879 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 234092

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 1493
/proc/meminfo: memFree=25410668/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=234544 CPUtime=1791.58 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 14008893 0 0 0 176292 2866 0 0 20 0 1 0 346004625 240173056 56200 33554432000 134512640 137136520 4293129712 4293128412 136518894 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58636 56200 198 641 0 57992 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 234544

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1493
/proc/meminfo: memFree=25405832/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=235652 CPUtime=1794.78 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 14052933 0 0 0 176604 2874 0 0 20 0 1 0 346004625 241307648 56477 33554432000 134512640 137136520 4293129712 4293128244 134551698 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58913 56477 198 641 0 58269 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 235652

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1493
/proc/meminfo: memFree=25407072/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=234972 CPUtime=1796.37 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 14068150 0 0 0 176760 2877 0 0 20 0 1 0 346004625 240611328 56307 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58743 56307 198 641 0 58099 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 234972

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1493
/proc/meminfo: memFree=25406824/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=234972 CPUtime=1797.18 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 14077513 0 0 0 176839 2879 0 0 20 0 1 0 346004625 240611328 56307 33554432000 134512640 137136520 4293129712 4293128304 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 58743 56307 198 641 0 58099 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 234972

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1493
/proc/meminfo: memFree=25406824/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=231832 CPUtime=1797.58 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 14078152 0 0 0 176879 2879 0 0 20 0 1 0 346004625 237395968 55522 33554432000 134512640 137136520 4293129712 4293128376 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 57958 55522 198 641 0 57314 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 231832

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1493
/proc/meminfo: memFree=25406824/32873844 swapFree=7116/7116
[pid=1342] ppid=1340 vsize=231836 CPUtime=1797.97 cores=1,3,5,7
/proc/1342/stat : 1342 (bsolo) R 1340 1342 32710 0 -1 4202496 14088307 0 0 0 176917 2880 0 0 20 0 1 0 346004625 237400064 55523 33554432000 134512640 137136520 4293129712 4293128376 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1342/statm: 57959 55523 198 641 0 57315 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 231836

Child status: 0
Real time (s): 1798.33
CPU time (s): 1798.01
CPU user time (s): 1769.2
CPU system time (s): 28.8076
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 236808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.2
system time used= 28.8076
maximum resident set size= 227600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14089092
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= 57
involuntary context switches= 1847

runsolver used 5.75512 second user time and 15.4057 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-04 10:32:40
IDJOB=3743453
IDBENCH=91155
IDSOLVER=2320
FILE ID=node108/3743453-1338798760
RUNJOBID= node108-1338784364-32727
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_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743453-1338798760/watcher-3743453-1338798760 -o /tmp/evaluation-result-3743453-1338798760/solver-3743453-1338798760 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3743453-1338798760.opb

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

MD5SUM BENCH= a88af6dd0118c2f12fc3d8f44e999a51
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:        26289268 kB
Buffers:         1780824 kB
Cached:          3723856 kB
SwapCached:          112 kB
Active:          3641040 kB
Inactive:        2088128 kB
Active(anon):     204996 kB
Inactive(anon):    16220 kB
Active(file):    3436044 kB
Inactive(file):  2071908 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:             31428 kB
Writeback:             0 kB
AnonPages:        227664 kB
Mapped:            15092 kB
Shmem:               172 kB
Slab:             716816 kB
SReclaimable:     158288 kB
SUnreclaim:       558528 kB
KernelStack:        1448 kB
PageTables:         4488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     336700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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-3743453-1338798760.opb

Free space on /tmp at the end= 71420 MiB
End job on node108 at 2012-06-04 11:02:39