Trace number 3708358

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
bsolo 3.2? 1798.08 1798.43

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.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-3708358-1338240174.opb
0.00/0.00	c File size is 2762552 bytes.
0.18/0.24	c Highest Coefficient sum: 900042
0.18/0.24	c Parsing was ok!!
0.18/0.24	c Total parsing time: 0.241 s
0.18/0.26	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161260
0.18/0.26	c Obj. Vars: 28908 (71.4642 % of total variables)
25.88/25.97	c Pre-processing Time: 25.959 s
25.88/25.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.88/25.97	c        0  33129    33499   187590    5   137692  622567      0      0 25.96
25.88/25.97	c Switching off lower bounding mode.
1798.04/1798.43	c      101  33129    33600   244291    7   137956  684824    101      3 30.50
1798.04/1798.43	c      251  33129    33751   253037    7   138329  753307    252      7 33.70
1798.04/1798.43	c      476  33129    33984   277179    8   139052  828638    485     12 38.81
1798.04/1798.43	c      814  33129    34327   326763    9   139980  911502    828     16 48.00
1798.04/1798.43	c     1323  33129    34854   414736   11   141141  500000   1355     20 65.28
1798.04/1798.43	c     2086  33129    35643   539395   15   142714  550001   2144     24 86.30
1798.04/1798.43	c     3232  33129    36848   756607   20   145166  605002   3349     27 116.53
1798.04/1798.43	c     4954  33129    38732  1157556   29   149535  665503   5233     29 169.66
1798.04/1798.43	c     7539  33129    41384  1564873   37   154832  732054   7885     32 234.96
1798.04/1798.43	c    11418  33129    45517  2858081   62   164372  805260  12018     30 369.79
1798.04/1798.43	c    17240  33129    51544  3692758   71   176689  885787  18045     32 526.59
1798.04/1798.43	c    25979  33129    60922  5936636   97   199123  974366  27423     31 822.85
1798.04/1798.43	c    39093  33129    74440  8609658  115   226442  500000  40941     29 1326.35
1798.04/1798.43	c Resources Exceeded
1798.04/1798.43	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.04/1798.43	c   13    53677  14161    90553    89571 11358736  56072     29 1798.08
1798.04/1798.43	s UNKNOWN
1798.04/1798.43	c Total time: 1798.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-3708358-1338240174/watcher-3708358-1338240174 -o /tmp/evaluation-result-3708358-1338240174/solver-3708358-1338240174 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708358-1338240174.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 19144
/proc/meminfo: memFree=28459856/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=21176 CPUtime=0 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 290143344 21684224 211 33554432000 134512640 137138936 4289529600 4289528192 134531237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 5294 211 163 642 0 3975 0

[startup+0.0914231 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 19144
/proc/meminfo: memFree=28459856/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=18176 CPUtime=0.08 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 1803 0 0 0 8 0 0 0 20 0 1 0 290143344 18612224 1637 33554432000 134512640 137138936 4289529600 4289527816 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 4544 1637 429 642 0 3225 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18176

[startup+0.100313 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 19144
/proc/meminfo: memFree=28459856/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=18448 CPUtime=0.09 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 1888 0 0 0 9 0 0 0 20 0 1 0 290143344 18890752 1722 33554432000 134512640 137138936 4289529600 4289527992 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 4612 1723 454 642 0 3293 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18448

[startup+0.300272 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 19144
/proc/meminfo: memFree=28459856/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=27016 CPUtime=0.29 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5096 0 0 0 28 1 0 0 20 0 1 0 290143344 27664384 4198 33554432000 134512640 137138936 4289529600 4289042736 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 6754 4198 184 642 0 6110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27016

[startup+0.700213 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 19144
/proc/meminfo: memFree=28459856/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=27016 CPUtime=0.68 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5096 0 0 0 67 1 0 0 20 0 1 0 290143344 27664384 4198 33554432000 134512640 137138936 4289529600 4289042736 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 6754 4198 184 642 0 6110 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27016

[startup+1.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 19145
/proc/meminfo: memFree=28443100/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=27148 CPUtime=1.48 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5127 0 0 0 147 1 0 0 20 0 1 0 290143344 27799552 4229 33554432000 134512640 137138936 4289529600 4289042912 134566410 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 27148

[startup+3.10029 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 19145
/proc/meminfo: memFree=28442108/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=27148 CPUtime=3.09 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5127 0 0 0 307 2 0 0 20 0 1 0 290143344 27799552 4229 33554432000 134512640 137138936 4289529600 4289042612 136511125 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27148

[startup+6.30021 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 19145
/proc/meminfo: memFree=28438984/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=27148 CPUtime=6.28 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5133 0 0 0 626 2 0 0 20 0 1 0 290143344 27799552 4312 33554432000 134512640 137138936 4289529600 4289042736 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 6787 4312 184 642 0 6143 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27148

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 19145
/proc/meminfo: memFree=28433300/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=27808 CPUtime=12.68 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5298 0 0 0 1266 2 0 0 20 0 1 0 290143344 28475392 4477 33554432000 134512640 137138936 4289529600 4289042688 134542734 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 6952 4477 184 642 0 6308 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27808

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 19145
/proc/meminfo: memFree=28424496/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=29032 CPUtime=25.47 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5674 0 0 0 2544 3 0 0 20 0 1 0 290143344 29728768 4735 33554432000 134512640 137138936 4289529600 4289042688 134540848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 7258 4735 185 642 0 6614 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 29032

[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19145
/proc/meminfo: memFree=28404532/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=29740 CPUtime=51.07 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 309995 0 0 0 5063 44 0 0 20 0 1 0 290143344 30453760 4951 33554432000 134512640 137138936 4289529600 4289528024 134606595 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 7435 4951 192 642 0 6791 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29740

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19145
/proc/meminfo: memFree=28367332/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=34428 CPUtime=102.27 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 888188 0 0 0 10106 121 0 0 20 0 1 0 290143344 35254272 6091 33554432000 134512640 137138936 4289529600 4289528144 134607587 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 8607 6091 192 642 0 7963 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34428

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19145
/proc/meminfo: memFree=28331248/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=40280 CPUtime=162.26 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 1437977 0 0 0 16035 191 0 0 20 0 1 0 290143344 41246720 7561 33554432000 134512640 137138936 4289529600 4289528024 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 10070 7561 192 642 0 9426 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 40280

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19145
/proc/meminfo: memFree=28289832/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=45948 CPUtime=222.25 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 2118547 0 0 0 21953 272 0 0 20 0 1 0 290143344 47050752 8971 33554432000 134512640 137138936 4289529600 4289528528 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 11487 8971 192 642 0 10843 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 45948

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19146
/proc/meminfo: memFree=28254416/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=53256 CPUtime=282.23 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 2624443 0 0 0 27888 335 0 0 20 0 1 0 290143344 54534144 10799 33554432000 134512640 137138936 4289529600 4289528096 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 13314 10799 192 642 0 12670 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 53256

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19146
/proc/meminfo: memFree=28221832/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=60848 CPUtime=342.22 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 3096115 0 0 0 33818 404 0 0 20 0 1 0 290143344 62308352 12697 33554432000 134512640 137138936 4289529600 4289135016 134601123 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 15212 12697 192 642 0 14568 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 60848

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 19146
/proc/meminfo: memFree=28188628/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=65940 CPUtime=402.22 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 3661887 0 0 0 39739 483 0 0 20 0 1 0 290143344 67522560 14002 33554432000 134512640 137138936 4289529600 4289528144 134607574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 16485 14002 192 642 0 15841 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 65940

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 19149
/proc/meminfo: memFree=28157524/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=70752 CPUtime=462.21 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 4325665 0 0 0 45651 570 0 0 20 0 1 0 290143344 72450048 15173 33554432000 134512640 137138936 4289529600 4289135344 134603100 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 17688 15173 192 642 0 17044 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 70752

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19149
/proc/meminfo: memFree=28127940/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=74404 CPUtime=522.19 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 4987762 0 0 0 51555 664 0 0 20 0 1 0 290143344 76189696 16118 33554432000 134512640 137138936 4289529600 4289528496 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 18601 16118 192 642 0 17957 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 74404

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19150
/proc/meminfo: memFree=28097900/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=81972 CPUtime=582.16 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5531625 0 0 0 57477 739 0 0 20 0 1 0 290143344 83939328 18370 33554432000 134512640 137138936 4289529600 4289528128 134603105 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 20493 18377 192 642 0 19849 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 81972

[startup+642.3 s]

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

/proc/meminfo: memFree=27870716/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=126544 CPUtime=1122.08 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 9780274 0 0 0 110826 1382 0 0 20 0 1 0 290143344 129581056 29589 33554432000 134512640 137138936 4289529600 4289134888 134599824 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 31636 29589 192 642 0 30992 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 126544

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19155
/proc/meminfo: memFree=27849864/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=129892 CPUtime=1182.07 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 10276144 0 0 0 116746 1461 0 0 20 0 1 0 290143344 133009408 30426 33554432000 134512640 137138936 4289529600 4289528096 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 32473 30426 192 642 0 31829 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 129892

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19155
/proc/meminfo: memFree=27829420/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=133552 CPUtime=1242.05 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 10772133 0 0 0 122663 1542 0 0 20 0 1 0 290143344 136757248 31356 33554432000 134512640 137138936 4289529600 4289528096 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 33388 31356 192 642 0 32744 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 133552

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19155
/proc/meminfo: memFree=27818684/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=137800 CPUtime=1302.04 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 11219848 0 0 0 128584 1620 0 0 20 0 1 0 290143344 141107200 32435 33554432000 134512640 137138936 4289529600 4289528096 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 34450 32435 192 642 0 33806 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 137800

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19193
/proc/meminfo: memFree=28826232/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=142236 CPUtime=1362.02 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 11786834 0 0 0 134499 1703 0 0 20 0 1 0 290143344 145649664 33520 33554432000 134512640 137138936 4289529600 4289528096 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 35559 33520 192 642 0 34915 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 142236

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19193
/proc/meminfo: memFree=28820692/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=146020 CPUtime=1422.01 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 12381804 0 0 0 140409 1792 0 0 20 0 1 0 290143344 149524480 34458 33554432000 134512640 137138936 4289529600 4289528024 134606592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 36505 34458 192 642 0 35861 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 146020

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19194
/proc/meminfo: memFree=28814120/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=148776 CPUtime=1482 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 13051560 0 0 0 146301 1899 0 0 20 0 1 0 290143344 152346624 35179 33554432000 134512640 137138936 4289529600 4289528528 134542793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 37194 35179 192 642 0 36550 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 148776

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19194
/proc/meminfo: memFree=28807284/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=154728 CPUtime=1541.99 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 13619086 0 0 0 152211 1988 0 0 20 0 1 0 290143344 158441472 36635 33554432000 134512640 137138936 4289529600 4289528128 134603100 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 38682 36635 192 642 0 38038 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 154728

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19194
/proc/meminfo: memFree=28799224/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=159244 CPUtime=1601.98 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 14210632 0 0 0 158114 2084 0 0 20 0 1 0 290143344 163065856 37764 33554432000 134512640 137138936 4289529600 4289528116 134551207 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 39811 37764 192 642 0 39167 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 159244

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19197
/proc/meminfo: memFree=28794184/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=164148 CPUtime=1661.96 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 14850893 0 0 0 164011 2185 0 0 20 0 1 0 290143344 168087552 38990 33554432000 134512640 137138936 4289529600 4289528080 136500296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 41037 38990 192 642 0 40393 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 164148

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19197
/proc/meminfo: memFree=28789600/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=167936 CPUtime=1721.96 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 15349005 0 0 0 169925 2271 0 0 20 0 1 0 290143344 171966464 39937 33554432000 134512640 137138936 4289529600 4289528024 134606944 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 41984 39937 192 642 0 41340 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 167936

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28782284/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=174828 CPUtime=1781.95 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 15940183 0 0 0 175832 2363 0 0 20 0 1 0 290143344 179023872 41660 33554432000 134512640 137138936 4289529600 4289134824 134599948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 43707 41660 192 642 0 43063 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 174828

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781416/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=175820 CPUtime=1791.55 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16009371 0 0 0 176782 2373 0 0 20 0 1 0 290143344 180039680 41908 33554432000 134512640 137138936 4289529600 4289528024 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 43955 41908 192 642 0 43311 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 175820

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781292/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=175928 CPUtime=1794.75 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16034614 0 0 0 177098 2377 0 0 20 0 1 0 290143344 180150272 41967 33554432000 134512640 137138936 4289529600 4289528528 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 43982 41967 192 642 0 43338 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 175928

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781160/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=177668 CPUtime=1796.34 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16049291 0 0 0 177255 2379 0 0 20 0 1 0 290143344 181932032 42275 33554432000 134512640 137138936 4289529600 4289527944 134599706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 44417 42281 192 642 0 43773 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 177668

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781284/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=177796 CPUtime=1797.14 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16058242 0 0 0 177334 2380 0 0 20 0 1 0 290143344 182063104 42402 33554432000 134512640 137138936 4289529600 4289528116 134551130 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 44449 42402 192 642 0 43805 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 177796

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781284/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=176260 CPUtime=1797.54 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16063892 0 0 0 177373 2381 0 0 20 0 1 0 290143344 180490240 42018 33554432000 134512640 137138936 4289529600 4289528040 136504479 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 44065 42018 192 642 0 43421 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 176260

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781284/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=177048 CPUtime=1797.94 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16067963 0 0 0 177413 2381 0 0 20 0 1 0 290143344 181297152 42215 33554432000 134512640 137138936 4289529600 4289134824 134599960 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 44262 42215 192 642 0 43618 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 177048

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781036/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=176664 CPUtime=1798.04 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16068728 0 0 0 177423 2381 0 0 20 0 1 0 290143344 180903936 42119 33554432000 134512640 137138936 4289529600 4289528024 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 44166 42119 192 642 0 43522 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 176664

Child status: 0
Real time (s): 1798.43
CPU time (s): 1798.08
CPU user time (s): 1774.26
CPU system time (s): 23.8214
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 177812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.26
system time used= 23.8214
maximum resident set size= 169628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16069015
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= 75
involuntary context switches= 1867

runsolver used 4.47032 second user time and 12.3891 second system time

The end

Launcher Data

Begin job on node128 at 2012-05-28 23:22:54
IDJOB=3708358
IDBENCH=90365
IDSOLVER=2286
FILE ID=node128/3708358-1338240174
RUNJOBID= node128-1338230633-18320
PBS_JOBID= 14624653
Free space on /tmp= 71248 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX120_K67_cod1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708358-1338240174/watcher-3708358-1338240174 -o /tmp/evaluation-result-3708358-1338240174/solver-3708358-1338240174 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708358-1338240174.opb

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

MD5SUM BENCH= e52351d7e2ab6640e880097d3ce770fd
RANDOM SEED=116429369

node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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	: 5438.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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		: 2666.389
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:       32873852 kB
MemFree:        28459864 kB
Buffers:          504148 kB
Cached:          2510372 kB
SwapCached:          584 kB
Active:          1771708 kB
Inactive:        1776616 kB
Active(anon):     523576 kB
Inactive(anon):    12300 kB
Active(file):    1248132 kB
Inactive(file):  1764316 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67107332 kB
Dirty:              6620 kB
Writeback:             0 kB
AnonPages:        572452 kB
Mapped:            15072 kB
Shmem:               200 kB
Slab:             726096 kB
SReclaimable:     168512 kB
SUnreclaim:       557584 kB
KernelStack:        1464 kB
PageTables:         5016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     654116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    436224 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= 71240 MiB
End job on node128 at 2012-05-28 23:52:53