Trace number 3737865

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 NameAnswerCPU timeWall clock time
PB07: bsolo 3.0.17? (TO) 1800.1 1800.62

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_1_15.opb
MD5SUM6ed49b7079c02e2b7da24a0934bd3691
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.030994
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4964
Sum of products size (including duplicates)9928
Number of different products2482
Sum of products size4964

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-3737865-1338728328.opb
0.00/0.00	c File size is 74266 bytes.
0.00/0.02	c Highest Coefficient sum: 400
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.013 s
0.00/0.02	c Var: 5364 Constr: 10531 5164/403/4964 Lit: 36148 Watch. Lit: 30602
0.00/0.02	c Obj. Vars: 0 (0 % of total variables)
0.88/0.97	c Pre-processing Time: 0.97 s
0.88/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.88/0.97	c        0   5364    10531    36148    3    30602   54045      0      0 0.97
0.88/0.97	c Switching off LPR mode.
1800.08/1800.61	c      176   5364    10707    88323    8    30954   59450    176    160 1.09
1800.08/1800.61	c      339   5364    10870   137665   12    31280   65396    339    273 1.24
1800.08/1800.61	c      570   5364    11101   224808   20    31742   71936    570    433 1.32
1800.08/1800.61	c      934   5364    11465   359566   31    32470   79130    934    600 1.55
1800.08/1800.61	c     1466   5364    11997   553136   46    33534   87044   1466    676 2.17
1800.08/1800.61	c     2238   5364    12769   841763   65    35078   95749   2238    880 2.54
1800.08/1800.61	c     3387   5364    13918  1276506   91    37376  105324   3387    889 3.81
1800.08/1800.61	c     5109   5364    15640  1930764  123    40820  115857   5109   1040 4.91
1800.08/1800.61	c     7694   5364    18225  2911595  159    45990  127443   7694    815 9.43
1800.08/1800.61	c    11579   5364    22110  4382990  198    53760  140188  11579    544 21.27
1800.08/1800.61	c    17407   5364    27938  6607871  236    65416  154207  17407    596 29.17
1800.08/1800.61	c    26144   5364    36675  9709447  264    82890  169628  26144    298 87.54
1800.08/1800.61	c    39254   5364    49785 14516585  291   109110  186591  39254    244 160.53
1800.08/1800.61	c    58925   5364    69456 21787116  313   148452  205251  58925    196 299.19
1800.08/1800.61	c    88448   5364    98979 33014027  333   207498  225777  88448    108 812.98
1800.08/1800.61	c   132718   5364   143249 49928954  348   296038  248355 132718    100 1326.47
1800.08/1800.61	c Caught signal: 15
1800.08/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.61	c   16   165193   2763   184559   175724 61979613 165193     91 1800.09
1800.08/1800.61	s UNKNOWN
1800.08/1800.61	c Total time: 1800.09 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-3737865-1338728328/watcher-3737865-1338728328 -o /tmp/evaluation-result-3737865-1338728328/solver-3737865-1338728328 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737865-1338728328.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: 1.92 1.99 1.99 3/176 24144
/proc/meminfo: memFree=28283796/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 338961323 4583424 150 33554432000 134512640 135840783 4291803920 4291803224 7231108 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 1119 155 134 325 0 39 0

[startup+0.0390569 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 24144
/proc/meminfo: memFree=28283796/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=7332 CPUtime=0.03 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 1156 0 0 0 3 0 0 0 20 0 1 0 338961323 7507968 1074 33554432000 134512640 135840783 4291803920 4291738668 10388528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 1833 1074 345 325 0 769 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7332

[startup+0.100284 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 24144
/proc/meminfo: memFree=28283796/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=7332 CPUtime=0.09 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 1157 0 0 0 9 0 0 0 20 0 1 0 338961323 7507968 1075 33554432000 134512640 135840783 4291803920 4291738668 10388528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 1833 1075 345 325 0 769 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7332

[startup+0.300229 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 24144
/proc/meminfo: memFree=28283796/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=7332 CPUtime=0.29 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 1157 0 0 0 29 0 0 0 20 0 1 0 338961323 7507968 1075 33554432000 134512640 135840783 4291803920 4291738668 10388528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 1833 1075 345 325 0 769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7332

[startup+0.700232 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 24144
/proc/meminfo: memFree=28283796/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=7332 CPUtime=0.69 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 1157 0 0 0 69 0 0 0 20 0 1 0 338961323 7507968 1075 33554432000 134512640 135840783 4291803920 4291738668 10388528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 1833 1075 345 325 0 769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7332

[startup+1.50023 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 24145
/proc/meminfo: memFree=28279952/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=11208 CPUtime=1.49 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 2395 0 0 0 148 1 0 0 20 0 1 0 338961323 11476992 2081 33554432000 134512640 135840783 4291803920 4291803280 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 2802 2081 349 325 0 1738 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11208

[startup+3.10023 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 24145
/proc/meminfo: memFree=28273000/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=21088 CPUtime=3.09 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 4841 0 0 0 308 1 0 0 20 0 1 0 338961323 21594112 4527 33554432000 134512640 135840783 4291803920 4291803280 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 5272 4527 349 325 0 4208 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21088

[startup+6.30029 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 24145
/proc/meminfo: memFree=28250284/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=38264 CPUtime=6.29 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 9134 0 0 0 627 2 0 0 20 0 1 0 338961323 39182336 8820 33554432000 134512640 135840783 4291803920 4291803232 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 9566 8820 349 325 0 8502 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38264

[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 24145
/proc/meminfo: memFree=28231460/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=52104 CPUtime=12.69 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 12619 0 0 0 1266 3 0 0 20 0 1 0 338961323 53354496 12305 33554432000 134512640 135840783 4291803920 4291798240 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 13026 12305 349 325 0 11962 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52104

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 24145
/proc/meminfo: memFree=28198352/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=81288 CPUtime=25.48 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 19897 0 0 0 2544 4 0 0 20 0 1 0 338961323 83238912 19583 33554432000 134512640 135840783 4291803920 4291803232 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 20322 19583 349 325 0 19258 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 81288

[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 24145
/proc/meminfo: memFree=28150612/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=119268 CPUtime=51.07 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 29406 0 0 0 5100 7 0 0 20 0 1 0 338961323 122130432 29092 33554432000 134512640 135840783 4291803920 4291803232 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 29817 29092 349 325 0 28753 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 119268

[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/178 24148
/proc/meminfo: memFree=28105796/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=141400 CPUtime=102.27 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 34932 0 0 0 10215 12 0 0 20 0 1 0 338961323 144793600 34618 33554432000 134512640 135840783 4291803920 4291803224 7715024 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 35350 34618 349 325 0 34286 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 141400

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 24170
/proc/meminfo: memFree=28035640/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=197188 CPUtime=162.26 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 48866 0 0 0 16208 18 0 0 20 0 1 0 338961323 201920512 48552 33554432000 134512640 135840783 4291803920 4291803280 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 49297 48552 349 325 0 48233 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 197188

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24170
/proc/meminfo: memFree=27972872/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=243624 CPUtime=222.22 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 60529 0 0 0 22197 25 0 0 20 0 1 0 338961323 249470976 60178 33554432000 134512640 135840783 4291803920 4291803280 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 60906 60178 349 325 0 59842 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 243624

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24170
/proc/meminfo: memFree=27921936/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=277112 CPUtime=282.18 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 68947 0 0 0 28189 29 0 0 20 0 1 0 338961323 283762688 68551 33554432000 134512640 135840783 4291803920 4291803280 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 69278 68551 349 325 0 68214 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 277112

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24171
/proc/meminfo: memFree=27878936/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=302504 CPUtime=342.13 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 75334 0 0 0 34180 33 0 0 20 0 1 0 338961323 309764096 74893 33554432000 134512640 135840783 4291803920 4291803280 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 75626 74893 349 325 0 74562 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 302504

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24171
/proc/meminfo: memFree=27840300/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=325672 CPUtime=402.12 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 81127 0 0 0 40174 38 0 0 20 0 1 0 338961323 333488128 80681 33554432000 134512640 135840783 4291803920 4291803280 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 81418 80681 349 325 0 80354 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 325672

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24171
/proc/meminfo: memFree=27803348/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=342152 CPUtime=462.11 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 85257 0 0 0 46170 41 0 0 20 0 1 0 338961323 350363648 84811 33554432000 134512640 135840783 4291803920 4291798160 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 85538 84811 349 325 0 84474 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 342152

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24171
/proc/meminfo: memFree=27768380/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=358792 CPUtime=522.1 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 89397 0 0 0 52166 44 0 0 20 0 1 0 338961323 367403008 88951 33554432000 134512640 135840783 4291803920 4291803232 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 89698 88951 349 325 0 88634 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 358792

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24171
/proc/meminfo: memFree=27736140/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=376576 CPUtime=582.09 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 93850 0 0 0 58161 48 0 0 20 0 1 0 338961323 385613824 93404 33554432000 134512640 135840783 4291803920 4291803280 134551222 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 94144 93404 349 325 0 93080 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 376576

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24214
/proc/meminfo: memFree=28245104/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=439056 CPUtime=822.05 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 109493 0 0 0 82146 59 0 0 20 0 1 0 338961323 449593344 109047 33554432000 134512640 135840783 4291803920 4291803280 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 109764 109047 349 325 0 108700 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 439056

[startup+882.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24214
/proc/meminfo: memFree=28210508/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=471736 CPUtime=882.04 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 117656 0 0 0 88139 65 0 0 20 0 1 0 338961323 483057664 117210 33554432000 134512640 135840783 4291803920 4291803280 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 117934 117210 349 325 0 116870 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 471736

[startup+942.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24215
/proc/meminfo: memFree=28176576/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=499276 CPUtime=942 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 124572 0 0 0 94130 70 0 0 20 0 1 0 338961323 511258624 124095 33554432000 134512640 135840783 4291803920 4291803232 134550896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 124819 124095 349 325 0 123755 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 499276

[startup+1002.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24215
/proc/meminfo: memFree=28148332/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=518620 CPUtime=1001.97 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 129452 0 0 0 100122 75 0 0 20 0 1 0 338961323 531066880 128937 33554432000 134512640 135840783 4291803920 4291803232 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 129655 128937 349 325 0 128591 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 518620

[startup+1062.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24215
/proc/meminfo: memFree=28118104/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=549328 CPUtime=1061.94 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 137127 0 0 0 106113 81 0 0 20 0 1 0 338961323 562511872 136592 33554432000 134512640 135840783 4291803920 4291803232 134550916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 137332 136592 349 325 0 136268 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 549328

[startup+1122.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24215
/proc/meminfo: memFree=28088872/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=577924 CPUtime=1121.94 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 144300 0 0 0 112109 85 0 0 20 0 1 0 338961323 591794176 143765 33554432000 134512640 135840783 4291803920 4291798160 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 144481 143765 349 325 0 143417 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 577924

[startup+1182.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24215
/proc/meminfo: memFree=28067792/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=599348 CPUtime=1181.93 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 149626 0 0 0 118103 90 0 0 20 0 1 0 338961323 613732352 149091 33554432000 134512640 135840783 4291803920 4291803232 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 149837 149091 349 325 0 148773 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 599348

[startup+1242.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 24216
/proc/meminfo: memFree=28038280/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=621040 CPUtime=1241.91 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 155073 0 0 0 124098 93 0 0 20 0 1 0 338961323 635944960 154538 33554432000 134512640 135840783 4291803920 4291803232 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 155260 154538 349 325 0 154196 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 621040

[startup+1302.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 24219
/proc/meminfo: memFree=28012852/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=645196 CPUtime=1301.91 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 161088 0 0 0 130094 97 0 0 20 0 1 0 338961323 660680704 160553 33554432000 134512640 135840783 4291803920 4291803280 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 161299 160553 349 325 0 160235 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 645196

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=27980992/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=665920 CPUtime=1361.9 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 166291 0 0 0 136090 100 0 0 20 0 1 0 338961323 681902080 165756 33554432000 134512640 135840783 4291803920 4291803232 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 166480 165756 349 325 0 165416 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 665920

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=27961612/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=685456 CPUtime=1421.88 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 171197 0 0 0 142084 104 0 0 20 0 1 0 338961323 701906944 170645 33554432000 134512640 135840783 4291803920 4291803280 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 171364 170645 349 325 0 170300 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 685456

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=27940064/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=706836 CPUtime=1481.83 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 176569 0 0 0 148076 107 0 0 20 0 1 0 338961323 723800064 175978 33554432000 134512640 135840783 4291803920 4291803232 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 176709 175978 349 325 0 175645 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 706836

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=27924452/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=722704 CPUtime=1541.81 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 180558 0 0 0 154071 110 0 0 20 0 1 0 338961323 740048896 179947 33554432000 134512640 135840783 4291803920 4291803232 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 180676 179947 349 325 0 179612 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 722704

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=27902920/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=744148 CPUtime=1601.8 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 185921 0 0 0 160066 114 0 0 20 0 1 0 338961323 762007552 185310 33554432000 134512640 135840783 4291803920 4291803280 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 186037 185310 349 325 0 184973 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 744148

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=27884320/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=762708 CPUtime=1661.79 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 190563 0 0 0 166061 118 0 0 20 0 1 0 338961323 781012992 189952 33554432000 134512640 135840783 4291803920 4291803232 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 190677 189952 349 325 0 189613 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 762708

[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 24220
/proc/meminfo: memFree=27861256/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=786084 CPUtime=1721.78 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 196405 0 0 0 172057 121 0 0 20 0 1 0 338961323 804950016 195794 33554432000 134512640 135840783 4291803920 4291803232 134551315 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 196521 195794 349 325 0 195457 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 786084

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24220
/proc/meminfo: memFree=27838068/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=808656 CPUtime=1781.77 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 202033 0 0 0 178052 125 0 0 20 0 1 0 338961323 828063744 201422 33554432000 134512640 135840783 4291803920 4291803232 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 202164 201422 349 325 0 201100 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 808656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24220
/proc/meminfo: memFree=27833604/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=812760 CPUtime=1800.08 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 203080 0 0 0 179882 126 0 0 20 0 1 0 338961323 832266240 202469 33554432000 134512640 135840783 4291803920 4291803232 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 203190 202469 349 325 0 202126 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 812760

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.1
CPU user time (s): 1798.83
CPU system time (s): 1.27381
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 812760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.27381
maximum resident set size= 809876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203083
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= 314
involuntary context switches= 1841

runsolver used 3.82142 second user time and 9.64353 second system time

The end

Launcher Data

Begin job on node106 at 2012-06-03 14:58:48
IDJOB=3737865
IDBENCH=48338
IDSOLVER=2318
FILE ID=node106/3737865-1338728328
RUNJOBID= node106-1338714620-23308
PBS_JOBID= 14636759
Free space on /tmp= 70856 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_1_15.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737865-1338728328/watcher-3737865-1338728328 -o /tmp/evaluation-result-3737865-1338728328/solver-3737865-1338728328 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737865-1338728328.opb            

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

MD5SUM BENCH= 6ed49b7079c02e2b7da24a0934bd3691
RANDOM SEED=950287960

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:        28284044 kB
Buffers:          309340 kB
Cached:          2956988 kB
SwapCached:         2004 kB
Active:          1487488 kB
Inactive:        2249100 kB
Active(anon):     467504 kB
Inactive(anon):     4984 kB
Active(file):    1019984 kB
Inactive(file):  2244116 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              6640 kB
Writeback:             0 kB
AnonPages:        474900 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             712596 kB
SReclaimable:     154936 kB
SUnreclaim:       557660 kB
KernelStack:        1464 kB
PageTables:         4976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     590140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    362496 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 15:28:51