Trace number 3708351

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.7 1799.04

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null0mast_rapportOE2.0_TMAX120_K67_cod1.opb
MD5SUMb9a8630bbf7b957f842f31a8ccfab571
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-564
Best CPU time to get the best result obtained on this benchmark1797.58
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 32076
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 116160
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 160566
Number of bits of the biggest sum of numbers18
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-3708351-1338240910.opb
0.00/0.00	c File size is 2784365 bytes.
0.19/0.24	c Highest Coefficient sum: 160566
0.19/0.24	c Parsing was ok!!
0.19/0.24	c Total parsing time: 0.24 s
0.19/0.25	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161258
0.19/0.25	c Obj. Vars: 32076 (79.2959 % of total variables)
26.19/26.25	c Pre-processing Time: 26.246 s
26.19/26.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.19/26.25	c        0  33129    33499   187590    5   137690  622567      0      0 26.25
26.19/26.25	c Switching off lower bounding mode.
1798.65/1799.03	c      101  33129    33600   243093    7   137953  684824    101      3 30.00
1798.65/1799.03	c      251  33129    33755   248904    7   138491  753307    256      7 32.96
1798.65/1799.03	c      476  33129    33987   263165    7   138955  828638    488     12 38.70
1798.65/1799.03	c      814  33129    34352   296185    8   139723  911502    853     17 47.53
1798.65/1799.03	c     1323  33129    34920   386786   11   141056  500000   1421     21 61.32
1798.65/1799.03	c     2086  33129    35733   539514   15   142798  550001   2234     24 85.49
1798.65/1799.03	c     3232  33129    36941   735739   19   145222  605002   3442     27 118.38
1798.65/1799.03	c     4955  33129    38806   978397   25   149243  665503   5307     27 178.23
1798.65/1799.03	c     7539  33129    41496  1318020   31   154857  732054   7997     28 261.32
1798.65/1799.03	c    11419  33129    45696  2006802   43   163581  805260  12197     28 399.15
1798.65/1799.03	c    17241  33129    51876  4031172   77   177004  885787  18377     28 597.66
1798.65/1799.03	c    25978  33129    61132  6624798  108   196212  974366  27633     25 1008.20
1798.65/1799.03	c    39088  33129    74988 11414010  152   225272  500000  41489     24 1600.90
1798.65/1799.03	c Resources Exceeded
1798.65/1799.03	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.65/1799.03	c   13    42485  10741    77223    78693 12835250  45194     23 1798.69
1798.65/1799.03	s UNKNOWN
1798.65/1799.03	c Total time: 1798.69 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-3708351-1338240910/watcher-3708351-1338240910 -o /tmp/evaluation-result-3708351-1338240910/solver-3708351-1338240910 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708351-1338240910.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.04 2.01 2.00 3/176 8184
/proc/meminfo: memFree=26728704/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=21624 CPUtime=0 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 290216420 22142976 313 33554432000 134512640 137138936 4291952464 4291951056 134531302 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 5406 313 175 642 0 4082 0

[startup+0.00818208 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 8184
/proc/meminfo: memFree=26728704/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=21768 CPUtime=0 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 407 0 0 0 0 0 0 0 20 0 1 0 290216420 22290432 360 33554432000 134512640 137138936 4291952464 4291950816 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 5442 360 182 642 0 4118 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 21768

[startup+0.100244 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 8184
/proc/meminfo: memFree=26728704/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=18664 CPUtime=0.09 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 1928 0 0 0 9 0 0 0 20 0 1 0 290216420 19111936 1762 33554432000 134512640 137138936 4291952464 4291950976 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 4666 1764 465 642 0 3342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18664

[startup+0.300256 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 8184
/proc/meminfo: memFree=26728704/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=27016 CPUtime=0.29 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 5107 0 0 0 29 0 0 0 20 0 1 0 290216420 27664384 4198 33554432000 134512640 137138936 4291952464 4291465740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 6754 4198 184 642 0 6110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27016

[startup+0.700223 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 8184
/proc/meminfo: memFree=26728704/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=27016 CPUtime=0.69 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 5107 0 0 0 69 0 0 0 20 0 1 0 290216420 27664384 4198 33554432000 134512640 137138936 4291952464 4291465740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 6754 4198 184 642 0 6110 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27016

[startup+1.50024 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8185
/proc/meminfo: memFree=26711724/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=27148 CPUtime=1.49 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 5138 0 0 0 148 1 0 0 20 0 1 0 290216420 27799552 4229 33554432000 134512640 137138936 4291952464 4291465552 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27148

[startup+3.10029 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8185
/proc/meminfo: memFree=26711352/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=27148 CPUtime=3.09 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 5138 0 0 0 308 1 0 0 20 0 1 0 290216420 27799552 4229 33554432000 134512640 137138936 4291952464 4291465740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27148

[startup+6.30023 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8185
/proc/meminfo: memFree=26711476/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=27148 CPUtime=6.29 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 5138 0 0 0 628 1 0 0 20 0 1 0 290216420 27799552 4229 33554432000 134512640 137138936 4291952464 4291465740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27148

[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8185
/proc/meminfo: memFree=26710852/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=27808 CPUtime=12.68 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 5301 0 0 0 1267 1 0 0 20 0 1 0 290216420 28475392 4392 33554432000 134512640 137138936 4291952464 4291465552 134542273 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 6952 4392 184 642 0 6308 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27808

[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8185
/proc/meminfo: memFree=26710976/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=27808 CPUtime=25.48 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 5303 0 0 0 2546 2 0 0 20 0 1 0 290216420 28475392 4394 33554432000 134512640 137138936 4291952464 4291465552 134542017 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 6952 4394 184 642 0 6308 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27808

[startup+51.1001 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8185
/proc/meminfo: memFree=26709688/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=28912 CPUtime=51.08 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 351891 0 0 0 5057 51 0 0 20 0 1 0 290216420 29605888 4667 33554432000 134512640 137138936 4291952464 4291950960 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 7228 4667 192 642 0 6584 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28912

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8185
/proc/meminfo: memFree=26704408/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=33996 CPUtime=102.28 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 870679 0 0 0 10109 119 0 0 20 0 1 0 290216420 34811904 5938 33554432000 134512640 137138936 4291952464 4291951580 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 8499 5938 192 642 0 7855 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 33996

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8186
/proc/meminfo: memFree=26701088/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=37340 CPUtime=162.27 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 1384135 0 0 0 16041 186 0 0 20 0 1 0 290216420 38236160 6774 33554432000 134512640 137138936 4291952464 4291950888 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 9335 6774 192 642 0 8691 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 37340

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8186
/proc/meminfo: memFree=26697532/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=41636 CPUtime=222.25 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 1941987 0 0 0 21967 258 0 0 20 0 1 0 290216420 42635264 7816 33554432000 134512640 137138936 4291952464 4291557920 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 10409 7816 192 642 0 9765 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 41636

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8186
/proc/meminfo: memFree=26693980/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=44840 CPUtime=282.25 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 2443450 0 0 0 27907 318 0 0 20 0 1 0 290216420 45916160 8618 33554432000 134512640 137138936 4291952464 4291950960 134618022 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 11210 8618 192 642 0 10566 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 44840

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 8189
/proc/meminfo: memFree=26687616/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=48560 CPUtime=342.22 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 2938466 0 0 0 33840 382 0 0 20 0 1 0 290216420 49725440 10160 33554432000 134512640 137138936 4291952464 4291950960 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 12140 10160 192 642 0 11496 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 48560

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8189
/proc/meminfo: memFree=26683904/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=53832 CPUtime=402.22 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 3457978 0 0 0 39773 449 0 0 20 0 1 0 290216420 55123968 11446 33554432000 134512640 137138936 4291952464 4291950980 134551092 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 13458 11446 192 642 0 12814 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 53832

[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 8190
/proc/meminfo: memFree=26675968/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=60648 CPUtime=462.21 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 4017531 0 0 0 45695 526 0 0 20 0 1 0 290216420 62103552 13182 33554432000 134512640 137138936 4291952464 4291951392 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 15162 13182 192 642 0 14518 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 60648

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8190
/proc/meminfo: memFree=26669892/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=67548 CPUtime=522.2 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 4599234 0 0 0 51608 612 0 0 20 0 1 0 290216420 69169152 14907 33554432000 134512640 137138936 4291952464 4291950960 134618206 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 16887 14907 192 642 0 16243 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 67548

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8190
/proc/meminfo: memFree=26661336/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=76448 CPUtime=582.19 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 5144181 0 0 0 57530 689 0 0 20 0 1 0 290216420 78282752 17019 33554432000 134512640 137138936 4291952464 4291557368 134599912 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 19112 17019 192 642 0 18468 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 76448

[startup+642.3 s]

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

/proc/meminfo: memFree=27471076/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=125932 CPUtime=1122.09 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 8883937 0 0 0 110977 1232 0 0 20 0 1 0 290216420 128954368 29471 33554432000 134512640 137138936 4291952464 4291950980 134551739 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 31483 29471 192 642 0 30839 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 125932

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8244
/proc/meminfo: memFree=27440376/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=131072 CPUtime=1182.07 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 9356747 0 0 0 116903 1304 0 0 20 0 1 0 290216420 134217728 30756 33554432000 134512640 137138936 4291952464 4291559176 134599751 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 32768 30756 192 642 0 32124 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 131072

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8244
/proc/meminfo: memFree=27417688/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=138200 CPUtime=1242.06 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 9740736 0 0 0 122839 1367 0 0 20 0 1 0 290216420 141516800 32538 33554432000 134512640 137138936 4291952464 4291951072 134552483 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 34550 32538 192 642 0 33906 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 138200

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8244
/proc/meminfo: memFree=27382472/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=144756 CPUtime=1302.06 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 10136064 0 0 0 128780 1426 0 0 20 0 1 0 290216420 148230144 34177 33554432000 134512640 137138936 4291952464 4291950960 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 36189 34177 192 642 0 35545 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 144756

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8245
/proc/meminfo: memFree=27349340/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=151900 CPUtime=1362.04 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 10588013 0 0 0 134705 1499 0 0 20 0 1 0 290216420 155545600 35963 33554432000 134512640 137138936 4291952464 4291950992 134603102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 37975 35963 192 642 0 37331 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 151900

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8245
/proc/meminfo: memFree=27317568/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=157020 CPUtime=1422.02 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 10930102 0 0 0 140645 1557 0 0 20 0 1 0 290216420 160788480 37243 33554432000 134512640 137138936 4291952464 4291950960 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 39255 37243 192 642 0 38611 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 157020

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8245
/proc/meminfo: memFree=27284212/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=165196 CPUtime=1482.01 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 11387797 0 0 0 146567 1634 0 0 20 0 1 0 290216420 169160704 39287 33554432000 134512640 137138936 4291952464 4291950960 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 41299 39287 192 642 0 40655 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 165196

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8248
/proc/meminfo: memFree=27251336/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=171372 CPUtime=1542 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 11779724 0 0 0 152504 1696 0 0 20 0 1 0 290216420 175484928 40863 33554432000 134512640 137138936 4291952464 4291949544 136504449 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 42843 40863 192 642 0 42199 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 171372

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 8271
/proc/meminfo: memFree=27230104/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=176572 CPUtime=1602 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 12205125 0 0 0 158432 1768 0 0 20 0 1 0 290216420 180809728 42131 33554432000 134512640 137138936 4291952464 4291951072 134552438 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 44143 42131 192 642 0 43499 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 176572

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8272
/proc/meminfo: memFree=27199284/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=182392 CPUtime=1661.99 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 12495737 0 0 0 164384 1815 0 0 20 0 1 0 290216420 186769408 43586 33554432000 134512640 137138936 4291952464 4291950960 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 45598 43586 192 642 0 44954 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 182392

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8272
/proc/meminfo: memFree=27180820/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=186852 CPUtime=1721.98 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 12809459 0 0 0 170333 1865 0 0 20 0 1 0 290216420 191336448 44701 33554432000 134512640 137138936 4291952464 4291950888 134606604 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 46713 44701 192 642 0 46069 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 186852

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8272
/proc/meminfo: memFree=27156300/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=191004 CPUtime=1781.96 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 13165750 0 0 0 176272 1924 0 0 20 0 1 0 290216420 195588096 45771 33554432000 134512640 137138936 4291952464 4291950888 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 47751 45771 192 642 0 47107 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 191004

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8272
/proc/meminfo: memFree=27150220/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=192692 CPUtime=1791.56 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 13210451 0 0 0 177224 1932 0 0 20 0 1 0 290216420 197316608 46161 33554432000 134512640 137138936 4291952464 4291951008 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 48173 46161 192 642 0 47529 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 192692

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8272
/proc/meminfo: memFree=27148360/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=193148 CPUtime=1794.76 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 13225948 0 0 0 177542 1934 0 0 20 0 1 0 290216420 197783552 46275 33554432000 134512640 137138936 4291952464 4291951044 136511114 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 48287 46275 192 642 0 47643 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 193148

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8272
/proc/meminfo: memFree=27148484/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=192868 CPUtime=1796.35 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 13236494 0 0 0 177699 1936 0 0 20 0 1 0 290216420 197496832 46237 33554432000 134512640 137138936 4291952464 4291950956 136700814 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 48217 46237 192 642 0 47573 0
Current children cumulated CPU time (s) 1796.35
Current children cumulated vsize (KiB) 192868

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8272
/proc/meminfo: memFree=27146872/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=194852 CPUtime=1797.95 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 13242766 0 0 0 177858 1937 0 0 20 0 1 0 290216420 199528448 46725 33554432000 134512640 137138936 4291952464 4291950888 134606995 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 48713 46725 192 642 0 48069 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 194852

[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8272
/proc/meminfo: memFree=27145756/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=194052 CPUtime=1798.35 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 13243014 0 0 0 177898 1937 0 0 20 0 1 0 290216420 198709248 46533 33554432000 134512640 137138936 4291952464 4291950960 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 48513 46533 192 642 0 47869 0
Current children cumulated CPU time (s) 1798.35
Current children cumulated vsize (KiB) 194052

[startup+1798.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8272
/proc/meminfo: memFree=27145756/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=194052 CPUtime=1798.55 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 13243270 0 0 0 177918 1937 0 0 20 0 1 0 290216420 198709248 46533 33554432000 134512640 137138936 4291952464 4291950960 134618200 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 48513 46533 192 642 0 47869 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (KiB) 194052

[startup+1799 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8272
/proc/meminfo: memFree=27145756/32873648 swapFree=7104/7104
[pid=8184] ppid=8182 vsize=194052 CPUtime=1798.65 cores=0,2,4,6
/proc/8184/stat : 8184 (bsolo) R 8182 8184 7472 0 -1 4202496 13243270 0 0 0 177928 1937 0 0 20 0 1 0 290216420 198709248 46533 33554432000 134512640 137138936 4291952464 4291950960 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8184/statm: 48513 46533 192 642 0 47869 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 194052

Child status: 0
Real time (s): 1799.04
CPU time (s): 1798.7
CPU user time (s): 1779.32
CPU system time (s): 19.3791
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 194852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.32
system time used= 19.3791
maximum resident set size= 187156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13243494
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= 82
involuntary context switches= 1858

runsolver used 2.74258 second user time and 7.07192 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-28 23:35:10
IDJOB=3708351
IDBENCH=90381
IDSOLVER=2286
FILE ID=node127/3708351-1338240910
RUNJOBID= node127-1338228900-7488
PBS_JOBID= 14624640
Free space on /tmp= 71100 MiB

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

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

MD5SUM BENCH= b9a8630bbf7b957f842f31a8ccfab571
RANDOM SEED=1341698983

node127.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.348
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.69
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.348
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.348
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.94
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.348
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.348
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.348
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.348
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.348
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:       32873648 kB
MemFree:        26728968 kB
Buffers:          500664 kB
Cached:          3711784 kB
SwapCached:            0 kB
Active:          2376148 kB
Inactive:        2882100 kB
Active(anon):    1047604 kB
Inactive(anon):        0 kB
Active(file):    1328544 kB
Inactive(file):  2882100 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              6608 kB
Writeback:             0 kB
AnonPages:       1175324 kB
Mapped:            15128 kB
Shmem:               200 kB
Slab:             745708 kB
SReclaimable:     190116 kB
SUnreclaim:       555592 kB
KernelStack:        1472 kB
PageTables:         5744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1166932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    684032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71096 MiB
End job on node127 at 2012-05-29 00:05:09