Trace number 3735024

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_19.opb
MD5SUM691db1c1df60c391acb60afdfcce171f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark345
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10998
Total number of constraints21679
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints21678
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 171
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 426
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 531
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2868
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-3735024-1338702736.opb
0.00/0.00	c File size is 6149829 bytes.
0.39/0.47	c Highest Coefficient sum: 2868
0.39/0.47	c Parsing was ok!!
0.39/0.47	c Total parsing time: 0.469 s
0.39/0.48	c Var: 10998 Constr: 21679 1/0/21678 Lit: 726384 Watch. Lit: 115638
0.39/0.48	c Obj. Vars: 9 (0.0818331 % of total variables)
1.79/1.82	c Pre-processing Time: 1.822 s
1.79/1.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.82	c        0  10997    21678   726383   33   178600  500000      0      0 1.82
1.79/1.82	c Switching off LPR mode.
1800.04/1800.50	c      101  10997    21779   731597   33   406863  550001    101     42 2.37
1800.04/1800.50	c      252  10997    21930   738318   33   445434  605002    252     97 2.57
1800.04/1800.50	c      477  10997    22155   750878   33   415017  665503    477    149 3.19
1800.04/1800.50	c      816  10997    22494   768501   34   403257  732054    816    226 3.61
1800.04/1800.50	c     1325  10997    23003   796420   34   412405  805260   1325    278 4.76
1800.04/1800.50	c     2089  10997    23767   836847   35   421232  885787   2089    340 6.14
1800.04/1800.50	c     3236  10997    24914   912467   36   404215  974366   3236    374 8.64
1800.04/1800.50	c     4957  10997    26635  1019740   38   429734  500000   4957    409 12.11
1800.04/1800.50	c     7542  10997    29220  1184333   40   435437  550001   7542    415 18.14
1800.04/1800.50	c    11422  10997    33100  1412621   42   432650  605002  11422    486 23.48
1800.04/1800.50	c    17244  10997    38922  1829703   47   429993  665503  17244    485 35.50
1800.04/1800.50	c    25981  10997    47659  2305503   48   473192  732054  25981    513 50.58
1800.04/1800.50	c    39092  10997    60770  3242267   53   477853  805260  39092    414 94.20
1800.04/1800.50	c    58763  10997    80441  4555364   56   535256  885787  58763    408 143.69
1800.04/1800.50	c    88278  10997   109956  6375565   57   601855  974366  88278    381 231.65
1800.04/1800.50	c   132549  10997   154227 10751620   69   665488  500000 132549    353 375.28
1800.04/1800.50	c   198959  10997   220637 15357605   69   817024  550001 198959    329 603.99
1800.04/1800.50	c   298579  10997   320257 25396678   79   996779  605002 298579    265 1126.29
1800.04/1800.50	c Caught signal: 15
1800.04/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.50	c   18   423847  50268   510968   445525 33155018 423847    235 1800.05
1800.04/1800.50	s UNKNOWN
1800.04/1800.50	c Total time: 1800.05 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-3735024-1338702736/watcher-3735024-1338702736 -o /tmp/evaluation-result-3735024-1338702736/solver-3735024-1338702736 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3735024-1338702736.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27189
/proc/meminfo: memFree=28171024/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=10692 CPUtime=0 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 462 0 0 0 0 0 0 0 20 0 1 0 336402208 10948608 398 33554432000 134512640 135840783 4294699696 4294698000 10249511 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 2673 398 330 325 0 107 0

[startup+0.0530101 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27189
/proc/meminfo: memFree=28171024/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=11736 CPUtime=0.04 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 880 0 0 0 4 0 0 0 20 0 1 0 336402208 12017664 816 33554432000 134512640 135840783 4294699696 4294698096 10249511 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 2934 816 479 325 0 368 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11736

[startup+0.100252 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27189
/proc/meminfo: memFree=28171024/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=12904 CPUtime=0.09 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 1317 0 0 0 9 0 0 0 20 0 1 0 336402208 13213696 1253 33554432000 134512640 135840783 4294699696 4294697968 10249511 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 3226 1253 632 325 0 660 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12904

[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27189
/proc/meminfo: memFree=28171024/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=17592 CPUtime=0.29 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 3112 0 0 0 29 0 0 0 20 0 1 0 336402208 18014208 3048 33554432000 134512640 135840783 4294699696 4294698688 134524931 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 4398 3048 1257 325 0 1832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17592

[startup+0.700273 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27189
/proc/meminfo: memFree=28171024/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=32632 CPUtime=0.69 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 8944 0 0 0 68 1 0 0 20 0 1 0 336402208 33415168 7378 33554432000 134512640 135840783 4294699696 4294566636 2217008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 8158 7378 344 325 0 7094 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32632

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27190
/proc/meminfo: memFree=28142372/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=32632 CPUtime=1.49 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 8944 0 0 0 147 2 0 0 20 0 1 0 336402208 33415168 7378 33554432000 134512640 135840783 4294699696 4294566636 2217008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 8158 7378 344 325 0 7094 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32632

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27190
/proc/meminfo: memFree=28147200/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=28376 CPUtime=3.09 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 10806 0 0 0 306 3 0 0 20 0 1 0 336402208 29057024 6349 33554432000 134512640 135840783 4294699696 4294698724 10236258 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 7094 6349 347 325 0 6030 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28376

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27190
/proc/meminfo: memFree=28145464/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=29440 CPUtime=6.29 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 11067 0 0 0 626 3 0 0 20 0 1 0 336402208 30146560 6610 33554432000 134512640 135840783 4294699696 4294699056 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 7360 6610 347 325 0 6296 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29440

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27190
/proc/meminfo: memFree=28143504/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=31828 CPUtime=12.69 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 11674 0 0 0 1266 3 0 0 20 0 1 0 336402208 32591872 7217 33554432000 134512640 135840783 4294699696 4294699056 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 7957 7217 347 325 0 6893 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31828

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27190
/proc/meminfo: memFree=28137484/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=37796 CPUtime=25.49 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 13173 0 0 0 2545 4 0 0 20 0 1 0 336402208 38703104 8713 33554432000 134512640 135840783 4294699696 4294699056 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 9449 8713 347 325 0 8385 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37796

[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 27190
/proc/meminfo: memFree=28124928/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=50388 CPUtime=51.07 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 16338 0 0 0 5102 5 0 0 20 0 1 0 336402208 51597312 11865 33554432000 134512640 135840783 4294699696 4294699056 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 12597 11865 347 325 0 11533 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 50388

[startup+102.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 27190
/proc/meminfo: memFree=28107564/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=67216 CPUtime=102.27 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 20537 0 0 0 10221 6 0 0 20 0 1 0 336402208 68829184 16064 33554432000 134512640 135840783 4294699696 4294699056 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 16804 16064 347 325 0 15740 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 67216

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 27190
/proc/meminfo: memFree=28085652/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=88688 CPUtime=162.24 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 25903 0 0 0 16215 9 0 0 20 0 1 0 336402208 90816512 21417 33554432000 134512640 135840783 4294699696 4294699056 134551475 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 22172 21417 347 325 0 21108 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 88688

[startup+222.3 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 27267
/proc/meminfo: memFree=28033688/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=107252 CPUtime=222.23 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 30569 0 0 0 22211 12 0 0 20 0 1 0 336402208 109826048 26075 33554432000 134512640 135840783 4294699696 4294699056 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 26813 26075 347 325 0 25749 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 107252

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 27268
/proc/meminfo: memFree=27979420/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=132676 CPUtime=282.21 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 36929 0 0 0 28206 15 0 0 20 0 1 0 336402208 135860224 32425 33554432000 134512640 135840783 4294699696 4294699056 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 33169 32425 347 325 0 32105 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 132676

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 27268
/proc/meminfo: memFree=27929936/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=157292 CPUtime=342.2 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 43100 0 0 0 34201 19 0 0 20 0 1 0 336402208 161067008 38596 33554432000 134512640 135840783 4294699696 4294699052 134520568 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 39323 38596 347 325 0 38259 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 157292

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 27268
/proc/meminfo: memFree=27884684/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=178484 CPUtime=402.17 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 48405 0 0 0 40196 21 0 0 20 0 1 0 336402208 182767616 43874 33554432000 134512640 135840783 4294699696 4294699056 134551362 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 44621 43874 347 325 0 43557 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 178484

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 27268
/proc/meminfo: memFree=27846728/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=199024 CPUtime=462.16 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 53559 0 0 0 46192 24 0 0 20 0 1 0 336402208 203800576 49022 33554432000 134512640 135840783 4294699696 4294699056 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 49756 49022 347 325 0 48692 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 199024

[startup+522.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 27271
/proc/meminfo: memFree=27813972/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=215324 CPUtime=522.15 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 57624 0 0 0 52188 27 0 0 20 0 1 0 336402208 220491776 53087 33554432000 134512640 135840783 4294699696 4294699056 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 53831 53087 347 325 0 52767 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 215324

[startup+582.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 27295
/proc/meminfo: memFree=27784584/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=231488 CPUtime=582.14 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 61675 0 0 0 58185 29 0 0 20 0 1 0 336402208 237043712 57138 33554432000 134512640 135840783 4294699696 4294699056 134551100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 57872 57138 347 325 0 56808 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 231488

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 27296
/proc/meminfo: memFree=27623852/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=321384 CPUtime=882.06 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 84190 0 0 0 88163 43 0 0 20 0 1 0 336402208 329097216 79610 33554432000 134512640 135840783 4294699696 4294699008 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 80346 79610 347 325 0 79282 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 321384

[startup+942.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 27296
/proc/meminfo: memFree=27598928/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=335012 CPUtime=942.05 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 87579 0 0 0 94161 44 0 0 20 0 1 0 336402208 343052288 82999 33554432000 134512640 135840783 4294699696 4294699056 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 83753 82999 347 325 0 82689 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 335012

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 27296
/proc/meminfo: memFree=27572516/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=348780 CPUtime=1002.04 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 91041 0 0 0 100157 47 0 0 20 0 1 0 336402208 357150720 86461 33554432000 134512640 135840783 4294699696 4294699056 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 87195 86461 347 325 0 86131 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 348780

[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 27296
/proc/meminfo: memFree=27546324/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=362016 CPUtime=1061.99 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 94389 0 0 0 106150 49 0 0 20 0 1 0 336402208 370704384 89765 33554432000 134512640 135840783 4294699696 4294699008 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 90504 89765 347 325 0 89440 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 362016

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 27299
/proc/meminfo: memFree=27525916/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=374192 CPUtime=1121.98 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 97442 0 0 0 112147 51 0 0 20 0 1 0 336402208 383172608 92817 33554432000 134512640 135840783 4294699696 4294699056 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 93548 92817 347 325 0 92484 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 374192

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 27299
/proc/meminfo: memFree=27502000/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=388516 CPUtime=1181.97 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 101018 0 0 0 118143 54 0 0 20 0 1 0 336402208 397840384 96393 33554432000 134512640 135840783 4294699696 4294699056 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 97129 96393 347 325 0 96065 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 388516

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27300
/proc/meminfo: memFree=27481912/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=400184 CPUtime=1241.96 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 103931 0 0 0 124141 55 0 0 20 0 1 0 336402208 409788416 99306 33554432000 134512640 135840783 4294699696 4294699056 134551321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 100046 99306 347 325 0 98982 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 400184

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27300
/proc/meminfo: memFree=27460688/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=411852 CPUtime=1301.96 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 106829 0 0 0 130139 57 0 0 20 0 1 0 336402208 421736448 102204 33554432000 134512640 135840783 4294699696 4294698972 9874175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 102963 102204 347 325 0 101899 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 411852

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27300
/proc/meminfo: memFree=27443824/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=422724 CPUtime=1361.94 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 109579 0 0 0 136135 59 0 0 20 0 1 0 336402208 432869376 104954 33554432000 134512640 135840783 4294699696 4294699056 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 105681 104954 347 325 0 104617 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 422724

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27300
/proc/meminfo: memFree=27427952/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=432004 CPUtime=1421.94 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 111887 0 0 0 142134 60 0 0 20 0 1 0 336402208 442372096 107262 33554432000 134512640 135840783 4294699696 4294699056 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 108001 107262 347 325 0 106937 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 432004

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/177 27300
/proc/meminfo: memFree=27408360/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=441680 CPUtime=1481.92 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 114309 0 0 0 148130 62 0 0 20 0 1 0 336402208 452280320 109684 33554432000 134512640 135840783 4294699696 4294699056 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 110420 109684 347 325 0 109356 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 441680

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27301
/proc/meminfo: memFree=27392280/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=450432 CPUtime=1541.87 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 116529 0 0 0 154123 64 0 0 20 0 1 0 336402208 461242368 111862 33554432000 134512640 135840783 4294699696 4294699056 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 112608 111862 347 325 0 111544 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 450432

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 27301
/proc/meminfo: memFree=27376780/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=459712 CPUtime=1601.87 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 118854 0 0 0 160121 66 0 0 20 0 1 0 336402208 470745088 114187 33554432000 134512640 135840783 4294699696 4294698992 134572603 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 114928 114187 347 325 0 113864 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 459712

[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 27301
/proc/meminfo: memFree=27359916/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=468724 CPUtime=1661.85 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 121103 0 0 0 166118 67 0 0 20 0 1 0 336402208 479973376 116436 33554432000 134512640 135840783 4294699696 4294699008 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 117181 116436 347 325 0 116117 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 468724

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 27304
/proc/meminfo: memFree=27344532/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=477204 CPUtime=1721.85 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 123210 0 0 0 172116 69 0 0 20 0 1 0 336402208 488656896 118543 33554432000 134512640 135840783 4294699696 4294699056 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 119301 118543 347 325 0 118237 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 477204

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 27304
/proc/meminfo: memFree=27326556/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=485948 CPUtime=1781.83 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 125420 0 0 0 178113 70 0 0 20 0 1 0 336402208 497610752 120753 33554432000 134512640 135840783 4294699696 4294699056 134551182 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 121487 120753 347 325 0 120423 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 485948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 27305
/proc/meminfo: memFree=27320852/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=488468 CPUtime=1800.04 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 126056 0 0 0 179933 71 0 0 20 0 1 0 336402208 500191232 121389 33554432000 134512640 135840783 4294699696 4294699056 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 122117 121389 347 325 0 121053 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 488468

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 27305
/proc/meminfo: memFree=27320852/32873844 swapFree=7116/7116
[pid=27189] ppid=27187 vsize=488468 CPUtime=1800.04 cores=0,2,4,6
/proc/27189/stat : 27189 (bsolo3.0.17) R 27187 27189 24661 0 -1 4202496 126056 0 0 0 179933 71 0 0 20 0 1 0 336402208 500191232 121389 33554432000 134512640 135840783 4294699696 4294699056 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27189/statm: 122117 121389 347 325 0 121053 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 488468

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.34
CPU system time (s): 0.71789
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 488468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.71789
maximum resident set size= 485556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126059
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= 222
involuntary context switches= 1977

runsolver used 3.3005 second user time and 9.2166 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-03 07:52:16
IDJOB=3735024
IDBENCH=2934
IDSOLVER=2318
FILE ID=node108/3735024-1338702736
RUNJOBID= node108-1338678627-24680
PBS_JOBID= 14636705
Free space on /tmp= 71460 MiB

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

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

MD5SUM BENCH= 691db1c1df60c391acb60afdfcce171f
RANDOM SEED=1623213669

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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:        28170916 kB
Buffers:          323132 kB
Cached:          3553048 kB
SwapCached:          112 kB
Active:          1914432 kB
Inactive:        1987528 kB
Active(anon):      13176 kB
Inactive(anon):    13084 kB
Active(file):    1901256 kB
Inactive(file):  1974444 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:             12076 kB
Writeback:             0 kB
AnonPages:         30368 kB
Mapped:            16040 kB
Shmem:               172 kB
Slab:             663844 kB
SReclaimable:     105944 kB
SUnreclaim:       557900 kB
KernelStack:        1448 kB
PageTables:         3832 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     135780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 71452 MiB
End job on node108 at 2012-06-03 08:22:19