Trace number 3742531

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.41 1799.19

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K125.opb
MD5SUMd572050902dbd97a5ce685e3ceb3e01a
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 variables14875
Total number of constraints15127
Number of constraints which are clauses15002
Number of constraints which are cardinality constraints (but not clauses)125
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint125
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 126
Number of bits of the biggest sum of numbers7
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-3742531-1338786784.opb
0.00/0.00	c File size is 1005512 bytes.
0.04/0.07	c Highest Coefficient sum: 126
0.04/0.07	c Parsing was ok!!
0.04/0.07	c Total parsing time: 0.078 s
0.04/0.08	c Var: 14875 Constr: 15127 15002/125/0 Lit: 97203 Watch. Lit: 44877
0.04/0.08	c Obj. Vars: 0 (0 % of total variables)
6.38/6.48	c Pre-processing Time: 6.48 s
6.38/6.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.38/6.48	c        0  13371    13729    91034    6    41661  125968      0      0 6.48
6.38/6.48	c Switching off lower bounding mode.
1798.31/1799.17	c      100  13371    13835    99013    7    42102  138565    106     15 6.54
1798.31/1799.17	c      255  13371    13999   117860    8    43230  152422    270     37 6.71
1798.31/1799.17	c      481  13371    14245   148232   10    44112  167665    516     69 6.88
1798.31/1799.17	c      819  13371    14626   179172   12    46462  184432    897    113 7.24
1798.31/1799.17	c     1328  13371    15199   252751   16    49257  202876   1470    171 7.72
1798.31/1799.17	c     2091  13371    16092   370881   23    54785  223164   2363    239 8.73
1798.31/1799.17	c     3237  13371    17385   553435   31    63117  245481   3656    318 10.16
1798.31/1799.17	c     4958  13371    19326   760104   39    73178  270030   5597    391 12.65
1798.31/1799.17	c     7543  13371    22294  1343871   60    91035  297034   8565    444 16.97
1798.31/1799.17	c    11422  13371    26947  2487895   92   116154  326738  13218    481 23.75
1798.31/1799.17	c    17244  13371    33594  3913581  116   159943  359412  19865    452 38.14
1798.31/1799.17	c    25983  13371    43679  9712192  222   232218  395354  29950    307 84.48
1798.31/1799.17	c    39093  13371    59134 22084511  373   340031  434890  45405    215 181.72
1798.31/1799.17	c    58763  13371    82009 31339546  382   465235  478380  68280    194 302.77
1798.31/1799.17	c    88273  13371   117635 68371201  581   666882  526219 103906    117 749.50
1798.31/1799.17	c   132543  13371   171655 125002141  728   953439  578841 157926     81 1618.99
1798.31/1799.17	c Resources Exceeded
1798.31/1799.17	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.31/1799.17	c   16   138148  87332  4243745   178858 138495065 165129     76 1798.39
1798.31/1799.17	s UNKNOWN
1798.31/1799.17	c Total time: 1798.39 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-3742531-1338786784/watcher-3742531-1338786784 -o /tmp/evaluation-result-3742531-1338786784/solver-3742531-1338786784 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742531-1338786784.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.08 2.03 2.00 3/176 32030
/proc/meminfo: memFree=25235364/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=20008 CPUtime=0 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 401 0 0 0 0 0 0 0 20 0 1 0 344803814 20488192 354 33554432000 134512640 137136520 4288276560 4288274912 136575102 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32030/statm: 5002 355 185 641 0 4112 0

[startup+0.045677 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 32030
/proc/meminfo: memFree=25235364/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=14140 CPUtime=0.04 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 1013 0 0 0 4 0 0 0 20 0 1 0 344803814 14479360 966 33554432000 134512640 137136520 4288276560 4288275088 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32030/statm: 3535 967 313 641 0 2645 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14140

[startup+0.100222 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 32030
/proc/meminfo: memFree=25235364/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=16460 CPUtime=0.09 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 1921 0 0 0 9 0 0 0 20 0 1 0 344803814 16855040 1628 33554432000 134512640 137136520 4288276560 4288096748 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32030/statm: 4115 1628 189 641 0 3471 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16460

[startup+0.300181 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 32030
/proc/meminfo: memFree=25235364/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=16460 CPUtime=0.29 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 1922 0 0 0 29 0 0 0 20 0 1 0 344803814 16855040 1629 33554432000 134512640 137136520 4288276560 4288096748 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32030/statm: 4115 1629 189 641 0 3471 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16460

[startup+0.700184 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 32030
/proc/meminfo: memFree=25235364/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=16460 CPUtime=0.69 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 1924 0 0 0 69 0 0 0 20 0 1 0 344803814 16855040 1631 33554432000 134512640 137136520 4288276560 4288096748 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32030/statm: 4115 1631 189 641 0 3471 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16460

[startup+1.50018 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 32031
/proc/meminfo: memFree=25229544/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=16460 CPUtime=1.49 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 1924 0 0 0 149 0 0 0 20 0 1 0 344803814 16855040 1631 33554432000 134512640 137136520 4288276560 4288096748 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32030/statm: 4115 1631 189 641 0 3471 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16460

[startup+3.10018 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 32031
/proc/meminfo: memFree=25228860/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=16460 CPUtime=3.09 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 1925 0 0 0 309 0 0 0 20 0 1 0 344803814 16855040 1632 33554432000 134512640 137136520 4288276560 4288096748 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32030/statm: 4115 1632 189 641 0 3471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16460

[startup+6.30023 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 32031
/proc/meminfo: memFree=25228028/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=16460 CPUtime=6.28 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 1928 0 0 0 628 0 0 0 20 0 1 0 344803814 16855040 1635 33554432000 134512640 137136520 4288276560 4288096748 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32030/statm: 4115 1635 189 641 0 3471 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16460

[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 32031
/proc/meminfo: memFree=25218380/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=26144 CPUtime=12.69 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 4507 0 0 0 1250 19 0 0 20 0 1 0 344803814 26771456 4096 33554432000 134512640 137136520 4288276560 4288275488 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 6536 4096 198 641 0 5892 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26144

[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 32031
/proc/meminfo: memFree=25185884/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=52840 CPUtime=25.48 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 11154 0 0 0 2515 33 0 0 20 0 1 0 344803814 54108160 10743 33554432000 134512640 137136520 4288276560 4288275156 136500517 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 13210 10743 198 641 0 12566 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52840

[startup+51.1002 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 32031
/proc/meminfo: memFree=25141400/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=86692 CPUtime=51.08 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 19650 0 0 0 5058 50 0 0 20 0 1 0 344803814 88772608 19239 33554432000 134512640 137136520 4288276560 4288275152 134616694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 21673 19239 198 641 0 21029 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86692

[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 32032
/proc/meminfo: memFree=25017320/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=178492 CPUtime=102.28 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 42595 0 0 0 10161 67 0 0 20 0 1 0 344803814 182775808 42184 33554432000 134512640 137136520 4288276560 4288275056 136498308 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 44623 42184 198 641 0 43979 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 178492

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32032
/proc/meminfo: memFree=24883996/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=278580 CPUtime=162.25 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 67617 0 0 0 16147 78 0 0 20 0 1 0 344803814 285265920 67207 33554432000 134512640 137136520 4288276560 4288275088 134600223 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 69645 67207 198 641 0 69001 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 278580

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32032
/proc/meminfo: memFree=24771660/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=345848 CPUtime=222.19 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 84510 0 0 0 22121 98 0 0 20 0 1 0 344803814 354148352 84052 33554432000 134512640 137136520 4288276560 4288275676 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 86462 84052 198 641 0 85818 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 345848

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32032
/proc/meminfo: memFree=24668328/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=403580 CPUtime=282.15 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 98987 0 0 0 28097 118 0 0 20 0 1 0 344803814 413265920 98481 33554432000 134512640 137136520 4288276560 4288275420 136518911 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 100895 98481 198 641 0 100251 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 403580

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32032
/proc/meminfo: memFree=24586032/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=460604 CPUtime=342.1 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 113294 0 0 0 34076 134 0 0 20 0 1 0 344803814 471658496 112741 33554432000 134512640 137136520 4288276560 4288275088 134600223 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 115151 112741 198 641 0 114507 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 460604

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 32033
/proc/meminfo: memFree=24517516/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=509492 CPUtime=402.06 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 125535 0 0 0 40061 145 0 0 20 0 1 0 344803814 521719808 124935 33554432000 134512640 137136520 4288276560 4288275328 134571152 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 127373 124935 198 641 0 126729 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 509492

[startup+462.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 32036
/proc/meminfo: memFree=24415132/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=591560 CPUtime=462.02 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 146103 0 0 0 46049 153 0 0 20 0 1 0 344803814 605757440 145459 33554432000 134512640 137136520 4288276560 4288275488 134544112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 147890 145459 198 641 0 147246 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 591560

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 32036
/proc/meminfo: memFree=24322420/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=666520 CPUtime=521.98 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 164877 0 0 0 52038 160 0 0 20 0 1 0 344803814 682516480 164192 33554432000 134512640 137136520 4288276560 4288275088 134600223 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 166630 164192 198 641 0 165986 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 666520

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32036
/proc/meminfo: memFree=24221140/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=739060 CPUtime=581.96 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 183090 0 0 0 58028 168 0 0 20 0 1 0 344803814 756797440 182335 33554432000 134512640 137136520 4288276560 4288275488 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 184765 182335 198 641 0 184121 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 739060

[startup+642.3 s]

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

/proc/meminfo: memFree=24504632/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1203672 CPUtime=1061.87 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 299465 0 0 0 105966 221 0 0 20 0 1 0 344803814 1232560128 298507 33554432000 134512640 137136520 4288276560 4288275488 134544157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 300918 298507 198 641 0 300274 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 1203672

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32089
/proc/meminfo: memFree=24422468/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1238968 CPUtime=1121.84 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 308305 0 0 0 111958 226 0 0 20 0 1 0 344803814 1268703232 307310 33554432000 134512640 137136520 4288276560 4288275488 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 309742 307310 198 641 0 309098 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1238968

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32089
/proc/meminfo: memFree=24342812/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1276604 CPUtime=1181.8 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 317745 0 0 0 117949 231 0 0 20 0 1 0 344803814 1307242496 316713 33554432000 134512640 137136520 4288276560 4288275676 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 319151 316713 198 641 0 318507 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 1276604

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32089
/proc/meminfo: memFree=24266092/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1312408 CPUtime=1241.76 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 326771 0 0 0 123938 238 0 0 20 0 1 0 344803814 1343905792 325696 33554432000 134512640 137136520 4288276560 4288275488 134543933 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 328102 325696 198 641 0 327458 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 1312408

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32089
/proc/meminfo: memFree=24180188/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1352396 CPUtime=1301.73 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 336800 0 0 0 129929 244 0 0 20 0 1 0 344803814 1384853504 335690 33554432000 134512640 137136520 4288276560 4288275488 134543971 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 338099 335690 198 641 0 337455 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 1352396

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32090
/proc/meminfo: memFree=24092704/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1406548 CPUtime=1361.69 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 350348 0 0 0 135919 250 0 0 20 0 1 0 344803814 1440305152 349207 33554432000 134512640 137136520 4288276560 4288275676 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 351637 349207 198 641 0 350993 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 1406548

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 32090
/proc/meminfo: memFree=24016472/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1446964 CPUtime=1421.65 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 360512 0 0 0 141910 255 0 0 20 0 1 0 344803814 1481691136 359326 33554432000 134512640 137136520 4288276560 4288275488 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 361741 359326 198 641 0 361097 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 1446964

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32090
/proc/meminfo: memFree=23917112/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1508300 CPUtime=1481.6 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 375877 0 0 0 147900 260 0 0 20 0 1 0 344803814 1544499200 374646 33554432000 134512640 137136520 4288276560 4288275676 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 377075 374646 198 641 0 376431 0
Current children cumulated CPU time (s) 1481.6
Current children cumulated vsize (KiB) 1508300

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32090
/proc/meminfo: memFree=23819924/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1566232 CPUtime=1541.56 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 390390 0 0 0 153892 264 0 0 20 0 1 0 344803814 1603821568 389120 33554432000 134512640 137136520 4288276560 4288275152 134616694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 391558 389120 198 641 0 390914 0
Current children cumulated CPU time (s) 1541.56
Current children cumulated vsize (KiB) 1566232

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32090
/proc/meminfo: memFree=23733040/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1619304 CPUtime=1601.54 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 403702 0 0 0 159885 269 0 0 20 0 1 0 344803814 1658167296 402399 33554432000 134512640 137136520 4288276560 4288275488 134544145 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 404826 402399 198 641 0 404182 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 1619304

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32094
/proc/meminfo: memFree=23648392/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1670308 CPUtime=1661.52 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 416457 0 0 0 165878 274 0 0 20 0 1 0 344803814 1710395392 415154 33554432000 134512640 137136520 4288276560 4288275488 134544145 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 417577 415154 198 641 0 416933 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 1670308

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32094
/proc/meminfo: memFree=23569812/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1726620 CPUtime=1721.51 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 430525 0 0 0 171873 278 0 0 20 0 1 0 344803814 1768058880 429222 33554432000 134512640 137136520 4288276560 4288275488 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 431655 429222 198 641 0 431011 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 1726620

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32094
/proc/meminfo: memFree=23478328/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1784552 CPUtime=1781.51 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 445007 0 0 0 177867 284 0 0 20 0 1 0 344803814 1827381248 443704 33554432000 134512640 137136520 4288276560 4288275676 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 446138 443704 198 641 0 445494 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 1784552

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 32094
/proc/meminfo: memFree=23458472/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1799256 CPUtime=1791.11 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 448691 0 0 0 178827 284 0 0 20 0 1 0 344803814 1842438144 447388 33554432000 134512640 137136520 4288276560 4288275152 134616694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 449814 447388 198 641 0 449170 0
Current children cumulated CPU time (s) 1791.11
Current children cumulated vsize (KiB) 1799256

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32094
/proc/meminfo: memFree=23451388/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1803872 CPUtime=1794.32 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 449850 0 0 0 179147 285 0 0 20 0 1 0 344803814 1847164928 448547 33554432000 134512640 137136520 4288276560 4288275488 134544162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 450968 448547 198 641 0 450324 0
Current children cumulated CPU time (s) 1794.32
Current children cumulated vsize (KiB) 1803872

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32094
/proc/meminfo: memFree=23450520/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1804584 CPUtime=1795.91 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 450038 0 0 0 179306 285 0 0 20 0 1 0 344803814 1847894016 448735 33554432000 134512640 137136520 4288276560 4288275456 134544135 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 451146 448735 198 641 0 450502 0
Current children cumulated CPU time (s) 1795.91
Current children cumulated vsize (KiB) 1804584

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32094
/proc/meminfo: memFree=23449652/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1806408 CPUtime=1797.51 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 450467 0 0 0 179466 285 0 0 20 0 1 0 344803814 1849761792 449164 33554432000 134512640 137136520 4288276560 4288275152 134616694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 451602 449164 198 641 0 450958 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 1806408

[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32094
/proc/meminfo: memFree=23447916/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1807288 CPUtime=1797.91 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 450687 0 0 0 179506 285 0 0 20 0 1 0 344803814 1850662912 449384 33554432000 134512640 137136520 4288276560 4288275488 134543974 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 451822 449384 198 641 0 451178 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 1807288

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32094
/proc/meminfo: memFree=23447916/32873648 swapFree=6864/6864
[pid=32030] ppid=32028 vsize=1807428 CPUtime=1798.31 cores=1,3,5,7
/proc/32030/stat : 32030 (bsolo) R 32028 32030 30743 0 -1 4202496 450723 0 0 0 179546 285 0 0 20 0 1 0 344803814 1850806272 449420 33554432000 134512640 137136520 4288276560 4288275152 134616694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32030/statm: 451857 449420 198 641 0 451213 0
Current children cumulated CPU time (s) 1798.31
Current children cumulated vsize (KiB) 1807428

Child status: 0
Real time (s): 1799.19
CPU time (s): 1798.41
CPU user time (s): 1795.53
CPU system time (s): 2.87156
CPU usage (%): 99.9564
Max. virtual memory (cumulated for all children) (KiB): 1807428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.53
system time used= 2.87156
maximum resident set size= 1797804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450755
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= 685
involuntary context switches= 2493

runsolver used 2.97755 second user time and 9.06362 second system time

The end

Launcher Data 

Begin job on node125 at 2012-06-04 07:13:04
IDJOB=3742531
IDBENCH=90201
IDSOLVER=2320
FILE ID=node125/3742531-1338786784
RUNJOBID= node125-1338773007-30760
PBS_JOBID= 14636823
Free space on /tmp= 70436 MiB

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

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

MD5SUM BENCH= d572050902dbd97a5ce685e3ceb3e01a
RANDOM SEED=1850487067

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
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.373
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		: 2666.373
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:        25235636 kB
Buffers:          617172 kB
Cached:          5115028 kB
SwapCached:         2308 kB
Active:          3505608 kB
Inactive:        3220548 kB
Active(anon):     984832 kB
Inactive(anon):     9240 kB
Active(file):    2520776 kB
Inactive(file):  3211308 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102524 kB
Dirty:              4664 kB
Writeback:             0 kB
AnonPages:       1111460 kB
Mapped:            15052 kB
Shmem:                96 kB
Slab:             769116 kB
SReclaimable:     213052 kB
SUnreclaim:       556064 kB
KernelStack:        1472 kB
PageTables:         5716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1117332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    954368 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-3742531-1338786784.opb

Free space on /tmp at the end= 70436 MiB
End job on node125 at 2012-06-04 07:43:03