Trace number 3743233

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.24 1798.57

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null20mast_rapportOE2.0_TMAX60_K192_cod2.opb
MD5SUM6f3eb6421078a0de6a5b5f585e0aca61
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-5280
Best CPU time to get the best result obtained on this benchmark1781.2
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 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 367542
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 367542
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-3743233-1338795160.opb
0.00/0.00	c File size is 28226022 bytes.
3.79/3.84	c Highest Coefficient sum: 367542
3.79/3.84	c Parsing was ok!!
3.79/3.84	c Total parsing time: 3.841 s
4.09/4.13	c Var: 400896 Constr: 402763 400785/1977/1 Lit: 2338937 Watch. Lit: 1260448
4.09/4.13	c Obj. Vars: 892 (0.222502 % of total variables)
183.22/183.32	c Pre-processing Time: 183.254 s
183.22/183.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.22/183.34	c        0 400061   401859  2333655    5  1258137  500000      0      0 183.25
183.22/183.34	c Switching off lower bounding mode.
1798.17/1798.56	c      100 397645   401960  2362052    5  1258612  550001    101      0 191.57
1798.17/1798.56	c      250 397645   402112  2425745    6  1258916  605002    253      1 211.32
1798.17/1798.56	c      475 397645   402381  2486485    6  1259509  665503    522      2 229.71
1798.17/1798.56	c      814 397645   402816  2666504    6  1260380  732054    957      3 267.85
1798.17/1798.56	c     1322 389080   403373  2805661    6  1261805  805260   1514      3 339.33
1798.17/1798.56	c     2085 389080   404203  3057484    7  1263477  885787   2344      4 495.11
1798.17/1798.56	c     3231 389080   405515  3860495    9  1267065  974366   3656      4 760.23
1798.17/1798.56	c     4952 389080   407475  4658267   11  1271161  500000   5616      4 1051.46
1798.17/1798.56	c     7536 389080   410186  5188114   12  1277168  550001   8327      5 1300.56
1798.17/1798.56	c Resources Exceeded
1798.17/1798.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.17/1798.56	c    9     9989   6806  1910516   412766  6146960  10907      5 1798.24
1798.17/1798.56	s UNKNOWN
1798.17/1798.56	c Total time: 1798.24 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-3743233-1338795160/watcher-3743233-1338795160 -o /tmp/evaluation-result-3743233-1338795160/solver-3743233-1338795160 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3743233-1338795160.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.01 2.00 2.00 3/176 1096
/proc/meminfo: memFree=26208032/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=38644 CPUtime=0 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 345644699 39571456 310 33554432000 134512640 137136520 4288130032 4288128560 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 9661 311 184 641 0 2125 0

[startup+0.0615781 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 1096
/proc/meminfo: memFree=26208032/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=41796 CPUtime=0.05 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 1328 0 0 0 5 0 0 0 20 0 1 0 345644699 42799104 1241 33554432000 134512640 137136520 4288130032 4288128248 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 10449 1241 351 641 0 2913 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 41796

[startup+0.100282 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 1096
/proc/meminfo: memFree=26208032/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=43172 CPUtime=0.09 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 1801 0 0 0 9 0 0 0 20 0 1 0 345644699 44208128 1714 33554432000 134512640 137136520 4288130032 4288128560 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 10793 1714 458 641 0 3257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43172

[startup+0.300266 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 1096
/proc/meminfo: memFree=26208032/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=49868 CPUtime=0.29 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 4086 0 0 0 29 0 0 0 20 0 1 0 345644699 51064832 3871 33554432000 134512640 137136520 4288130032 4288128560 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 12467 3872 984 641 0 4931 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49868

[startup+0.700287 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 1096
/proc/meminfo: memFree=26208032/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=62724 CPUtime=0.69 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 8515 0 0 0 68 1 0 0 20 0 1 0 345644699 64229376 8046 33554432000 134512640 137136520 4288130032 4288128424 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 15681 8047 1944 641 0 8145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62724

[startup+1.50031 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1097
/proc/meminfo: memFree=26177816/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=87992 CPUtime=1.49 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 16869 0 0 0 147 2 0 0 20 0 1 0 345644699 90103808 15894 33554432000 134512640 137136520 4288130032 4288128264 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 21998 15895 3515 641 0 14462 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87992

[startup+3.10028 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1097
/proc/meminfo: memFree=26143836/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=120716 CPUtime=3.09 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 27312 0 0 0 304 5 0 0 20 0 1 0 345644699 123613184 26348 33554432000 134512640 137136520 4288130032 4288128560 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 30179 26348 6086 641 0 22643 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 120716

[startup+6.30033 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 1097
/proc/meminfo: memFree=26049952/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=175400 CPUtime=6.29 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 44446 0 0 0 621 8 0 0 20 0 1 0 345644699 179609600 40053 33554432000 134512640 137136520 4288130032 4283317792 134543603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 43850 40053 189 641 0 43206 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175400

[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 1097
/proc/meminfo: memFree=26049712/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=175400 CPUtime=12.69 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 44448 0 0 0 1261 8 0 0 20 0 1 0 345644699 179609600 40055 33554432000 134512640 137136520 4288130032 4283317932 136500596 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 43850 40055 189 641 0 43206 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175400

[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 1098
/proc/meminfo: memFree=26047992/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=175400 CPUtime=25.48 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 44448 0 0 0 2540 8 0 0 20 0 1 0 345644699 179609600 40055 33554432000 134512640 137136520 4288130032 4283317576 136502185 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 43850 40055 189 641 0 43206 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 175400

[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 1098
/proc/meminfo: memFree=26046512/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=175400 CPUtime=51.08 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 44448 0 0 0 5100 8 0 0 20 0 1 0 345644699 179609600 40055 33554432000 134512640 137136520 4288130032 4283318016 134563134 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 43850 40055 189 641 0 43206 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175400

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1147
/proc/meminfo: memFree=26174756/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=175532 CPUtime=102.26 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 44485 0 0 0 10217 9 0 0 20 0 1 0 345644699 179744768 40063 33554432000 134512640 137136520 4288130032 4283317576 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 43883 40063 189 641 0 43239 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 175532

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1147
/proc/meminfo: memFree=26169044/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=175532 CPUtime=162.22 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 44510 0 0 0 16212 10 0 0 20 0 1 0 345644699 179744768 41264 33554432000 134512640 137136520 4288130032 4283317492 136498324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 43883 41264 189 641 0 43239 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 175532

[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 1147
/proc/meminfo: memFree=26162144/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=180600 CPUtime=222.21 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 611929 0 0 0 22055 166 0 0 20 0 1 0 345644699 184934400 42571 33554432000 134512640 137136520 4288130032 4288128408 136502161 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 45150 42571 198 641 0 44506 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 180600

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1147
/proc/meminfo: memFree=26154716/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=178716 CPUtime=282.2 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 1319697 0 0 0 27908 312 0 0 20 0 1 0 345644699 183005184 42100 33554432000 134512640 137136520 4288130032 4288128540 136698750 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 44679 42100 198 641 0 44035 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 178716

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1148
/proc/meminfo: memFree=26152236/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=185568 CPUtime=342.19 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 1980423 0 0 0 33770 449 0 0 20 0 1 0 345644699 190021632 43781 33554432000 134512640 137136520 4288130032 4288128564 134551221 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 46392 43781 198 641 0 45748 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 185568

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1148
/proc/meminfo: memFree=26142060/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=184052 CPUtime=402.18 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 2465518 0 0 0 39670 548 0 0 20 0 1 0 345644699 188469248 43434 33554432000 134512640 137136520 4288130032 4288128624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 46013 43434 198 641 0 45369 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 184052

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1151
/proc/meminfo: memFree=26135480/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=185808 CPUtime=462.18 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 2896603 0 0 0 45582 636 0 0 20 0 1 0 345644699 190267392 43873 33554432000 134512640 137136520 4288130032 4288128800 134573554 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 46452 43873 198 641 0 45808 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 185808

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1151
/proc/meminfo: memFree=26127904/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=186572 CPUtime=522.17 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 3314031 0 0 0 51490 727 0 0 20 0 1 0 345644699 191049728 44064 33554432000 134512640 137136520 4288130032 4288128624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 46643 44064 198 641 0 45999 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 186572

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1151
/proc/meminfo: memFree=26124308/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=188852 CPUtime=582.15 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 3610658 0 0 0 57428 787 0 0 20 0 1 0 345644699 193384448 44634 33554432000 134512640 137136520 4288130032 4288128624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 47213 44634 198 641 0 46569 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 188852

[startup+642.3 s]

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

/proc/meminfo: memFree=26074392/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=207448 CPUtime=1062.08 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 7159793 0 0 0 104694 1514 0 0 20 0 1 0 345644699 212426752 49250 33554432000 134512640 137136520 4288130032 4288128800 134573541 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 51862 49250 198 641 0 51218 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 207448

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 1156
/proc/meminfo: memFree=26066092/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=208088 CPUtime=1122.08 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 8049689 0 0 0 110539 1669 0 0 20 0 1 0 345644699 213082112 49442 33554432000 134512640 137136520 4288130032 4288128800 134573439 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 52022 49442 198 641 0 51378 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 208088

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1156
/proc/meminfo: memFree=26062052/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=209432 CPUtime=1182.06 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 8624453 0 0 0 116424 1782 0 0 20 0 1 0 345644699 214458368 49781 33554432000 134512640 137136520 4288130032 4288128408 136502204 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 52358 49781 198 641 0 51714 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 209432

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1157
/proc/meminfo: memFree=26063788/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=206076 CPUtime=1242.05 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 9642111 0 0 0 122213 1992 0 0 20 0 1 0 345644699 211021824 48941 33554432000 134512640 137136520 4288130032 4288128960 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 51519 48941 198 641 0 50875 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 206076

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1157
/proc/meminfo: memFree=26054784/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=212844 CPUtime=1302.04 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 10421405 0 0 0 128051 2153 0 0 20 0 1 0 345644699 217952256 50634 33554432000 134512640 137136520 4288130032 4288128624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 53211 50634 198 641 0 52567 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 212844

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1157
/proc/meminfo: memFree=26048212/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=214980 CPUtime=1362.04 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 10677973 0 0 0 133997 2207 0 0 20 0 1 0 345644699 220139520 51136 33554432000 134512640 137136520 4288130032 4288128624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 53745 51136 198 641 0 53101 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 214980

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1157
/proc/meminfo: memFree=26044616/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=215140 CPUtime=1422.04 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 11036072 0 0 0 139925 2279 0 0 20 0 1 0 345644699 220303360 51176 33554432000 134512640 137136520 4288130032 4288128356 136498219 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 53785 51176 198 641 0 53141 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 215140

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1157
/proc/meminfo: memFree=26037604/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=217640 CPUtime=1482.02 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 11791512 0 0 0 145772 2430 0 0 20 0 1 0 345644699 222863360 51801 33554432000 134512640 137136520 4288130032 4288128564 134551575 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 54410 51801 198 641 0 53766 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 217640

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1157
/proc/meminfo: memFree=26034264/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=218364 CPUtime=1542.01 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 12363108 0 0 0 151664 2537 0 0 20 0 1 0 345644699 223604736 51982 33554432000 134512640 137136520 4288130032 4288128624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 54591 51982 198 641 0 53947 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 218364

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1158
/proc/meminfo: memFree=26027600/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=220536 CPUtime=1602 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 12818747 0 0 0 157573 2627 0 0 20 0 1 0 345644699 225828864 52525 33554432000 134512640 137136520 4288130032 4288128408 136502148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 55134 52525 198 641 0 54490 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 220536

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1161
/proc/meminfo: memFree=26019160/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=218460 CPUtime=1661.99 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 13258661 0 0 0 163485 2714 0 0 20 0 1 0 345644699 223703040 52038 33554432000 134512640 137136520 4288130032 4288128956 135982480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 54615 52038 198 641 0 53971 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 218460

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 1184
/proc/meminfo: memFree=26014448/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=223412 CPUtime=1721.98 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 13471411 0 0 0 169439 2759 0 0 20 0 1 0 345644699 228773888 53276 33554432000 134512640 137136520 4288130032 4288128624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 55853 53276 198 641 0 55209 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 223412

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1184
/proc/meminfo: memFree=26009608/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=224836 CPUtime=1781.97 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 13814826 0 0 0 175369 2828 0 0 20 0 1 0 345644699 230232064 53632 33554432000 134512640 137136520 4288130032 4288128800 134573545 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 56209 53632 198 641 0 55565 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 224836

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1184
/proc/meminfo: memFree=26009732/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=225688 CPUtime=1791.57 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 13875045 0 0 0 176317 2840 0 0 20 0 1 0 345644699 231104512 53845 33554432000 134512640 137136520 4288130032 4288128624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 56422 53845 198 641 0 55778 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 225688

[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1184
/proc/meminfo: memFree=26009980/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=225312 CPUtime=1794.77 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 13894065 0 0 0 176633 2844 0 0 20 0 1 0 345644699 230719488 53719 33554432000 134512640 137136520 4288130032 4288128624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 56328 53719 198 641 0 55684 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 225312

[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1184
/proc/meminfo: memFree=26013328/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=225116 CPUtime=1796.37 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 13905402 0 0 0 176790 2847 0 0 20 0 1 0 345644699 230518784 53702 33554432000 134512640 137136520 4288130032 4288128800 134573439 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 56279 53702 198 641 0 55635 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 225116

[startup+1797.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1184
/proc/meminfo: memFree=26009732/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=225580 CPUtime=1797.17 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 13910312 0 0 0 176869 2848 0 0 20 0 1 0 345644699 230993920 53786 33554432000 134512640 137136520 4288130032 4287440624 134607171 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 56395 53786 198 641 0 55751 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 225580

[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1184
/proc/meminfo: memFree=26009732/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=225580 CPUtime=1797.96 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 13915102 0 0 0 176948 2848 0 0 20 0 1 0 345644699 230993920 53786 33554432000 134512640 137136520 4288130032 4288128624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 56395 53786 198 641 0 55751 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 225580

[startup+1798.51 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1184
/proc/meminfo: memFree=26012832/32873844 swapFree=7116/7116
[pid=1096] ppid=1094 vsize=225580 CPUtime=1798.17 cores=1,3,5,7
/proc/1096/stat : 1096 (bsolo) R 1094 1096 32710 0 -1 4202496 13916703 0 0 0 176968 2849 0 0 20 0 1 0 345644699 230993920 53786 33554432000 134512640 137136520 4288130032 4288128800 134573545 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1096/statm: 56395 53786 198 641 0 55751 0
Current children cumulated CPU time (s) 1798.17
Current children cumulated vsize (KiB) 225580

Child status: 0
Real time (s): 1798.57
CPU time (s): 1798.24
CPU user time (s): 1769.75
CPU system time (s): 28.4957
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 227544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.75
system time used= 28.4957
maximum resident set size= 217548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13917305
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= 68
involuntary context switches= 1849

runsolver used 3.2505 second user time and 8.19575 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-04 09:32:41
IDJOB=3743233
IDBENCH=90934
IDSOLVER=2320
FILE ID=node108/3743233-1338795160
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_50null20mast_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-3743233-1338795160/watcher-3743233-1338795160 -o /tmp/evaluation-result-3743233-1338795160/solver-3743233-1338795160 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3743233-1338795160.opb

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

MD5SUM BENCH= 6f3eb6421078a0de6a5b5f585e0aca61
RANDOM SEED=1421342041

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:        26210272 kB
Buffers:         1780508 kB
Cached:          3717220 kB
SwapCached:          112 kB
Active:          3722908 kB
Inactive:        2084796 kB
Active(anon):     291716 kB
Inactive(anon):    14884 kB
Active(file):    3431192 kB
Inactive(file):  2069912 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:             31596 kB
Writeback:             0 kB
AnonPages:        311120 kB
Mapped:            15092 kB
Shmem:               172 kB
Slab:             716872 kB
SReclaimable:     158308 kB
SUnreclaim:       558564 kB
KernelStack:        1448 kB
PageTables:         4580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     421228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 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-3743233-1338795160.opb

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