Trace number 3707691

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
bsolo 3.2? 1798 1798.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K104.opb
MD5SUMa8d55fafa030e5024da65ad802ff80be
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 benchmark92.024
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7072
Total number of constraints7282
Number of constraints which are clauses7178
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint104
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 105
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3707691-1338227129.opb
0.00/0.00	c File size is 453521 bytes.
0.00/0.04	c Highest Coefficient sum: 105
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.038 s
0.00/0.04	c Var: 7072 Constr: 7282 7178/104/0 Lit: 45423 Watch. Lit: 21426
0.00/0.04	c Obj. Vars: 0 (0 % of total variables)
1.49/1.50	c Pre-processing Time: 1.5 s
1.49/1.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.50	c        0   6318     6584    42309    6    19801  102396      0      0 1.50
1.49/1.50	c Switching off lower bounding mode.
1797.99/1798.60	c      100   6318     6695    55007    8    20220  112636    111     60 1.65
1797.99/1798.60	c      250   6318     6878    75427   10    21091  123900    294    144 1.74
1797.99/1798.60	c      475   6318     7152    91568   12    23273  136291    568    242 1.96
1797.99/1798.60	c      813   6318     7550   119169   15    25599  149921    966    355 2.28
1797.99/1798.60	c     1321   6318     8149   176861   21    29366  164914   1565    485 2.72
1797.99/1798.60	c     2084   6318     9042   291111   32    33381  181406   2458    617 3.37
1797.99/1798.60	c     3230   6318    10356   448893   43    38468  199547   3772    774 4.17
1797.99/1798.60	c     4953   6318    12341   819415   66    46695  219502   5757    841 5.88
1797.99/1798.60	c     7537   6318    15334  1476243   96    58024  241453   8750    791 9.52
1797.99/1798.60	c    11416   6318    19755  5396540  273    71073  265599  13171    492 23.20
1797.99/1798.60	c    17238   6318    26400  7043725  266    92057  292159  19816    501 34.38
1797.99/1798.60	c    25976   6318    36338  9721896  267   124118  321375  29754    436 59.50
1797.99/1798.60	c    39086   6318    51381 15914304  309   175546  353513  44797    339 115.22
1797.99/1798.60	c    58757   6318    74106 29680124  400   250588  388865  67522    239 245.08
1797.99/1798.60	c    88267   6318   107967 44954807  416   357885  427752 101383    182 484.02
1797.99/1798.60	c Reducing formula size due to memory constraints
1797.99/1798.60	c Memory Limit: 1000.00 MB  Used: 1000.30 MB
1797.99/1798.60	c   132538   6318    31656 15087703  476    92122   37685  25072    134 987.22
1797.99/1798.60	c   198949   6318    28219 22888277  811    72850   41454  21635    110 1795.55
1797.99/1798.60	c Resources Exceeded
1797.99/1798.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.60	c   17   199151 114382  4346201    28486 23350416  21902    110 1798.00
1797.99/1798.60	s UNKNOWN
1797.99/1798.60	c Total time: 1798 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-3707691-1338227129/watcher-3707691-1338227129 -o /tmp/evaluation-result-3707691-1338227129/solver-3707691-1338227129 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707691-1338227129.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 2/176 27999
/proc/meminfo: memFree=30535392/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=19200 CPUtime=0 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 339 0 0 0 0 0 0 0 20 0 1 0 288841482 19660800 292 33554432000 134512640 137138936 4293024256 4293022736 134529733 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 4800 292 175 642 0 4045 0

[startup+0.0841829 s]
/proc/loadavg: 2.01 2.01 2.00 2/176 27999
/proc/meminfo: memFree=30535392/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=13320 CPUtime=0.07 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 1038 0 0 0 7 0 0 0 20 0 1 0 288841482 13639680 880 33554432000 134512640 137138936 4293024256 4292937896 135984556 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 3330 880 184 642 0 2686 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13320

[startup+0.100216 s]
/proc/loadavg: 2.01 2.01 2.00 2/176 27999
/proc/meminfo: memFree=30535392/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=13320 CPUtime=0.09 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 1038 0 0 0 9 0 0 0 20 0 1 0 288841482 13639680 880 33554432000 134512640 137138936 4293024256 4292938080 134543407 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 3330 880 184 642 0 2686 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13320

[startup+0.300181 s]
/proc/loadavg: 2.01 2.01 2.00 2/176 27999
/proc/meminfo: memFree=30535392/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=13320 CPUtime=0.29 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 1039 0 0 0 29 0 0 0 20 0 1 0 288841482 13639680 881 33554432000 134512640 137138936 4293024256 4292937904 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 3330 881 184 642 0 2686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13320

[startup+0.700186 s]
/proc/loadavg: 2.01 2.01 2.00 2/176 27999
/proc/meminfo: memFree=30535392/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=13320 CPUtime=0.69 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 1039 0 0 0 69 0 0 0 20 0 1 0 288841482 13639680 881 33554432000 134512640 137138936 4293024256 4292938092 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 3330 881 184 642 0 2686 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13320

[startup+1.50019 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28000
/proc/meminfo: memFree=30532020/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=13800 CPUtime=1.49 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 1297 0 0 0 148 1 0 0 20 0 1 0 288841482 14131200 1015 33554432000 134512640 137138936 4293024256 4292937884 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 3450 1015 186 642 0 2806 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13800

[startup+3.10018 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28000
/proc/meminfo: memFree=30529788/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=16096 CPUtime=3.09 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 1883 0 0 0 301 8 0 0 20 0 1 0 288841482 16482304 1601 33554432000 134512640 137138936 4293024256 4293022960 136297633 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 4024 1601 192 642 0 3380 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16096

[startup+6.30019 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28000
/proc/meminfo: memFree=30519248/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=24980 CPUtime=6.29 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 4090 0 0 0 615 14 0 0 20 0 1 0 288841482 25579520 3808 33554432000 134512640 137138936 4293024256 4293023184 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 6245 3808 192 642 0 5601 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24980

[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28000
/proc/meminfo: memFree=30494588/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=44904 CPUtime=12.69 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 10075 0 0 0 1248 21 0 0 20 0 1 0 288841482 45981696 8808 33554432000 134512640 137138936 4293024256 4293023008 134575204 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 11226 8808 192 642 0 10582 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44904

[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28000
/proc/meminfo: memFree=30440144/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=88584 CPUtime=25.49 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 24638 0 0 0 2523 26 0 0 20 0 1 0 288841482 90710016 19723 33554432000 134512640 137138936 4293024256 4293022792 136504068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 22146 19723 192 642 0 21502 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88584

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28000
/proc/meminfo: memFree=30382436/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=130852 CPUtime=51.09 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 35209 0 0 0 5064 45 0 0 20 0 1 0 288841482 133992448 30291 33554432000 134512640 137138936 4293024256 4293023184 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 32713 30291 192 642 0 32069 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 130852

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28001
/proc/meminfo: memFree=30284396/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=196092 CPUtime=102.28 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 51811 0 0 0 10161 67 0 0 20 0 1 0 288841482 200798208 46588 33554432000 134512640 137138936 4293024256 4293023184 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 49023 46588 192 642 0 48379 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 196092

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28001
/proc/meminfo: memFree=30178900/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=302148 CPUtime=162.27 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 84851 0 0 0 16146 81 0 0 20 0 1 0 288841482 309399552 73117 33554432000 134512640 137138936 4293024256 4293023152 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 75537 73117 192 642 0 74893 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 302148

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28001
/proc/meminfo: memFree=30108068/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=372220 CPUtime=222.23 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 103212 0 0 0 22127 96 0 0 20 0 1 0 288841482 381153280 90622 33554432000 134512640 137138936 4293024256 4293023184 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 93055 90622 192 642 0 92411 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 372220

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 28004
/proc/meminfo: memFree=30046808/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=433240 CPUtime=282.17 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 118655 0 0 0 28103 114 0 0 20 0 1 0 288841482 443637760 105897 33554432000 134512640 137138936 4293024256 4293022752 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 108310 105897 192 642 0 107666 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 433240

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28004
/proc/meminfo: memFree=30003220/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=476724 CPUtime=342.13 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 129867 0 0 0 34083 130 0 0 20 0 1 0 288841482 488165376 116747 33554432000 134512640 137138936 4293024256 4293022680 134606964 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 119181 116747 192 642 0 118537 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 476724

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 28005
/proc/meminfo: memFree=29948440/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=531712 CPUtime=402.09 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 144566 0 0 0 40066 143 0 0 20 0 1 0 288841482 544473088 130502 33554432000 134512640 137138936 4293024256 4293022800 134607563 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 132928 130502 192 642 0 132284 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 531712

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28005
/proc/meminfo: memFree=29899488/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=579776 CPUtime=462.04 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 157595 0 0 0 46052 152 0 0 20 0 1 0 288841482 593690624 142529 33554432000 134512640 137138936 4293024256 4293023184 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 144944 142529 192 642 0 144300 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 579776

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28005
/proc/meminfo: memFree=29855744/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=623952 CPUtime=522.01 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 168940 0 0 0 52036 165 0 0 20 0 1 0 288841482 638926848 153578 33554432000 134512640 137138936 4293024256 4293023184 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 155988 153578 192 642 0 155344 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 623952

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28005
/proc/meminfo: memFree=29802696/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=677056 CPUtime=581.97 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 182394 0 0 0 58021 176 0 0 20 0 1 0 288841482 693305344 166829 33554432000 134512640 137138936 4293024256 4293022752 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27999/statm: 169264 166829 192 642 0 168620 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 677056

[startup+642.3 s]

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

/proc/meminfo: memFree=30063352/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035964 CPUtime=1121.89 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281177 0 0 0 111940 249 0 0 20 0 1 0 288841482 1060827136 257065 33554432000 134512640 137138936 4293024256 4293023184 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258991 257065 192 642 0 258347 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1035964

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28071
/proc/meminfo: memFree=29974940/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035964 CPUtime=1181.88 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281177 0 0 0 117937 251 0 0 20 0 1 0 288841482 1060827136 257065 33554432000 134512640 137138936 4293024256 4293023184 134542354 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258991 257065 192 642 0 258347 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1035964

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 28071
/proc/meminfo: memFree=29899672/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035964 CPUtime=1241.87 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281177 0 0 0 123934 253 0 0 20 0 1 0 288841482 1060827136 257065 33554432000 134512640 137138936 4293024256 4293022924 136502660 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258991 257065 192 642 0 258347 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1035964

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28071
/proc/meminfo: memFree=29835972/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035960 CPUtime=1301.86 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281190 0 0 0 129932 254 0 0 20 0 1 0 288841482 1060823040 257065 33554432000 134512640 137138936 4293024256 4293022800 134607587 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258990 257065 192 642 0 258346 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1035960

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 28072
/proc/meminfo: memFree=29764452/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035960 CPUtime=1361.82 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281227 0 0 0 135926 256 0 0 20 0 1 0 288841482 1060823040 257065 33554432000 134512640 137138936 4293024256 4293023152 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258990 257065 192 642 0 258346 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1035960

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28072
/proc/meminfo: memFree=29699752/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035960 CPUtime=1421.79 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281271 0 0 0 141921 258 0 0 20 0 1 0 288841482 1060823040 257065 33554432000 134512640 137138936 4293024256 4293023184 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258990 257065 192 642 0 258346 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1035960

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28075
/proc/meminfo: memFree=29637136/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035960 CPUtime=1481.76 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281303 0 0 0 147916 260 0 0 20 0 1 0 288841482 1060823040 257065 33554432000 134512640 137138936 4293024256 4293023372 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258990 257065 192 642 0 258346 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1035960

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 28075
/proc/meminfo: memFree=29577116/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035960 CPUtime=1541.73 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281321 0 0 0 153912 261 0 0 20 0 1 0 288841482 1060823040 257065 33554432000 134512640 137138936 4293024256 4293023184 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258990 257065 192 642 0 258346 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1035960

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28075
/proc/meminfo: memFree=29526428/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035948 CPUtime=1601.72 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281321 0 0 0 159910 262 0 0 20 0 1 0 288841482 1060810752 257065 33554432000 134512640 137138936 4293024256 4293023184 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258987 257065 192 642 0 258343 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1035948

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28076
/proc/meminfo: memFree=29470904/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035948 CPUtime=1661.71 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281321 0 0 0 165907 264 0 0 20 0 1 0 288841482 1060810752 257065 33554432000 134512640 137138936 4293024256 4293022568 136504449 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258987 257065 192 642 0 258343 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1035948

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28076
/proc/meminfo: memFree=29438444/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035948 CPUtime=1721.7 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281321 0 0 0 171905 265 0 0 20 0 1 0 288841482 1060810752 257065 33554432000 134512640 137138936 4293024256 4293023184 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258987 257065 192 642 0 258343 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1035948

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28076
/proc/meminfo: memFree=29438472/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035948 CPUtime=1781.7 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281321 0 0 0 177904 266 0 0 20 0 1 0 288841482 1060810752 257065 33554432000 134512640 137138936 4293024256 4293022680 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258987 257065 192 642 0 258343 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1035948

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28076
/proc/meminfo: memFree=29438580/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035948 CPUtime=1791.3 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281321 0 0 0 178864 266 0 0 20 0 1 0 288841482 1060810752 257065 33554432000 134512640 137138936 4293024256 4293023184 134542497 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258987 257065 192 642 0 258343 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 1035948

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28076
/proc/meminfo: memFree=29438580/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035948 CPUtime=1794.5 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281321 0 0 0 179184 266 0 0 20 0 1 0 288841482 1060810752 257065 33554432000 134512640 137138936 4293024256 4293022752 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258987 257065 192 642 0 258343 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 1035948

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28076
/proc/meminfo: memFree=29438580/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035948 CPUtime=1796.09 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281321 0 0 0 179343 266 0 0 20 0 1 0 288841482 1060810752 257065 33554432000 134512640 137138936 4293024256 4293022752 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258987 257065 192 642 0 258343 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 1035948

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28076
/proc/meminfo: memFree=29438580/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035948 CPUtime=1796.89 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281321 0 0 0 179423 266 0 0 20 0 1 0 288841482 1060810752 257065 33554432000 134512640 137138936 4293024256 4293023184 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258987 257065 192 642 0 258343 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 1035948

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28076
/proc/meminfo: memFree=29438580/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035948 CPUtime=1797.69 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281321 0 0 0 179503 266 0 0 20 0 1 0 288841482 1060810752 257065 33554432000 134512640 137138936 4293024256 4293022752 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258987 257065 192 642 0 258343 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 1035948

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28076
/proc/meminfo: memFree=29438580/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035948 CPUtime=1797.9 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281321 0 0 0 179524 266 0 0 20 0 1 0 288841482 1060810752 257065 33554432000 134512640 137138936 4293024256 4293023372 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258987 257065 192 642 0 258343 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 1035948

[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28076
/proc/meminfo: memFree=29438580/32873844 swapFree=7372/7372
[pid=27999] ppid=27997 vsize=1035948 CPUtime=1797.99 cores=0,2,4,6
/proc/27999/stat : 27999 (bsolo) R 27997 27999 24082 0 -1 4202496 281321 0 0 0 179533 266 0 0 20 0 1 0 288841482 1060810752 257065 33554432000 134512640 137138936 4293024256 4293023184 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27999/statm: 258987 257065 192 642 0 258343 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 1035948

Child status: 0
Real time (s): 1798.61
CPU time (s): 1798
CPU user time (s): 1795.34
CPU system time (s): 2.66859
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 1036576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.34
system time used= 2.66859
maximum resident set size= 1028860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281321
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= 453
involuntary context switches= 2116

runsolver used 2.57261 second user time and 7.2469 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-28 19:45:29
IDJOB=3707691
IDBENCH=90117
IDSOLVER=2286
FILE ID=node109/3707691-1338227129
RUNJOBID= node109-1338195882-24098
PBS_JOBID= 14624611
Free space on /tmp= 71240 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K104.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707691-1338227129/watcher-3707691-1338227129 -o /tmp/evaluation-result-3707691-1338227129/solver-3707691-1338227129 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707691-1338227129.opb

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

MD5SUM BENCH= a8d55fafa030e5024da65ad802ff80be
RANDOM SEED=883541823

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
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:       32873844 kB
MemFree:        30535392 kB
Buffers:          210528 kB
Cached:           344912 kB
SwapCached:          588 kB
Active:          1252752 kB
Inactive:         277112 kB
Active(anon):     969104 kB
Inactive(anon):     7668 kB
Active(file):     283648 kB
Inactive(file):   269444 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67106292 kB
Dirty:              4328 kB
Writeback:             0 kB
AnonPages:        982980 kB
Mapped:            11076 kB
Shmem:                 8 kB
Slab:             664764 kB
SReclaimable:     107316 kB
SUnreclaim:       557448 kB
KernelStack:        1464 kB
PageTables:         5656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1099568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    747520 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= 71236 MiB
End job on node109 at 2012-05-28 20:15:28