Trace number 3740842

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-172.opb
MD5SUM6217a9adeb5cd4d9104428c4e3eb327a
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 variables288080
Total number of constraints6434441
Number of constraints which are clauses5760324
Number of constraints which are cardinality constraints (but not clauses)22930
Number of constraints which are nor clauses,nor cardinality constraints651187
Minimum length of a constraint1
Maximum length of a constraint2457
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2458
Number of bits of the biggest sum of numbers12
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-3740842-1338752929.opb
0.00/0.00	c File size is 315937781 bytes.
25.97/26.07	c Highest Coefficient sum: 2458
25.97/26.07	c Parsing was ok!!
25.97/26.07	c Total parsing time: 26.061 s
27.17/27.21	c Var: 288080 Constr: 6445947 5771873/22887/651187 Lit: 25220437 Watch. Lit: 13006344
27.17/27.21	c Obj. Vars: 0 (0 % of total variables)
207.22/207.30	c Pre-processing Time: 207.234 s
207.32/207.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
207.32/207.42	c        0 281016  6130715 23924601    3 12986843  500000      0      0 207.23
207.32/207.42	c Switching off LPR mode.
1800.07/1800.80	c      100 281016  6130815 23938885    3 12986082  550001    100      0 208.24
1800.07/1800.80	c      252 281016  6130967 23956392    3 12985971  605002    252      1 208.68
1800.07/1800.80	c      478 281016  6131193 23988725    3 12986241  665503    478      2 209.85
1800.07/1800.80	c      816 281016  6131531 24044923    3 12987172  732054    816      3 217.80
1800.07/1800.80	c     1324 281016  6132039 24123243    3 12988063  805260   1324      5 230.48
1800.07/1800.80	c     2087 281016  6132802 24295461    3 12989509  885787   2087      8 246.67
1800.07/1800.80	c     3233 281016  6133948 24621359    4 12991336  974366   3233     12 263.84
1800.07/1800.80	c     4954 281016  6135669 25097787    4 12994290  500000   4954     16 291.74
1800.07/1800.80	c     7538 281016  6138253 25721492    4 12962182  550001   7538     22 334.10
1800.07/1800.80	c    11422 281016  6142137 27667179    4 12963739  605002  11422     30 375.43
1800.07/1800.80	c    17246 281016  6147961 30196649    4 12975385  665503  17246     42 402.50
1800.07/1800.80	c    25983 281016  6156698 33171222    5 12991199  732054  25983     48 536.70
1800.07/1800.80	c    39093 281016  6169808 41219103    6 13016945  805260  39093     59 659.14
1800.07/1800.80	c    58767 281016  6189482 52061965    8 13056217  885787  58767     65 901.53
1800.07/1800.80	c    88280 281016  6218995 68229583   10 13115187  974366  88280     72 1219.91
1800.07/1800.80	c   132550 281016  6263265 87154165   13 13203724  500000 132550     80 1646.63
1800.07/1800.80	c Caught signal: 15
1800.07/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.80	c   16   141451  37178  7370896  6272166 91084137 141451     78 1800.08
1800.07/1800.80	s UNKNOWN
1800.07/1800.80	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-3740842-1338752929/watcher-3740842-1338752929 -o /tmp/evaluation-result-3740842-1338752929/solver-3740842-1338752929 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3740842-1338752929.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.07 2.02 2.00 2/176 13057
/proc/meminfo: memFree=26593088/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) D 13055 13057 12501 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 341418067 2723840 48 33554432000 134512640 135840783 4293634064 4293632100 10818500 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/13057/statm: 665 48 37 325 0 32 0

[startup+0.0070871 s]
/proc/loadavg: 2.07 2.02 2.00 2/176 13057
/proc/meminfo: memFree=26593088/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 341418067 4583424 157 33554432000 134512640 135840783 4293634064 4293633404 10769752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13057/statm: 1119 157 135 325 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4476

[startup+0.10021 s]
/proc/loadavg: 2.07 2.02 2.00 2/176 13057
/proc/meminfo: memFree=26593088/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=316908 CPUtime=0.08 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 1680 0 0 0 8 0 0 0 20 0 1 0 341418067 324513792 1616 33554432000 134512640 135840783 4293634064 4293632752 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13057/statm: 79227 1617 616 325 0 1029 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 316908

[startup+0.300205 s]
/proc/loadavg: 2.07 2.02 2.00 2/176 13057
/proc/meminfo: memFree=26593088/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=324568 CPUtime=0.28 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 4242 0 0 0 28 0 0 0 20 0 1 0 341418067 332357632 4178 33554432000 134512640 135840783 4293634064 4293633216 134524164 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13057/statm: 81142 4178 1253 325 0 2944 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 324568

[startup+0.700185 s]
/proc/loadavg: 2.07 2.02 2.00 2/176 13057
/proc/meminfo: memFree=26593088/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=339304 CPUtime=0.69 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 9157 0 0 0 68 1 0 0 20 0 1 0 341418067 347447296 9093 33554432000 134512640 135840783 4293634064 4293632996 1207039 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13057/statm: 84826 9093 2480 325 0 6628 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 339304

[startup+1.50019 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 13058
/proc/meminfo: memFree=26555624/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=367656 CPUtime=1.49 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 18756 0 0 0 147 2 0 0 20 0 1 0 341418067 376479744 18692 33554432000 134512640 135840783 4293634064 4293633008 134536964 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13057/statm: 91914 18693 5013 325 0 13716 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 367656

[startup+3.10026 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 13058
/proc/meminfo: memFree=26517828/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=421088 CPUtime=3.07 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 36989 0 0 0 303 4 0 0 20 0 1 0 341418067 431194112 36885 33554432000 134512640 135840783 4293634064 4293633264 134527515 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13057/statm: 105272 36886 9845 325 0 27074 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 421088

[startup+6.30023 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 13058
/proc/meminfo: memFree=26412784/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=528148 CPUtime=6.28 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 73581 0 0 0 619 9 0 0 20 0 1 0 341418067 540823552 73349 33554432000 134512640 135840783 4293634064 4293632880 1582375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13057/statm: 132037 73350 19544 325 0 53839 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 528148

[startup+12.7002 s]
/proc/loadavg: 2.13 2.04 2.01 4/177 13058
/proc/meminfo: memFree=26190700/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=739552 CPUtime=12.68 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 146900 0 0 0 1248 20 0 0 20 0 1 0 341418067 757301248 146414 33554432000 134512640 135840783 4293634064 4293632720 1582375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13057/statm: 184888 146414 39738 325 0 106690 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 739552

[startup+25.5002 s]
/proc/loadavg: 2.17 2.05 2.01 3/177 13058
/proc/meminfo: memFree=25800936/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1108048 CPUtime=25.48 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 275532 0 0 0 2509 39 0 0 20 0 1 0 341418067 1134641152 274540 33554432000 134512640 135840783 4293634064 4293632768 1582375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13057/statm: 277012 274540 75805 325 0 198814 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1108048

[startup+51.1003 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 13058
/proc/meminfo: memFree=25417120/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1165612 CPUtime=51.07 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 366834 0 0 0 5048 59 0 0 20 0 1 0 341418067 1193586688 289730 33554432000 134512640 135840783 4293634064 4290176080 134546114 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13057/statm: 291403 289730 344 325 0 290339 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1165612

[startup+102.307 s]
/proc/loadavg: 2.08 2.05 2.01 3/178 13061
/proc/meminfo: memFree=25053516/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1491592 CPUtime=102.26 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 446339 0 0 0 10150 76 0 0 20 0 1 0 341418067 1527390208 371227 33554432000 134512640 135840783 4293634064 4290176044 6104112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13057/statm: 372898 371227 346 325 0 371834 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1491592

[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 13061
/proc/meminfo: memFree=25012632/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1491592 CPUtime=162.24 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 446348 0 0 0 16141 83 0 0 20 0 1 0 341418067 1527390208 371236 33554432000 134512640 135840783 4293634064 4290176044 6104112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13057/statm: 372898 371236 346 325 0 371834 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1491592

[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 13061
/proc/meminfo: memFree=24985824/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1476596 CPUtime=222.22 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 446393 0 0 0 22133 89 0 0 20 0 1 0 341418067 1512034304 367532 33554432000 134512640 135840783 4293634064 4293631572 1576983 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 369149 367532 349 325 0 368085 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1476596

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13062
/proc/meminfo: memFree=24951380/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1476596 CPUtime=282.21 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 446393 0 0 0 28132 89 0 0 20 0 1 0 341418067 1512034304 367532 33554432000 134512640 135840783 4293634064 4293633200 1579934 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 369149 367532 349 325 0 368085 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1476596

[startup+342.3 s]
/proc/loadavg: 2.12 2.05 2.01 4/177 13062
/proc/meminfo: memFree=24926856/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1476596 CPUtime=342.2 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 446396 0 0 0 34131 89 0 0 20 0 1 0 341418067 1512034304 367535 33554432000 134512640 135840783 4293634064 4293633424 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 369149 367535 349 325 0 368085 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1476596

[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 13062
/proc/meminfo: memFree=24908160/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1476728 CPUtime=402.17 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 446459 0 0 0 40128 89 0 0 20 0 1 0 341418067 1512169472 367565 33554432000 134512640 135840783 4293634064 4293633424 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 369182 367565 349 325 0 368118 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1476728

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 13062
/proc/meminfo: memFree=24891324/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1476728 CPUtime=462.13 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 446505 0 0 0 46124 89 0 0 20 0 1 0 341418067 1512169472 367569 33554432000 134512640 135840783 4293634064 4293627620 1568990 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 369182 367569 349 325 0 368118 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1476728

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13062
/proc/meminfo: memFree=24865684/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1476860 CPUtime=522.11 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 446556 0 0 0 52121 90 0 0 20 0 1 0 341418067 1512304640 367577 33554432000 134512640 135840783 4293634064 4293625280 1580292 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 369215 367577 349 325 0 368151 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1476860

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13063
/proc/meminfo: memFree=24832976/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1476860 CPUtime=582.08 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 446612 0 0 0 58118 90 0 0 20 0 1 0 341418067 1512304640 367589 33554432000 134512640 135840783 4293634064 4293633424 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 369215 367589 349 325 0 368151 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1476860

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13089
/proc/meminfo: memFree=24740948/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1477256 CPUtime=821.96 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 446893 0 0 0 82105 91 0 0 20 0 1 0 341418067 1512710144 367697 33554432000 134512640 135840783 4293634064 4293633200 1579934 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 369314 367697 349 325 0 368250 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 1477256

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13090
/proc/meminfo: memFree=24711216/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1489112 CPUtime=881.92 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 449885 0 0 0 88100 92 0 0 20 0 1 0 341418067 1524850688 370651 33554432000 134512640 135840783 4293634064 4293633424 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 372278 370651 349 325 0 371214 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 1489112

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13090
/proc/meminfo: memFree=24652592/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1529880 CPUtime=941.9 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 460116 0 0 0 94095 95 0 0 20 0 1 0 341418067 1566597120 380854 33554432000 134512640 135840783 4293634064 4293633376 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 382470 380854 349 325 0 381406 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 1529880

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 13090
/proc/meminfo: memFree=24608972/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1554892 CPUtime=1001.86 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 466389 0 0 0 100089 97 0 0 20 0 1 0 341418067 1592209408 387095 33554432000 134512640 135840783 4293634064 4293633152 1580243 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 388723 387095 349 325 0 387659 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 1554892

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13090
/proc/meminfo: memFree=24558408/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1589792 CPUtime=1061.83 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 475150 0 0 0 106082 101 0 0 20 0 1 0 341418067 1627947008 395816 33554432000 134512640 135840783 4293634064 4293633424 134551081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 397448 395816 349 325 0 396384 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 1589792

[startup+1122.3 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 13129
/proc/meminfo: memFree=25431200/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1639872 CPUtime=1121.81 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 487717 0 0 0 112075 106 0 0 20 0 1 0 341418067 1679228928 408357 33554432000 134512640 135840783 4293634064 4293633424 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 409968 408357 349 325 0 408904 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 1639872

[startup+1182.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 13130
/proc/meminfo: memFree=25352256/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1684128 CPUtime=1181.79 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 498778 0 0 0 118069 110 0 0 20 0 1 0 341418067 1724547072 419399 33554432000 134512640 135840783 4293634064 4293633424 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 421032 419399 349 325 0 419968 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 1684128

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13130
/proc/meminfo: memFree=25276644/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1719940 CPUtime=1241.75 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 507762 0 0 0 124061 114 0 0 20 0 1 0 341418067 1761218560 428363 33554432000 134512640 135840783 4293634064 4293627680 1582375 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 429985 428363 349 325 0 428921 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 1719940

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 13133
/proc/meminfo: memFree=25231032/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1755588 CPUtime=1301.71 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 516704 0 0 0 130053 118 0 0 20 0 1 0 341418067 1797722112 437269 33554432000 134512640 135840783 4293634064 4293633200 1581548 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 438897 437269 349 325 0 437833 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 1755588

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13133
/proc/meminfo: memFree=25191016/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1787156 CPUtime=1361.68 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 524622 0 0 0 136046 122 0 0 20 0 1 0 341418067 1830047744 445157 33554432000 134512640 135840783 4293634064 4293633424 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 446789 445157 349 325 0 445725 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 1787156

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13133
/proc/meminfo: memFree=25165996/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1805372 CPUtime=1421.64 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 529232 0 0 0 142040 124 0 0 20 0 1 0 341418067 1848700928 449730 33554432000 134512640 135840783 4293634064 4293633424 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 451343 449730 349 325 0 450279 0
Current children cumulated CPU time (s) 1421.64
Current children cumulated vsize (KiB) 1805372

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13134
/proc/meminfo: memFree=25125480/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1839600 CPUtime=1481.61 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 537767 0 0 0 148033 128 0 0 20 0 1 0 341418067 1883750400 458784 33554432000 134512640 135840783 4293634064 4293633388 1587728 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 459900 458784 349 325 0 458836 0
Current children cumulated CPU time (s) 1481.61
Current children cumulated vsize (KiB) 1839600

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13134
/proc/meminfo: memFree=25078400/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1879804 CPUtime=1541.6 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 547835 0 0 0 154029 131 0 0 20 0 1 0 341418067 1924919296 468852 33554432000 134512640 135840783 4293634064 4293633376 12849681 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 469951 468852 349 325 0 468887 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 1879804

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13134
/proc/meminfo: memFree=25029172/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1921640 CPUtime=1601.6 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 558277 0 0 0 160024 136 0 0 20 0 1 0 341418067 1967759360 479294 33554432000 134512640 135840783 4293634064 4293633424 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 480410 479294 349 325 0 479346 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 1921640

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 4/177 13134
/proc/meminfo: memFree=24942000/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1954412 CPUtime=1661.58 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 566490 0 0 0 166020 138 0 0 20 0 1 0 341418067 2001317888 487507 33554432000 134512640 135840783 4293634064 4293633424 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 488603 487507 349 325 0 487539 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 1954412

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13134
/proc/meminfo: memFree=24916952/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1972552 CPUtime=1721.58 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 571006 0 0 0 172018 140 0 0 20 0 1 0 341418067 2019893248 492023 33554432000 134512640 135840783 4293634064 4293633424 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 493138 492023 349 325 0 492074 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 1972552

[startup+1782.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 13135
/proc/meminfo: memFree=24891036/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1993632 CPUtime=1781.57 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 576293 0 0 0 178014 143 0 0 20 0 1 0 341418067 2041479168 497310 33554432000 134512640 135840783 4293634064 4293633424 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 498408 497310 349 325 0 497344 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 1993632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 13135
/proc/meminfo: memFree=24883720/32873844 swapFree=6608/6608
[pid=13057] ppid=13055 vsize=1999740 CPUtime=1800.07 cores=0,2,4,6
/proc/13057/stat : 13057 (bsolo3.0.17) R 13055 13057 12501 0 -1 4202496 577804 0 0 0 179864 143 0 0 20 0 1 0 341418067 2047733760 498821 33554432000 134512640 135840783 4293634064 4293633360 134572040 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13057/statm: 499935 498821 349 325 0 498871 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1999740

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.83
CPU time (s): 1800.1
CPU user time (s): 1798.65
CPU system time (s): 1.45578
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 1999740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.65
system time used= 1.45578
maximum resident set size= 1995284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 577807
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= 685
involuntary context switches= 2128

runsolver used 2.97955 second user time and 9.47456 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-03 21:48:56
IDJOB=3740842
IDBENCH=89646
IDSOLVER=2318
FILE ID=node140/3740842-1338752929
RUNJOBID= node140-1338749243-12517
PBS_JOBID= 14636796
Free space on /tmp= 70304 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-172.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740842-1338752929/watcher-3740842-1338752929 -o /tmp/evaluation-result-3740842-1338752929/solver-3740842-1338752929 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3740842-1338752929.opb            

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

MD5SUM BENCH= 6217a9adeb5cd4d9104428c4e3eb327a
RANDOM SEED=506801989

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:        26594476 kB
Buffers:          505540 kB
Cached:          4314600 kB
SwapCached:         1620 kB
Active:          2345608 kB
Inactive:        2992668 kB
Active(anon):     510780 kB
Inactive(anon):     9476 kB
Active(file):    1834828 kB
Inactive(file):  2983192 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105264 kB
Dirty:            315352 kB
Writeback:             0 kB
AnonPages:        527264 kB
Mapped:            11800 kB
Shmem:                 8 kB
Slab:             798268 kB
SReclaimable:     236676 kB
SUnreclaim:       561592 kB
KernelStack:        1440 kB
PageTables:         5064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     636372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 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= 70296 MiB
End job on node140 at 2012-06-03 22:18:59