Trace number 3742529

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: bsolo 3.0.17? (TO) 1800.11 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K125.opb
MD5SUMd572050902dbd97a5ce685e3ceb3e01a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14875
Total number of constraints15127
Number of constraints which are clauses15002
Number of constraints which are cardinality constraints (but not clauses)125
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint125
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.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-3742529-1338772136.opb
0.00/0.00	c File size is 1005512 bytes.
0.02/0.09	c Highest Coefficient sum: 126
0.02/0.09	c Parsing was ok!!
0.02/0.09	c Total parsing time: 0.086 s
0.02/0.09	c Var: 14875 Constr: 15127 15002/125/0 Lit: 97203 Watch. Lit: 44877
0.02/0.09	c Obj. Vars: 0 (0 % of total variables)
5.98/6.05	c Pre-processing Time: 6.046 s
5.98/6.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.98/6.05	c        0  13371    13729    91034    6    41661  125968      0      0 6.05
5.98/6.05	c Switching off LPR mode.
1800.00/1800.40	c      102  13371    13831   100658    7    41865  138565    102     16 6.09
1800.00/1800.40	c      252  13371    13981   108649    7    42165  152422    252     40 6.17
1800.00/1800.40	c      477  13371    14206   123882    8    42615  167665    477     75 6.34
1800.00/1800.40	c      815  13371    14544   145956   10    43291  184432    815    123 6.60
1800.00/1800.40	c     1323  13371    15052   187121   12    44307  202876   1323    188 7.02
1800.00/1800.40	c     2087  13371    15816   285440   18    45835  223164   2087    271 7.69
1800.00/1800.40	c     3233  13371    16962   372498   21    48127  245481   3233    370 8.73
1800.00/1800.40	c     4954  13371    18683   729461   39    51569  270030   4954    487 10.16
1800.00/1800.40	c     7538  13371    21267  1159729   54    56737  297034   7538    606 12.43
1800.00/1800.40	c    11417  13371    25146  1786331   71    64495  326738  11417    699 16.32
1800.00/1800.40	c    17241  13371    30970  2889610   93    76143  359412  17241    711 24.24
1800.00/1800.40	c    25979  13371    39708  6319967  159    93619  395354  25979    684 37.95
1800.00/1800.40	c    39091  13371    52820 10399871  196   119843  434890  39091    620 62.95
1800.00/1800.40	c    58764  13371    72493 25960735  358   159189  478380  58764    439 133.80
1800.00/1800.40	c    88275  13371   102004 46168054  452   218211  526219  88275    307 287.41
1800.00/1800.40	c   132546  13371   146275 91994005  628   306753  578841 132546    170 777.49
1800.00/1800.40	c   198956  13371   212685 144156967  677   439573  636726 198956    132 1497.50
1800.00/1800.40	c Caught signal: 15
1800.00/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.40	c   17   225795 131273  5007030   239524 159586367 225795    125 1800.01
1800.00/1800.40	s UNKNOWN
1800.00/1800.40	c Total time: 1800.01 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-3742529-1338772136/watcher-3742529-1338772136 -o /tmp/evaluation-result-3742529-1338772136/solver-3742529-1338772136 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742529-1338772136.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.00 2.00 2.00 3/177 13656
/proc/meminfo: memFree=27116272/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) D 13654 13656 11604 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 343339527 2723840 47 33554432000 134512640 135840783 4292492080 4292490116 10466244 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 665 47 37 325 0 32 0

[startup+0.0374119 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13656
/proc/meminfo: memFree=27116272/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=7352 CPUtime=0.02 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 964 0 0 0 2 0 0 0 20 0 1 0 343339527 7528448 900 33554432000 134512640 135840783 4292492080 4292490896 1586471 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 1838 900 409 325 0 528 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7352

[startup+0.100148 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13656
/proc/meminfo: memFree=27116272/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=10236 CPUtime=0.09 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 2079 0 0 0 9 0 0 0 20 0 1 0 343339527 10481664 1769 33554432000 134512640 135840783 4292492080 4292312684 1115184 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 2559 1769 344 325 0 1495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10236

[startup+0.300117 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13656
/proc/meminfo: memFree=27116272/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=10236 CPUtime=0.28 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 2083 0 0 0 28 0 0 0 20 0 1 0 343339527 10481664 1773 33554432000 134512640 135840783 4292492080 4292312684 1115184 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 2559 1773 344 325 0 1495 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10236

[startup+0.700103 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13656
/proc/meminfo: memFree=27116272/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=10236 CPUtime=0.68 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 2085 0 0 0 68 0 0 0 20 0 1 0 343339527 10481664 1775 33554432000 134512640 135840783 4292492080 4292312684 1115184 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 2559 1775 344 325 0 1495 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10236

[startup+1.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=27108940/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=10236 CPUtime=1.48 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 2085 0 0 0 148 0 0 0 20 0 1 0 343339527 10481664 1775 33554432000 134512640 135840783 4292492080 4292312320 1584448 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 2559 1775 344 325 0 1495 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10236

[startup+3.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=27105096/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=10236 CPUtime=3.08 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 2086 0 0 0 308 0 0 0 20 0 1 0 343339527 10481664 1776 33554432000 134512640 135840783 4292492080 4292312260 1573116 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 2559 1776 344 325 0 1495 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10236

[startup+6.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=27100032/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=11372 CPUtime=6.28 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 2505 0 0 0 627 1 0 0 20 0 1 0 343339527 11644928 2077 33554432000 134512640 135840783 4292492080 4292490000 134574642 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 2843 2077 349 325 0 1779 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11372

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=27069824/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=25020 CPUtime=12.68 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 5925 0 0 0 1267 1 0 0 20 0 1 0 343339527 25620480 5497 33554432000 134512640 135840783 4292492080 4292491376 134572689 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 6255 5497 349 325 0 5191 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25020

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=27014388/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=51652 CPUtime=25.48 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 12578 0 0 0 2546 2 0 0 20 0 1 0 343339527 52891648 12150 33554432000 134512640 135840783 4292492080 4292491216 1584030 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 12913 12150 349 325 0 11849 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51652

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=26898028/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=109296 CPUtime=51.07 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 26978 0 0 0 5102 5 0 0 20 0 1 0 343339527 111919104 26550 33554432000 134512640 135840783 4292492080 4292491440 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 27324 26550 349 325 0 26260 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 109296

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13661
/proc/meminfo: memFree=26627392/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=254728 CPUtime=102.27 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 63350 0 0 0 10213 14 0 0 20 0 1 0 343339527 260841472 62922 33554432000 134512640 135840783 4292492080 4292491440 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 63682 62922 349 325 0 62618 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 254728

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=26364168/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=393652 CPUtime=162.26 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 98087 0 0 0 16204 22 0 0 20 0 1 0 343339527 403099648 97659 33554432000 134512640 135840783 4292492080 4292491216 1584030 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 98413 97659 349 325 0 97349 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 393652

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=26134552/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=504680 CPUtime=222.26 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 125830 0 0 0 22198 28 0 0 20 0 1 0 343339527 516792320 125402 33554432000 134512640 135840783 4292492080 4292491440 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 126170 125402 349 325 0 125106 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 504680

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=25955772/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=597204 CPUtime=282.24 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 148983 0 0 0 28190 34 0 0 20 0 1 0 343339527 611536896 148555 33554432000 134512640 135840783 4292492080 4292491440 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 149301 148555 349 325 0 148237 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 597204

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=25764100/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=696636 CPUtime=342.23 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 173845 0 0 0 34182 41 0 0 20 0 1 0 343339527 713355264 173417 33554432000 134512640 135840783 4292492080 4292491440 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 174159 173417 349 325 0 173095 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 696636

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=25589908/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=764356 CPUtime=402.22 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 190751 0 0 0 40177 45 0 0 20 0 1 0 343339527 782700544 190323 33554432000 134512640 135840783 4292492080 4292491152 1584030 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 191089 190323 349 325 0 190025 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 764356

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13662
/proc/meminfo: memFree=25436300/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=838900 CPUtime=462.22 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 209408 0 0 0 46172 50 0 0 20 0 1 0 343339527 859033600 208980 33554432000 134512640 135840783 4292492080 4292491392 134551175 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 209725 208980 349 325 0 208661 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 838900

[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 13662
/proc/meminfo: memFree=25286412/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=910928 CPUtime=522.21 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 227409 0 0 0 52166 55 0 0 20 0 1 0 343339527 932790272 226981 33554432000 134512640 135840783 4292492080 4292491440 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 227732 226981 349 325 0 226668 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 910928

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13864
/proc/meminfo: memFree=25119412/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=983160 CPUtime=582.19 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 245476 0 0 0 58159 60 0 0 20 0 1 0 343339527 1006755840 245048 33554432000 134512640 135840783 4292492080 4292491440 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 245790 245048 349 325 0 244726 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 983160

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13869
/proc/meminfo: memFree=24378708/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1306232 CPUtime=882.16 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 326219 0 0 0 88133 83 0 0 20 0 1 0 343339527 1337581568 325791 33554432000 134512640 135840783 4292492080 4292491440 134551063 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 326558 325791 349 325 0 325494 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 1306232

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13869
/proc/meminfo: memFree=24235640/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1366640 CPUtime=942.14 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 341327 0 0 0 94128 86 0 0 20 0 1 0 343339527 1399439360 340899 33554432000 134512640 135840783 4292492080 4292491392 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 341660 340899 349 325 0 340596 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1366640

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 13869
/proc/meminfo: memFree=24120348/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1419608 CPUtime=1002.13 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 354578 0 0 0 100124 89 0 0 20 0 1 0 343339527 1453678592 354150 33554432000 134512640 135840783 4292492080 4292491432 15214800 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 354902 354150 349 325 0 353838 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1419608

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13870
/proc/meminfo: memFree=23990672/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1489264 CPUtime=1062.12 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 371977 0 0 0 106119 93 0 0 20 0 1 0 343339527 1525006336 371549 33554432000 134512640 135840783 4292492080 4292491216 1583917 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 372316 371549 349 325 0 371252 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1489264

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 13870
/proc/meminfo: memFree=23850336/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1550496 CPUtime=1122.11 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 387293 0 0 0 112114 97 0 0 20 0 1 0 343339527 1587707904 386865 33554432000 134512640 135840783 4292492080 4292491440 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 387624 386865 349 325 0 386560 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1550496

[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 13870
/proc/meminfo: memFree=23738392/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1604336 CPUtime=1182.11 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 400745 0 0 0 118110 101 0 0 20 0 1 0 343339527 1642840064 400317 33554432000 134512640 135840783 4292492080 4292491440 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 401084 400317 349 325 0 400020 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1604336

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13870
/proc/meminfo: memFree=23606112/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1657168 CPUtime=1242.09 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 413960 0 0 0 124105 104 0 0 20 0 1 0 343339527 1696940032 413532 33554432000 134512640 135840783 4292492080 4292491432 15214790 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 414292 413532 349 325 0 413228 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1657168

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13873
/proc/meminfo: memFree=23499244/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1712944 CPUtime=1302.08 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 427917 0 0 0 130101 107 0 0 20 0 1 0 343339527 1754054656 427489 33554432000 134512640 135840783 4292492080 4292491432 15214764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 428236 427489 349 325 0 427172 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1712944

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13874
/proc/meminfo: memFree=23382224/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1770964 CPUtime=1362.08 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 442411 0 0 0 136097 111 0 0 20 0 1 0 343339527 1813467136 441983 33554432000 134512640 135840783 4292492080 4292491440 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 442741 441983 349 325 0 441677 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1770964

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13874
/proc/meminfo: memFree=23257012/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1818108 CPUtime=1422.08 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 454188 0 0 0 142094 114 0 0 20 0 1 0 343339527 1861742592 453760 33554432000 134512640 135840783 4292492080 4292491440 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 454527 453760 349 325 0 453463 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1818108

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13875
/proc/meminfo: memFree=23171720/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1855020 CPUtime=1482.06 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 463446 0 0 0 148089 117 0 0 20 0 1 0 343339527 1899540480 463018 33554432000 134512640 135840783 4292492080 4292491440 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 463755 463018 349 325 0 462691 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1855020

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13875
/proc/meminfo: memFree=23081924/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1884668 CPUtime=1542.06 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 470828 0 0 0 154087 119 0 0 20 0 1 0 343339527 1929900032 470400 33554432000 134512640 135840783 4292492080 4292491440 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 471167 470400 349 325 0 470103 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1884668

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13875
/proc/meminfo: memFree=22944264/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1957556 CPUtime=1602.01 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 489089 0 0 0 160078 123 0 0 20 0 1 0 343339527 2004537344 488646 33554432000 134512640 135840783 4292492080 4292491440 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 489389 488646 349 325 0 488325 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1957556

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13876
/proc/meminfo: memFree=22866548/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1983880 CPUtime=1661.96 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 495738 0 0 0 166071 125 0 0 20 0 1 0 343339527 2031493120 495252 33554432000 134512640 135840783 4292492080 4292491440 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 495970 495252 349 325 0 494906 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1983880

[startup+1722.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 13915
/proc/meminfo: memFree=25295924/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=2013556 CPUtime=1721.94 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 503162 0 0 0 172067 127 0 0 20 0 1 0 343339527 2061881344 502648 33554432000 134512640 135840783 4292492080 4292491440 134551104 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 503389 502648 349 325 0 502325 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 2013556

[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 13991
/proc/meminfo: memFree=25286516/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=2041920 CPUtime=1781.9 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 510291 0 0 0 178061 129 0 0 20 0 1 0 343339527 2090926080 509741 33554432000 134512640 135840783 4292492080 4292491392 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 510480 509741 349 325 0 509416 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 2041920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 13991
/proc/meminfo: memFree=25231444/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=2061156 CPUtime=1800 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 515115 0 0 0 179870 130 0 0 20 0 1 0 343339527 2110623744 514558 33554432000 134512640 135840783 4292492080 4292491440 134550820 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 515289 514558 349 325 0 514225 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2061156

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

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

[startup+1800.4 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 13991
/proc/meminfo: memFree=25231444/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=2061156 CPUtime=1800 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 515115 0 0 0 179870 130 0 0 20 0 1 0 343339527 2110623744 514558 33554432000 134512640 135840783 4292492080 4292491440 134550820 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 515289 514558 349 325 0 514225 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2061156

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1798.71
CPU system time (s): 1.40379
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 2061156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 1.40379
maximum resident set size= 2058232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515118
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= 171
involuntary context switches= 1855

runsolver used 3.42148 second user time and 9.36358 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-04 03:08:56
IDJOB=3742529
IDBENCH=90201
IDSOLVER=2318
FILE ID=node126/3742529-1338772136
RUNJOBID= node126-1338747103-11621
PBS_JOBID= 14636777
Free space on /tmp= 70784 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K125.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742529-1338772136/watcher-3742529-1338772136 -o /tmp/evaluation-result-3742529-1338772136/solver-3742529-1338772136 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3742529-1338772136.opb            

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

MD5SUM BENCH= d572050902dbd97a5ce685e3ceb3e01a
RANDOM SEED=150141307

node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27116164 kB
Buffers:          446008 kB
Cached:          4037420 kB
SwapCached:         9484 kB
Active:          1980600 kB
Inactive:        2900204 kB
Active(anon):     386824 kB
Inactive(anon):    12264 kB
Active(file):    1593776 kB
Inactive(file):  2887940 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67095016 kB
Dirty:              7400 kB
Writeback:             0 kB
AnonPages:        394768 kB
Mapped:            11076 kB
Shmem:                 0 kB
Slab:             738484 kB
SReclaimable:     182832 kB
SUnreclaim:       555652 kB
KernelStack:        1464 kB
PageTables:         4740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     510068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70776 MiB
End job on node126 at 2012-06-04 03:38:59