Trace number 3742427

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.02 1798.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K181.opb
MD5SUM786bb841dd145412a2aec0a596e79174
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 variables21539
Total number of constraints21903
Number of constraints which are clauses21722
Number of constraints which are cardinality constraints (but not clauses)181
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint181
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 182
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-3742427-1338785487.opb
0.00/0.00	c File size is 1490066 bytes.
0.09/0.12	c Highest Coefficient sum: 182
0.09/0.12	c Parsing was ok!!
0.09/0.12	c Total parsing time: 0.12 s
0.09/0.13	c Var: 21539 Constr: 21903 21722/181/0 Lit: 140939 Watch. Lit: 64981
0.09/0.13	c Obj. Vars: 0 (0 % of total variables)
10.19/10.21	c Pre-processing Time: 10.204 s
10.19/10.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.19/10.21	c        0  19979    20449   134378    6    61653  184189      0      0 10.20
10.19/10.21	c Switching off lower bounding mode.
1797.90/1798.59	c      102  19979    20559   142836    6    62443  202608    110      9 10.27
1797.90/1798.59	c      252  19979    20720   160203    7    63219  222869    271     24 10.37
1797.90/1798.59	c      477  19979    20982   177337    8    64313  245156    533     44 10.65
1797.90/1798.59	c      815  19979    21385   196981    9    65801  269672    936     72 11.24
1797.90/1798.59	c     1323  19979    21971   247615   11    68342  296640   1522    111 11.91
1797.90/1798.59	c     2086  19979    22838   320656   14    75989  326305   2389    156 13.37
1797.90/1798.59	c     3232  19979    24254   444506   18    84590  358936   3805    206 15.62
1797.90/1798.59	c     4953  19979    26289   634751   24    93451  394830   5840    266 18.61
1797.90/1798.59	c     7537  19979    29434   965870   32   109933  434314   8985    318 23.68
1797.90/1798.59	c    11416  19979    34052  1651212   48   137057  477746  13603    363 31.41
1797.90/1798.59	c    17238  19979    40854  2658618   65   173883  525521  20405    385 44.71
1797.90/1798.59	c    25975  19979    51150  4315380   84   231890  578074  30701    365 71.04
1797.90/1798.59	c    39085  19979    66410  6751565  101   297637  635882  45961    322 121.01
1797.90/1798.59	c    58755  19979    89324 11859078  132   400979  699471  68875    269 218.38
1797.90/1798.59	c    88265  19979   123680 21092747  170   549352  769419 103231    233 378.38
1797.90/1798.59	c   132536  19979   175012 36307444  207   768606  846361 154563    167 790.95
1797.90/1798.59	c   198947  19979   252414 69488791  275  1086880  930998 231965    118 1674.38
1797.90/1798.59	c Resources Exceeded
1797.90/1798.59	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1798.59	c   17   205451 147774 21697719   259803 72177136 239354    114 1798.00
1797.90/1798.59	s UNKNOWN
1797.90/1798.59	c Total time: 1798 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742427-1338785487/watcher-3742427-1338785487 -o /tmp/evaluation-result-3742427-1338785487/solver-3742427-1338785487 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742427-1338785487.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7296
/proc/meminfo: memFree=26749300/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=20344 CPUtime=0 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 344674190 20832256 303 33554432000 134512640 137136520 4288934816 4288933080 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 5086 303 180 641 0 4078 0

[startup+0.0688029 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7296
/proc/meminfo: memFree=26749300/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=15692 CPUtime=0.06 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 1370 0 0 0 6 0 0 0 20 0 1 0 344674190 16068608 1284 33554432000 134512640 137136520 4288934816 4288933048 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 3923 1284 375 641 0 2915 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15692

[startup+0.100227 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7296
/proc/meminfo: memFree=26749300/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=16508 CPUtime=0.09 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 1676 0 0 0 9 0 0 0 20 0 1 0 344674190 16904192 1590 33554432000 134512640 137136520 4288934816 4288931656 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 4127 1591 467 641 0 3119 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16508

[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7296
/proc/meminfo: memFree=26749300/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=19132 CPUtime=0.29 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 2709 0 0 0 29 0 0 0 20 0 1 0 344674190 19591168 2259 33554432000 134512640 137136520 4288934816 4288674632 136502148 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 4783 2259 189 641 0 4139 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19132

[startup+0.700185 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7296
/proc/meminfo: memFree=26749300/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=19132 CPUtime=0.69 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 2711 0 0 0 69 0 0 0 20 0 1 0 344674190 19591168 2261 33554432000 134512640 137136520 4288934816 4288675036 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 4783 2261 189 641 0 4139 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19132

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7297
/proc/meminfo: memFree=26739448/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=19132 CPUtime=1.49 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 2711 0 0 0 149 0 0 0 20 0 1 0 344674190 19591168 2261 33554432000 134512640 137136520 4288934816 4288675036 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 4783 2261 189 641 0 4139 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19132

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7297
/proc/meminfo: memFree=26737340/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=19132 CPUtime=3.09 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 2712 0 0 0 309 0 0 0 20 0 1 0 344674190 19591168 2262 33554432000 134512640 137136520 4288934816 4288675036 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 4783 2262 189 641 0 4139 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19132

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7297
/proc/meminfo: memFree=26734736/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=19132 CPUtime=6.29 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 2712 0 0 0 628 1 0 0 20 0 1 0 344674190 19591168 2262 33554432000 134512640 137136520 4288934816 4288674848 134544647 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 4783 2262 189 641 0 4139 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19132

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7297
/proc/meminfo: memFree=26724728/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=21752 CPUtime=12.68 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 3596 0 0 0 1253 15 0 0 20 0 1 0 344674190 22274048 2933 33554432000 134512640 137136520 4288934816 4288933408 134616591 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 5438 2933 198 641 0 4794 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21752

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7297
/proc/meminfo: memFree=26696696/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=35012 CPUtime=25.48 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 6939 0 0 0 2480 68 0 0 20 0 1 0 344674190 35852288 6276 33554432000 134512640 137136520 4288934816 4288933408 134616495 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 8753 6276 198 641 0 8109 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35012

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7297
/proc/meminfo: memFree=26641732/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=62484 CPUtime=51.07 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 13779 0 0 0 4979 128 0 0 20 0 1 0 344674190 63983616 13116 33554432000 134512640 137136520 4288934816 4288933396 136498324 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 15621 13116 198 641 0 14977 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62484

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7297
/proc/meminfo: memFree=26529060/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=99112 CPUtime=102.27 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 22936 0 0 0 10007 220 0 0 20 0 1 0 344674190 101490688 22273 33554432000 134512640 137136520 4288934816 4288933932 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 24778 22273 198 641 0 24134 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 99112

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7297
/proc/meminfo: memFree=26411784/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=141044 CPUtime=162.25 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 33419 0 0 0 15933 292 0 0 20 0 1 0 344674190 144429056 32756 33554432000 134512640 137136520 4288934816 4288933744 134544402 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 35261 32756 198 641 0 34617 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 141044

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7298
/proc/meminfo: memFree=26310256/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=182732 CPUtime=222.23 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 43873 0 0 0 21880 343 0 0 20 0 1 0 344674190 187117568 43210 33554432000 134512640 137136520 4288934816 4288933744 134543865 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 45683 43210 198 641 0 45039 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 182732

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7298
/proc/meminfo: memFree=26214560/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=225468 CPUtime=282.22 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 54554 0 0 0 27833 389 0 0 20 0 1 0 344674190 230879232 53891 33554432000 134512640 137136520 4288934816 4288933744 134544714 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 56367 53891 198 641 0 55723 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 225468

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7298
/proc/meminfo: memFree=26102496/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=277548 CPUtime=342.2 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 67545 0 0 0 33798 422 0 0 20 0 1 0 344674190 284209152 66882 33554432000 134512640 137136520 4288934816 4288933744 134543948 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 69387 66882 198 641 0 68743 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 277548

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7298
/proc/meminfo: memFree=26012500/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=318652 CPUtime=402.19 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 77846 0 0 0 39769 450 0 0 20 0 1 0 344674190 326299648 77183 33554432000 134512640 137136520 4288934816 4288933744 134543865 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 79663 77183 198 641 0 79019 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 318652

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7298
/proc/meminfo: memFree=25912584/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=349696 CPUtime=462.17 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 85591 0 0 0 45736 481 0 0 20 0 1 0 344674190 358088704 84928 33554432000 134512640 137136520 4288934816 4288933348 134551098 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 87424 84928 198 641 0 86780 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 349696

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7302
/proc/meminfo: memFree=25825992/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=380676 CPUtime=522.16 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 93331 0 0 0 51701 515 0 0 20 0 1 0 344674190 389812224 92668 33554432000 134512640 137136520 4288934816 4288933712 134544122 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/7296/statm: 95169 92668 198 641 0 94525 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 380676

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7324
/proc/meminfo: memFree=25726304/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=423324 CPUtime=582.11 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 104042 0 0 0 57667 544 0 0 20 0 1 0 344674190 433483776 103334 33554432000 134512640 137136520 4288934816 4288933528 136503524 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 105831 103334 198 641 0 105187 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 423324

[startup+642.3 s]

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

/proc/meminfo: memFree=26844768/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=668544 CPUtime=1121.88 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 165548 0 0 0 111437 751 0 0 20 0 1 0 344674190 684589056 164653 33554432000 134512640 137136520 4288934816 4288933744 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 167136 164653 198 641 0 166492 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 668544

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7377
/proc/meminfo: memFree=26774300/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=703204 CPUtime=1181.86 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 174213 0 0 0 117413 773 0 0 20 0 1 0 344674190 720080896 173304 33554432000 134512640 137136520 4288934816 4288933744 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 175801 173304 198 641 0 175157 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 703204

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7377
/proc/meminfo: memFree=26723984/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=727484 CPUtime=1241.81 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 180327 0 0 0 123393 788 0 0 20 0 1 0 344674190 744943616 179374 33554432000 134512640 137136520 4288934816 4288933744 134543974 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 181871 179374 198 641 0 181227 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 727484

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7377
/proc/meminfo: memFree=26680128/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=754264 CPUtime=1301.78 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 187064 0 0 0 129376 802 0 0 20 0 1 0 344674190 772366336 186069 33554432000 134512640 137136520 4288934816 4288933744 134544148 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 188566 186069 198 641 0 187922 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 754264

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7377
/proc/meminfo: memFree=26619000/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=780972 CPUtime=1361.76 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 193744 0 0 0 135359 817 0 0 20 0 1 0 344674190 799715328 192746 33554432000 134512640 137136520 4288934816 4288933396 136498241 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 195243 192746 198 641 0 194599 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 780972

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7378
/proc/meminfo: memFree=26558396/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=807616 CPUtime=1421.76 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 200405 0 0 0 141345 831 0 0 20 0 1 0 344674190 826998784 199407 33554432000 134512640 137136520 4288934816 4288933744 134543819 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 201904 199407 198 641 0 201260 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 807616

[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 7378
/proc/meminfo: memFree=26487372/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=848060 CPUtime=1481.74 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 210515 0 0 0 147327 847 0 0 20 0 1 0 344674190 868413440 209517 33554432000 134512640 137136520 4288934816 4288933744 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 212015 209517 198 641 0 211371 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 848060

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 7378
/proc/meminfo: memFree=26424532/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=865636 CPUtime=1541.73 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 214919 0 0 0 153313 860 0 0 20 0 1 0 344674190 886411264 213921 33554432000 134512640 137136520 4288934816 4288933744 134544145 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 216409 213921 198 641 0 215765 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 865636

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7378
/proc/meminfo: memFree=26358596/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=885948 CPUtime=1601.72 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 219988 0 0 0 159299 873 0 0 20 0 1 0 344674190 907210752 218990 33554432000 134512640 137136520 4288934816 4288933744 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 221487 218990 198 641 0 220843 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 885948

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7378
/proc/meminfo: memFree=26286828/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=926588 CPUtime=1661.72 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 230148 0 0 0 165287 885 0 0 20 0 1 0 344674190 948826112 229150 33554432000 134512640 137136520 4288934816 4288933408 134616694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 231647 229150 198 641 0 231003 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 926588

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7382
/proc/meminfo: memFree=26224436/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=956092 CPUtime=1721.71 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 237532 0 0 0 171273 898 0 0 20 0 1 0 344674190 979038208 236534 33554432000 134512640 137136520 4288934816 4288933744 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 239023 236534 198 641 0 238379 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 956092

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7382
/proc/meminfo: memFree=26166104/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=971440 CPUtime=1781.7 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 241378 0 0 0 177258 912 0 0 20 0 1 0 344674190 994754560 240380 33554432000 134512640 137136520 4288934816 4288933932 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 242860 240380 198 641 0 242216 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 971440

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7382
/proc/meminfo: memFree=26152588/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=973300 CPUtime=1791.31 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 241826 0 0 0 178217 914 0 0 20 0 1 0 344674190 996659200 240828 33554432000 134512640 137136520 4288934816 4288933744 134544186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 243325 240828 198 641 0 242681 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 973300

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7382
/proc/meminfo: memFree=26148372/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=974472 CPUtime=1794.5 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 242119 0 0 0 178536 914 0 0 20 0 1 0 344674190 997859328 241121 33554432000 134512640 137136520 4288934816 4288933744 134543959 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 243618 241121 198 641 0 242974 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 974472

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7382
/proc/meminfo: memFree=26145520/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=974472 CPUtime=1796.09 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 242131 0 0 0 178695 914 0 0 20 0 1 0 344674190 997859328 241133 33554432000 134512640 137136520 4288934816 4288933744 134544148 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 243618 241133 198 641 0 242974 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 974472

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7382
/proc/meminfo: memFree=26143908/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=975520 CPUtime=1796.9 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 242381 0 0 0 178775 915 0 0 20 0 1 0 344674190 998932480 241383 33554432000 134512640 137136520 4288934816 4288933744 134543965 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 243880 241383 198 641 0 243236 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 975520

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7382
/proc/meminfo: memFree=26143908/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=975704 CPUtime=1797.7 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 242427 0 0 0 178855 915 0 0 20 0 1 0 344674190 999120896 241429 33554432000 134512640 137136520 4288934816 4288933932 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 243926 241429 198 641 0 243282 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 975704

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7382
/proc/meminfo: memFree=26142668/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=975704 CPUtime=1797.9 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202496 242427 0 0 0 178875 915 0 0 20 0 1 0 344674190 999120896 241429 33554432000 134512640 137136520 4288934816 4288933744 134544408 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 243926 241429 198 641 0 243282 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 975704

[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7382
/proc/meminfo: memFree=26142668/32873648 swapFree=7116/7116
[pid=7296] ppid=7294 vsize=0 CPUtime=1797.99 cores=1,3,5,7
/proc/7296/stat : 7296 (bsolo) R 7294 7296 5461 0 -1 4202500 242428 0 0 0 178884 915 0 0 20 0 1 0 344674190 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.61
CPU time (s): 1798.02
CPU user time (s): 1788.85
CPU system time (s): 9.16961
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 975704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.85
system time used= 9.16961
maximum resident set size= 965716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242428
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= 336
involuntary context switches= 3102

runsolver used 5.51016 second user time and 15.9956 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-04 06:51:27
IDJOB=3742427
IDBENCH=90184
IDSOLVER=2320
FILE ID=node123/3742427-1338785487
RUNJOBID= node123-1338763533-5478
PBS_JOBID= 14636811
Free space on /tmp= 71300 MiB

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

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

MD5SUM BENCH= 786bb841dd145412a2aec0a596e79174
RANDOM SEED=1343837022

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:        26750060 kB
Buffers:         1814276 kB
Cached:          2283208 kB
SwapCached:         2268 kB
Active:          3353724 kB
Inactive:        1876772 kB
Active(anon):    1126148 kB
Inactive(anon):     5504 kB
Active(file):    2227576 kB
Inactive(file):  1871268 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:              5468 kB
Writeback:             0 kB
AnonPages:       1136844 kB
Mapped:            11088 kB
Shmem:                 0 kB
Slab:             750620 kB
SReclaimable:     194844 kB
SUnreclaim:       555776 kB
KernelStack:        1464 kB
PageTables:         6156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1257768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    817152 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-3742427-1338785487.opb

Free space on /tmp at the end= 71296 MiB
End job on node123 at 2012-06-04 07:21:26