Trace number 3742505

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB09: bsolo 3.1? 1798.15 1798.9

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K140.opb
MD5SUM59945e7fb6f70b0a7aeb9a0267c89f72
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16660
Total number of constraints16942
Number of constraints which are clauses16802
Number of constraints which are cardinality constraints (but not clauses)140
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint140
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 141
Number of bits of the biggest sum of numbers8
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-3742505-1338786280.opb
0.00/0.00	c File size is 1135416 bytes.
0.05/0.09	c Highest Coefficient sum: 141
0.05/0.09	c Parsing was ok!!
0.05/0.09	c Total parsing time: 0.093 s
0.09/0.10	c Var: 16660 Constr: 16942 16802/140/0 Lit: 108918 Watch. Lit: 50262
0.09/0.10	c Obj. Vars: 0 (0 % of total variables)
7.69/7.73	c Pre-processing Time: 7.735 s
7.69/7.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.69/7.73	c        0  15141    15529   102644    6    47016  141562      0      0 7.74
7.69/7.73	c Switching off lower bounding mode.
1798.04/1798.85	c      100  15141    15632   110781    7    47337  155719    103     12 7.80
1798.04/1798.85	c      250  15141    15793   123417    7    47889  171291    264     31 7.96
1798.04/1798.85	c      475  15141    16046   142751    8    49865  188421    517     57 8.29
1798.04/1798.85	c      813  15141    16410   163721    9    51506  207264    881     92 8.79
1798.04/1798.85	c     1321  15141    16991   209989   12    53811  227991   1462    139 9.48
1798.04/1798.85	c     2084  15141    17913   367657   20    57741  250791   2384    198 10.51
1798.04/1798.85	c     3230  15141    19251   498236   25    63868  275871   3722    266 12.13
1798.04/1798.85	c     4951  15141    21229   712542   33    76389  303459   5700    336 14.73
1798.04/1798.85	c     7535  15141    24168  1122365   46    92201  333805   8639    394 19.11
1798.04/1798.85	c    11414  15141    28693  3201119  111   121749  367186  13164    395 28.89
1798.04/1798.85	c    17236  15141    35414  4879759  137   160513  403905  19885    395 43.54
1798.04/1798.85	c    25973  15141    45455  7414389  163   221198  444296  29926    345 75.08
1798.04/1798.85	c    39083  15141    60369 13975001  231   319671  488726  44840    270 144.61
1798.04/1798.85	c    58754  15141    83217 27142117  326   455144  537599  67688    203 288.07
1798.04/1798.85	c    88266  15141   118307 72559297  613   644952  591359 102778    128 689.22
1798.04/1798.85	c   132538  15141   172074 123239542  716   958325  650495 156545     90 1464.56
1798.04/1798.85	c Resources Exceeded
1798.04/1798.85	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.04/1798.85	c   16   145017  93548  5792021   187296 142525423 171767     80 1798.11
1798.04/1798.85	s UNKNOWN
1798.04/1798.85	c Total time: 1798.11 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-3742505-1338786280/watcher-3742505-1338786280 -o /tmp/evaluation-result-3742505-1338786280/solver-3742505-1338786280 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742505-1338786280.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.04 2.01 2.00 3/178 28503
/proc/meminfo: memFree=28061484/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=20136 CPUtime=0 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 388 0 0 0 0 0 0 0 20 0 1 0 344752754 20619264 341 33554432000 134512640 137136520 4292281104 4292279368 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 5034 341 184 641 0 4112 0

[startup+0.056859 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 28503
/proc/meminfo: memFree=28061484/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=14640 CPUtime=0.05 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 1117 0 0 0 5 0 0 0 20 0 1 0 344752754 14991360 1070 33554432000 134512640 137136520 4292281104 4292279632 134517514 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 3660 1071 336 641 0 2738 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14640

[startup+0.100218 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 28503
/proc/meminfo: memFree=28061484/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=16632 CPUtime=0.09 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 2013 0 0 0 9 0 0 0 20 0 1 0 344752754 17031168 1688 33554432000 134512640 137136520 4292281104 4292279784 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 4158 1690 186 641 0 3514 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16632

[startup+0.300186 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 28503
/proc/meminfo: memFree=28061484/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=17160 CPUtime=0.29 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 2120 0 0 0 29 0 0 0 20 0 1 0 344752754 17571840 1795 33554432000 134512640 137136520 4292281104 4292079920 134563476 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 4290 1795 189 641 0 3646 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17160

[startup+0.70018 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 28503
/proc/meminfo: memFree=28061484/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=17160 CPUtime=0.69 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 2121 0 0 0 69 0 0 0 20 0 1 0 344752754 17571840 1796 33554432000 134512640 137136520 4292281104 4292079884 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 4290 1796 189 641 0 3646 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17160

[startup+1.50018 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28504
/proc/meminfo: memFree=28055672/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=17160 CPUtime=1.49 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 2121 0 0 0 149 0 0 0 20 0 1 0 344752754 17571840 1796 33554432000 134512640 137136520 4292281104 4292079480 136502340 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 4290 1796 189 641 0 3646 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17160

[startup+3.10016 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28504
/proc/meminfo: memFree=28054804/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=17160 CPUtime=3.09 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 2122 0 0 0 309 0 0 0 20 0 1 0 344752754 17571840 1797 33554432000 134512640 137136520 4292281104 4292079916 135982512 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 4290 1797 189 641 0 3646 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17160

[startup+6.30018 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28504
/proc/meminfo: memFree=28054068/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=17160 CPUtime=6.28 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 2124 0 0 0 628 0 0 0 20 0 1 0 344752754 17571840 1799 33554432000 134512640 137136520 4292281104 4292079696 134544743 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 4290 1799 189 641 0 3646 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17160

[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 28504
/proc/meminfo: memFree=28045660/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=23332 CPUtime=12.68 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 3857 0 0 0 1248 20 0 0 20 0 1 0 344752754 23891968 3367 33554432000 134512640 137136520 4292281104 4292279744 134606774 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 5833 3367 198 641 0 5189 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23332

[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 28504
/proc/meminfo: memFree=28014164/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=52040 CPUtime=25.48 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 11038 0 0 0 2509 39 0 0 20 0 1 0 344752754 53288960 10548 33554432000 134512640 137136520 4292281104 4292255480 136502385 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 13010 10548 198 641 0 12366 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52040

[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 28504
/proc/meminfo: memFree=27970096/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=89508 CPUtime=51.08 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 20397 0 0 0 5035 73 0 0 20 0 1 0 344752754 91656192 19907 33554432000 134512640 137136520 4292281104 4292280032 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 22377 19907 198 641 0 21733 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89508

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28504
/proc/meminfo: memFree=27884332/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=150456 CPUtime=102.28 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 35647 0 0 0 10126 102 0 0 20 0 1 0 344752754 154066944 35157 33554432000 134512640 137136520 4292281104 4292279872 134576337 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 37614 35157 198 641 0 36970 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 150456

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28504
/proc/meminfo: memFree=27790932/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=218848 CPUtime=162.23 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 52770 0 0 0 16093 130 0 0 20 0 1 0 344752754 224100352 52254 33554432000 134512640 137136520 4292281104 4292280032 134543954 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 54712 52254 198 641 0 54068 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 218848

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28504
/proc/meminfo: memFree=27703912/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=277464 CPUtime=222.18 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 67469 0 0 0 22067 151 0 0 20 0 1 0 344752754 284123136 66907 33554432000 134512640 137136520 4292281104 4292280032 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 69366 66907 198 641 0 68722 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 277464

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28504
/proc/meminfo: memFree=27578452/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=368764 CPUtime=282.12 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 90327 0 0 0 28049 163 0 0 20 0 1 0 344752754 377614336 89724 33554432000 134512640 137136520 4292281104 4292280032 134543942 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 92191 89724 198 641 0 91547 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 368764

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28508
/proc/meminfo: memFree=27503452/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=421432 CPUtime=342.08 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 103551 0 0 0 34027 181 0 0 20 0 1 0 344752754 431546368 102902 33554432000 134512640 137136520 4292281104 4292280032 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 105358 102902 198 641 0 104714 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 421432

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28508
/proc/meminfo: memFree=27393624/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=494100 CPUtime=402.04 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 121761 0 0 0 40011 193 0 0 20 0 1 0 344752754 505958400 121064 33554432000 134512640 137136520 4292281104 4292279744 134606742 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 123525 121064 198 641 0 122881 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 494100

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28508
/proc/meminfo: memFree=27239024/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=618424 CPUtime=461.98 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 152892 0 0 0 45997 201 0 0 20 0 1 0 344752754 633266176 152150 33554432000 134512640 137136520 4292281104 4292280220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 154606 152150 198 641 0 153962 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 618424

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28508
/proc/meminfo: memFree=27098932/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=737404 CPUtime=521.94 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 182755 0 0 0 51986 208 0 0 20 0 1 0 344752754 755101696 181896 33554432000 134512640 137136520 4292281104 4292279872 134573092 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 184351 181896 198 641 0 183707 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 737404

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28508
/proc/meminfo: memFree=26968016/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=831016 CPUtime=581.88 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 206198 0 0 0 57975 213 0 0 20 0 1 0 344752754 850960384 205302 33554432000 134512640 137136520 4292281104 4292280000 134544366 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 207754 205302 198 641 0 207110 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 831016

[startup+642.3 s]

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

/proc/meminfo: memFree=27041040/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1322184 CPUtime=1121.71 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 329086 0 0 0 111886 285 0 0 20 0 1 0 344752754 1353916416 328083 33554432000 134512640 137136520 4292281104 4292280032 134543983 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 330546 328083 198 641 0 329902 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 1322184

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28561
/proc/meminfo: memFree=26938120/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1380580 CPUtime=1181.7 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 343684 0 0 0 117877 293 0 0 20 0 1 0 344752754 1413713920 342681 33554432000 134512640 137136520 4292281104 4292280032 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 345145 342681 198 641 0 344501 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 1380580

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28562
/proc/meminfo: memFree=26856404/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1422940 CPUtime=1241.69 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 354293 0 0 0 123872 297 0 0 20 0 1 0 344752754 1457090560 353290 33554432000 134512640 137136520 4292281104 4292280032 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 355735 353290 198 641 0 355091 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 1422940

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28562
/proc/meminfo: memFree=26762164/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1468556 CPUtime=1301.69 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 365683 0 0 0 129867 302 0 0 20 0 1 0 344752754 1503801344 364680 33554432000 134512640 137136520 4292281104 4292280032 134544396 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 367139 364680 198 641 0 366495 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 1468556

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28562
/proc/meminfo: memFree=26638908/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1502340 CPUtime=1361.67 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 374125 0 0 0 135859 308 0 0 20 0 1 0 344752754 1538396160 373122 33554432000 134512640 137136520 4292281104 4292279872 134573092 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 375585 373122 198 641 0 374941 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 1502340

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28562
/proc/meminfo: memFree=26477956/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1566248 CPUtime=1421.68 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 390117 0 0 0 141854 314 0 0 20 0 1 0 344752754 1603837952 389114 33554432000 134512640 137136520 4292281104 4292279744 134606780 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 391562 389114 198 641 0 390918 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 1566248

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28562
/proc/meminfo: memFree=26295924/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1628428 CPUtime=1481.66 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 405673 0 0 0 147847 319 0 0 20 0 1 0 344752754 1667510272 404670 33554432000 134512640 137136520 4292281104 4292280032 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 407107 404670 198 641 0 406463 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 1628428

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28566
/proc/meminfo: memFree=26139056/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1685096 CPUtime=1541.65 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 419820 0 0 0 153841 324 0 0 20 0 1 0 344752754 1725538304 418817 33554432000 134512640 137136520 4292281104 4292279632 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 421274 418817 198 641 0 420630 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 1685096

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25997332/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1736940 CPUtime=1601.64 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 432775 0 0 0 159836 328 0 0 20 0 1 0 344752754 1778626560 431772 33554432000 134512640 137136520 4292281104 4292280032 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 434235 431772 198 641 0 433591 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 1736940

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25917380/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1780052 CPUtime=1661.63 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 443567 0 0 0 165830 333 0 0 20 0 1 0 344752754 1822773248 442555 33554432000 134512640 137136520 4292281104 4292279696 134616686 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 445013 442555 198 641 0 444369 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1780052

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25829988/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1816908 CPUtime=1721.59 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 452818 0 0 0 171823 336 0 0 20 0 1 0 344752754 1860513792 451771 33554432000 134512640 137136520 4292281104 4292279816 136502195 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 454227 451771 198 641 0 453583 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 1816908

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25738132/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1852680 CPUtime=1781.55 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 461787 0 0 0 177816 339 0 0 20 0 1 0 344752754 1897144320 460707 33554432000 134512640 137136520 4292281104 4292280032 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 463170 460707 198 641 0 462526 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 1852680

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25728692/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1857640 CPUtime=1791.16 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463043 0 0 0 178775 341 0 0 20 0 1 0 344752754 1902223360 461959 33554432000 134512640 137136520 4292281104 4292280032 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 464410 461959 198 641 0 463766 0
Current children cumulated CPU time (s) 1791.16
Current children cumulated vsize (KiB) 1857640

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25726460/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1859140 CPUtime=1794.35 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463437 0 0 0 179094 341 0 0 20 0 1 0 344752754 1903759360 462353 33554432000 134512640 137136520 4292281104 4292280032 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 464785 462353 198 641 0 464141 0
Current children cumulated CPU time (s) 1794.35
Current children cumulated vsize (KiB) 1859140

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25725344/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1859748 CPUtime=1795.95 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463558 0 0 0 179254 341 0 0 20 0 1 0 344752754 1904381952 462474 33554432000 134512640 137136520 4292281104 4292280032 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 464937 462474 198 641 0 464293 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 1859748

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25724724/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1860088 CPUtime=1796.75 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463674 0 0 0 179334 341 0 0 20 0 1 0 344752754 1904730112 462590 33554432000 134512640 137136520 4292281104 4292280024 135982528 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 465022 462590 198 641 0 464378 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 1860088

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25724724/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1860416 CPUtime=1797.54 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463753 0 0 0 179413 341 0 0 20 0 1 0 344752754 1905065984 462664 33554432000 134512640 137136520 4292281104 4292280032 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 465104 462664 198 641 0 464460 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 1860416

[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25723716/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1860688 CPUtime=1797.94 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463804 0 0 0 179453 341 0 0 20 0 1 0 344752754 1905344512 462715 33554432000 134512640 137136520 4292281104 4292280032 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 465172 462715 198 641 0 464528 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1860688

[startup+1798.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25723716/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1860688 CPUtime=1798.04 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463810 0 0 0 179463 341 0 0 20 0 1 0 344752754 1905344512 462721 33554432000 134512640 137136520 4292281104 4292280032 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 465172 462721 198 641 0 464528 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 1860688

Child status: 0
Real time (s): 1798.9
CPU time (s): 1798.15
CPU user time (s): 1794.69
CPU system time (s): 3.45947
CPU usage (%): 99.9585
Max. virtual memory (cumulated for all children) (KiB): 1860688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.69
system time used= 3.45947
maximum resident set size= 1850920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463820
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= 541
involuntary context switches= 1901

runsolver used 4.10038 second user time and 10.3724 second system time

The end

Launcher Data

Begin job on node135 at 2012-06-04 07:04:40
IDJOB=3742505
IDBENCH=90196
IDSOLVER=2320
FILE ID=node135/3742505-1338786280
RUNJOBID= node135-1338771872-27135
PBS_JOBID= 14636817
Free space on /tmp= 70976 MiB

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

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

MD5SUM BENCH= 59945e7fb6f70b0a7aeb9a0267c89f72
RANDOM SEED=1428050207

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28062400 kB
Buffers:          389720 kB
Cached:          2721264 kB
SwapCached:         1672 kB
Active:          2057384 kB
Inactive:        1898960 kB
Active(anon):     835524 kB
Inactive(anon):    12036 kB
Active(file):    1221860 kB
Inactive(file):  1886924 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              5060 kB
Writeback:             0 kB
AnonPages:        814544 kB
Mapped:            11236 kB
Shmem:               132 kB
Slab:             709560 kB
SReclaimable:     151492 kB
SUnreclaim:       558068 kB
KernelStack:        1488 kB
PageTables:         5416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     968624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    636928 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-3742505-1338786280.opb

Free space on /tmp at the end= 70972 MiB
End job on node135 at 2012-06-04 07:34:39