Trace number 3742349

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.01 1798.66

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K192.opb
MD5SUM83a21ae30c37a390d06f7aafb55d6d81
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 variables22848
Total number of constraints23234
Number of constraints which are clauses23042
Number of constraints which are cardinality constraints (but not clauses)192
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint192
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 193
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-3742349-1338784481.opb
0.00/0.00	c File size is 1585017 bytes.
0.09/0.14	c Highest Coefficient sum: 193
0.09/0.14	c Parsing was ok!!
0.09/0.14	c Total parsing time: 0.138 s
0.09/0.14	c Var: 22848 Constr: 23234 23042/192/0 Lit: 149530 Watch. Lit: 68930
0.09/0.14	c Obj. Vars: 0 (0 % of total variables)
11.49/11.56	c Pre-processing Time: 11.563 s
11.49/11.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.49/11.56	c        0  21277    21769   142892    6    65580  195625      0      0 11.56
11.49/11.56	c Switching off lower bounding mode.
1797.95/1798.64	c      100  21277    21877   154893    7    66364  215188    108      8 11.65
1797.95/1798.64	c      250  21277    22057   167913    7    67523  236707    288     20 11.92
1797.95/1798.64	c      475  21277    22371   191474    8    71255  260378    602     38 12.42
1797.95/1798.64	c      813  21277    22852   223659    9    75539  286416   1083     61 13.26
1797.95/1798.64	c     1321  21277    23537   257271   10    78402  315058   1768     92 14.32
1797.95/1798.64	c     2085  21277    24433   434043   17    83847  346564   2664    135 15.41
1797.95/1798.64	c     3231  21277    25802   525362   20    89667  381221   4033    184 17.53
1797.95/1798.64	c     4952  21277    27827   767230   27   100740  419344   6058    235 21.02
1797.95/1798.64	c     7536  21277    30859  1162843   37   113784  461279   9090    292 25.73
1797.95/1798.64	c    11415  21277    35390  1846945   52   136842  507407  13621    330 34.52
1797.95/1798.64	c    17237  21277    42292  2836064   67   172557  558148  20523    341 50.48
1797.95/1798.64	c    25974  21277    52537  4285923   81   217671  613963  30768    317 81.71
1797.95/1798.64	c    39084  21277    67769  6857837  101   290449  675360  46000    282 138.56
1797.95/1798.64	c    58754  21277    91384 12891289  141   401070  742897  69615    253 231.72
1797.95/1798.64	c    88264  21277   126373 22074995  174   563704  817187 104604    198 443.95
1797.95/1798.64	c   132534  21277   178639 38788123  217   791521  898906 156870    163 811.99
1797.95/1798.64	c   198945  21277   255561 63686978  249  1118357  988797 233792    123 1612.40
1797.95/1798.64	c Resources Exceeded
1797.95/1798.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.64	c   17   211410 151602 26536750   270079 67890562 248310    117 1798.00
1797.95/1798.64	s UNKNOWN
1797.95/1798.64	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-3742349-1338784481/watcher-3742349-1338784481 -o /tmp/evaluation-result-3742349-1338784481/solver-3742349-1338784481 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742349-1338784481.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.07 2.04 2.00 3/178 28369
/proc/meminfo: memFree=28237496/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=20572 CPUtime=0 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 389 0 0 0 0 0 0 0 20 0 1 0 344572857 21065728 343 33554432000 134512640 137136520 4289598928 4289597280 136575102 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28369/statm: 5143 344 184 641 0 4112 0

[startup+0.0940151 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 28369
/proc/meminfo: memFree=28237496/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=16508 CPUtime=0.09 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 1626 0 0 0 9 0 0 0 20 0 1 0 344572857 16904192 1540 33554432000 134512640 137136520 4289598928 4289597336 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28369/statm: 4127 1540 439 641 0 3096 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16508

[startup+0.100209 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 28369
/proc/meminfo: memFree=28237496/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=16776 CPUtime=0.09 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 1683 0 0 0 9 0 0 0 20 0 1 0 344572857 17178624 1597 33554432000 134512640 137136520 4289598928 4289597408 134516160 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28369/statm: 4194 1597 455 641 0 3163 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16776

[startup+0.300228 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 28369
/proc/meminfo: memFree=28237496/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=19660 CPUtime=0.29 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 2848 0 0 0 29 0 0 0 20 0 1 0 344572857 20131840 2375 33554432000 134512640 137136520 4289598928 4289323440 134545045 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28369/statm: 4915 2375 189 641 0 4271 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19660

[startup+0.700176 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 28369
/proc/meminfo: memFree=28237496/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=19660 CPUtime=0.69 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 2848 0 0 0 69 0 0 0 20 0 1 0 344572857 20131840 2375 33554432000 134512640 137136520 4289598928 4289323264 134543884 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28369/statm: 4915 2375 189 641 0 4271 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19660

[startup+1.50019 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 28370
/proc/meminfo: memFree=28228312/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=19660 CPUtime=1.49 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 2849 0 0 0 149 0 0 0 20 0 1 0 344572857 20131840 2376 33554432000 134512640 137136520 4289598928 4289323264 134544402 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28369/statm: 4915 2376 189 641 0 4271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19660

[startup+3.10021 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 28370
/proc/meminfo: memFree=28227684/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=19660 CPUtime=3.08 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 2849 0 0 0 308 0 0 0 20 0 1 0 344572857 20131840 2376 33554432000 134512640 137136520 4289598928 4289323264 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28369/statm: 4915 2376 189 641 0 4271 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19660

[startup+6.3002 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 28370
/proc/meminfo: memFree=28226188/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=19660 CPUtime=6.29 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 2850 0 0 0 628 1 0 0 20 0 1 0 344572857 20131840 2377 33554432000 134512640 137136520 4289598928 4289323264 134544112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28369/statm: 4915 2377 189 641 0 4271 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19660

[startup+12.7002 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 28370
/proc/meminfo: memFree=28220136/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=21508 CPUtime=12.69 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 3596 0 0 0 1259 10 0 0 20 0 1 0 344572857 22024192 2898 33554432000 134512640 137136520 4289598928 4289597696 134576310 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28369/statm: 5377 2898 198 641 0 4733 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21508

[startup+25.5002 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 28370
/proc/meminfo: memFree=28206728/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=34560 CPUtime=25.49 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 6830 0 0 0 2493 56 0 0 20 0 1 0 344572857 35389440 6132 33554432000 134512640 137136520 4289598928 4289597856 134543971 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28369/statm: 8640 6132 198 641 0 7996 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34560

[startup+51.1003 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 28370
/proc/meminfo: memFree=28176192/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=58308 CPUtime=51.08 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 12767 0 0 0 4990 118 0 0 20 0 1 0 344572857 59707392 12069 33554432000 134512640 137136520 4289598928 4289598044 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28369/statm: 14577 12069 198 641 0 13933 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 58308

[startup+102.306 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 28370
/proc/meminfo: memFree=28116716/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=90548 CPUtime=102.26 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 20827 0 0 0 10000 226 0 0 20 0 1 0 344572857 92721152 20129 33554432000 134512640 137136520 4289598928 4289597856 134543957 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28369/statm: 22637 20129 198 641 0 21993 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 90548

[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 28370
/proc/meminfo: memFree=28043212/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=140012 CPUtime=162.24 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 33193 0 0 0 15912 312 0 0 20 0 1 0 344572857 143372288 32495 33554432000 134512640 137136520 4289598928 4289598044 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 35003 32495 198 641 0 34359 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 140012

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 28370
/proc/meminfo: memFree=27966360/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=182712 CPUtime=222.23 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 43868 0 0 0 21847 376 0 0 20 0 1 0 344572857 187097088 43170 33554432000 134512640 137136520 4289598928 4289597544 135982518 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 45678 43170 198 641 0 45034 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 182712

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 28371
/proc/meminfo: memFree=27905752/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=226020 CPUtime=282.23 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 54695 0 0 0 27797 426 0 0 20 0 1 0 344572857 231444480 53997 33554432000 134512640 137136520 4289598928 4289597848 135982492 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 56505 53997 198 641 0 55861 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 226020

[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/180 28374
/proc/meminfo: memFree=27850964/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=258248 CPUtime=342.21 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 62755 0 0 0 33747 474 0 0 20 0 1 0 344572857 264445952 62057 33554432000 134512640 137136520 4289598928 4289598044 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 64562 62057 198 641 0 63918 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 258248

[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 28374
/proc/meminfo: memFree=27789124/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=294636 CPUtime=402.2 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 71849 0 0 0 39699 521 0 0 20 0 1 0 344572857 301707264 71151 33554432000 134512640 137136520 4289598928 4289597696 134571152 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 73659 71151 198 641 0 73015 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 294636

[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 28374
/proc/meminfo: memFree=27738188/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=322460 CPUtime=462.2 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 78809 0 0 0 45656 564 0 0 20 0 1 0 344572857 330199040 78111 33554432000 134512640 137136520 4289598928 4289597856 134544384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 80615 78111 198 641 0 79971 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 322460

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 28374
/proc/meminfo: memFree=27702572/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=342740 CPUtime=522.15 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 83919 0 0 0 51608 607 0 0 20 0 1 0 344572857 350965760 83181 33554432000 134512640 137136520 4289598928 4289597856 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 85685 83181 198 641 0 85041 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 342740

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 28375
/proc/meminfo: memFree=27631796/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=400448 CPUtime=582.09 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 98392 0 0 0 57567 642 0 0 20 0 1 0 344572857 410058752 97608 33554432000 134512640 137136520 4289598928 4289597856 134544256 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 100112 97608 198 641 0 99468 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 400448

[startup+642.3 s]

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

/proc/meminfo: memFree=27936000/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=660276 CPUtime=1121.87 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 163484 0 0 0 111306 881 0 0 20 0 1 0 344572857 676122624 162565 33554432000 134512640 137136520 4289598928 4289597856 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 165069 162565 198 641 0 164425 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 660276

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28427
/proc/meminfo: memFree=27891120/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=684020 CPUtime=1181.85 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 169420 0 0 0 117281 904 0 0 20 0 1 0 344572857 700436480 168501 33554432000 134512640 137136520 4289598928 4289597856 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 171005 168501 198 641 0 170361 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 684020

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28428
/proc/meminfo: memFree=27822616/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=728212 CPUtime=1241.82 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 180491 0 0 0 123257 925 0 0 20 0 1 0 344572857 745689088 179549 33554432000 134512640 137136520 4289598928 4289598044 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 182053 179549 198 641 0 181409 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 728212

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28428
/proc/meminfo: memFree=27771184/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=750456 CPUtime=1301.77 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 186097 0 0 0 129234 943 0 0 20 0 1 0 344572857 768466944 185110 33554432000 134512640 137136520 4289598928 4289597696 134576272 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 187614 185110 198 641 0 186970 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 750456

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 28428
/proc/meminfo: memFree=27721240/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=766324 CPUtime=1361.72 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 190103 0 0 0 135207 965 0 0 20 0 1 0 344572857 784715776 189077 33554432000 134512640 137136520 4289598928 4289597824 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 191581 189077 198 641 0 190937 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 766324

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28428
/proc/meminfo: memFree=27674840/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=786696 CPUtime=1421.71 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 195208 0 0 0 141182 989 0 0 20 0 1 0 344572857 805576704 194170 33554432000 134512640 137136520 4289598928 4289597856 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 196674 194170 198 641 0 196030 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 786696

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28428
/proc/meminfo: memFree=27600068/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=808152 CPUtime=1481.7 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 200572 0 0 0 147162 1008 0 0 20 0 1 0 344572857 827547648 199534 33554432000 134512640 137136520 4289598928 4289597856 134544245 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 202038 199534 198 641 0 201394 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 808152

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28432
/proc/meminfo: memFree=27495780/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=842252 CPUtime=1541.68 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 209097 0 0 0 153143 1025 0 0 20 0 1 0 344572857 862466048 208059 33554432000 134512640 137136520 4289598928 4289597824 134543933 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 210563 208059 198 641 0 209919 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 842252

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28455
/proc/meminfo: memFree=27405536/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=864524 CPUtime=1601.68 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 214666 0 0 0 159126 1042 0 0 20 0 1 0 344572857 885272576 213628 33554432000 134512640 137136520 4289598928 4289597856 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 216131 213628 198 641 0 215487 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 864524

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28455
/proc/meminfo: memFree=27310588/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=880360 CPUtime=1661.66 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 218624 0 0 0 165102 1064 0 0 20 0 1 0 344572857 901488640 217586 33554432000 134512640 137136520 4289598928 4289597856 134543959 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 220090 217586 198 641 0 219446 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 880360

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28455
/proc/meminfo: memFree=27232124/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=894304 CPUtime=1721.65 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 222110 0 0 0 171082 1083 0 0 20 0 1 0 344572857 915767296 221072 33554432000 134512640 137136520 4289598928 4289597684 136500590 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 223576 221072 198 641 0 222932 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 894304

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28455
/proc/meminfo: memFree=27153164/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=921332 CPUtime=1781.65 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 228866 0 0 0 177058 1107 0 0 20 0 1 0 344572857 943443968 227828 33554432000 134512640 137136520 4289598928 4289597856 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 230333 227828 198 641 0 229689 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 921332

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

[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 28455
/proc/meminfo: memFree=27149932/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=922432 CPUtime=1791.26 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 229142 0 0 0 178016 1110 0 0 20 0 1 0 344572857 944570368 228104 33554432000 134512640 137136520 4289598928 4289597856 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 230608 228104 198 641 0 229964 0
Current children cumulated CPU time (s) 1791.26
Current children cumulated vsize (KiB) 922432

[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28456
/proc/meminfo: memFree=27147568/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=922908 CPUtime=1794.46 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 229261 0 0 0 178335 1111 0 0 20 0 1 0 344572857 945057792 228223 33554432000 134512640 137136520 4289598928 4289597856 134543965 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 230727 228223 198 641 0 230083 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (KiB) 922908

[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28456
/proc/meminfo: memFree=27146808/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=923340 CPUtime=1796.05 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 229369 0 0 0 178494 1111 0 0 20 0 1 0 344572857 945500160 228331 33554432000 134512640 137136520 4289598928 4289597856 134543971 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 230835 228331 198 641 0 230191 0
Current children cumulated CPU time (s) 1796.05
Current children cumulated vsize (KiB) 923340

[startup+1797.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28456
/proc/meminfo: memFree=27146436/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=923340 CPUtime=1796.85 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 229372 0 0 0 178574 1111 0 0 20 0 1 0 344572857 945500160 228334 33554432000 134512640 137136520 4289598928 4289597856 134544604 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 230835 228334 198 641 0 230191 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 923340

[startup+1798.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28456
/proc/meminfo: memFree=27146436/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=923340 CPUtime=1797.65 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 229373 0 0 0 178654 1111 0 0 20 0 1 0 344572857 945500160 228335 33554432000 134512640 137136520 4289598928 4289597520 134616694 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 230835 228335 198 641 0 230191 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 923340

[startup+1798.51 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28456
/proc/meminfo: memFree=27146436/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=923540 CPUtime=1797.85 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 229419 0 0 0 178674 1111 0 0 20 0 1 0 344572857 945704960 228381 33554432000 134512640 137136520 4289598928 4289598044 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 230885 228381 198 641 0 230241 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 923540

[startup+1798.6 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28456
/proc/meminfo: memFree=27146436/32873844 swapFree=7620/7620
[pid=28369] ppid=28367 vsize=923540 CPUtime=1797.95 cores=0,2,4,6
/proc/28369/stat : 28369 (bsolo) R 28367 28369 27119 0 -1 4202496 229419 0 0 0 178684 1111 0 0 20 0 1 0 344572857 945704960 228381 33554432000 134512640 137136520 4289598928 4289597856 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28369/statm: 230885 228381 198 641 0 230241 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 923540

Child status: 0
Real time (s): 1798.66
CPU time (s): 1798.01
CPU user time (s): 1786.89
CPU system time (s): 11.1283
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 923540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.89
system time used= 11.1283
maximum resident set size= 913524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229420
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= 344
involuntary context switches= 2224

runsolver used 4.66529 second user time and 9.11961 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-04 06:34:41
IDJOB=3742349
IDBENCH=90163
IDSOLVER=2320
FILE ID=node135/3742349-1338784481
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_K192.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742349-1338784481/watcher-3742349-1338784481 -o /tmp/evaluation-result-3742349-1338784481/solver-3742349-1338784481 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3742349-1338784481.opb

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

MD5SUM BENCH= 83a21ae30c37a390d06f7aafb55d6d81
RANDOM SEED=1599719011

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:        28237520 kB
Buffers:          389524 kB
Cached:          2721312 kB
SwapCached:         1672 kB
Active:          1886360 kB
Inactive:        1898884 kB
Active(anon):     664436 kB
Inactive(anon):    12036 kB
Active(file):    1221924 kB
Inactive(file):  1886848 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              5452 kB
Writeback:             0 kB
AnonPages:        690844 kB
Mapped:            11236 kB
Shmem:               132 kB
Slab:             709604 kB
SReclaimable:     151480 kB
SUnreclaim:       558124 kB
KernelStack:        1488 kB
PageTables:         5032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     795892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 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-3742349-1338784481.opb

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