Trace number 3743623

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.1 1800.52

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX60_K67_cod1.opb
MD5SUMb63a917d588fe2910953571155dfae07
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-35450
Best CPU time to get the best result obtained on this benchmark1800.01
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 16038
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 45248874
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 45248874
Number of bits of the biggest sum of numbers26
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-3743623-1338789271.opb
0.00/0.00	c File size is 2659457 bytes.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.19/0.26	c Highest Coefficient sum: 4.52489e+07
0.19/0.26	c Parsing was ok!!
0.19/0.26	c Total parsing time: 0.254 s
0.19/0.27	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161320
0.19/0.27	c Obj. Vars: 16038 (39.648 % of total variables)
26.88/26.99	c Pre-processing Time: 26.982 s
1800.07/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.50	c        0  19698    33499   187590    5   137752  622567      0      0 26.98
1800.07/1800.50	c      100  19698    33599   218394    6   137982  684824    100      3 27.26
1800.07/1800.50	c      250  19698    33749   235650    6   138278  753307    250      9 27.52
1800.07/1800.50	c      475  19698    33974   266640    7   138731  828638    475     16 28.14
1800.07/1800.50	c      813  19698    34312   308116    8   139407  911502    813     27 29.16
1800.07/1800.50	c     1321  19698    34820   328101    9   140421  500000   1321     43 30.45
1800.07/1800.50	c     2084  19698    35583   426730   11   141947  550001   2084     63 32.60
1800.07/1800.50	c     3230  19698    36729   574138   15   144240  605002   3230     90 35.74
1800.07/1800.50	c     4951  19698    38450   681623   17   147682  665503   4951    121 40.89
1800.07/1800.50	c     7537  19698    41036   985060   24   152854  732054   7537    157 47.85
1800.07/1800.50	c    11416  19698    44915  1592895   35   160609  805260  11416    184 61.81
1800.07/1800.50	c    17239  19698    50738  2473979   48   172259  885787  17239    214 80.35
1800.07/1800.50	c    25977  19698    59476  3653370   61   189723  974366  25977    230 112.61
1800.07/1800.50	c    39090  19698    72589  5563597   76   215949  500000  39090    250 156.33
1800.07/1800.50	c    58761  19698    92260  7689569   83   255292  550001  58761    267 219.44
1800.07/1800.50	c    88273  19698   121772 10745522   88   314318  605002  88273    269 327.60
1800.07/1800.50	c   132543  19698   166042 16781202  101   402857  665503 132543    268 494.28
1800.07/1800.50	c   198953  19698   232452 30103923  129   535678  732054 198953    189 1048.17
1800.07/1800.50	c Caught signal: 15
1800.07/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.50	c   17   296492 121032   844760   329991 46537852 296492    164 1800.08
1800.07/1800.50	s UNKNOWN
1800.07/1800.50	c Total time: 1800.08 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-3743623-1338789271/watcher-3743623-1338789271 -o /tmp/evaluation-result-3743623-1338789271/solver-3743623-1338789271 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743623-1338789271.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.02 2.09 3/174 3162
/proc/meminfo: memFree=26239984/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 345052545 4583424 155 33554432000 134512640 135840783 4292102016 4292101356 9536856 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3162/statm: 1119 156 134 325 0 39 0

[startup+0.040997 s]
/proc/loadavg: 2.00 2.02 2.09 3/174 3162
/proc/meminfo: memFree=26239984/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=9524 CPUtime=0.03 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 1174 0 0 0 3 0 0 0 20 0 1 0 345052545 9752576 1070 33554432000 134512640 135840783 4292102016 4292101216 134527859 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3162/statm: 2381 1070 427 325 0 667 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9524

[startup+0.100162 s]
/proc/loadavg: 2.00 2.02 2.09 3/174 3162
/proc/meminfo: memFree=26239984/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=11968 CPUtime=0.09 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 1988 0 0 0 9 0 0 0 20 0 1 0 345052545 12255232 1805 33554432000 134512640 135840783 4292102016 4292100748 10074045 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3162/statm: 2992 1806 586 325 0 1278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11968

[startup+0.300196 s]
/proc/loadavg: 2.00 2.02 2.09 3/174 3162
/proc/meminfo: memFree=26239984/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=20744 CPUtime=0.29 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 5157 0 0 0 29 0 0 0 20 0 1 0 345052545 21241856 4324 33554432000 134512640 135840783 4292102016 4291615616 134551063 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3162/statm: 5186 4324 342 325 0 4122 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20744

[startup+0.70012 s]
/proc/loadavg: 2.00 2.02 2.09 3/174 3162
/proc/meminfo: memFree=26239984/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=20744 CPUtime=0.68 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 5157 0 0 0 68 0 0 0 20 0 1 0 345052545 21241856 4324 33554432000 134512640 135840783 4292102016 4291615568 134551321 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3162/statm: 5186 4324 342 325 0 4122 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20744

[startup+1.50017 s]
/proc/loadavg: 2.00 2.02 2.09 3/175 3163
/proc/meminfo: memFree=26223592/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=20744 CPUtime=1.48 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 5157 0 0 0 148 0 0 0 20 0 1 0 345052545 21241856 4324 33554432000 134512640 135840783 4292102016 4291615568 134550902 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3162/statm: 5186 4324 342 325 0 4122 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20744

[startup+3.10011 s]
/proc/loadavg: 2.00 2.02 2.09 3/175 3163
/proc/meminfo: memFree=26222724/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=20744 CPUtime=3.08 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 5157 0 0 0 308 0 0 0 20 0 1 0 345052545 21241856 4324 33554432000 134512640 135840783 4292102016 4291615708 3761200 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 5186 4324 342 325 0 4122 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20744

[startup+6.30017 s]
/proc/loadavg: 2.00 2.02 2.09 3/175 3163
/proc/meminfo: memFree=26221484/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=21404 CPUtime=6.28 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 5320 0 0 0 628 0 0 0 20 0 1 0 345052545 21917696 4487 33554432000 134512640 135840783 4292102016 4291615708 3761200 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 5351 4487 342 325 0 4287 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21404

[startup+12.7001 s]
/proc/loadavg: 2.00 2.01 2.09 3/175 3163
/proc/meminfo: memFree=26220144/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=21404 CPUtime=12.67 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 5321 0 0 0 1267 0 0 0 20 0 1 0 345052545 21917696 4488 33554432000 134512640 135840783 4292102016 4291615568 134551273 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 5351 4488 342 325 0 4287 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21404

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.08 3/175 3163
/proc/meminfo: memFree=26218292/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=21404 CPUtime=25.48 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 5321 0 0 0 2547 1 0 0 20 0 1 0 345052545 21917696 4488 33554432000 134512640 135840783 4292102016 4291615236 10084604 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 5351 4488 342 325 0 4287 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21404

[startup+51.1001 s]
/proc/loadavg: 2.00 2.01 2.08 3/174 3163
/proc/meminfo: memFree=26203916/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=32848 CPUtime=51.07 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 8839 0 0 0 5105 2 0 0 20 0 1 0 345052545 33636352 7331 33554432000 134512640 135840783 4292102016 4292101376 134551065 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 8212 7331 347 325 0 7148 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32848

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.08 3/175 3164
/proc/meminfo: memFree=26166460/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=60932 CPUtime=102.27 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 15889 0 0 0 10223 4 0 0 20 0 1 0 345052545 62394368 14381 33554432000 134512640 135840783 4292102016 4292098836 10084706 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 15233 14381 347 325 0 14169 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 60932

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.08 3/175 3164
/proc/meminfo: memFree=26121820/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=96592 CPUtime=162.26 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 24799 0 0 0 16220 6 0 0 20 0 1 0 345052545 98910208 23291 33554432000 134512640 135840783 4292102016 4292101376 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 24148 23293 347 325 0 23084 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 96592

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.07 3/175 3164
/proc/meminfo: memFree=26085060/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=122956 CPUtime=222.24 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 31388 0 0 0 22217 7 0 0 20 0 1 0 345052545 125906944 29880 33554432000 134512640 135840783 4292102016 4292101376 134551264 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 30739 29880 347 325 0 29675 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 122956

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.06 3/175 3164
/proc/meminfo: memFree=26055824/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=142700 CPUtime=282.24 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 36329 0 0 0 28215 9 0 0 20 0 1 0 345052545 146124800 34821 33554432000 134512640 135840783 4292102016 4292101312 134572564 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 35675 34821 347 325 0 34611 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 142700

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/176 3167
/proc/meminfo: memFree=26017060/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=171080 CPUtime=342.21 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 43441 0 0 0 34209 12 0 0 20 0 1 0 345052545 175185920 41890 33554432000 134512640 135840783 4292102016 4292101312 134572675 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 42770 41890 347 325 0 41706 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 171080

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/176 3190
/proc/meminfo: memFree=25981180/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=195872 CPUtime=402.17 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 49689 0 0 0 40203 14 0 0 20 0 1 0 345052545 200572928 48097 33554432000 134512640 135840783 4292102016 4292101376 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 48968 48097 347 325 0 47904 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 195872

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/175 3190
/proc/meminfo: memFree=25936936/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=229364 CPUtime=462.16 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 58056 0 0 0 46200 16 0 0 20 0 1 0 345052545 234868736 56464 33554432000 134512640 135840783 4292102016 4292101376 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 57341 56464 347 325 0 56277 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 229364

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/175 3190
/proc/meminfo: memFree=25900232/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=256292 CPUtime=522.15 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 64791 0 0 0 52197 18 0 0 20 0 1 0 345052545 262443008 63199 33554432000 134512640 135840783 4292102016 4292101376 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 64073 63199 347 325 0 63009 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 256292

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/175 3190
/proc/meminfo: memFree=25865388/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=279908 CPUtime=582.14 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 70700 0 0 0 58194 20 0 0 20 0 1 0 345052545 286625792 69108 33554432000 134512640 135840783 4292102016 4292101376 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 69977 69108 347 325 0 68913 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 279908

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.00 2.01 3/175 3230
/proc/meminfo: memFree=26139876/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=373632 CPUtime=882.04 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 94200 0 0 0 88175 29 0 0 20 0 1 0 345052545 382599168 92529 33554432000 134512640 135840783 4292102016 4292101376 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 93408 92529 347 325 0 92344 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 373632

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3233
/proc/meminfo: memFree=26077900/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=392616 CPUtime=942.03 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 98967 0 0 0 94172 31 0 0 20 0 1 0 345052545 402038784 97296 33554432000 134512640 135840783 4292102016 4292101152 10095518 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 98154 97296 347 325 0 97090 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 392616

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3234
/proc/meminfo: memFree=26008024/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=411044 CPUtime=1002.02 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 103566 0 0 0 100170 32 0 0 20 0 1 0 345052545 420909056 101895 33554432000 134512640 135840783 4292102016 4292101376 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 102761 101895 347 325 0 101697 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 411044

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3234
/proc/meminfo: memFree=25955372/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=427616 CPUtime=1062.01 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 107720 0 0 0 106167 34 0 0 20 0 1 0 345052545 437878784 106049 33554432000 134512640 135840783 4292102016 4292101376 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 106904 106049 347 325 0 105840 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 427616

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3234
/proc/meminfo: memFree=25917676/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=437932 CPUtime=1122 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 110272 0 0 0 112166 34 0 0 20 0 1 0 345052545 448442368 108601 33554432000 134512640 135840783 4292102016 4292101376 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 109483 108601 347 325 0 108419 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 437932

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3234
/proc/meminfo: memFree=25894240/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=449312 CPUtime=1181.99 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 113129 0 0 0 118165 34 0 0 20 0 1 0 345052545 460095488 111458 33554432000 134512640 135840783 4292102016 4292101328 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 112328 111458 347 325 0 111264 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 449312

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3234
/proc/meminfo: memFree=25869812/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=458308 CPUtime=1241.98 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 115395 0 0 0 124163 35 0 0 20 0 1 0 345052545 469307392 113724 33554432000 134512640 135840783 4292102016 4292101376 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 114577 113724 347 325 0 113513 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 458308

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 3235
/proc/meminfo: memFree=25852980/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=468360 CPUtime=1301.95 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 117922 0 0 0 130159 36 0 0 20 0 1 0 345052545 479600640 116207 33554432000 134512640 135840783 4292102016 4292101376 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 117090 116207 347 325 0 116026 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 468360

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 3235
/proc/meminfo: memFree=25833704/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=481732 CPUtime=1361.93 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 121277 0 0 0 136156 37 0 0 20 0 1 0 345052545 493293568 119559 33554432000 134512640 135840783 4292102016 4292101376 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 120433 119559 347 325 0 119369 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 481732

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3235
/proc/meminfo: memFree=25814980/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=492448 CPUtime=1421.93 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 123968 0 0 0 142155 38 0 0 20 0 1 0 345052545 504266752 122250 33554432000 134512640 135840783 4292102016 4292101376 134550670 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 123112 122250 347 325 0 122048 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 492448

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 3235
/proc/meminfo: memFree=25791296/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=504632 CPUtime=1481.92 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 127004 0 0 0 148152 40 0 0 20 0 1 0 345052545 516743168 125286 33554432000 134512640 135840783 4292102016 4292101376 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 126158 125286 347 325 0 125094 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 504632

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3238
/proc/meminfo: memFree=25772156/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=513524 CPUtime=1541.9 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 129244 0 0 0 154150 40 0 0 20 0 1 0 345052545 525848576 127526 33554432000 134512640 135840783 4292102016 4292101376 134551347 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 128381 127526 347 325 0 127317 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 513524

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3239
/proc/meminfo: memFree=25748508/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=525456 CPUtime=1601.89 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 132218 0 0 0 160148 41 0 0 20 0 1 0 345052545 538066944 130500 33554432000 134512640 135840783 4292102016 4292101044 10084604 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 131364 130500 347 325 0 130300 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 525456

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3239
/proc/meminfo: memFree=25716144/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=544116 CPUtime=1661.89 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 136872 0 0 0 166146 43 0 0 20 0 1 0 345052545 557174784 135154 33554432000 134512640 135840783 4292102016 4292101376 134551179 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 136029 135154 347 325 0 134965 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 544116

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3239
/proc/meminfo: memFree=25638520/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=589240 CPUtime=1721.88 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 148175 0 0 0 172143 45 0 0 20 0 1 0 345052545 603381760 146457 33554432000 134512640 135840783 4292102016 4292101376 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 147310 146457 347 325 0 146246 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 589240

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3239
/proc/meminfo: memFree=25568960/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=630024 CPUtime=1781.87 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 158364 0 0 0 178140 47 0 0 20 0 1 0 345052545 645144576 156646 33554432000 134512640 135840783 4292102016 4292101376 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 157506 156646 347 325 0 156442 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 630024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3239
/proc/meminfo: memFree=25550980/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=644136 CPUtime=1800.07 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 161890 0 0 0 179959 48 0 0 20 0 1 0 345052545 659595264 160172 33554432000 134512640 135840783 4292102016 4292101376 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 161034 160172 347 325 0 159970 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 644136

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3239
/proc/meminfo: memFree=25550980/32873624 swapFree=7112/7112
[pid=3162] ppid=3160 vsize=644136 CPUtime=1800.07 cores=0,2,4,6
/proc/3162/stat : 3162 (bsolo3.0.17) R 3160 3162 2813 0 -1 4202496 161890 0 0 0 179959 48 0 0 20 0 1 0 345052545 659595264 160172 33554432000 134512640 135840783 4292102016 4292101376 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3162/statm: 161034 160172 347 325 0 159970 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 644136

Child status: 15
Real time (s): 1800.52
CPU time (s): 1800.1
CPU user time (s): 1799.59
CPU system time (s): 0.501923
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 644136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.501923
maximum resident set size= 640688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161893
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= 225
involuntary context switches= 1850

runsolver used 3.63045 second user time and 8.42372 second system time

The end

Launcher Data 

Begin job on node121 at 2012-06-04 07:54:31
IDJOB=3743623
IDBENCH=91942
IDSOLVER=2318
FILE ID=node121/3743623-1338789271
RUNJOBID= node121-1338783861-2829
PBS_JOBID= 14636843
Free space on /tmp= 71244 MiB

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

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

MD5SUM BENCH= b63a917d588fe2910953571155dfae07
RANDOM SEED=1191728912

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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.042
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.042
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.042
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	: 5438.55
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.042
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:       32873624 kB
MemFree:        26239984 kB
Buffers:          683840 kB
Cached:          4597448 kB
SwapCached:            0 kB
Active:          2429856 kB
Inactive:        3309968 kB
Active(anon):     446260 kB
Inactive(anon):    10760 kB
Active(file):    1983596 kB
Inactive(file):  3299208 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9268 kB
Writeback:             0 kB
AnonPages:        460980 kB
Mapped:            15560 kB
Shmem:               200 kB
Slab:             758212 kB
SReclaimable:     202176 kB
SUnreclaim:       556036 kB
KernelStack:        1432 kB
PageTables:         4544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     557896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    319488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71236 MiB
End job on node121 at 2012-06-04 08:24:33