Trace number 3741026

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-120.opb
MD5SUM7b80ddfff13fd2a12f867bbe09bf6414
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 variables48411
Total number of constraints1121517
Number of constraints which are clauses1007723
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint2
Maximum length of a constraint690
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3741026-1338766346.opb
0.00/0.00	c File size is 50888302 bytes.
3.59/3.65	c Highest Coefficient sum: 691
3.59/3.65	c Parsing was ok!!
3.59/3.65	c Total parsing time: 3.655 s
3.79/3.85	c Var: 48411 Constr: 1123290 1009495/3524/110271 Lit: 4338973 Watch. Lit: 2266060
3.79/3.85	c Obj. Vars: 0 (0 % of total variables)
183.04/183.12	c Pre-processing Time: 183.073 s
183.04/183.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.04/183.14	c        0  48411  1107514  4260094    3  2344779  500000      0      0 183.07
183.04/183.14	c Switching off lower bounding mode.
1797.94/1798.57	c      100  48411  1107684  4281536    3  2331304  550001    170      0 183.53
1797.94/1798.57	c      250  48411  1107983  4293579    3  2330806  605002    469      1 183.92
1797.94/1798.57	c      476  48411  1108435  4340196    3  2331608  665503    921      2 184.29
1797.94/1798.57	c      814  48411  1109111  4391859    3  2329008  732054   1597      4 185.47
1797.94/1798.57	c     1322  48411  1110127  4507364    4  2328615  805260   2613      7 186.83
1797.94/1798.57	c     2086  48411  1111655  4744498    4  2330826  885787   4141     11 188.86
1797.94/1798.57	c     3232  48411  1113944  5266421    4  2334910  974366   6430     16 191.87
1797.94/1798.57	c     4956  48411  1117391  6138080    5  2341553  500000   9877     25 196.65
1797.94/1798.57	c     7541  48411  1122560  7494763    6  2351705  550001  15046     36 206.31
1797.94/1798.57	c    11420  48411  1130307  9122168    8  2368162  605002  22793     51 223.32
1797.94/1798.57	c    17245  48411  1141950 12097072   10  2391455  665503  34436     71 241.77
1797.94/1798.57	c    25985  48411  1159428 17117851   14  2426529  732054  51914     87 298.60
1797.94/1798.57	c    39096  48411  1185650 24859733   20  2478918  805260  78136     88 442.86
1797.94/1798.57	c    58766  48411  1224990 35103851   28  2556403  885787 117476     99 591.49
1797.94/1798.57	c    88276  48411  1284010 50109651   39  2670768  974366 176496     88 998.46
1797.94/1798.57	c Resources Exceeded
1797.94/1798.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.57	c   15   132046  26787  2240730  1371550 72588448 264036     73 1798.02
1797.94/1798.57	s UNKNOWN
1797.94/1798.57	c Total time: 1798.02 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-3741026-1338766346/watcher-3741026-1338766346 -o /tmp/evaluation-result-3741026-1338766346/solver-3741026-1338766346 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741026-1338766346.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.02 2.01 2.00 3/176 5711
/proc/meminfo: memFree=27607604/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=60628 CPUtime=0 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 342760156 62083072 301 33554432000 134512640 137136520 4288817712 4288815912 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 15157 301 190 641 0 2089 0

[startup+0.028658 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 5711
/proc/meminfo: memFree=27607604/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=61716 CPUtime=0.02 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 696 0 0 0 2 0 0 0 20 0 1 0 342760156 63197184 649 33554432000 134512640 137136520 4288817712 4288815912 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 15429 650 271 641 0 2361 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 61716

[startup+0.100212 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 5711
/proc/meminfo: memFree=27607604/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=65132 CPUtime=0.09 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 1820 0 0 0 9 0 0 0 20 0 1 0 342760156 66695168 1773 33554432000 134512640 137136520 4288817712 4288816120 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 16283 1773 544 641 0 3215 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65132

[startup+0.300198 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 5711
/proc/meminfo: memFree=27607604/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=73728 CPUtime=0.28 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 4680 0 0 0 28 0 0 0 20 0 1 0 342760156 75497472 4633 33554432000 134512640 137136520 4288817712 4288816240 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 18432 4634 1257 641 0 5364 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 73728

[startup+0.700186 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 5711
/proc/meminfo: memFree=27607604/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=90848 CPUtime=0.69 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 10367 0 0 0 68 1 0 0 20 0 1 0 342760156 93028352 10320 33554432000 134512640 137136520 4288817712 4288815912 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 22712 10320 2678 641 0 9644 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90848

[startup+1.50019 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5712
/proc/meminfo: memFree=27564452/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=123120 CPUtime=1.49 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 21348 0 0 0 146 3 0 0 20 0 1 0 342760156 126074880 21261 33554432000 134512640 137136520 4288817712 4288815944 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 30780 21262 5568 641 0 17712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123120

[startup+3.10018 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5712
/proc/meminfo: memFree=27522292/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=181760 CPUtime=3.09 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 41339 0 0 0 303 6 0 0 20 0 1 0 342760156 186122240 41173 33554432000 134512640 137136520 4288817712 4288816240 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 45440 41174 10847 641 0 32372 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 181760

[startup+6.3003 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 5712
/proc/meminfo: memFree=27336720/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=281608 CPUtime=6.29 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 80413 0 0 0 613 16 0 0 20 0 1 0 342760156 288366592 67728 33554432000 134512640 137136520 4288817712 4288235276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 70402 67728 191 641 0 69758 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 281608

[startup+12.7002 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 5712
/proc/meminfo: memFree=27336248/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=281608 CPUtime=12.69 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 80419 0 0 0 1247 22 0 0 20 0 1 0 342760156 288366592 67734 33554432000 134512640 137136520 4288817712 4288235276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 70402 67734 191 641 0 69758 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 281608

[startup+25.5003 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 5712
/proc/meminfo: memFree=27336248/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=281608 CPUtime=25.48 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 80440 0 0 0 2519 29 0 0 20 0 1 0 342760156 288366592 67742 33554432000 134512640 137136520 4288817712 4288235276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 70402 67742 191 641 0 69758 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 281608

[startup+51.1002 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 5712
/proc/meminfo: memFree=27334948/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=281740 CPUtime=51.07 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 80452 0 0 0 5067 40 0 0 20 0 1 0 342760156 288501760 67753 33554432000 134512640 137136520 4288817712 4288235276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 70435 67753 191 641 0 69791 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 281740

[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 5713
/proc/meminfo: memFree=27321352/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=281740 CPUtime=102.27 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 80469 0 0 0 10168 59 0 0 20 0 1 0 342760156 288501760 67768 33554432000 134512640 137136520 4288817712 4288235276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 70435 67768 191 641 0 69791 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 281740

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5713
/proc/meminfo: memFree=27287780/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=281740 CPUtime=162.25 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 80496 0 0 0 16147 78 0 0 20 0 1 0 342760156 288501760 67783 33554432000 134512640 137136520 4288817712 4288235276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 70435 67783 191 641 0 69791 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 281740

[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 5713
/proc/meminfo: memFree=27260556/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=272668 CPUtime=222.24 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 95632 0 0 0 22085 139 0 0 20 0 1 0 342760156 279212032 65725 33554432000 134512640 137136520 4288817712 4288816480 134573554 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 68167 65725 197 641 0 67523 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 272668

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5713
/proc/meminfo: memFree=27165328/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=361844 CPUtime=282.23 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 117927 0 0 0 28073 150 0 0 20 0 1 0 342760156 370528256 88020 33554432000 134512640 137136520 4288817712 4288816640 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 90461 88020 197 641 0 89817 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 361844

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5713
/proc/meminfo: memFree=27112292/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=409716 CPUtime=342.22 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 129895 0 0 0 34067 155 0 0 20 0 1 0 342760156 419549184 99988 33554432000 134512640 137136520 4288817712 4288816640 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 102429 99988 197 641 0 101785 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 409716

[startup+402.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/176 5713
/proc/meminfo: memFree=27066408/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=453100 CPUtime=402.21 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 140741 0 0 0 40063 158 0 0 20 0 1 0 342760156 463974400 110834 33554432000 134512640 137136520 4288817712 4288816632 135982492 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 113275 110834 197 641 0 112631 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 453100

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 5717
/proc/meminfo: memFree=27022848/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=492652 CPUtime=462.2 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 150629 0 0 0 46056 164 0 0 20 0 1 0 342760156 504475648 120722 33554432000 134512640 137136520 4288817712 4288816640 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 123163 120722 197 641 0 122519 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 492652

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5717
/proc/meminfo: memFree=26972120/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=539008 CPUtime=522.19 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 162226 0 0 0 52049 170 0 0 20 0 1 0 342760156 551944192 132311 33554432000 134512640 137136520 4288817712 4288816828 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 134752 132311 197 641 0 134108 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 539008

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5717
/proc/meminfo: memFree=26899980/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=605100 CPUtime=582.14 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 178795 0 0 0 58039 175 0 0 20 0 1 0 342760156 619622400 148834 33554432000 134512640 137136520 4288817712 4288816828 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 151275 148834 197 641 0 150631 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 605100

[startup+642.3 s]

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

/proc/meminfo: memFree=26691200/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=837648 CPUtime=1061.93 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 237127 0 0 0 105981 212 0 0 20 0 1 0 342760156 857751552 206971 33554432000 134512640 137136520 4288817712 4288816640 134544505 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 209412 206971 197 641 0 208768 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 837648

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5818
/proc/meminfo: memFree=26665432/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=862892 CPUtime=1121.92 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 243440 0 0 0 111978 214 0 0 20 0 1 0 342760156 883601408 213284 33554432000 134512640 137136520 4288817712 4288816640 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 215723 213284 197 641 0 215079 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 862892

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5818
/proc/meminfo: memFree=26636172/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=894972 CPUtime=1181.91 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 251457 0 0 0 117974 217 0 0 20 0 1 0 342760156 916451328 221301 33554432000 134512640 137136520 4288817712 4288812680 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 223743 221301 197 641 0 223099 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 894972

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5818
/proc/meminfo: memFree=26574792/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=920320 CPUtime=1241.9 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 257795 0 0 0 123972 218 0 0 20 0 1 0 342760156 942407680 227639 33554432000 134512640 137136520 4288817712 4288816640 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 230080 227639 197 641 0 229436 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 920320

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5818
/proc/meminfo: memFree=26502996/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=938484 CPUtime=1301.9 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 262336 0 0 0 129970 220 0 0 20 0 1 0 342760156 961007616 232180 33554432000 134512640 137136520 4288817712 4288816828 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 234621 232180 197 641 0 233977 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 938484

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5819
/proc/meminfo: memFree=26435100/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=957580 CPUtime=1361.88 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 267113 0 0 0 135967 221 0 0 20 0 1 0 342760156 980561920 236954 33554432000 134512640 137136520 4288817712 4288816640 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 239395 236954 197 641 0 238751 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 957580

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5819
/proc/meminfo: memFree=26380568/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=973964 CPUtime=1421.85 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 271255 0 0 0 141962 223 0 0 20 0 1 0 342760156 997339136 241049 33554432000 134512640 137136520 4288817712 4288816640 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 243491 241049 197 641 0 242847 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 973964

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5819
/proc/meminfo: memFree=26331120/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=993972 CPUtime=1481.81 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 276306 0 0 0 147957 224 0 0 20 0 1 0 342760156 1017827328 246052 33554432000 134512640 137136520 4288817712 4288816640 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 248493 246052 197 641 0 247849 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 993972

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5819
/proc/meminfo: memFree=26260728/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1016048 CPUtime=1541.77 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 281866 0 0 0 153952 225 0 0 20 0 1 0 342760156 1040433152 251578 33554432000 134512640 137136520 4288817712 4288816640 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 254012 251578 197 641 0 253368 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1016048

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5819
/proc/meminfo: memFree=26197768/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1036264 CPUtime=1601.77 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 286912 0 0 0 159950 227 0 0 20 0 1 0 342760156 1061134336 256624 33554432000 134512640 137136520 4288817712 4288816632 135982486 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 259066 256624 197 641 0 258422 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1036264

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5823
/proc/meminfo: memFree=26141700/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1057640 CPUtime=1661.75 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 292257 0 0 0 165947 228 0 0 20 0 1 0 342760156 1083023360 261969 33554432000 134512640 137136520 4288817712 4288816640 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 264410 261969 197 641 0 263766 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1057640

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 5846
/proc/meminfo: memFree=26102312/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1079408 CPUtime=1721.74 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 297699 0 0 0 171945 229 0 0 20 0 1 0 342760156 1105313792 267411 33554432000 134512640 137136520 4288817712 4288816640 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 269852 267411 197 641 0 269208 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1079408

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26052616/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1102544 CPUtime=1781.73 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 303483 0 0 0 177942 231 0 0 20 0 1 0 342760156 1129005056 273195 33554432000 134512640 137136520 4288817712 4288816412 136518911 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 275636 273195 197 641 0 274992 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1102544

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

[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26046276/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1105944 CPUtime=1791.34 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 304333 0 0 0 178903 231 0 0 20 0 1 0 342760156 1132486656 274045 33554432000 134512640 137136520 4288817712 4288816480 134573541 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 276486 274045 197 641 0 275842 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 1105944

[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26044044/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1107120 CPUtime=1794.54 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 304627 0 0 0 179223 231 0 0 20 0 1 0 342760156 1133690880 274339 33554432000 134512640 137136520 4288817712 4288816640 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 276780 274339 197 641 0 276136 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 1107120

[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26043036/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1107988 CPUtime=1796.13 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 304844 0 0 0 179382 231 0 0 20 0 1 0 342760156 1134579712 274556 33554432000 134512640 137136520 4288817712 4288816640 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 276997 274556 197 641 0 276353 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 1107988

[startup+1797.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26042540/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1108376 CPUtime=1796.93 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 304941 0 0 0 179462 231 0 0 20 0 1 0 342760156 1134977024 274653 33554432000 134512640 137136520 4288817712 4288816424 136502216 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 277094 274653 197 641 0 276450 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 1108376

[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26042540/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1108376 CPUtime=1797.73 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 304941 0 0 0 179542 231 0 0 20 0 1 0 342760156 1134977024 274653 33554432000 134512640 137136520 4288817712 4288816640 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 277094 274653 197 641 0 276450 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 1108376

[startup+1798.51 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26041796/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1108376 CPUtime=1797.94 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 304941 0 0 0 179563 231 0 0 20 0 1 0 342760156 1134977024 274653 33554432000 134512640 137136520 4288817712 4288816640 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 277094 274653 197 641 0 276450 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1108376

Child status: 0
Real time (s): 1798.59
CPU time (s): 1798.03
CPU user time (s): 1795.7
CPU system time (s): 2.32765
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1108376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.7
system time used= 2.32765
maximum resident set size= 1098612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304942
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= 412
involuntary context switches= 1843

runsolver used 3.36449 second user time and 9.1806 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-04 01:32:27
IDJOB=3741026
IDBENCH=89735
IDSOLVER=2320
FILE ID=node123/3741026-1338766346
RUNJOBID= node123-1338763533-5478
PBS_JOBID= 14636811
Free space on /tmp= 71244 MiB

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

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

MD5SUM BENCH= 7b80ddfff13fd2a12f867bbe09bf6414
RANDOM SEED=848079158

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
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.91
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		: 2667.217
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:       32873648 kB
MemFree:        27608024 kB
Buffers:         1809876 kB
Cached:          2329268 kB
SwapCached:         2268 kB
Active:          2457416 kB
Inactive:        1918564 kB
Active(anon):     229544 kB
Inactive(anon):     5504 kB
Active(file):    2227872 kB
Inactive(file):  1913060 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             53472 kB
Writeback:            16 kB
AnonPages:        238488 kB
Mapped:            11148 kB
Shmem:                 0 kB
Slab:             752008 kB
SReclaimable:     195888 kB
SUnreclaim:       556120 kB
KernelStack:        1456 kB
PageTables:         4544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     358552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3741026-1338766346.opb

Free space on /tmp at the end= 71200 MiB
End job on node123 at 2012-06-04 02:02:26