Trace number 3733968

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.09 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_20.opb
MD5SUM6a25ee38adc43f783b18badd1224270c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13480
Total number of constraints26619
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints26619
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
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 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2843
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3733968-1338699353.opb
0.00/0.00	c File size is 7804237 bytes.
0.58/0.66	c Highest Coefficient sum: 2843
0.58/0.66	c Parsing was ok!!
0.58/0.66	c Total parsing time: 0.655 s
0.58/0.67	c Var: 13480 Constr: 26619 0/0/26619 Lit: 916142 Watch. Lit: 130416
0.58/0.67	c Obj. Vars: 9 (0.0667656 % of total variables)
2.88/2.95	c Pre-processing Time: 2.95 s
2.88/2.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.88/2.95	c        0  13480    26619   916142   34   228629  500000      0      0 2.95
2.88/2.95	c Switching off LPR mode.
1800.07/1800.50	c      100  13480    26719   920750   34   559462  550001    100     23 4.34
1800.07/1800.50	c      250  13480    26869   929402   34   518545  605002    250     46 5.39
1800.07/1800.50	c      476  13480    27095   938114   34   454943  665503    476     74 6.37
1800.07/1800.50	c      814  13480    27433   956655   34   455056  732054    814    111 7.31
1800.07/1800.50	c     1323  13480    27942   983687   35   432882  805260   1323    156 8.46
1800.07/1800.50	c     2086  13480    28705  1022870   35   535982  885787   2086    211 9.86
1800.07/1800.50	c     3233  13480    29852  1077823   36   500115  974366   3233    242 13.31
1800.07/1800.50	c     4954  13480    31573  1181650   37   468246  500000   4954    292 16.96
1800.07/1800.50	c     7538  13480    34157  1293114   37   443917  550001   7538    397 18.99
1800.07/1800.50	c    11419  13480    38038  1579151   41   521536  605002  11419    319 35.78
1800.07/1800.50	c    17241  13480    43860  1883842   42   533050  665503  17241    339 50.82
1800.07/1800.50	c    25978  13480    52597  2649302   50   557757  732054  25978    293 88.52
1800.07/1800.50	c    39091  13480    65710  3294678   50   511214  805260  39091    337 115.96
1800.07/1800.50	c    58761  13480    85380  4985841   58   626018  885787  58761    271 216.34
1800.07/1800.50	c    88272  13480   114891  6436577   56   610065  974366  88272    347 253.77
1800.07/1800.50	c   132543  13480   159162 10532523   66   775649  500000 132543    279 474.01
1800.07/1800.50	c   198953  13480   225572 15607942   69   890557  550001 198953    247 803.07
1800.07/1800.50	c   298573  13480   325192 22093038   67  1091976  605002 298573    207 1439.24
1800.07/1800.50	c Caught signal: 15
1800.07/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.50	c   18   356636  46560   441066   383255 27827756 356636    198 1800.08
1800.07/1800.50	s UNKNOWN
1800.07/1800.50	c Total time: 1800.08 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733968-1338699353/watcher-3733968-1338699353 -o /tmp/evaluation-result-3733968-1338699353/solver-3733968-1338699353 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733968-1338699353.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.12 2.07 2.02 3/178 29936
/proc/meminfo: memFree=28039720/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=27804 CPUtime=0 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 449 0 0 0 0 0 0 0 20 0 1 0 336060668 28471296 385 33554432000 134512640 135840783 4294626208 4294624940 8738791 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 6951 387 325 325 0 3981 0

[startup+0.0491209 s]
/proc/loadavg: 2.12 2.07 2.02 3/178 29936
/proc/meminfo: memFree=28039720/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=13216 CPUtime=0.04 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 813 0 0 0 4 0 0 0 20 0 1 0 336060668 13533184 749 33554432000 134512640 135840783 4294626208 4294624480 8762663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 3304 749 456 325 0 334 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13216

[startup+0.10023 s]
/proc/loadavg: 2.12 2.07 2.02 3/178 29936
/proc/meminfo: memFree=28039720/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=14264 CPUtime=0.09 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 1240 0 0 0 9 0 0 0 20 0 1 0 336060668 14606336 1176 33554432000 134512640 135840783 4294626208 4294624480 8762663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 3566 1177 607 325 0 596 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14264

[startup+0.300219 s]
/proc/loadavg: 2.12 2.07 2.02 3/178 29936
/proc/meminfo: memFree=28039720/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=18556 CPUtime=0.28 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 2904 0 0 0 28 0 0 0 20 0 1 0 336060668 19001344 2840 33554432000 134512640 135840783 4294626208 4294624480 8762663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 4639 2841 1189 325 0 1669 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 18556

[startup+0.700238 s]
/proc/loadavg: 2.12 2.07 2.02 3/178 29936
/proc/meminfo: memFree=28039720/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=24400 CPUtime=0.69 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 7273 0 0 0 68 1 0 0 20 0 1 0 336060668 24985600 5303 33554432000 134512640 135840783 4294626208 4294463424 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 6100 5303 341 325 0 5036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24400

[startup+1.5003 s]
/proc/loadavg: 2.11 2.07 2.02 3/179 29937
/proc/meminfo: memFree=28003280/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=39988 CPUtime=1.48 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 11199 0 0 0 146 2 0 0 20 0 1 0 336060668 40947712 9229 33554432000 134512640 135840783 4294626208 4294463376 134545300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 9997 9229 343 325 0 8933 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39988

[startup+3.10031 s]
/proc/loadavg: 2.11 2.07 2.02 3/179 29937
/proc/meminfo: memFree=28002536/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=33768 CPUtime=3.09 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 13288 0 0 0 305 4 0 0 20 0 1 0 336060668 34578432 7674 33554432000 134512640 135840783 4294626208 4294625296 8762663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 8442 7677 346 325 0 7378 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33768

[startup+6.30033 s]
/proc/loadavg: 2.10 2.07 2.02 3/178 29937
/proc/meminfo: memFree=28007248/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=34956 CPUtime=6.29 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 13581 0 0 0 625 4 0 0 20 0 1 0 336060668 35794944 7967 33554432000 134512640 135840783 4294626208 4294625568 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 8739 7967 346 325 0 7675 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34956

[startup+12.7004 s]
/proc/loadavg: 2.17 2.09 2.02 3/179 29938
/proc/meminfo: memFree=28006700/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=35364 CPUtime=12.69 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 13694 0 0 0 1265 4 0 0 20 0 1 0 336060668 36212736 8080 33554432000 134512640 135840783 4294626208 4294625604 8752955 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 8841 8080 346 325 0 7777 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35364

[startup+25.5004 s]
/proc/loadavg: 2.22 2.10 2.03 3/179 29938
/proc/meminfo: memFree=27998756/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=40400 CPUtime=25.48 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 14968 0 0 0 2544 4 0 0 20 0 1 0 336060668 41369600 9354 33554432000 134512640 135840783 4294626208 4294625568 134550840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 10100 9354 346 325 0 9036 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40400

[startup+51.1004 s]
/proc/loadavg: 2.13 2.09 2.03 3/179 29938
/proc/meminfo: memFree=27982232/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=47428 CPUtime=51.08 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 16694 0 0 0 5103 5 0 0 20 0 1 0 336060668 48566272 11080 33554432000 134512640 135840783 4294626208 4294625520 134551200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 11857 11080 346 325 0 10793 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47428

[startup+102.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/179 29938
/proc/meminfo: memFree=27943944/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=61212 CPUtime=102.27 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 20155 0 0 0 10220 7 0 0 20 0 1 0 336060668 62681088 14539 33554432000 134512640 135840783 4294626208 4294625520 134551377 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 15303 14539 346 325 0 14239 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 61212

[startup+162.3 s]
/proc/loadavg: 2.09 2.08 2.03 3/179 29938
/proc/meminfo: memFree=27903764/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=81484 CPUtime=162.24 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 25251 0 0 0 16214 10 0 0 20 0 1 0 336060668 83439616 19624 33554432000 134512640 135840783 4294626208 4294625520 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 20371 19624 346 325 0 19307 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 81484

[startup+222.307 s]
/proc/loadavg: 2.08 2.08 2.03 3/179 29938
/proc/meminfo: memFree=27870780/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=95268 CPUtime=222.24 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 28692 0 0 0 22211 13 0 0 20 0 1 0 336060668 97554432 23065 33554432000 134512640 135840783 4294626208 4294625568 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 23817 23065 346 325 0 22753 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 95268

[startup+282.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/180 29941
/proc/meminfo: memFree=27824424/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=122980 CPUtime=282.22 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 35614 0 0 0 28205 17 0 0 20 0 1 0 336060668 125931520 29987 33554432000 134512640 135840783 4294626208 4294623636 8749410 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 30745 29987 346 325 0 29681 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 122980

[startup+342.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/180 29964
/proc/meminfo: memFree=27789492/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=138736 CPUtime=342.21 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 39557 0 0 0 34202 19 0 0 20 0 1 0 336060668 142065664 33922 33554432000 134512640 135840783 4294626208 4294625568 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 34684 33922 346 325 0 33620 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 138736

[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/179 29964
/proc/meminfo: memFree=27751236/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=157536 CPUtime=402.18 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 44295 0 0 0 40197 21 0 0 20 0 1 0 336060668 161316864 38637 33554432000 134512640 135840783 4294626208 4294625568 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 39384 38637 346 325 0 38320 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 157536

[startup+462.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/179 29964
/proc/meminfo: memFree=27725568/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=168656 CPUtime=462.17 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 47073 0 0 0 46194 23 0 0 20 0 1 0 336060668 172703744 41415 33554432000 134512640 135840783 4294626208 4294625344 8759950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 42164 41415 346 325 0 41100 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 168656

[startup+522.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/179 29964
/proc/meminfo: memFree=27700396/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=181764 CPUtime=522.16 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 50356 0 0 0 52190 26 0 0 20 0 1 0 336060668 186126336 44698 33554432000 134512640 135840783 4294626208 4294625568 134551353 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 45441 44698 346 325 0 44377 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 181764

[startup+582.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/179 29964
/proc/meminfo: memFree=27674408/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=192496 CPUtime=582.15 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 53041 0 0 0 58187 28 0 0 20 0 1 0 336060668 197115904 47383 33554432000 134512640 135840783 4294626208 4294625520 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 48124 47383 346 325 0 47060 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 192496

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/179 29965
/proc/meminfo: memFree=27574520/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=244432 CPUtime=822.08 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 66048 0 0 0 82170 38 0 0 20 0 1 0 336060668 250298368 60357 33554432000 134512640 135840783 4294626208 4294625568 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 61108 60357 346 325 0 60044 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 244432

[startup+882.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/180 29968
/proc/meminfo: memFree=27550828/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=253444 CPUtime=882.08 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 68292 0 0 0 88168 40 0 0 20 0 1 0 336060668 259526656 62601 33554432000 134512640 135840783 4294626208 4294625568 134551377 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 63361 62601 346 325 0 62297 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 253444

[startup+942.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 29969
/proc/meminfo: memFree=27527392/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=262728 CPUtime=942.07 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 70636 0 0 0 94164 43 0 0 20 0 1 0 336060668 269033472 64945 33554432000 134512640 135840783 4294626208 4294625568 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 65682 64945 346 325 0 64618 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 262728

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 29969
/proc/meminfo: memFree=27503328/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=274392 CPUtime=1002.06 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 73553 0 0 0 100160 46 0 0 20 0 1 0 336060668 280977408 67862 33554432000 134512640 135840783 4294626208 4294625568 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 68598 67862 346 325 0 67534 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 274392

[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 29969
/proc/meminfo: memFree=27479892/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=284864 CPUtime=1062.04 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 76149 0 0 0 106156 48 0 0 20 0 1 0 336060668 291700736 70458 33554432000 134512640 135840783 4294626208 4294625568 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 71216 70458 346 325 0 70152 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 284864

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 29969
/proc/meminfo: memFree=27462216/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=294008 CPUtime=1122.01 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 78481 0 0 0 112150 51 0 0 20 0 1 0 336060668 301064192 72756 33554432000 134512640 135840783 4294626208 4294625568 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 73502 72756 346 325 0 72438 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 294008

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 29969
/proc/meminfo: memFree=27443120/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=302888 CPUtime=1182 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 80710 0 0 0 118148 52 0 0 20 0 1 0 336060668 310157312 74985 33554432000 134512640 135840783 4294626208 4294625508 8768075 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 75722 74985 346 325 0 74658 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 302888

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 29970
/proc/meminfo: memFree=27418320/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=312696 CPUtime=1241.98 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 83164 0 0 0 124144 54 0 0 20 0 1 0 336060668 320200704 77439 33554432000 134512640 135840783 4294626208 4294625568 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 78174 77439 346 325 0 77110 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 312696

[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 29970
/proc/meminfo: memFree=27398852/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=319984 CPUtime=1301.97 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 84957 0 0 0 130142 55 0 0 20 0 1 0 336060668 327663616 79232 33554432000 134512640 135840783 4294626208 4294625568 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 79996 79232 346 325 0 78932 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 319984

[startup+1362.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 29970
/proc/meminfo: memFree=27382108/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=326876 CPUtime=1361.97 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 86704 0 0 0 136140 57 0 0 20 0 1 0 336060668 334721024 80979 33554432000 134512640 135840783 4294626208 4294625568 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 81719 80979 346 325 0 80655 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 326876

[startup+1422.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 29970
/proc/meminfo: memFree=27364728/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=333508 CPUtime=1421.96 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 88370 0 0 0 142138 58 0 0 20 0 1 0 336060668 341512192 82645 33554432000 134512640 135840783 4294626208 4294625568 134550869 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 83377 82645 346 325 0 82313 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 333508

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 29973
/proc/meminfo: memFree=27345376/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=345160 CPUtime=1481.94 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 91269 0 0 0 148134 60 0 0 20 0 1 0 336060668 353443840 85544 33554432000 134512640 135840783 4294626208 4294625568 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 86290 85544 346 325 0 85226 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 345160

[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 29974
/proc/meminfo: memFree=27321452/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=357732 CPUtime=1541.95 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 94406 0 0 0 154131 64 0 0 20 0 1 0 336060668 366317568 88681 33554432000 134512640 135840783 4294626208 4294625568 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 89433 88681 346 325 0 88369 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 357732

[startup+1602.3 s]
/proc/loadavg: 1.97 2.01 1.99 3/179 30013
/proc/meminfo: memFree=27799156/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=372696 CPUtime=1601.93 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 98163 0 0 0 160126 67 0 0 20 0 1 0 336060668 381640704 92426 33554432000 134512640 135840783 4294626208 4294623712 8762663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 93174 92427 346 325 0 92110 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 372696

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 30051
/proc/meminfo: memFree=27787004/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=385268 CPUtime=1661.89 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 101332 0 0 0 166120 69 0 0 20 0 1 0 336060668 394514432 95571 33554432000 134512640 135840783 4294626208 4294625568 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 96317 95571 346 325 0 95253 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 385268

[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 30051
/proc/meminfo: memFree=27774108/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=397580 CPUtime=1721.88 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 104396 0 0 0 172116 72 0 0 20 0 1 0 336060668 407121920 98635 33554432000 134512640 135840783 4294626208 4294625568 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 99395 98635 346 325 0 98331 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 397580

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 30089
/proc/meminfo: memFree=27757840/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=411612 CPUtime=1781.87 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 107917 0 0 0 178113 74 0 0 20 0 1 0 336060668 421490688 102156 33554432000 134512640 135840783 4294626208 4294625568 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 102903 102156 346 325 0 101839 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 411612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 30089
/proc/meminfo: memFree=27751168/32873844 swapFree=7124/7124
[pid=29936] ppid=29934 vsize=415848 CPUtime=1800.07 cores=1,3,5,7
/proc/29936/stat : 29936 (bsolo3.0.17) R 29934 29936 27204 0 -1 4202496 108966 0 0 0 179932 75 0 0 20 0 1 0 336060668 425828352 103205 33554432000 134512640 135840783 4294626208 4294625520 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 103962 103205 346 325 0 102898 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 415848

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.51
CPU time (s): 1800.09
CPU user time (s): 1799.33
CPU system time (s): 0.757884
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 415848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.757884
maximum resident set size= 412820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108969
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= 181
involuntary context switches= 1848

runsolver used 2.99055 second user time and 10.8144 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-03 06:55:53
IDJOB=3733968
IDBENCH=2639
IDSOLVER=2318
FILE ID=node134/3733968-1338699353
RUNJOBID= node134-1338678625-27224
PBS_JOBID= 14636679
Free space on /tmp= 70340 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_20.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733968-1338699353/watcher-3733968-1338699353 -o /tmp/evaluation-result-3733968-1338699353/solver-3733968-1338699353 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733968-1338699353.opb            

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

MD5SUM BENCH= 6a25ee38adc43f783b18badd1224270c
RANDOM SEED=1033200709

node134.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.278
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.55
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.278
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	: 5332.56
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.278
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	: 5332.55
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.278
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	: 5332.59
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.278
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	: 5332.55
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.278
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	: 5332.55
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.278
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	: 5332.57
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.278
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28040148 kB
Buffers:          476588 kB
Cached:          3318308 kB
SwapCached:           76 kB
Active:          1892472 kB
Inactive:        2039068 kB
Active(anon):     128064 kB
Inactive(anon):    10496 kB
Active(file):    1764408 kB
Inactive(file):  2028572 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:             13992 kB
Writeback:             0 kB
AnonPages:        143516 kB
Mapped:            12496 kB
Shmem:                96 kB
Slab:             760884 kB
SReclaimable:     202672 kB
SUnreclaim:       558212 kB
KernelStack:        1472 kB
PageTables:         4240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     251204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 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= 70340 MiB
End job on node134 at 2012-06-03 07:25:55