Trace number 3741931

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.15 1800.78

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K105.opb
MD5SUMf2bb3fbff44c335cc6fb8854fd262f5a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark235.677
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7140
Total number of constraints7352
Number of constraints which are clauses7247
Number of constraints which are cardinality constraints (but not clauses)105
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint105
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 106
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.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 15500 MB
0.00/0.01	c Instance file HOME/instance-3741931-1338764981.opb
0.00/0.01	c File size is 457971 bytes.
0.02/0.05	c Highest Coefficient sum: 106
0.02/0.05	c Parsing was ok!!
0.02/0.05	c Total parsing time: 0.039 s
0.02/0.05	c Var: 7140 Constr: 7352 7247/105/0 Lit: 45862 Watch. Lit: 21632
0.02/0.05	c Obj. Vars: 0 (0 % of total variables)
1.28/1.35	c Pre-processing Time: 1.343 s
1.28/1.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.28/1.35	c        0   6385     6653    42742    6    20005  103419      0      0 1.34
1.28/1.35	c Switching off LPR mode.
1800.07/1800.71	c      101   6385     6754    54726    8    20207  113761    101     73 1.37
1800.07/1800.71	c      251   6385     6904    71186   10    20507  125138    251    178 1.41
1800.07/1800.71	c      476   6385     7129    90531   12    20957  137652    476    317 1.50
1800.07/1800.71	c      814   6385     7467   116281   15    21633  151418    814    504 1.61
1800.07/1800.71	c     1323   6385     7976   201701   25    22651  166560   1323    732 1.80
1800.07/1800.71	c     2086   6385     8739   361129   41    24177  183217   2086   1000 2.09
1800.07/1800.71	c     3234   6385     9887   561252   56    26473  201539   3234   1266 2.55
1800.07/1800.71	c     4955   6385    11608   820780   70    29915  221693   4955   1466 3.38
1800.07/1800.71	c     7539   6385    14192  1258858   88    35083  243863   7539   1601 4.71
1800.07/1800.71	c    11418   6385    18071  2419159  133    42841  268250  11418   1481 7.71
1800.07/1800.71	c    17240   6385    23893  3584386  150    54485  295076  17240   1399 12.32
1800.07/1800.71	c    25979   6385    32632  7001203  214    71963  324584  25979   1122 23.15
1800.07/1800.71	c    39089   6385    45742 11869537  259    98183  357043  39089    830 47.08
1800.07/1800.71	c    58760   6385    65413 17261108  263   137525  392748  58760    641 91.67
1800.07/1800.71	c    88272   6385    94925 45993131  484   196549  432023  88272    365 241.73
1800.07/1800.71	c   132542   6385   139195 83600670  600   285089  475226 132542    267 494.69
1800.07/1800.71	c   198952   6385   205605 183545319  892   417909  522749 198952    131 1512.06
1800.07/1800.71	c Caught signal: 15
1800.07/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.71	c   17   226750 119197  3573367   233403 203479339 226750    125 1800.08
1800.07/1800.71	s UNKNOWN
1800.07/1800.71	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-3741931-1338764981/watcher-3741931-1338764981 -o /tmp/evaluation-result-3741931-1338764981/solver-3741931-1338764981 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741931-1338764981.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: 1.93 1.98 1.99 3/176 13996
/proc/meminfo: memFree=26074136/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/13996/stat : 13996 (runsolver) D 13994 13996 12501 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 342622530 12095488 50 33554432000 4194304 5436572 140736684238320 140736684234616 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 2953 50 31 304 0 2645 0

[startup+0.042574 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 13996
/proc/meminfo: memFree=26074136/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=6376 CPUtime=0.02 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 865 0 0 0 2 0 0 0 20 0 1 0 342622530 6529024 802 33554432000 134512640 135840783 4286843344 4286842336 134525286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 1594 802 410 325 0 418 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6376

[startup+0.100259 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 13996
/proc/meminfo: memFree=26074136/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=7244 CPUtime=0.08 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 1225 0 0 0 8 0 0 0 20 0 1 0 342622530 7417856 1050 33554432000 134512640 135840783 4286843344 4286756780 8188976 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 1811 1050 344 325 0 747 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7244

[startup+0.300223 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 13996
/proc/meminfo: memFree=26074136/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=7244 CPUtime=0.28 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 1226 0 0 0 28 0 0 0 20 0 1 0 342622530 7417856 1051 33554432000 134512640 135840783 4286843344 4286756780 8188976 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 1811 1051 344 325 0 747 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7244

[startup+0.700228 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 13996
/proc/meminfo: memFree=26074136/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=7244 CPUtime=0.68 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 1226 0 0 0 68 0 0 0 20 0 1 0 342622530 7417856 1051 33554432000 134512640 135840783 4286843344 4286756780 8188976 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 1811 1051 344 325 0 747 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7244

[startup+1.50022 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 13997
/proc/meminfo: memFree=26068168/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=7812 CPUtime=1.48 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 1508 0 0 0 148 0 0 0 20 0 1 0 342622530 7999488 1208 33554432000 134512640 135840783 4286843344 4286842816 134552404 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 1953 1208 349 325 0 889 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7812

[startup+3.10023 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 13997
/proc/meminfo: memFree=26061596/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=16560 CPUtime=3.08 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 3716 0 0 0 307 1 0 0 20 0 1 0 342622530 16957440 3416 33554432000 134512640 135840783 4286843344 4286841072 134574600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 4140 3416 349 325 0 3076 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16560

[startup+6.30026 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 13997
/proc/meminfo: memFree=26039880/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=33612 CPUtime=6.28 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 7965 0 0 0 626 2 0 0 20 0 1 0 342622530 34418688 7665 33554432000 134512640 135840783 4286843344 4286837056 1582375 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 8403 7665 349 325 0 7339 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33612

[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 13997
/proc/meminfo: memFree=26006664/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=55168 CPUtime=12.68 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 13342 0 0 0 1265 3 0 0 20 0 1 0 342622530 56492032 13042 33554432000 134512640 135840783 4286843344 4286842816 134552407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 13792 13042 349 325 0 12728 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 55168

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 14000
/proc/meminfo: memFree=25933192/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=105648 CPUtime=25.47 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 25972 0 0 0 2542 5 0 0 20 0 1 0 342622530 108183552 25672 33554432000 134512640 135840783 4286843344 4286842704 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 26412 25672 349 325 0 25348 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 105648

[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.99 3/178 14000
/proc/meminfo: memFree=25845020/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=173776 CPUtime=51.07 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 43018 0 0 0 5098 9 0 0 20 0 1 0 342622530 177946624 42718 33554432000 134512640 135840783 4286843344 4286842704 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 43444 42718 349 325 0 42380 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 173776

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 14001
/proc/meminfo: memFree=25745624/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=244000 CPUtime=102.27 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 60558 0 0 0 10213 14 0 0 20 0 1 0 342622530 249856000 60258 33554432000 134512640 135840783 4286843344 4286842704 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 61000 60258 349 325 0 59936 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 244000

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14001
/proc/meminfo: memFree=25533364/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=398508 CPUtime=162.26 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 99208 0 0 0 16204 22 0 0 20 0 1 0 342622530 408072192 98908 33554432000 134512640 135840783 4286843344 4286842704 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 99627 98908 349 325 0 98563 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 398508

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14001
/proc/meminfo: memFree=25303372/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=551500 CPUtime=222.25 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 137451 0 0 0 22194 31 0 0 20 0 1 0 342622530 564736000 137151 33554432000 134512640 135840783 4286843344 4286842672 11812831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 137875 137151 349 325 0 136811 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 551500

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14001
/proc/meminfo: memFree=25058624/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=714392 CPUtime=282.24 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 178166 0 0 0 28184 40 0 0 20 0 1 0 342622530 731537408 177866 33554432000 134512640 135840783 4286843344 4286842704 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 178598 177866 349 325 0 177534 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 714392

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14001
/proc/meminfo: memFree=24862484/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=818604 CPUtime=342.23 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 204222 0 0 0 34176 47 0 0 20 0 1 0 342622530 838250496 203922 33554432000 134512640 135840783 4286843344 4286842704 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 204651 203922 349 325 0 203587 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 818604

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14002
/proc/meminfo: memFree=24641420/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=954808 CPUtime=402.22 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 238277 0 0 0 40166 56 0 0 20 0 1 0 342622530 977723392 237977 33554432000 134512640 135840783 4286843344 4286842704 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 238702 237977 349 325 0 237638 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 954808

[startup+462.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 14002
/proc/meminfo: memFree=24477520/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=1030296 CPUtime=462.2 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 257139 0 0 0 46159 61 0 0 20 0 1 0 342622530 1055023104 256839 33554432000 134512640 135840783 4286843344 4286842704 134551076 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 257574 256839 349 325 0 256510 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1030296

[startup+522.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 14002
/proc/meminfo: memFree=24309032/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=1116152 CPUtime=522.2 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 278610 0 0 0 52153 67 0 0 20 0 1 0 342622530 1142939648 278310 33554432000 134512640 135840783 4286843344 4286842624 1584782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 279038 278310 349 325 0 277974 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1116152

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14002
/proc/meminfo: memFree=24159392/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=1190168 CPUtime=582.19 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 297122 0 0 0 58147 72 0 0 20 0 1 0 342622530 1218732032 296822 33554432000 134512640 135840783 4286843344 4286842704 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 297542 296822 349 325 0 296478 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1190168

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14006
/proc/meminfo: memFree=23325028/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=1638096 CPUtime=882.11 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 409187 0 0 0 88116 95 0 0 20 0 1 0 342622530 1677410304 408804 33554432000 134512640 135840783 4286843344 4286842704 134550782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 409524 408804 349 325 0 408460 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 1638096

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14006
/proc/meminfo: memFree=23220524/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=1707232 CPUtime=942.08 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 426510 0 0 0 94107 101 0 0 20 0 1 0 342622530 1748205568 426086 33554432000 134512640 135840783 4286843344 4286806048 134586540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 426808 426086 349 325 0 425744 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 1707232

[startup+1002.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 14007
/proc/meminfo: memFree=23125692/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=1775640 CPUtime=1002.05 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 443630 0 0 0 100099 106 0 0 20 0 1 0 342622530 1818255360 443175 33554432000 134512640 135840783 4286843344 4286842704 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 443910 443175 349 325 0 442846 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1775640

[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14007
/proc/meminfo: memFree=23021808/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=1840216 CPUtime=1062.03 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 459818 0 0 0 106093 110 0 0 20 0 1 0 342622530 1884381184 459334 33554432000 134512640 135840783 4286843344 4286842704 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 460054 459334 349 325 0 458990 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1840216

[startup+1122.3 s]
/proc/loadavg: 1.94 2.00 1.99 3/177 14046
/proc/meminfo: memFree=25443204/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=1918756 CPUtime=1122 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 479461 0 0 0 112087 113 0 0 20 0 1 0 342622530 1964806144 478959 33554432000 134512640 135840783 4286843344 4286842704 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 479689 478959 349 325 0 478625 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1918756

[startup+1182.3 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 14046
/proc/meminfo: memFree=25217940/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=1979984 CPUtime=1181.97 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 494812 0 0 0 118080 117 0 0 20 0 1 0 342622530 2027503616 494276 33554432000 134512640 135840783 4286843344 4286842704 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 494996 494276 349 325 0 493932 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1979984

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 14049
/proc/meminfo: memFree=24957312/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=2043048 CPUtime=1241.94 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 510599 0 0 0 124073 121 0 0 20 0 1 0 342622530 2092081152 510026 33554432000 134512640 135840783 4286843344 4286842704 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 510762 510026 349 325 0 509698 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 2043048

[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/176 14049
/proc/meminfo: memFree=24787220/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=2106384 CPUtime=1301.92 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 526464 0 0 0 130068 124 0 0 20 0 1 0 342622530 2156937216 525865 33554432000 134512640 135840783 4286843344 4286842704 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 526596 525865 349 325 0 525532 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 2106384

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 14050
/proc/meminfo: memFree=24617368/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=2190712 CPUtime=1361.86 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 547584 0 0 0 136058 128 0 0 20 0 1 0 342622530 2243289088 546956 33554432000 134512640 135840783 4286843344 4286842704 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 547678 546956 349 325 0 546614 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 2190712

[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 14050
/proc/meminfo: memFree=24389608/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=2258196 CPUtime=1421.84 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 564477 0 0 0 142052 132 0 0 20 0 1 0 342622530 2312392704 563816 33554432000 134512640 135840783 4286843344 4286842704 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 564549 563816 349 325 0 563485 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 2258196

[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14050
/proc/meminfo: memFree=24198428/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=2319312 CPUtime=1481.8 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 579808 0 0 0 148045 135 0 0 20 0 1 0 342622530 2374975488 579114 33554432000 134512640 135840783 4286843344 4286842704 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 579828 579114 349 325 0 578764 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 2319312

[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 14050
/proc/meminfo: memFree=24029940/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=2389564 CPUtime=1541.77 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 597411 0 0 0 154037 140 0 0 20 0 1 0 342622530 2446913536 596682 33554432000 134512640 135840783 4286843344 4286842704 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 597391 596682 349 325 0 596327 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 2389564

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14050
/proc/meminfo: memFree=23882904/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=2447316 CPUtime=1601.74 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 611851 0 0 0 160029 145 0 0 20 0 1 0 342622530 2506051584 611094 33554432000 134512640 135840783 4286843344 4286842704 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 611829 611094 349 325 0 610765 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 2447316

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14051
/proc/meminfo: memFree=23766496/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=2489176 CPUtime=1661.72 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 622344 0 0 0 166024 148 0 0 20 0 1 0 342622530 2548916224 621557 33554432000 134512640 135840783 4286843344 4286837424 1582375 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 622294 621557 349 325 0 621230 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 2489176

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14051
/proc/meminfo: memFree=23622064/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=2537904 CPUtime=1721.69 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 634567 0 0 0 172018 151 0 0 20 0 1 0 342622530 2598813696 633748 33554432000 134512640 135840783 4286843344 4286842656 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 634476 633748 349 325 0 633412 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 2537904

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14051
/proc/meminfo: memFree=23525248/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=2586744 CPUtime=1781.67 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 646805 0 0 0 178013 154 0 0 20 0 1 0 342622530 2648825856 645954 33554432000 134512640 135840783 4286843344 4286842656 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 646686 645954 349 325 0 645622 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 2586744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14051
/proc/meminfo: memFree=23476856/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=2616132 CPUtime=1800.07 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 654160 0 0 0 179851 156 0 0 20 0 1 0 342622530 2678919168 653303 33554432000 134512640 135840783 4286843344 4286842704 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 654033 653303 349 325 0 652969 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2616132

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

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

[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14051
/proc/meminfo: memFree=23476856/32873844 swapFree=6608/6608
[pid=13996] ppid=13994 vsize=2616132 CPUtime=1800.07 cores=0,2,4,6
/proc/13996/stat : 13996 (bsolo3.0.17) R 13994 13996 12501 0 -1 4202496 654160 0 0 0 179851 156 0 0 20 0 1 0 342622530 2678919168 653303 33554432000 134512640 135840783 4286843344 4286842704 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13996/statm: 654033 653303 349 325 0 652969 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2616132

Child status: 15
Real time (s): 1800.78
CPU time (s): 1800.15
CPU user time (s): 1798.52
CPU system time (s): 1.62675
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 2616132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 1.62675
maximum resident set size= 2613212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 654163
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= 615
involuntary context switches= 2040

runsolver used 3.40148 second user time and 9.06362 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-04 01:09:41
IDJOB=3741931
IDBENCH=90119
IDSOLVER=2318
FILE ID=node140/3741931-1338764981
RUNJOBID= node140-1338749243-12517
PBS_JOBID= 14636796
Free space on /tmp= 70608 MiB

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

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

MD5SUM BENCH= f2bb3fbff44c335cc6fb8854fd262f5a
RANDOM SEED=909460229

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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.094
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		: 2667.094
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.88
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.094
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		: 2667.094
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:       32873844 kB
MemFree:        26074400 kB
Buffers:          517572 kB
Cached:          4014692 kB
SwapCached:         1620 kB
Active:          2863824 kB
Inactive:        2999432 kB
Active(anon):    1323120 kB
Inactive(anon):     9476 kB
Active(file):    1540704 kB
Inactive(file):  2989956 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105264 kB
Dirty:              7084 kB
Writeback:             0 kB
AnonPages:       1337308 kB
Mapped:            11824 kB
Shmem:                 8 kB
Slab:             791604 kB
SReclaimable:     233592 kB
SUnreclaim:       558012 kB
KernelStack:        1448 kB
PageTables:         6572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1445884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1050624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70604 MiB
End job on node140 at 2012-06-04 01:39:44