Trace number 3739352

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.12 1800.62

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_0_errors.opb
MD5SUMa240e4a37082dfb03371e204a64a9828
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.044992
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

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-3739352-1338747852.opb
0.00/0.00	c File size is 96935 bytes.
0.00/0.01	c Highest Coefficient sum: 182
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.011 s
0.00/0.01	c Var: 2990 Constr: 5666 2775/485/2406 Lit: 37628 Watch. Lit: 24414
0.00/0.01	c Obj. Vars: 182 (6.08696 % of total variables)
0.09/0.12	c Pre-processing Time: 0.12 s
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   2273     4294    29110    6    18729   56052      0      0 0.12
0.09/0.12	c Switching off LPR mode.
1800.10/1800.61	c      101   2273     4395    40568    9    18931   61658    101    753 0.13
1800.10/1800.61	c      251   2273     4545    46492   10    19231   67824    251   1651 0.15
1800.10/1800.61	c      476   2273     4770    53120   11    19681   74607    476   2720 0.17
1800.10/1800.61	c      814   2273     5108    62363   12    20357   82068    814   4261 0.19
1800.10/1800.61	c     1322   2273     5616    75563   13    21373   90275   1322   6265 0.21
1800.10/1800.61	c     2086   2273     6380    95977   15    22901   99303   2086   8277 0.25
1800.10/1800.61	c     3232   2273     7526   126976   16    25193  109234   3232   9478 0.34
1800.10/1800.61	c     4955   2273     9249   184928   19    28639  120158   4955   7160 0.69
1800.10/1800.61	c     7541   2273    11835   257954   21    33811  132174   7541   8657 0.87
1800.10/1800.61	c    11420   2273    15714   367875   23    41569  145392  11420   7752 1.47
1800.10/1800.61	c    17242   2273    21536   737394   34    53213  159932  17242   4915 3.51
1800.10/1800.61	c    25981   2273    30275  1758473   58    70691  175926  25981   2919 8.90
1800.10/1800.61	c    39091   2273    43385  3467848   79    96911  193519  39091   1911 20.45
1800.10/1800.61	c    58761   2273    63055  6257616   99   136251  212871  58761   1029 57.07
1800.10/1800.61	c    88272   2273    92566  9965099  107   195273  234159  88272    599 147.25
1800.10/1800.61	c   132543   2273   136837 16758982  122   283815  257575 132543    394 335.68
1800.10/1800.61	c   198953   2273   203247 25907060  127   416635  283333 198953    233 852.32
1800.10/1800.61	c   298574   2273    35323  4610152  130    80787  311667  31029    178 1676.91
1800.10/1800.61	c Caught signal: 15
1800.10/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.10/1800.61	c   18   343368  46032   420138    80117 11176804  75823    190 1800.11
1800.10/1800.61	s UNKNOWN
1800.10/1800.61	c Total time: 1800.11 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-3739352-1338747852/watcher-3739352-1338747852 -o /tmp/evaluation-result-3739352-1338747852/solver-3739352-1338747852 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3739352-1338747852.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.16 2.04 2.01 2/176 25909
/proc/meminfo: memFree=28729740/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=4920 CPUtime=0 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 340913738 5038080 455 33554432000 134512640 135840783 4291188592 4291187040 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 1230 455 337 325 0 142 0

[startup+0.0837921 s]
/proc/loadavg: 2.16 2.04 2.01 2/176 25909
/proc/meminfo: memFree=28729740/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=6440 CPUtime=0.07 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 953 0 0 0 7 0 0 0 20 0 1 0 340913738 6594560 865 33554432000 134512640 135840783 4291188592 4291151804 15066160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 1610 865 345 325 0 546 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6440

[startup+0.100224 s]
/proc/loadavg: 2.16 2.04 2.01 2/176 25909
/proc/meminfo: memFree=28729740/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=6440 CPUtime=0.09 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 953 0 0 0 9 0 0 0 20 0 1 0 340913738 6594560 865 33554432000 134512640 135840783 4291188592 4291151804 15066160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 1610 865 345 325 0 546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6440

[startup+0.300205 s]
/proc/loadavg: 2.16 2.04 2.01 2/176 25909
/proc/meminfo: memFree=28729740/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=7416 CPUtime=0.29 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 1219 0 0 0 29 0 0 0 20 0 1 0 340913738 7593984 1124 33554432000 134512640 135840783 4291188592 4291187104 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 1854 1124 349 325 0 790 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7416

[startup+0.700205 s]
/proc/loadavg: 2.16 2.04 2.01 2/176 25909
/proc/meminfo: memFree=28729740/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=8696 CPUtime=0.69 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 1529 0 0 0 69 0 0 0 20 0 1 0 340913738 8904704 1434 33554432000 134512640 135840783 4291188592 4291187904 134551455 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 2174 1434 349 325 0 1110 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8696

[startup+1.5002 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28719912/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=11812 CPUtime=1.49 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 2293 0 0 0 149 0 0 0 20 0 1 0 340913738 12095488 2198 33554432000 134512640 135840783 4291188592 4291187088 15066160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 2953 2198 349 325 0 1889 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11812

[startup+3.10029 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28715796/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=15548 CPUtime=3.09 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 3255 0 0 0 308 1 0 0 20 0 1 0 340913738 15921152 3161 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 3887 3161 349 325 0 2823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15548

[startup+6.30028 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28696780/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=23160 CPUtime=6.28 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 5153 0 0 0 627 1 0 0 20 0 1 0 340913738 23715840 5059 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 5790 5059 349 325 0 4726 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23160

[startup+12.7003 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28667812/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=40012 CPUtime=12.68 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 9368 0 0 0 1266 2 0 0 20 0 1 0 340913738 40972288 9274 33554432000 134512640 135840783 4291188592 4291187952 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 10003 9274 349 325 0 8939 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 40012

[startup+25.5003 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28632992/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=59260 CPUtime=25.48 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 14168 0 0 0 2544 4 0 0 20 0 1 0 340913738 60682240 14074 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 14815 14074 349 325 0 13751 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59260

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 25910
/proc/meminfo: memFree=28585716/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=86544 CPUtime=51.08 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 21004 0 0 0 5101 7 0 0 20 0 1 0 340913738 88621056 20910 33554432000 134512640 135840783 4291188592 4291187952 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 21636 20910 349 325 0 20572 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86544

[startup+102.307 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 25910
/proc/meminfo: memFree=28517940/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=118096 CPUtime=102.24 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 28921 0 0 0 10213 11 0 0 20 0 1 0 340913738 120930304 28795 33554432000 134512640 135840783 4291188592 4291187952 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 29524 28795 349 325 0 28460 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 118096

[startup+162.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 25910
/proc/meminfo: memFree=28442868/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=150700 CPUtime=162.21 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 37105 0 0 0 16205 16 0 0 20 0 1 0 340913738 154316800 36953 33554432000 134512640 135840783 4291188592 4291187904 9568801 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 37675 36953 349 325 0 36611 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 150700

[startup+222.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 25910
/proc/meminfo: memFree=28367848/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=186472 CPUtime=222.19 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 46050 0 0 0 22199 20 0 0 20 0 1 0 340913738 190947328 45898 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 46618 45898 349 325 0 45554 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 186472

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 25910
/proc/meminfo: memFree=28316264/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=211652 CPUtime=282.18 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 52326 0 0 0 28194 24 0 0 20 0 1 0 340913738 216731648 52174 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 52913 52174 349 325 0 51849 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 211652

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 25911
/proc/meminfo: memFree=28265356/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=235168 CPUtime=342.17 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 58227 0 0 0 34190 27 0 0 20 0 1 0 340913738 240812032 58072 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 58792 58072 349 325 0 57728 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 235168

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 25914
/proc/meminfo: memFree=28227804/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=247300 CPUtime=402.11 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 61287 0 0 0 40181 30 0 0 20 0 1 0 340913738 253235200 61084 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 61825 61084 349 325 0 60761 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 247300

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 25914
/proc/meminfo: memFree=28189052/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=262944 CPUtime=462.1 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 65223 0 0 0 46177 33 0 0 20 0 1 0 340913738 269254656 65015 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 65736 65015 349 325 0 64672 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 262944

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25914
/proc/meminfo: memFree=28153216/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=275896 CPUtime=522.09 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 68438 0 0 0 52174 35 0 0 20 0 1 0 340913738 282517504 68230 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 68974 68230 349 325 0 67910 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 275896

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 25914
/proc/meminfo: memFree=28125300/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=287436 CPUtime=582.09 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 71323 0 0 0 58171 38 0 0 20 0 1 0 340913738 294334464 71115 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 71859 71115 349 325 0 70795 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 287436

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25916
/proc/meminfo: memFree=27995208/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=349884 CPUtime=822 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 86982 0 0 0 82151 49 0 0 20 0 1 0 340913738 358281216 86727 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 87471 86727 349 325 0 86407 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 349884

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25916
/proc/meminfo: memFree=27964264/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=367220 CPUtime=881.99 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 91315 0 0 0 88147 52 0 0 20 0 1 0 340913738 376033280 91057 33554432000 134512640 135840783 4291188592 4291187952 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 91805 91057 349 325 0 90741 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 367220

[startup+942.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 25917
/proc/meminfo: memFree=27945168/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=386216 CPUtime=941.98 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 96072 0 0 0 94143 55 0 0 20 0 1 0 340913738 395485184 95814 33554432000 134512640 135840783 4291188592 4291187952 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 96554 95814 349 325 0 95490 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 386216

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 25920
/proc/meminfo: memFree=27928792/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=402860 CPUtime=1001.98 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 100231 0 0 0 100140 58 0 0 20 0 1 0 340913738 412528640 99973 33554432000 134512640 135840783 4291188592 4291187828 1577130 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 100715 99973 349 325 0 99651 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 402860

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25920
/proc/meminfo: memFree=27914556/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=416872 CPUtime=1061.97 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 103736 0 0 0 106136 61 0 0 20 0 1 0 340913738 426876928 103478 33554432000 134512640 135840783 4291188592 4291187952 134551200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 104218 103478 349 325 0 103154 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 416872

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25920
/proc/meminfo: memFree=27900208/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=431356 CPUtime=1121.96 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 107374 0 0 0 112133 63 0 0 20 0 1 0 340913738 441708544 107116 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 107839 107116 349 325 0 106775 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 431356

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25920
/proc/meminfo: memFree=27885576/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=446244 CPUtime=1181.95 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 111092 0 0 0 118130 65 0 0 20 0 1 0 340913738 456953856 110834 33554432000 134512640 135840783 4291188592 4291187952 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 111561 110834 349 325 0 110497 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 446244

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27870200/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=461320 CPUtime=1241.94 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 114848 0 0 0 124127 67 0 0 20 0 1 0 340913738 472391680 114590 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 115330 114590 349 325 0 114266 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 461320

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27857344/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=473864 CPUtime=1301.92 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 118007 0 0 0 130122 70 0 0 20 0 1 0 340913738 485236736 117738 33554432000 134512640 135840783 4291188592 4291187952 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 118466 117738 349 325 0 117402 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 473864

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27844476/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=486904 CPUtime=1361.86 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 121299 0 0 0 136114 72 0 0 20 0 1 0 340913738 498589696 120982 33554432000 134512640 135840783 4291188592 4291187952 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 121726 120982 349 325 0 120662 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 486904

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27830632/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=500700 CPUtime=1421.85 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 124768 0 0 0 142111 74 0 0 20 0 1 0 340913738 512716800 124442 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 125175 124442 349 325 0 124111 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 500700

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27818232/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=513212 CPUtime=1481.84 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 127886 0 0 0 148107 77 0 0 20 0 1 0 340913738 525529088 127560 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 128303 127560 349 325 0 127239 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 513212

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25922
/proc/meminfo: memFree=27798640/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=526160 CPUtime=1541.83 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 131139 0 0 0 154104 79 0 0 20 0 1 0 340913738 538787840 130813 33554432000 134512640 135840783 4291188592 4291187952 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 131540 130813 349 325 0 130476 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 526160

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25925
/proc/meminfo: memFree=27766888/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=540216 CPUtime=1601.82 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 134652 0 0 0 160101 81 0 0 20 0 1 0 340913738 553181184 134326 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 135054 134326 349 325 0 133990 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 540216

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25925
/proc/meminfo: memFree=27741564/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=547448 CPUtime=1661.81 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 136749 0 0 0 166099 82 0 0 20 0 1 0 340913738 560586752 136144 33554432000 134512640 135840783 4291188592 4291187784 1569056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 136862 136144 349 325 0 135798 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 547448

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25925
/proc/meminfo: memFree=27728668/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=547448 CPUtime=1721.8 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 136749 0 0 0 172098 82 0 0 20 0 1 0 340913738 560586752 136144 33554432000 134512640 135840783 4291188592 4291187952 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 136862 136144 349 325 0 135798 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 547448

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25925
/proc/meminfo: memFree=27715152/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=547448 CPUtime=1781.79 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 136749 0 0 0 178097 82 0 0 20 0 1 0 340913738 560586752 136144 33554432000 134512640 135840783 4291188592 4291187952 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 136862 136144 349 325 0 135798 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 547448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 25926
/proc/meminfo: memFree=28184544/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=547448 CPUtime=1800.1 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 136749 0 0 0 179928 82 0 0 20 0 1 0 340913738 560586752 136144 33554432000 134512640 135840783 4291188592 4291187952 134550808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 136862 136144 349 325 0 135798 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 547448

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.12
CPU user time (s): 1799.29
CPU system time (s): 0.829873
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 548564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.829873
maximum resident set size= 545692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136752
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= 243
involuntary context switches= 1845

runsolver used 6.581 second user time and 7.40387 second system time

The end

Launcher Data

Begin job on node106 at 2012-06-03 20:24:13
IDJOB=3739352
IDBENCH=72486
IDSOLVER=2318
FILE ID=node106/3739352-1338747852
RUNJOBID= node106-1338714620-23308
PBS_JOBID= 14636759
Free space on /tmp= 70856 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_0_errors.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739352-1338747852/watcher-3739352-1338747852 -o /tmp/evaluation-result-3739352-1338747852/solver-3739352-1338747852 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3739352-1338747852.opb            

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

MD5SUM BENCH= a240e4a37082dfb03371e204a64a9828
RANDOM SEED=989100903

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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:        28730120 kB
Buffers:          316884 kB
Cached:          2964800 kB
SwapCached:         2004 kB
Active:          1032252 kB
Inactive:        2258780 kB
Active(anon):       6500 kB
Inactive(anon):     4984 kB
Active(file):    1025752 kB
Inactive(file):  2253796 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:             12804 kB
Writeback:             0 kB
AnonPages:         14064 kB
Mapped:             9968 kB
Shmem:                 0 kB
Slab:             713424 kB
SReclaimable:     155360 kB
SUnreclaim:       558064 kB
KernelStack:        1432 kB
PageTables:         3220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     129696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70848 MiB
End job on node106 at 2012-06-03 20:54:15