Trace number 3731108

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 NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17? (TO) 1800.11 1800.93

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM0155c0c96434984f6ded6bb7ada20c0c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6548
Best CPU time to get the best result obtained on this benchmark0.591909
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6548
Optimality of the best value was proved YES
Number of variables2655
Total number of constraints146
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint2655
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
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.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 15500 MB
0.00/0.01	c Instance file HOME/instance-3731108-1338682708.opb
0.00/0.01	c File size is 125155 bytes.
0.00/0.02	c Highest Coefficient sum: 489211
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.011 s
0.00/0.02	c Var: 2655 Constr: 291 144/146/1 Lit: 22251 Watch. Lit: 11493
0.00/0.02	c Obj. Vars: 2655 (100 % of total variables)
0.08/0.15	c Pre-processing Time: 0.143 s
0.17/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.17/0.26	c        0   2463      281    21607   76    11161  106824      0      0 0.14
0.17/0.26	c Initial Lower Bound: 6533
0.17/0.26	c Initial Path Cost: 0
1800.08/1800.90	c      102   2463      383    30036   78    11365  117507    102    384 0.27
1800.08/1800.90	c      252   2463      533    54911  103    11665  129258    252    826 0.30
1800.08/1800.90	c      479   2463      760    96197  126    12119  142184    479   1392 0.34
1800.08/1800.90	c      818   2463     1099   172275  156    12797  156403    818   1975 0.41
1800.08/1800.90	c     1326   2463     1607   306421  190    13813  172044   1326   2419 0.55
1800.08/1800.90	c     2089   2463     2370   557465  235    15339  189249   2089   2572 0.81
1800.08/1800.90	c     3236   2463     3517   709616  201    17633  208174   3236   2648 1.22
1800.08/1800.90	c     4958   2463     5239  1311059  250    21077  228992   4958   2510 1.98
1800.08/1800.90	c     7544   2463     7825  2046544  261    26249  251892   7544   2315 3.26
1800.08/1800.90	c    11424   2463    11705  3549233  303    34009  277082  11424   1914 5.97
1800.08/1800.90	c    17246   2463    17527  5644340  322    45653  304791  17246   1736 9.93
1800.08/1800.90	c    25984   2463    26265  8837946  336    63129  335271  25984   1245 20.87
1800.08/1800.90	c    39094   2463    39375 14675028  372    89349  368799  39094    974 40.12
1800.08/1800.90	c    58765   2463    59046 22479381  380   128691  405679  58765    621 94.62
1800.08/1800.90	c    88277   2463    88558 41439544  467   187715  446247  88277    487 181.02
1800.08/1800.90	c   132547   2463   132828 66493448  500   276255  490872 132547    307 430.46
1800.08/1800.90	c   198957   2463   199238 108969045  546   409075  539960 198957    227 873.94
1800.08/1800.90	c Caught signal: 15
1800.08/1800.90	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.90	c   17   292055  35317   933417   292336 163820252 292055    162 1800.09
1800.08/1800.90	s UNKNOWN
1800.08/1800.90	c Total time: 1800.09 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-3731108-1338682708/watcher-3731108-1338682708 -o /tmp/evaluation-result-3731108-1338682708/solver-3731108-1338682708 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3731108-1338682708.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.00 2.00 1.91 4/178 28183
/proc/meminfo: memFree=27841464/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/28183/stat : 28183 (runsolver) D 28181 28183 27204 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 334396169 12095488 50 33554432000 4194304 5436572 140737127602944 140737127599240 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/28183/statm: 2953 50 31 304 0 2645 0

[startup+0.0540161 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 28183
/proc/meminfo: memFree=27841464/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=5488 CPUtime=0.03 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 725 0 0 0 3 0 0 0 20 0 1 0 334396169 5619712 630 33554432000 134512640 135840783 4287259072 4287226316 5403696 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 1372 630 341 325 0 308 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5488

[startup+0.100261 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 28183
/proc/meminfo: memFree=27841464/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=5488 CPUtime=0.08 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 725 0 0 0 8 0 0 0 20 0 1 0 334396169 5619712 630 33554432000 134512640 135840783 4287259072 4287226316 5403696 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 1372 630 341 325 0 308 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5488

[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 28183
/proc/meminfo: memFree=27841464/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=6228 CPUtime=0.27 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 3153 0 0 0 27 0 0 0 20 0 1 0 334396169 6377472 900 33554432000 134512640 135840783 4287259072 4287256096 8762663 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 1557 900 429 325 0 493 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6228

[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 28183
/proc/meminfo: memFree=27841464/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=11540 CPUtime=0.67 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 4476 0 0 0 67 0 0 0 20 0 1 0 334396169 11816960 2223 33554432000 134512640 135840783 4287259072 4287246880 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 2885 2224 429 325 0 1821 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 11540

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28184
/proc/meminfo: memFree=27831660/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=16976 CPUtime=1.48 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 5832 0 0 0 147 1 0 0 20 0 1 0 334396169 17383424 3579 33554432000 134512640 135840783 4287259072 4287252804 8768069 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 4244 3579 429 325 0 3180 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16976

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28184
/proc/meminfo: memFree=27821120/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=31740 CPUtime=3.08 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 9550 0 0 0 306 2 0 0 20 0 1 0 334396169 32501760 7297 33554432000 134512640 135840783 4287259072 4287255328 8762663 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 7935 7297 429 325 0 6871 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31740

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28184
/proc/meminfo: memFree=27794708/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=55240 CPUtime=6.28 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 15403 0 0 0 625 3 0 0 20 0 1 0 334396169 56565760 13150 33554432000 134512640 135840783 4287259072 4287255616 8762663 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 13810 13150 429 325 0 12746 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55240

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28184
/proc/meminfo: memFree=27747828/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=95596 CPUtime=12.67 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 25482 0 0 0 1263 4 0 0 20 0 1 0 334396169 97890304 23229 33554432000 134512640 135840783 4287259072 4287258384 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 23899 23229 429 325 0 22835 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 95596

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28184
/proc/meminfo: memFree=27691400/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=145044 CPUtime=25.47 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 37844 0 0 0 2540 7 0 0 20 0 1 0 334396169 148525056 35591 33554432000 134512640 135840783 4287259072 4287258432 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 36261 35591 429 325 0 35197 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 145044

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28184
/proc/meminfo: memFree=27590044/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=234036 CPUtime=51.07 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 60122 0 0 0 5097 10 0 0 20 0 1 0 334396169 239652864 57869 33554432000 134512640 135840783 4287259072 4287254008 134584977 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 58509 57869 429 325 0 57445 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 234036

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 28187
/proc/meminfo: memFree=27474744/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=325264 CPUtime=102.27 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 82910 0 0 0 10211 16 0 0 20 0 1 0 334396169 333070336 80657 33554432000 134512640 135840783 4287259072 4287258432 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 81316 80657 429 325 0 80252 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 325264

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 28187
/proc/meminfo: memFree=27267476/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=507456 CPUtime=162.26 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 128452 0 0 0 16201 25 0 0 20 0 1 0 334396169 519634944 126199 33554432000 134512640 135840783 4287259072 4287239780 8757220 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 126864 126199 429 325 0 125800 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 507456

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 28188
/proc/meminfo: memFree=27124400/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=626008 CPUtime=222.25 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 158104 0 0 0 22194 31 0 0 20 0 1 0 334396169 641032192 155851 33554432000 134512640 135840783 4287259072 4287258432 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 156502 155851 429 325 0 155438 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 626008

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 28188
/proc/meminfo: memFree=27008368/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=723100 CPUtime=282.23 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 182375 0 0 0 28186 37 0 0 20 0 1 0 334396169 740454400 180122 33554432000 134512640 135840783 4287259072 4287258432 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 180775 180122 429 325 0 179711 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 723100

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 28188
/proc/meminfo: memFree=26916416/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=785908 CPUtime=342.2 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 198091 0 0 0 34178 42 0 0 20 0 1 0 334396169 804769792 195812 33554432000 134512640 135840783 4287259072 4287258432 134550913 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 196477 195812 429 325 0 195413 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 785908

[startup+402.3 s]
/proc/loadavg: 2.09 2.02 1.93 3/179 28188
/proc/meminfo: memFree=26842044/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=838244 CPUtime=402.16 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 211219 0 0 0 40170 46 0 0 20 0 1 0 334396169 858361856 208903 33554432000 134512640 135840783 4287259072 4287240496 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 209561 208903 429 325 0 208497 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 838244

[startup+462.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/179 28188
/proc/meminfo: memFree=26717576/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=932276 CPUtime=462.11 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 234790 0 0 0 46159 52 0 0 20 0 1 0 334396169 954650624 232429 33554432000 134512640 135840783 4287259072 4287258432 134551052 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 233069 232429 429 325 0 232005 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 932276

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 28189
/proc/meminfo: memFree=26617288/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1018016 CPUtime=522.06 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 256253 0 0 0 52149 57 0 0 20 0 1 0 334396169 1042448384 253853 33554432000 134512640 135840783 4287259072 4287258432 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 254504 253853 429 325 0 253440 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 1018016

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/179 28189
/proc/meminfo: memFree=26497904/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1118436 CPUtime=582.03 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 281381 0 0 0 58139 64 0 0 20 0 1 0 334396169 1145278464 278952 33554432000 134512640 135840783 4287259072 4287258432 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 279609 278952 429 325 0 278545 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 1118436

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28193
/proc/meminfo: memFree=26115876/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1419004 CPUtime=881.88 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 356643 0 0 0 88104 84 0 0 20 0 1 0 334396169 1453060096 354107 33554432000 134512640 135840783 4287259072 4287258432 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 354751 354107 429 325 0 353687 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 1419004

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28193
/proc/meminfo: memFree=26045472/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1474472 CPUtime=941.84 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 370540 0 0 0 94095 89 0 0 20 0 1 0 334396169 1509859328 367969 33554432000 134512640 135840783 4287259072 4287258432 134550884 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 368618 367969 429 325 0 367554 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 1474472

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28193
/proc/meminfo: memFree=25973580/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1531864 CPUtime=1001.81 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 384912 0 0 0 100087 94 0 0 20 0 1 0 334396169 1568628736 382316 33554432000 134512640 135840783 4287259072 4287258424 1509548 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 382966 382316 429 325 0 381902 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 1531864

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28193
/proc/meminfo: memFree=25893752/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1598604 CPUtime=1061.78 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 401622 0 0 0 106079 99 0 0 20 0 1 0 334396169 1636970496 399006 33554432000 134512640 135840783 4287259072 4287258432 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 399651 399006 429 325 0 398587 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 1598604

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28194
/proc/meminfo: memFree=25816528/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1659900 CPUtime=1121.75 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 416943 0 0 0 112072 103 0 0 20 0 1 0 334396169 1699737600 414309 33554432000 134512640 135840783 4287259072 4287258432 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 414975 414309 429 325 0 413911 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 1659900

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28194
/proc/meminfo: memFree=25751084/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1710452 CPUtime=1181.71 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 429623 0 0 0 118065 106 0 0 20 0 1 0 334396169 1751502848 426954 33554432000 134512640 135840783 4287259072 4287258432 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 427613 426954 429 325 0 426549 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 1710452

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28194
/proc/meminfo: memFree=25686260/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1757696 CPUtime=1241.68 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 441501 0 0 0 124057 111 0 0 20 0 1 0 334396169 1799880704 438785 33554432000 134512640 135840783 4287259072 4287258432 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 439424 438785 429 325 0 438360 0
Current children cumulated CPU time (s) 1241.68
Current children cumulated vsize (KiB) 1757696

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 28197
/proc/meminfo: memFree=25632588/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1797264 CPUtime=1301.64 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 451421 0 0 0 130050 114 0 0 20 0 1 0 334396169 1840398336 448663 33554432000 134512640 135840783 4287259072 4287258432 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 449316 448663 429 325 0 448252 0
Current children cumulated CPU time (s) 1301.64
Current children cumulated vsize (KiB) 1797264

[startup+1362.3 s]
/proc/loadavg: 1.95 1.98 1.93 3/179 28274
/proc/meminfo: memFree=26322524/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1845840 CPUtime=1361.59 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 463603 0 0 0 136040 119 0 0 20 0 1 0 334396169 1890140160 460801 33554432000 134512640 135840783 4287259072 4287258384 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 461460 460801 429 325 0 460396 0
Current children cumulated CPU time (s) 1361.59
Current children cumulated vsize (KiB) 1845840

[startup+1422.31 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 28275
/proc/meminfo: memFree=26243936/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1883888 CPUtime=1421.56 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 473156 0 0 0 142034 122 0 0 20 0 1 0 334396169 1929101312 470307 33554432000 134512640 135840783 4287259072 4287254128 8762663 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 470972 470307 429 325 0 469908 0
Current children cumulated CPU time (s) 1421.56
Current children cumulated vsize (KiB) 1883888

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 28275
/proc/meminfo: memFree=26175888/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1922328 CPUtime=1481.52 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 482798 0 0 0 148027 125 0 0 20 0 1 0 334396169 1968463872 479919 33554432000 134512640 135840783 4287259072 4287258432 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 480582 479919 429 325 0 479518 0
Current children cumulated CPU time (s) 1481.52
Current children cumulated vsize (KiB) 1922328

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 28275
/proc/meminfo: memFree=26109396/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1961996 CPUtime=1541.52 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 492729 0 0 0 154023 129 0 0 20 0 1 0 334396169 2009083904 489850 33554432000 134512640 135840783 4287259072 4287258432 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 490499 489850 429 325 0 489435 0
Current children cumulated CPU time (s) 1541.52
Current children cumulated vsize (KiB) 1961996

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 28275
/proc/meminfo: memFree=26050868/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=2000080 CPUtime=1601.5 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 502254 0 0 0 160018 132 0 0 20 0 1 0 334396169 2048081920 499375 33554432000 134512640 135840783 4287259072 4287258432 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 500020 499375 429 325 0 498956 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 2000080

[startup+1662.3 s]
/proc/loadavg: 2.09 2.01 1.94 3/179 28275
/proc/meminfo: memFree=25992588/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=2039892 CPUtime=1661.5 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 512193 0 0 0 166015 135 0 0 20 0 1 0 334396169 2088849408 509314 33554432000 134512640 135840783 4287259072 4287258432 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 509973 509314 429 325 0 508909 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 2039892

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 28276
/proc/meminfo: memFree=25929224/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=2080364 CPUtime=1721.49 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 522331 0 0 0 172009 140 0 0 20 0 1 0 334396169 2130292736 519452 33554432000 134512640 135840783 4287259072 4287258432 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 520091 519452 429 325 0 519027 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 2080364

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 28276
/proc/meminfo: memFree=25881360/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=2109332 CPUtime=1781.47 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 529547 0 0 0 178005 142 0 0 20 0 1 0 334396169 2159955968 526668 33554432000 134512640 135840783 4287259072 4287258384 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 527333 526668 429 325 0 526269 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 2109332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 28276
/proc/meminfo: memFree=25864868/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=2119204 CPUtime=1800.08 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 532027 0 0 0 179865 143 0 0 20 0 1 0 334396169 2170064896 529148 33554432000 134512640 135840783 4287259072 4287258432 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 529801 529148 429 325 0 528737 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2119204

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.9 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 28276
/proc/meminfo: memFree=25864868/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=2119204 CPUtime=1800.08 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 532027 0 0 0 179865 143 0 0 20 0 1 0 334396169 2170064896 529148 33554432000 134512640 135840783 4287259072 4287258432 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 529801 529148 429 325 0 528737 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2119204

Child status: 15
Real time (s): 1800.93
CPU time (s): 1800.11
CPU user time (s): 1798.66
CPU system time (s): 1.45578
CPU usage (%): 99.9547
Max. virtual memory (cumulated for all children) (KiB): 2119204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.45578
maximum resident set size= 2116592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532029
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= 701
involuntary context switches= 1882

runsolver used 5.00124 second user time and 7.70283 second system time

The end

Launcher Data

Begin job on node134 at 2012-06-03 02:18:28
IDJOB=3731108
IDBENCH=1851
IDSOLVER=2318
FILE ID=node134/3731108-1338682708
RUNJOBID= node134-1338678625-27223
PBS_JOBID= 14636679
Free space on /tmp= 70352 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731108-1338682708/watcher-3731108-1338682708 -o /tmp/evaluation-result-3731108-1338682708/solver-3731108-1338682708 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3731108-1338682708.opb            

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

MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c
RANDOM SEED=1027861953

node134.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.278
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.55
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.278
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.56
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.278
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		: 2667.278
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.59
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.278
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.55
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.278
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		: 2667.278
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	: 5332.57
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.278
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27841488 kB
Buffers:          463524 kB
Cached:          3300704 kB
SwapCached:           76 kB
Active:          2108160 kB
Inactive:        2029016 kB
Active(anon):     364528 kB
Inactive(anon):    10508 kB
Active(file):    1743632 kB
Inactive(file):  2018508 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:              6620 kB
Writeback:             0 kB
AnonPages:        365620 kB
Mapped:            12476 kB
Shmem:                96 kB
Slab:             754424 kB
SReclaimable:     196288 kB
SUnreclaim:       558136 kB
KernelStack:        1472 kB
PageTables:         4736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     489720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70344 MiB
End job on node134 at 2012-06-03 02:48:31