Trace number 3742373

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.08 1800.74

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K164.opb
MD5SUM57b7e746b37944d021e8febe16059957
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 variables19516
Total number of constraints19846
Number of constraints which are clauses19682
Number of constraints which are cardinality constraints (but not clauses)164
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint164
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 165
Number of bits of the biggest sum of numbers8
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-3742373-1338770333.opb
0.00/0.00	c File size is 1342841 bytes.
0.09/0.12	c Highest Coefficient sum: 165
0.09/0.12	c Parsing was ok!!
0.09/0.12	c Total parsing time: 0.114 s
0.09/0.12	c Var: 19516 Constr: 19846 19682/164/0 Lit: 127662 Watch. Lit: 58878
0.09/0.12	c Obj. Vars: 0 (0 % of total variables)
8.39/8.42	c Pre-processing Time: 8.416 s
8.39/8.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.39/8.42	c        0  17973    18409   121220    6    55584  166514      0      0 8.42
8.39/8.42	c Switching off LPR mode.
1800.04/1800.71	c      100  17973    18509   126001    6    55784  183166    100     11 8.47
1800.04/1800.71	c      250  17973    18659   145216    7    56084  201483    250     28 8.64
1800.04/1800.71	c      475  17973    18884   157132    8    56534  221632    475     53 8.84
1800.04/1800.71	c      813  17973    19222   180732    9    57210  243796    813     87 9.34
1800.04/1800.71	c     1321  17973    19730   213093   10    58226  268176   1321    132 9.99
1800.04/1800.71	c     2084  17973    20493   370989   18    59752  294994   2084    195 10.69
1800.04/1800.71	c     3230  17973    21639   450299   20    62044  324494   3230    272 11.86
1800.04/1800.71	c     4951  17973    23360   628815   26    65486  356944   4951    358 13.79
1800.04/1800.71	c     7536  17973    25945  1001152   38    70656  392639   7536    466 16.14
1800.04/1800.71	c    11415  17973    29824  1689874   56    78414  431903  11415    544 20.96
1800.04/1800.71	c    17238  17973    35647  2522056   70    90060  475094  17238    582 29.57
1800.04/1800.71	c    25976  17973    44385  4309006   97   107536  522604  25976    583 44.48
1800.04/1800.71	c    39087  17973    57496  7047546  122   133758  574865  39087    569 68.60
1800.04/1800.71	c    58758  17973    77167 13065614  169   173100  632352  58758    475 123.60
1800.04/1800.71	c    88269  17973   106678 25858361  242   232122  695588  88269    353 249.78
1800.04/1800.71	c   132539  17973   150948 48292402  319   320662  765147 132539    281 470.53
1800.04/1800.71	c   198949  17973   217358 99014780  455   453482  841662 198949    195 1016.14
1800.04/1800.71	c Caught signal: 15
1800.04/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.71	c   17   268009 169229 14288403   286418 136479992 268009    148 1800.05
1800.04/1800.71	s UNKNOWN
1800.04/1800.71	c Total time: 1800.05 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-3742373-1338770333/watcher-3742373-1338770333 -o /tmp/evaluation-result-3742373-1338770333/solver-3742373-1338770333 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742373-1338770333.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: 1.91 1.98 1.99 3/176 13541
/proc/meminfo: memFree=27320836/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 343159239 4583424 156 33554432000 134512640 135840783 4294379040 4294378380 10417517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 1119 157 135 325 0 39 0

[startup+0.064612 s]
/proc/loadavg: 1.91 1.98 1.99 3/176 13541
/proc/meminfo: memFree=27320836/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=8880 CPUtime=0.05 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 1345 0 0 0 5 0 0 0 20 0 1 0 343159239 9093120 1281 33554432000 134512640 135840783 4294379040 4294377856 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 2220 1281 494 325 0 828 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8880

[startup+0.10016 s]
/proc/loadavg: 1.91 1.98 1.99 3/176 13541
/proc/meminfo: memFree=27320836/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=9828 CPUtime=0.09 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 1695 0 0 0 9 0 0 0 20 0 1 0 343159239 10063872 1631 33554432000 134512640 135840783 4294379040 4294378032 134525337 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 2457 1631 598 325 0 1065 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9828

[startup+0.300144 s]
/proc/loadavg: 1.91 1.98 1.99 3/176 13541
/proc/meminfo: memFree=27320836/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=11968 CPUtime=0.28 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 2582 0 0 0 28 0 0 0 20 0 1 0 343159239 12255232 2190 33554432000 134512640 135840783 4294379040 4294143964 10609712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 2992 2190 344 325 0 1928 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11968

[startup+0.700117 s]
/proc/loadavg: 1.91 1.98 1.99 3/176 13541
/proc/meminfo: memFree=27320836/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=11968 CPUtime=0.68 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 2583 0 0 0 68 0 0 0 20 0 1 0 343159239 12255232 2191 33554432000 134512640 135840783 4294379040 4294143540 1568956 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 2992 2191 344 325 0 1928 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11968

[startup+1.50013 s]
/proc/loadavg: 1.91 1.98 1.99 3/177 13542
/proc/meminfo: memFree=27312652/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=11968 CPUtime=1.48 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 2583 0 0 0 148 0 0 0 20 0 1 0 343159239 12255232 2191 33554432000 134512640 135840783 4294379040 4294143964 10609712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 2992 2191 344 325 0 1928 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11968

[startup+3.10011 s]
/proc/loadavg: 1.91 1.98 1.99 3/177 13542
/proc/meminfo: memFree=27311528/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=11968 CPUtime=3.09 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 2585 0 0 0 308 1 0 0 20 0 1 0 343159239 12255232 2193 33554432000 134512640 135840783 4294379040 4294143964 10609712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 2992 2193 344 325 0 1928 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11968

[startup+6.30024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 13542
/proc/meminfo: memFree=27306852/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=11968 CPUtime=6.29 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 2586 0 0 0 628 1 0 0 20 0 1 0 343159239 12255232 2194 33554432000 134512640 135840783 4294379040 4294143964 10609712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 2992 2194 344 325 0 1928 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11968

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 13542
/proc/meminfo: memFree=27296496/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=17668 CPUtime=12.69 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 4243 0 0 0 1266 3 0 0 20 0 1 0 343159239 18092032 3658 33554432000 134512640 135840783 4294379040 4294375664 134575006 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 4417 3658 349 325 0 3353 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17668

[startup+25.5003 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 13542
/proc/meminfo: memFree=27250484/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=39392 CPUtime=25.48 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 9663 0 0 0 2544 4 0 0 20 0 1 0 343159239 40337408 9078 33554432000 134512640 135840783 4294379040 4294378400 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 9848 9078 349 325 0 8784 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39392

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 13542
/proc/meminfo: memFree=27184344/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=76792 CPUtime=51.08 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 19015 0 0 0 5102 6 0 0 20 0 1 0 343159239 78635008 18430 33554432000 134512640 135840783 4294379040 4294378256 134575118 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 19198 18430 349 325 0 18134 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 76792

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 13546
/proc/meminfo: memFree=26999504/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=153264 CPUtime=102.28 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 38132 0 0 0 10217 11 0 0 20 0 1 0 343159239 156942336 37547 33554432000 134512640 135840783 4294379040 4294378352 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 38316 37547 349 325 0 37252 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 153264

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13546
/proc/meminfo: memFree=26859420/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=231300 CPUtime=162.26 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 57642 0 0 0 16211 15 0 0 20 0 1 0 343159239 236851200 57057 33554432000 134512640 135840783 4294379040 4294378128 1580292 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 57825 57057 349 325 0 56761 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 231300

[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13546
/proc/meminfo: memFree=26725404/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=312740 CPUtime=222.26 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 78015 0 0 0 22205 21 0 0 20 0 1 0 343159239 320245760 77430 33554432000 134512640 135840783 4294379040 4294378176 1579821 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 78185 77430 349 325 0 77121 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 312740

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13546
/proc/meminfo: memFree=26598708/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=383320 CPUtime=282.24 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 95657 0 0 0 28199 25 0 0 20 0 1 0 343159239 392519680 95072 33554432000 134512640 135840783 4294379040 4294378176 1579762 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 95830 95072 349 325 0 94766 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 383320

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13546
/proc/meminfo: memFree=26455520/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=446832 CPUtime=342.23 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 111537 0 0 0 34192 31 0 0 20 0 1 0 343159239 457555968 110952 33554432000 134512640 135840783 4294379040 4294378400 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 111708 110952 349 325 0 110644 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 446832

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13547
/proc/meminfo: memFree=26335640/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=504228 CPUtime=402.22 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 125869 0 0 0 40187 35 0 0 20 0 1 0 343159239 516329472 125284 33554432000 134512640 135840783 4294379040 4294378112 1579934 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 126057 125284 349 325 0 124993 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 504228

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13547
/proc/meminfo: memFree=26134292/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=622380 CPUtime=462.19 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 155458 0 0 0 46176 43 0 0 20 0 1 0 343159239 637317120 154838 33554432000 134512640 135840783 4294379040 4294378400 134551200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 155595 154838 349 325 0 154531 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 622380

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13547
/proc/meminfo: memFree=26025844/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=674104 CPUtime=522.15 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 168409 0 0 0 52169 46 0 0 20 0 1 0 343159239 690282496 167748 33554432000 134512640 135840783 4294379040 4294378400 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 168526 167748 349 325 0 167462 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 674104

[startup+582.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 13547
/proc/meminfo: memFree=25916380/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=730292 CPUtime=582.11 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 182530 0 0 0 58161 50 0 0 20 0 1 0 343159239 747819008 181827 33554432000 134512640 135840783 4294379040 4294378400 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 182573 181827 349 325 0 181509 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 730292

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13551
/proc/meminfo: memFree=25382304/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1032496 CPUtime=821.97 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 258198 0 0 0 82128 69 0 0 20 0 1 0 343159239 1057275904 257366 33554432000 134512640 135840783 4294379040 4294316124 1587728 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 258124 257366 349 325 0 257060 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 1032496

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13551
/proc/meminfo: memFree=25238128/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1150684 CPUtime=881.94 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 287788 0 0 0 88118 76 0 0 20 0 1 0 343159239 1178300416 286916 33554432000 134512640 135840783 4294379040 4294378400 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 287671 286916 349 325 0 286607 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 1150684

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13551
/proc/meminfo: memFree=25127432/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1206296 CPUtime=941.89 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 301712 0 0 0 94110 79 0 0 20 0 1 0 343159239 1235247104 300806 33554432000 134512640 135840783 4294379040 4294378400 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 301574 300810 349 325 0 300510 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 1206296

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13552
/proc/meminfo: memFree=25001784/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1270464 CPUtime=1001.86 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 317784 0 0 0 100102 84 0 0 20 0 1 0 343159239 1300955136 316844 33554432000 134512640 135840783 4294379040 4294378400 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 317616 316844 349 325 0 316552 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 1270464

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13552
/proc/meminfo: memFree=24921708/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1313188 CPUtime=1061.84 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 328507 0 0 0 106096 88 0 0 20 0 1 0 343159239 1344704512 327544 33554432000 134512640 135840783 4294379040 4294378352 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 328297 327544 349 325 0 327233 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 1313188

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13552
/proc/meminfo: memFree=24833832/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1359176 CPUtime=1121.82 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 340021 0 0 0 112091 91 0 0 20 0 1 0 343159239 1391796224 339031 33554432000 134512640 135840783 4294379040 4294378336 134572646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 339794 339031 349 325 0 338730 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 1359176

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13552
/proc/meminfo: memFree=24763568/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1386456 CPUtime=1181.78 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 346875 0 0 0 118085 93 0 0 20 0 1 0 343159239 1419730944 345846 33554432000 134512640 135840783 4294379040 4294378400 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 346614 345846 349 325 0 345550 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 1386456

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13552
/proc/meminfo: memFree=24688088/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1411804 CPUtime=1241.74 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 353259 0 0 0 124079 95 0 0 20 0 1 0 343159239 1445687296 352191 33554432000 134512640 135840783 4294379040 4294378400 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 352951 352191 349 325 0 351887 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 1411804

[startup+1302.3 s]
/proc/loadavg: 2.08 2.01 2.00 3/178 13556
/proc/meminfo: memFree=24602076/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1437444 CPUtime=1301.71 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 359702 0 0 0 130074 97 0 0 20 0 1 0 343159239 1471942656 358601 33554432000 134512640 135840783 4294379040 4294378512 134552354 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 359361 358601 349 325 0 358297 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 1437444

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13578
/proc/meminfo: memFree=24537948/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1469908 CPUtime=1361.69 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 367816 0 0 0 136069 100 0 0 20 0 1 0 343159239 1505185792 366715 33554432000 134512640 135840783 4294379040 4294378400 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 367477 366715 349 325 0 366413 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 1469908

[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 13578
/proc/meminfo: memFree=24458100/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1510672 CPUtime=1421.7 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 378029 0 0 0 142066 104 0 0 20 0 1 0 343159239 1546928128 376928 33554432000 134512640 135840783 4294379040 4294368544 134586698 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 377668 376928 349 325 0 376604 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 1510672

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13578
/proc/meminfo: memFree=24384568/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1555260 CPUtime=1481.68 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 389169 0 0 0 148061 107 0 0 20 0 1 0 343159239 1592586240 388068 33554432000 134512640 135840783 4294379040 4294378400 134550939 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 388815 388068 349 325 0 387751 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 1555260

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13578
/proc/meminfo: memFree=24310420/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1594332 CPUtime=1541.68 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 398935 0 0 0 154057 111 0 0 20 0 1 0 343159239 1632595968 397834 33554432000 134512640 135840783 4294379040 4294378400 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 398583 397834 349 325 0 397519 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 1594332

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13579
/proc/meminfo: memFree=24241104/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1636932 CPUtime=1601.65 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 409585 0 0 0 160052 113 0 0 20 0 1 0 343159239 1676218368 408484 33554432000 134512640 135840783 4294379040 4294378400 134550924 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 409233 408484 349 325 0 408169 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1636932

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13579
/proc/meminfo: memFree=24183816/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1676108 CPUtime=1661.65 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 419363 0 0 0 166049 116 0 0 20 0 1 0 343159239 1716334592 418262 33554432000 134512640 135840783 4294379040 4294378400 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 419027 418262 349 325 0 417963 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 1676108

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13618
/proc/meminfo: memFree=25652184/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1719152 CPUtime=1721.64 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 430148 0 0 0 172045 119 0 0 20 0 1 0 343159239 1760411648 429047 33554432000 134512640 135840783 4294379040 4294378400 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 429788 429047 349 325 0 428724 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 1719152

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13618
/proc/meminfo: memFree=25396620/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1765344 CPUtime=1781.63 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 441694 0 0 0 178041 122 0 0 20 0 1 0 343159239 1807712256 440593 33554432000 134512640 135840783 4294379040 4294378400 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 441336 440593 349 325 0 440272 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 1765344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13618
/proc/meminfo: memFree=25347268/32873648 swapFree=7112/7112
[pid=13541] ppid=13539 vsize=1774240 CPUtime=1800.04 cores=1,3,5,7
/proc/13541/stat : 13541 (bsolo3.0.17) R 13539 13541 11604 0 -1 4202496 443900 0 0 0 179881 123 0 0 20 0 1 0 343159239 1816821760 442799 33554432000 134512640 135840783 4294379040 4294378400 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13541/statm: 443560 442799 349 325 0 442496 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1774240

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

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

Child status: 15
Real time (s): 1800.74
CPU time (s): 1800.08
CPU user time (s): 1798.82
CPU system time (s): 1.26281
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 1774240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 1.26281
maximum resident set size= 1771196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443903
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= 540
involuntary context switches= 1831

runsolver used 3.36249 second user time and 9.39257 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-04 02:38:53
IDJOB=3742373
IDBENCH=90170
IDSOLVER=2318
FILE ID=node126/3742373-1338770333
RUNJOBID= node126-1338747103-11621
PBS_JOBID= 14636777
Free space on /tmp= 70780 MiB

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

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

MD5SUM BENCH= 57b7e746b37944d021e8febe16059957
RANDOM SEED=1641214583

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:        27321860 kB
Buffers:          445744 kB
Cached:          4037848 kB
SwapCached:         9484 kB
Active:          1772940 kB
Inactive:        2900004 kB
Active(anon):     178920 kB
Inactive(anon):    12264 kB
Active(file):    1594020 kB
Inactive(file):  2887740 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67095016 kB
Dirty:              7780 kB
Writeback:             0 kB
AnonPages:        187032 kB
Mapped:            11028 kB
Shmem:                 0 kB
Slab:             738412 kB
SReclaimable:     182792 kB
SUnreclaim:       555620 kB
KernelStack:        1456 kB
PageTables:         4368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     302012 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:08:56