Trace number 3742835

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 NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17? (TO) 1800.1 1800.62

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX120_K67_cod1.opb
MD5SUMe52351d7e2ab6640e880097d3ce770fd
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-2624
Best CPU time to get the best result obtained on this benchmark1380.24
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 28908
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 900042
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 900042
Number of bits of the biggest sum of numbers20
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-3742835-1338774137.opb
0.00/0.00	c File size is 2762552 bytes.
0.19/0.27	c Highest Coefficient sum: 900042
0.19/0.27	c Parsing was ok!!
0.19/0.27	c Total parsing time: 0.264 s
0.19/0.28	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161260
0.19/0.28	c Obj. Vars: 28908 (71.4642 % of total variables)
25.78/25.88	c Pre-processing Time: 25.871 s
25.78/25.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.78/25.88	c        0  30269    33499   187590    5   137692  622567      0      0 25.87
25.78/25.88	c Switching off LPR mode.
1800.08/1800.61	c      100  30269    33599   231851    6   137954  684824    100      3 26.13
1800.08/1800.61	c      250  30269    33749   241287    7   138260  753307    250      9 26.48
1800.08/1800.61	c      475  30269    33974   275179    8   138712  828638    475     17 27.27
1800.08/1800.61	c      813  30269    34312   364661   10   139385  911502    813     28 28.63
1800.08/1800.61	c     1321  30269    34820   482336   13   140403  500000   1321     43 30.02
1800.08/1800.61	c     2084  30269    35583   627059   17   141930  550001   2084     64 32.26
1800.08/1800.61	c     3230  30269    36729   790035   21   144219  605002   3230     90 35.80
1800.08/1800.61	c     4951  30269    38450  1056471   27   147661  665503   4951    116 42.61
1800.08/1800.61	c     7535  30269    41034  1358080   33   152827  732054   7535    149 50.39
1800.08/1800.61	c    11416  30269    44915  2522739   56   160594  805260  11416    168 67.56
1800.08/1800.61	c    17238  30269    50737  4279584   84   172232  885787  17238    191 89.87
1800.08/1800.61	c    25976  30269    59475  6114585  102   189710  974366  25976    199 130.10
1800.08/1800.61	c    39089  30269    72588  8036011  110   215936  500000  39089    211 185.24
1800.08/1800.61	c    58760  30269    92259 13970505  151   255281  550001  58760    202 290.57
1800.08/1800.61	c    88271  30269   121770 20237186  166   314298  605002  88271    189 465.12
1800.08/1800.61	c   132545  30269   166044 33517039  201   402853  665503 132545    135 975.77
1800.08/1800.61	c   198956  30269   232455 46742999  201   535669  732054 198956    115 1719.04
1800.08/1800.61	c Caught signal: 15
1800.08/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.61	c   17   205340  55541   351600   238839 48482949 205340    114 1800.09
1800.08/1800.61	s UNKNOWN
1800.08/1800.61	c Total time: 1800.09 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-3742835-1338774137/watcher-3742835-1338774137 -o /tmp/evaluation-result-3742835-1338774137/solver-3742835-1338774137 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742835-1338774137.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.00 2.00 2.00 3/176 14750
/proc/meminfo: memFree=26598908/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 343538171 4583424 158 33554432000 134512640 135840783 4293581456 4293580796 10769752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 1119 158 137 325 0 39 0

[startup+0.053062 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14750
/proc/meminfo: memFree=26598908/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=10668 CPUtime=0.04 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 1484 0 0 0 4 0 0 0 20 0 1 0 343538171 10924032 1380 33554432000 134512640 135840783 4293581456 4293580656 134528207 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 2667 1381 457 325 0 928 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10668

[startup+0.100317 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14750
/proc/meminfo: memFree=26598908/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=11752 CPUtime=0.09 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 1892 0 0 0 9 0 0 0 20 0 1 0 343538171 12034048 1788 33554432000 134512640 135840783 4293581456 4293580448 134525046 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 2938 1788 587 325 0 1199 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11752

[startup+0.300282 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14750
/proc/meminfo: memFree=26598908/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=20588 CPUtime=0.28 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 5209 0 0 0 28 0 0 0 20 0 1 0 343538171 21082112 4294 33554432000 134512640 135840783 4293581456 4293095056 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 5147 4294 344 325 0 4083 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20588

[startup+0.700264 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14750
/proc/meminfo: memFree=26598908/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=20588 CPUtime=0.68 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 5209 0 0 0 68 0 0 0 20 0 1 0 343538171 21082112 4294 33554432000 134512640 135840783 4293581456 4293095148 16327728 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 5147 4294 344 325 0 4083 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20588

[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14751
/proc/meminfo: memFree=26582408/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=20720 CPUtime=1.48 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 5241 0 0 0 148 0 0 0 20 0 1 0 343538171 21217280 4326 33554432000 134512640 135840783 4293581456 4293094736 1580319 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 5180 4326 344 325 0 4116 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20720

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14751
/proc/meminfo: memFree=26581912/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=20720 CPUtime=3.08 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 5241 0 0 0 308 0 0 0 20 0 1 0 343538171 21217280 4326 33554432000 134512640 135840783 4293581456 4293095120 134583062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 5180 4326 344 325 0 4116 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20720

[startup+6.30021 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 14751
/proc/meminfo: memFree=26579540/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=20720 CPUtime=6.28 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 5241 0 0 0 627 1 0 0 20 0 1 0 343538171 21217280 4326 33554432000 134512640 135840783 4293581456 4293095148 16327728 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 5180 4326 344 325 0 4116 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20720

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 14751
/proc/meminfo: memFree=26575952/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=21380 CPUtime=12.68 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 5404 0 0 0 1267 1 0 0 20 0 1 0 343538171 21893120 4489 33554432000 134512640 135840783 4293581456 4293095008 134550800 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 5345 4489 344 325 0 4281 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21380

[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14751
/proc/meminfo: memFree=26566752/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=23508 CPUtime=25.48 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 6090 0 0 0 2546 2 0 0 20 0 1 0 343538171 24072192 4977 33554432000 134512640 135840783 4293581456 4293094972 16327728 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 5877 4977 346 325 0 4813 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23508

[startup+51.1003 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 14751
/proc/meminfo: memFree=26537456/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=36376 CPUtime=51.08 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 9806 0 0 0 5104 4 0 0 20 0 1 0 343538171 37249024 8216 33554432000 134512640 135840783 4293581456 4293580816 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 9094 8216 349 325 0 8030 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36376

[startup+102.306 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14752
/proc/meminfo: memFree=26456528/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=83108 CPUtime=102.28 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 21499 0 0 0 10221 7 0 0 20 0 1 0 343538171 85102592 19909 33554432000 134512640 135840783 4293581456 4293580816 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 20777 19909 349 325 0 19713 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 83108

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 14752
/proc/meminfo: memFree=26392324/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=113556 CPUtime=162.26 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 29111 0 0 0 16217 9 0 0 20 0 1 0 343538171 116281344 27521 33554432000 134512640 135840783 4293581456 4293580752 134572687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 28389 27521 349 325 0 27325 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 113556

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14752
/proc/meminfo: memFree=26303816/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=149964 CPUtime=222.25 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 38224 0 0 0 22214 11 0 0 20 0 1 0 343538171 153563136 36634 33554432000 134512640 135840783 4293581456 4293569520 134586883 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 37491 36634 349 325 0 36427 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 149964

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14752
/proc/meminfo: memFree=26224732/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=195192 CPUtime=282.25 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 49528 0 0 0 28211 14 0 0 20 0 1 0 343538171 199876608 47938 33554432000 134512640 135840783 4293581456 4293580816 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 48798 47938 349 325 0 47734 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 195192

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14752
/proc/meminfo: memFree=26145152/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=226040 CPUtime=342.23 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 57247 0 0 0 34207 16 0 0 20 0 1 0 343538171 231464960 55657 33554432000 134512640 135840783 4293581456 4293580816 134550924 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 56510 55657 349 325 0 55446 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 226040

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14753
/proc/meminfo: memFree=26079584/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=255548 CPUtime=402.22 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 64611 0 0 0 40204 18 0 0 20 0 1 0 343538171 261681152 63021 33554432000 134512640 135840783 4293581456 4293576256 1580260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 63887 63021 349 325 0 62823 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 255548

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14753
/proc/meminfo: memFree=26024432/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=282104 CPUtime=462.21 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 71234 0 0 0 46202 19 0 0 20 0 1 0 343538171 288874496 69644 33554432000 134512640 135840783 4293581456 4293580752 134572580 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 70526 69644 349 325 0 69462 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 282104

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14756
/proc/meminfo: memFree=25970388/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=304040 CPUtime=522.21 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 76745 0 0 0 52199 22 0 0 20 0 1 0 343538171 311336960 75155 33554432000 134512640 135840783 4293581456 4293580816 134550820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 76010 75155 349 325 0 74946 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 304040

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14756
/proc/meminfo: memFree=25911524/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=325536 CPUtime=582.19 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 82104 0 0 0 58195 24 0 0 20 0 1 0 343538171 333348864 80502 33554432000 134512640 135840783 4293581456 4293580816 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 81384 80502 349 325 0 80320 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 325536

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14757
/proc/meminfo: memFree=25690144/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=404568 CPUtime=822.01 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 102041 0 0 0 82171 30 0 0 20 0 1 0 343538171 414277632 100275 33554432000 134512640 135840783 4293581456 4293580752 134572591 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 101142 100275 349 325 0 100078 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 404568

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14757
/proc/meminfo: memFree=25623556/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=427180 CPUtime=882 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 107698 0 0 0 88168 32 0 0 20 0 1 0 343538171 437432320 105932 33554432000 134512640 135840783 4293581456 4293580816 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 106795 105932 349 325 0 105731 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 427180

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14757
/proc/meminfo: memFree=25569368/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=446076 CPUtime=941.99 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 112433 0 0 0 94165 34 0 0 20 0 1 0 343538171 456781824 110667 33554432000 134512640 135840783 4293581456 4293580816 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 111519 110667 349 325 0 110455 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 446076

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14797
/proc/meminfo: memFree=26898768/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=466144 CPUtime=1001.98 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 117423 0 0 0 100162 36 0 0 20 0 1 0 343538171 477331456 115657 33554432000 134512640 135840783 4293581456 4293580816 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 116536 115657 349 325 0 115472 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 466144

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14797
/proc/meminfo: memFree=26833048/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=480228 CPUtime=1061.97 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 120954 0 0 0 106160 37 0 0 20 0 1 0 343538171 491753472 119188 33554432000 134512640 135840783 4293581456 4293580816 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 120057 119188 349 325 0 118993 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 480228

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14800
/proc/meminfo: memFree=26800428/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=494036 CPUtime=1121.97 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 124404 0 0 0 112158 39 0 0 20 0 1 0 343538171 505892864 122638 33554432000 134512640 135840783 4293581456 4293580752 134571806 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 123509 122638 349 325 0 122445 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 494036

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14822
/proc/meminfo: memFree=26726772/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=506360 CPUtime=1181.95 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 127491 0 0 0 118155 40 0 0 20 0 1 0 343538171 518512640 125725 33554432000 134512640 135840783 4293581456 4293580816 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 126590 125725 349 325 0 125526 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 506360

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14822
/proc/meminfo: memFree=26687600/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=519896 CPUtime=1241.92 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 130894 0 0 0 124151 41 0 0 20 0 1 0 343538171 532373504 129101 33554432000 134512640 135840783 4293581456 4293580816 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 129974 129101 349 325 0 128910 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 519896

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14823
/proc/meminfo: memFree=26652924/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=533864 CPUtime=1301.88 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 134437 0 0 0 130146 42 0 0 20 0 1 0 343538171 546676736 132608 33554432000 134512640 135840783 4293581456 4293580816 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 133466 132608 349 325 0 132402 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 533864

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14823
/proc/meminfo: memFree=26630012/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=547144 CPUtime=1361.86 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 137750 0 0 0 136143 43 0 0 20 0 1 0 343538171 560275456 135921 33554432000 134512640 135840783 4293581456 4293580752 134571901 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 136786 135921 349 325 0 135722 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 547144

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14823
/proc/meminfo: memFree=26601272/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=559340 CPUtime=1421.86 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 140809 0 0 0 142141 45 0 0 20 0 1 0 343538171 572764160 138980 33554432000 134512640 135840783 4293581456 4293580816 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 139835 138980 349 325 0 138771 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 559340

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14823
/proc/meminfo: memFree=26560760/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=573244 CPUtime=1481.85 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 144278 0 0 0 148138 47 0 0 20 0 1 0 343538171 587001856 142449 33554432000 134512640 135840783 4293581456 4293580816 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 143311 142449 349 325 0 142247 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 573244

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14823
/proc/meminfo: memFree=26534968/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=586736 CPUtime=1541.84 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 147636 0 0 0 154136 48 0 0 20 0 1 0 343538171 600817664 145807 33554432000 134512640 135840783 4293581456 4293580816 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 146684 145807 349 325 0 145620 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 586736

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14823
/proc/meminfo: memFree=26511292/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=599600 CPUtime=1601.82 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 150872 0 0 0 160133 49 0 0 20 0 1 0 343538171 613990400 149043 33554432000 134512640 135840783 4293581456 4293580816 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 149900 149043 349 325 0 148836 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 599600

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14824
/proc/meminfo: memFree=26483136/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=616292 CPUtime=1661.82 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 155048 0 0 0 166131 51 0 0 20 0 1 0 343538171 631083008 153219 33554432000 134512640 135840783 4293581456 4293580816 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 154073 153219 349 325 0 153009 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 616292

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14827
/proc/meminfo: memFree=26424228/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=636416 CPUtime=1721.81 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 160076 0 0 0 172127 54 0 0 20 0 1 0 343538171 651689984 158247 33554432000 134512640 135840783 4293581456 4293579284 1569010 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 159104 158247 349 325 0 158040 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 636416

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14827
/proc/meminfo: memFree=26373848/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=654764 CPUtime=1781.79 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 164659 0 0 0 178123 56 0 0 20 0 1 0 343538171 670478336 162810 33554432000 134512640 135840783 4293581456 4293580816 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 163691 162810 349 325 0 162627 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 654764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14827
/proc/meminfo: memFree=26360672/32873844 swapFree=6608/6608
[pid=14750] ppid=14748 vsize=657964 CPUtime=1800.08 cores=0,2,4,6
/proc/14750/stat : 14750 (bsolo3.0.17) R 14748 14750 12501 0 -1 4202496 165499 0 0 0 179952 56 0 0 20 0 1 0 343538171 673755136 163634 33554432000 134512640 135840783 4293581456 4293580816 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 164491 163634 349 325 0 163427 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 657964

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.62
CPU time (s): 1800.1
CPU user time (s): 1799.52
CPU system time (s): 0.574912
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 657964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.574912
maximum resident set size= 654536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165502
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= 290
involuntary context switches= 2089

runsolver used 2.69359 second user time and 9.49056 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-04 03:42:17
IDJOB=3742835
IDBENCH=90365
IDSOLVER=2318
FILE ID=node140/3742835-1338774137
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/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX120_K67_cod1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742835-1338774137/watcher-3742835-1338774137 -o /tmp/evaluation-result-3742835-1338774137/solver-3742835-1338774137 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3742835-1338774137.opb            

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

MD5SUM BENCH= e52351d7e2ab6640e880097d3ce770fd
RANDOM SEED=1061971171

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:        26599436 kB
Buffers:          523044 kB
Cached:          4018904 kB
SwapCached:         1620 kB
Active:          2337440 kB
Inactive:        3004244 kB
Active(anon):     792020 kB
Inactive(anon):     9476 kB
Active(file):    1545420 kB
Inactive(file):  2994768 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105264 kB
Dirty:              9396 kB
Writeback:             0 kB
AnonPages:        804384 kB
Mapped:            11732 kB
Shmem:                 8 kB
Slab:             791956 kB
SReclaimable:     233820 kB
SUnreclaim:       558136 kB
KernelStack:        1432 kB
PageTables:         5672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     914792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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= 70600 MiB
End job on node140 at 2012-06-04 04:12:20