Trace number 3743581

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.06 1800.61

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null50mast_rapportOE2.0_TMAX120_K67_cod3.opb
MD5SUM38dd16f0c428b8adc46ee6f46f60999d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-12659
Best CPU time to get the best result obtained on this benchmark1801.56
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 28908
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 22450692
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 22450692
Number of bits of the biggest sum of numbers25
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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3743581-1338787271.opb
0.00/0.00	c File size is 2840501 bytes.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.19/0.28	c Highest Coefficient sum: 2.24507e+07
0.19/0.28	c Parsing was ok!!
0.19/0.28	c Total parsing time: 0.283 s
0.28/0.30	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161260
0.28/0.30	c Obj. Vars: 28908 (71.4642 % of total variables)
27.78/27.81	c Pre-processing Time: 27.808 s
1800.05/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.60	c        0  30263    33499   187590    5   137692  622567      0      0 27.81
1800.05/1800.60	c      100  30263    33599   243769    7   137953  684824    100      3 28.12
1800.05/1800.60	c      251  30263    33750   272661    8   138258  753307    251      8 28.48
1800.05/1800.60	c      476  30263    33975   312077    9   138713  828638    476     16 29.18
1800.05/1800.60	c      814  30263    34313   354962   10   139388  911502    814     27 30.03
1800.05/1800.60	c     1323  30263    34822   435945   12   140408  500000   1323     42 31.27
1800.05/1800.60	c     2088  30263    35587   528329   14   141932  550001   2088     61 33.88
1800.05/1800.60	c     3234  30263    36733   749922   20   144228  605002   3234     87 36.97
1800.05/1800.60	c     4956  30263    38455  1092447   28   147669  665503   4956    118 41.77
1800.05/1800.60	c     7540  30263    41039  1461462   35   152837  732054   7540    154 48.79
1800.05/1800.60	c    11419  30263    44918  2192485   48   160597  805260  11419    184 61.73
1800.05/1800.60	c    17241  30263    50740  2938596   57   172241  885787  17241    214 80.30
1800.05/1800.60	c    25980  30263    59479  5117588   86   189718  974366  25980    233 111.50
1800.05/1800.60	c    39091  30263    72590  6781306   93   215940  500000  39091    256 152.19
1800.05/1800.60	c    58761  30263    92260  9739045  105   255283  550001  58761    263 222.84
1800.05/1800.60	c    88274  30263   121773 15581329  127   314301  605002  88274    267 329.61
1800.05/1800.60	c   132544  30263   166043 23963049  144   402842  665503 132544    250 529.02
1800.05/1800.60	c   198954  30263   232453 36731088  158   535663  732054 198954    216 918.74
1800.05/1800.60	c Caught signal: 15
1800.05/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.60	c   17   284092 104731   806332   317591 52974681 284092    157 1800.06
1800.05/1800.60	s UNKNOWN
1800.05/1800.60	c Total time: 1800.06 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-3743581-1338787271/watcher-3743581-1338787271 -o /tmp/evaluation-result-3743581-1338787271/solver-3743581-1338787271 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743581-1338787271.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.03 2.62 2.45 3/176 17632
/proc/meminfo: memFree=30799536/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4194304 158 0 0 0 0 0 0 0 20 0 1 0 344852020 4583424 109 33554432000 134512640 135840783 4291387136 4291386052 9701944 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 1119 124 106 325 0 39 0

[startup+0.100449 s]
/proc/loadavg: 2.03 2.62 2.45 3/176 17632
/proc/meminfo: memFree=30799536/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=11560 CPUtime=0.09 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 1809 0 0 0 9 0 0 0 20 0 1 0 344852020 11837440 1705 33554432000 134512640 135840783 4291387136 4291386128 134525337 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 2890 1705 568 325 0 1132 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11560

[startup+0.200316 s]
/proc/loadavg: 2.03 2.62 2.45 3/176 17632
/proc/meminfo: memFree=30799536/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=14736 CPUtime=0.19 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 2865 0 0 0 19 0 0 0 20 0 1 0 344852020 15089664 2682 33554432000 134512640 135840783 4291387136 4291385824 10212647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 3684 2682 817 325 0 1926 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14736

[startup+0.300315 s]
/proc/loadavg: 2.03 2.62 2.45 3/176 17632
/proc/meminfo: memFree=30799536/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=18904 CPUtime=0.28 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 4721 0 0 0 28 0 0 0 20 0 1 0 344852020 19357696 3844 33554432000 134512640 135840783 4291387136 4291386224 10212647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 4726 3848 338 325 0 3662 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 18904

[startup+0.700232 s]
/proc/loadavg: 2.03 2.62 2.45 3/176 17632
/proc/meminfo: memFree=30799536/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=20584 CPUtime=0.68 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 5225 0 0 0 68 0 0 0 20 0 1 0 344852020 21078016 4291 33554432000 134512640 135840783 4291387136 4290900828 1115184 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 5146 4291 342 325 0 4082 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20584

[startup+1.50026 s]
/proc/loadavg: 2.03 2.62 2.45 3/177 17633
/proc/meminfo: memFree=30780936/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=20716 CPUtime=1.49 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 5256 0 0 0 148 1 0 0 20 0 1 0 344852020 21213184 4322 33554432000 134512640 135840783 4291387136 4290900688 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 5179 4322 342 325 0 4115 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20716

[startup+3.10031 s]
/proc/loadavg: 2.03 2.62 2.45 3/177 17633
/proc/meminfo: memFree=30779592/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=20716 CPUtime=3.09 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 5257 0 0 0 308 1 0 0 20 0 1 0 344852020 21213184 4323 33554432000 134512640 135840783 4291387136 4290900688 134550624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 5179 4323 342 325 0 4115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20716

[startup+6.30023 s]
/proc/loadavg: 2.02 2.60 2.44 3/177 17633
/proc/meminfo: memFree=30777220/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=20716 CPUtime=6.28 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 5257 0 0 0 627 1 0 0 20 0 1 0 344852020 21213184 4323 33554432000 134512640 135840783 4291387136 4290900828 1115184 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 5179 4323 342 325 0 4115 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20716

[startup+12.7003 s]
/proc/loadavg: 2.02 2.59 2.44 3/177 17633
/proc/meminfo: memFree=30775376/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=21376 CPUtime=12.68 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 5418 0 0 0 1267 1 0 0 20 0 1 0 344852020 21889024 4484 33554432000 134512640 135840783 4291387136 4290900828 1115184 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 5344 4484 342 325 0 4280 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21376

[startup+25.5004 s]
/proc/loadavg: 2.02 2.56 2.43 3/177 17633
/proc/meminfo: memFree=30772492/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=21376 CPUtime=25.48 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 5420 0 0 0 2546 2 0 0 20 0 1 0 344852020 21889024 4486 33554432000 134512640 135840783 4291387136 4290900464 10210111 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 5344 4486 342 325 0 4280 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21376

[startup+51.1003 s]
/proc/loadavg: 2.07 2.53 2.43 3/177 17633
/proc/meminfo: memFree=30751628/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=38656 CPUtime=51.08 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 10417 0 0 0 5103 5 0 0 20 0 1 0 344852020 39583744 8808 33554432000 134512640 135840783 4291387136 4291386432 134571839 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 9664 8808 347 325 0 8600 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38656

[startup+102.3 s]
/proc/loadavg: 2.03 2.45 2.40 3/177 17633
/proc/meminfo: memFree=30704800/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=77360 CPUtime=102.28 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 20065 0 0 0 10221 7 0 0 20 0 1 0 344852020 79216640 18456 33554432000 134512640 135840783 4291387136 4291386496 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 19340 18456 347 325 0 18276 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 77360

[startup+162.3 s]
/proc/loadavg: 2.01 2.36 2.37 3/177 17633
/proc/meminfo: memFree=30637388/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=115240 CPUtime=162.24 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 29562 0 0 0 16213 11 0 0 20 0 1 0 344852020 118005760 27929 33554432000 134512640 135840783 4291387136 4291386496 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 28810 27929 347 325 0 27746 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 115240

[startup+222.307 s]
/proc/loadavg: 2.00 2.30 2.35 3/177 17634
/proc/meminfo: memFree=30574632/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=148132 CPUtime=222.2 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 37826 0 0 0 22206 14 0 0 20 0 1 0 344852020 151687168 36177 33554432000 134512640 135840783 4291387136 4291386496 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 37033 36177 347 325 0 35969 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 148132

[startup+282.3 s]
/proc/loadavg: 2.00 2.24 2.32 3/177 17634
/proc/meminfo: memFree=30484360/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=196076 CPUtime=282.19 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 49787 0 0 0 28201 18 0 0 20 0 1 0 344852020 200781824 48138 33554432000 134512640 135840783 4291387136 4291386496 134551347 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 49019 48138 347 325 0 47955 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 196076

[startup+342.3 s]
/proc/loadavg: 2.00 2.19 2.30 3/177 17634
/proc/meminfo: memFree=30396692/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=231456 CPUtime=342.18 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 58645 0 0 0 34197 21 0 0 20 0 1 0 344852020 237010944 56996 33554432000 134512640 135840783 4291387136 4291386496 134551065 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 57864 56996 347 325 0 56800 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 231456

[startup+402.3 s]
/proc/loadavg: 2.00 2.16 2.28 3/177 17634
/proc/meminfo: memFree=30292392/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=269504 CPUtime=402.16 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 68147 0 0 0 40193 23 0 0 20 0 1 0 344852020 275972096 66498 33554432000 134512640 135840783 4291387136 4291386496 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 67376 66498 347 325 0 66312 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 269504

[startup+462.3 s]
/proc/loadavg: 2.00 2.12 2.26 3/177 17634
/proc/meminfo: memFree=30237240/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=304080 CPUtime=462.16 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 76790 0 0 0 46189 27 0 0 20 0 1 0 344852020 311377920 75141 33554432000 134512640 135840783 4291387136 4291386496 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 76020 75141 347 325 0 74956 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 304080

[startup+522.3 s]
/proc/loadavg: 2.00 2.10 2.24 3/176 17634
/proc/meminfo: memFree=30189328/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=333812 CPUtime=522.15 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 84241 0 0 0 52186 29 0 0 20 0 1 0 344852020 341823488 82592 33554432000 134512640 135840783 4291387136 4291386272 10210206 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 83453 82592 347 325 0 82389 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 333812

[startup+582.3 s]
/proc/loadavg: 2.00 2.08 2.22 3/178 17638
/proc/meminfo: memFree=30136736/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=368592 CPUtime=582.14 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 92923 0 0 0 58182 32 0 0 20 0 1 0 344852020 377438208 91274 33554432000 134512640 135840783 4291387136 4291386496 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 92148 91274 347 325 0 91084 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 368592

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.05 2.04 2.16 3/178 17640
/proc/meminfo: memFree=29899776/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=496112 CPUtime=881.97 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 124947 0 0 0 88151 46 0 0 20 0 1 0 344852020 508018688 123158 33554432000 134512640 135840783 4291387136 4291386496 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 124028 123158 347 325 0 122964 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 496112

[startup+942.3 s]
/proc/loadavg: 2.02 2.03 2.15 3/177 17640
/proc/meminfo: memFree=29855020/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=517344 CPUtime=941.96 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 130242 0 0 0 94148 48 0 0 20 0 1 0 344852020 529760256 128453 33554432000 134512640 135840783 4291387136 4291386496 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 129336 128453 347 325 0 128272 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 517344

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.14 3/177 17640
/proc/meminfo: memFree=29818068/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=539896 CPUtime=1001.95 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 135907 0 0 0 100145 50 0 0 20 0 1 0 344852020 552853504 134118 33554432000 134512640 135840783 4291387136 4291386496 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 134974 134118 347 325 0 133910 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 539896

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/177 17640
/proc/meminfo: memFree=29781736/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=559272 CPUtime=1061.94 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 140741 0 0 0 106141 53 0 0 20 0 1 0 344852020 572694528 138952 33554432000 134512640 135840783 4291387136 4291386432 134572591 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 139818 138952 347 325 0 138754 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 559272

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/177 17640
/proc/meminfo: memFree=29755176/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=572648 CPUtime=1121.93 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 144076 0 0 0 112139 54 0 0 20 0 1 0 344852020 586391552 142287 33554432000 134512640 135840783 4291387136 4291386496 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 143162 142287 347 325 0 142098 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 572648

[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.11 3/178 17644
/proc/meminfo: memFree=29728536/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=585764 CPUtime=1181.92 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 147347 0 0 0 118136 56 0 0 20 0 1 0 344852020 599822336 145558 33554432000 134512640 135840783 4291387136 4291386496 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 146441 145558 347 325 0 145377 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 585764

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.09 3/177 17644
/proc/meminfo: memFree=29709040/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=594900 CPUtime=1241.91 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 149652 0 0 0 124134 57 0 0 20 0 1 0 344852020 609177600 147863 33554432000 134512640 135840783 4291387136 4291386496 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 148725 147863 347 325 0 147661 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 594900

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/177 17644
/proc/meminfo: memFree=29685232/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=605632 CPUtime=1301.9 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 152334 0 0 0 130131 59 0 0 20 0 1 0 344852020 620167168 150545 33554432000 134512640 135840783 4291387136 4291386496 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 151408 150545 347 325 0 150344 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 605632

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 17644
/proc/meminfo: memFree=29655100/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=619968 CPUtime=1361.9 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 155925 0 0 0 136129 61 0 0 20 0 1 0 344852020 634847232 154136 33554432000 134512640 135840783 4291387136 4291386416 10215010 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 154992 154136 347 325 0 153928 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 619968

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 17644
/proc/meminfo: memFree=29633896/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=634932 CPUtime=1421.9 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 159669 0 0 0 142127 63 0 0 20 0 1 0 344852020 650170368 157880 33554432000 134512640 135840783 4291387136 4291386432 134572633 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 158733 157880 347 325 0 157669 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 634932

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 17645
/proc/meminfo: memFree=29613188/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=646708 CPUtime=1481.88 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 162581 0 0 0 148124 64 0 0 20 0 1 0 344852020 662228992 160792 33554432000 134512640 135840783 4291387136 4291386448 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 161677 160792 347 325 0 160613 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 646708

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 17684
/proc/meminfo: memFree=30331676/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=660740 CPUtime=1541.84 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 166153 0 0 0 154118 66 0 0 20 0 1 0 344852020 676597760 164326 33554432000 134512640 135840783 4291387136 4291386456 10207417 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 165185 164326 347 325 0 164121 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 660740

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/176 17684
/proc/meminfo: memFree=30289064/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=677272 CPUtime=1601.79 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 170309 0 0 0 160111 68 0 0 20 0 1 0 344852020 693526528 168435 33554432000 134512640 135840783 4291387136 4291386496 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 169318 168435 347 325 0 168254 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 677272

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.06 3/177 17685
/proc/meminfo: memFree=30242708/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=693732 CPUtime=1661.76 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 174440 0 0 0 166106 70 0 0 20 0 1 0 344852020 710381568 172549 33554432000 134512640 135840783 4291387136 4291386496 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 173433 172549 347 325 0 172369 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 693732

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/177 17685
/proc/meminfo: memFree=30199236/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=707124 CPUtime=1721.75 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 177812 0 0 0 172104 71 0 0 20 0 1 0 344852020 724094976 175921 33554432000 134512640 135840783 4291387136 4291386496 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 176781 175921 347 325 0 175717 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 707124

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 17689
/proc/meminfo: memFree=30158804/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=719848 CPUtime=1781.75 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 180974 0 0 0 178102 73 0 0 20 0 1 0 344852020 737124352 179083 33554432000 134512640 135840783 4291387136 4291386496 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 179962 179083 347 325 0 178898 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 719848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 17689
/proc/meminfo: memFree=30146040/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=724232 CPUtime=1800.05 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 182066 0 0 0 179932 73 0 0 20 0 1 0 344852020 741613568 180175 33554432000 134512640 135840783 4291387136 4291386496 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 181058 180175 347 325 0 179994 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 724232

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

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 17689
/proc/meminfo: memFree=30146040/32873844 swapFree=7116/7116
[pid=17632] ppid=17630 vsize=724232 CPUtime=1800.05 cores=1,3,5,7
/proc/17632/stat : 17632 (bsolo3.0.17) R 17630 17632 16841 0 -1 4202496 182066 0 0 0 179932 73 0 0 20 0 1 0 344852020 741613568 180175 33554432000 134512640 135840783 4291387136 4291386496 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17632/statm: 181058 180175 347 325 0 179994 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 724232

Child status: 15
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.33
CPU system time (s): 0.737887
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 724232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.737887
maximum resident set size= 720700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182069
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= 316
involuntary context switches= 1844

runsolver used 3.09953 second user time and 10.8553 second system time

The end

Launcher Data 

Begin job on node146 at 2012-06-04 07:21:11
IDJOB=3743581
IDBENCH=91843
IDSOLVER=2318
FILE ID=node146/3743581-1338787271
RUNJOBID= node146-1338775068-16858
PBS_JOBID= 14636828
Free space on /tmp= 70896 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null50mast_rapportOE2.0_TMAX120_K67_cod3.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743581-1338787271/watcher-3743581-1338787271 -o /tmp/evaluation-result-3743581-1338787271/solver-3743581-1338787271 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3743581-1338787271.opb            

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

MD5SUM BENCH= 38dd16f0c428b8adc46ee6f46f60999d
RANDOM SEED=19479310

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30799692 kB
Buffers:          349644 kB
Cached:           678732 kB
SwapCached:         1792 kB
Active:           729300 kB
Inactive:         514660 kB
Active(anon):     215712 kB
Inactive(anon):     1664 kB
Active(file):     513588 kB
Inactive(file):   512996 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099888 kB
Dirty:              9248 kB
Writeback:             0 kB
AnonPages:        220556 kB
Mapped:            10288 kB
Shmem:                 0 kB
Slab:             688884 kB
SReclaimable:     128900 kB
SUnreclaim:       559984 kB
KernelStack:        1456 kB
PageTables:         4112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     336840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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= 70888 MiB
End job on node146 at 2012-06-04 07:51:14