Trace number 3730329

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 1801.02

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
MD5SUMb95bbeb851a52866877e397310a0a770
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.073987
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3600
Total number of constraints170
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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-3730329-1338680856.opb
0.00/0.00	c File size is 64058 bytes.
0.00/0.01	c Highest Coefficient sum: 46
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.007 s
0.00/0.01	c Var: 3600 Constr: 170 90/80/0 Lit: 7200 Watch. Lit: 3780
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
0.00/0.07	c Pre-processing Time: 0.067 s
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c        0   3600      170     7200   42     3780   52830      0      0 0.07
0.00/0.07	c Switching off LPR mode.
1800.07/1801.00	c      100   3600      270    23880   88     3980   58114    100   1333 0.07
1800.07/1801.00	c      252   3600      422    53975  127     4284   63926    252   2652 0.10
1800.07/1801.00	c      477   3600      647   118833  183     4734   70319    477   3697 0.13
1800.07/1801.00	c      816   3600      986   197866  200     5412   77351    816   4533 0.18
1800.07/1801.00	c     1325   3600     1495   288354  192     6430   85087   1325   3371 0.39
1800.07/1801.00	c     2088   3600     2258   451295  199     7956   93596   2088   2626 0.80
1800.07/1801.00	c     3235   3600     3405  1167656  342    10250  102956   3235   2073 1.56
1800.07/1801.00	c     4957   3600     5127  2899915  565    13694  113252   4957   1440 3.44
1800.07/1801.00	c     7544   3600     7714  6171784  800    18868  124578   7544    982 7.68
1800.07/1801.00	c    11423   3600    11593 11659443 1005    26626  137036  11423    586 19.47
1800.07/1801.00	c    17248   3600    17418 19821366 1137    38276  150740  17248    376 45.79
1800.07/1801.00	c    25985   3600    26155 32272906 1233    55750  165815  25985    272 95.29
1800.07/1801.00	c    39096   3600    39266 47884272 1219    81972  182397  39096    202 193.03
1800.07/1801.00	c    58768   3600    58938 73866404 1253   121316  200637  58768    138 425.70
1800.07/1801.00	c    88279   3600    88449 114983694 1299   180338  220701  88279    115 767.28
1800.07/1801.00	c   132549   3600   132719 178022157 1341   268878  242772 132549     94 1405.24
1800.07/1801.00	c Caught signal: 15
1800.07/1801.00	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1801.00	c   16   146281  30975  1076316   146451 197227644 146281     81 1800.08
1800.07/1801.00	s UNKNOWN
1800.07/1801.00	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-3730329-1338680856/watcher-3730329-1338680856 -o /tmp/evaluation-result-3730329-1338680856/solver-3730329-1338680856 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730329-1338680856.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 1.97 1.86 2/176 24955
/proc/meminfo: memFree=27466504/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) D 24953 24955 24661 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 334214233 2723840 48 33554432000 134512640 135840783 4286788880 4286786916 9737156 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/24955/statm: 665 48 37 325 0 32 0

[startup+0.100991 s]
/proc/loadavg: 2.00 1.97 1.86 2/176 24955
/proc/meminfo: memFree=27466504/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=5832 CPUtime=0.09 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 817 0 0 0 9 0 0 0 20 0 1 0 334214233 5971968 727 33554432000 134512640 135840783 4286788880 4286788176 134572675 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24955/statm: 1458 727 346 325 0 394 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5832

[startup+0.200213 s]
/proc/loadavg: 2.00 1.97 1.86 2/176 24955
/proc/meminfo: memFree=27466504/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=7768 CPUtime=0.19 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 1306 0 0 0 19 0 0 0 20 0 1 0 334214233 7954432 1216 33554432000 134512640 135840783 4286788880 4286788240 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24955/statm: 1942 1216 346 325 0 878 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7768

[startup+0.300202 s]
/proc/loadavg: 2.00 1.97 1.86 2/176 24955
/proc/meminfo: memFree=27466504/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=8284 CPUtime=0.29 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 1413 0 0 0 29 0 0 0 20 0 1 0 334214233 8482816 1323 33554432000 134512640 135840783 4286788880 4286787200 134575034 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24955/statm: 2071 1323 346 325 0 1007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8284

[startup+0.700177 s]
/proc/loadavg: 2.00 1.97 1.86 2/176 24955
/proc/meminfo: memFree=27466504/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=10452 CPUtime=0.68 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 1980 0 0 0 68 0 0 0 20 0 1 0 334214233 10702848 1890 33554432000 134512640 135840783 4286788880 4286788192 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24955/statm: 2613 1890 346 325 0 1549 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10452

[startup+1.50018 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 24956
/proc/meminfo: memFree=27454584/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=19024 CPUtime=1.49 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 4107 0 0 0 148 1 0 0 20 0 1 0 334214233 19480576 4017 33554432000 134512640 135840783 4286788880 4286788240 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24955/statm: 4756 4017 346 325 0 3692 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19024

[startup+3.10026 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 24956
/proc/meminfo: memFree=27441548/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=38456 CPUtime=3.08 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 8969 0 0 0 307 1 0 0 20 0 1 0 334214233 39378944 8879 33554432000 134512640 135840783 4286788880 4286788240 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 9614 8879 346 325 0 8550 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38456

[startup+6.30026 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 24956
/proc/meminfo: memFree=27399388/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=72944 CPUtime=6.28 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 17600 0 0 0 626 2 0 0 20 0 1 0 334214233 74694656 17510 33554432000 134512640 135840783 4286788880 4286788240 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 18236 17510 346 325 0 17172 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 72944

[startup+12.7003 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 24956
/proc/meminfo: memFree=27345324/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=117600 CPUtime=12.68 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 28749 0 0 0 1262 6 0 0 20 0 1 0 334214233 120422400 28659 33554432000 134512640 135840783 4286788880 4286771072 134586525 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 29400 28659 346 325 0 28336 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 117600

[startup+25.5003 s]
/proc/loadavg: 2.00 1.97 1.87 3/177 24956
/proc/meminfo: memFree=27266072/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=182784 CPUtime=25.47 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 45051 0 0 0 2538 9 0 0 20 0 1 0 334214233 187170816 44961 33554432000 134512640 135840783 4286788880 4286788192 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 45696 44961 346 325 0 44632 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 182784

[startup+51.1003 s]
/proc/loadavg: 2.00 1.97 1.87 3/177 24956
/proc/meminfo: memFree=27136088/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=277328 CPUtime=51.07 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 68672 0 0 0 5093 14 0 0 20 0 1 0 334214233 283983872 68582 33554432000 134512640 135840783 4286788880 4286788240 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 69332 68582 346 325 0 68268 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 277328

[startup+102.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/177 24956
/proc/meminfo: memFree=26908204/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=433432 CPUtime=102.27 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 107702 0 0 0 10202 25 0 0 20 0 1 0 334214233 443834368 107612 33554432000 134512640 135840783 4286788880 4286788240 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 108358 107612 346 325 0 107294 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 433432

[startup+162.3 s]
/proc/loadavg: 2.08 1.99 1.88 3/178 24959
/proc/meminfo: memFree=26714056/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=563232 CPUtime=162.22 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 140199 0 0 0 16189 33 0 0 20 0 1 0 334214233 576749568 140075 33554432000 134512640 135840783 4286788880 4286788240 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 140808 140075 346 325 0 139744 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 563232

[startup+222.306 s]
/proc/loadavg: 2.03 1.99 1.89 3/177 24960
/proc/meminfo: memFree=26560688/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=661508 CPUtime=222.18 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 164810 0 0 0 22179 39 0 0 20 0 1 0 334214233 677384192 164646 33554432000 134512640 135840783 4286788880 4286788016 10246917 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 165377 164646 346 325 0 164313 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 661508

[startup+282.3 s]
/proc/loadavg: 2.01 1.99 1.90 3/177 24960
/proc/meminfo: memFree=26394572/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=781628 CPUtime=282.14 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 194891 0 0 0 28168 46 0 0 20 0 1 0 334214233 800387072 194683 33554432000 134512640 135840783 4286788880 4286788240 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 195407 194683 346 325 0 194343 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 781628

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/177 24960
/proc/meminfo: memFree=26276660/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=855348 CPUtime=342.09 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 213344 0 0 0 34159 50 0 0 20 0 1 0 334214233 875876352 213092 33554432000 134512640 135840783 4286788880 4286788240 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 213837 213092 346 325 0 212773 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 855348

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 24960
/proc/meminfo: memFree=26165724/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=923236 CPUtime=402.04 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 230376 0 0 0 40150 54 0 0 20 0 1 0 334214233 945393664 230083 33554432000 134512640 135840783 4286788880 4286788192 134551475 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 230809 230083 346 325 0 229745 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 923236

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 24960
/proc/meminfo: memFree=26039644/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=984324 CPUtime=462 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 245690 0 0 0 46141 59 0 0 20 0 1 0 334214233 1007947776 245356 33554432000 134512640 135840783 4286788880 4286788240 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 246081 245356 346 325 0 245017 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 984324

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 24961
/proc/meminfo: memFree=25898312/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1075948 CPUtime=521.95 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 268620 0 0 0 52130 65 0 0 20 0 1 0 334214233 1101770752 268246 33554432000 134512640 135840783 4286788880 4286788240 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 268987 268246 346 325 0 267923 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 1075948

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 24961
/proc/meminfo: memFree=25727468/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1196896 CPUtime=581.91 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 298903 0 0 0 58119 72 0 0 20 0 1 0 334214233 1225621504 298502 33554432000 134512640 135840783 4286788880 4286788240 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 299224 298502 346 325 0 298160 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 1196896

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24988
/proc/meminfo: memFree=25110460/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1633000 CPUtime=881.75 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 408076 0 0 0 88074 101 0 0 20 0 1 0 334214233 1672192000 407515 33554432000 134512640 135840783 4286788880 4286788240 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 408250 407515 346 325 0 407186 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 1633000

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24988
/proc/meminfo: memFree=25007320/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1707748 CPUtime=941.71 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 426810 0 0 0 94066 105 0 0 20 0 1 0 334214233 1748733952 426214 33554432000 134512640 135840783 4286788880 4286788240 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 426937 426214 346 325 0 425873 0
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (KiB) 1707748

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24988
/proc/meminfo: memFree=24907528/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1776408 CPUtime=1001.67 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 444006 0 0 0 100059 108 0 0 20 0 1 0 334214233 1819041792 443374 33554432000 134512640 135840783 4286788880 4286788240 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 444102 443374 346 325 0 443038 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 1776408

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24988
/proc/meminfo: memFree=24808480/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1847828 CPUtime=1061.64 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 461881 0 0 0 106051 113 0 0 20 0 1 0 334214233 1892175872 461210 33554432000 134512640 135840783 4286788880 4286788240 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 461957 461210 346 325 0 460893 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 1847828

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24989
/proc/meminfo: memFree=24703976/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1923300 CPUtime=1121.6 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 480787 0 0 0 112042 118 0 0 20 0 1 0 334214233 1969459200 480077 33554432000 134512640 135840783 4286788880 4286788240 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 480825 480077 346 325 0 479761 0
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (KiB) 1923300

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 24989
/proc/meminfo: memFree=24573060/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2027080 CPUtime=1181.57 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 506773 0 0 0 118034 123 0 0 20 0 1 0 334214233 2075729920 506043 33554432000 134512640 135840783 4286788880 4286788240 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 506770 506043 346 325 0 505706 0
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (KiB) 2027080

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 24989
/proc/meminfo: memFree=24469300/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2100288 CPUtime=1241.55 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 525109 0 0 0 124025 130 0 0 20 0 1 0 334214233 2150694912 524344 33554432000 134512640 135840783 4286788880 4286788240 134550884 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 525072 524344 346 325 0 524008 0
Current children cumulated CPU time (s) 1241.55
Current children cumulated vsize (KiB) 2100288

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24989
/proc/meminfo: memFree=24341112/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2170584 CPUtime=1301.52 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 542715 0 0 0 130017 135 0 0 20 0 1 0 334214233 2222678016 541915 33554432000 134512640 135840783 4286788880 4286788240 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 542646 541915 346 325 0 541582 0
Current children cumulated CPU time (s) 1301.52
Current children cumulated vsize (KiB) 2170584

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 24992
/proc/meminfo: memFree=24229408/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2231556 CPUtime=1361.5 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 557976 0 0 0 136010 140 0 0 20 0 1 0 334214233 2285113344 557143 33554432000 134512640 135840783 4286788880 4286788240 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 557889 557143 346 325 0 556825 0
Current children cumulated CPU time (s) 1361.5
Current children cumulated vsize (KiB) 2231556

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25070
/proc/meminfo: memFree=25849160/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2289616 CPUtime=1421.48 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 572530 0 0 0 142005 143 0 0 20 0 1 0 334214233 2344566784 571663 33554432000 134512640 135840783 4286788880 4286788240 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 572404 571663 346 325 0 571340 0
Current children cumulated CPU time (s) 1421.48
Current children cumulated vsize (KiB) 2289616

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25070
/proc/meminfo: memFree=25803432/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2335480 CPUtime=1481.44 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 584048 0 0 0 147998 146 0 0 20 0 1 0 334214233 2391531520 583143 33554432000 134512640 135840783 4286788880 4286788240 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 583870 583143 346 325 0 582806 0
Current children cumulated CPU time (s) 1481.44
Current children cumulated vsize (KiB) 2335480

[startup+1542.31 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 25070
/proc/meminfo: memFree=25767128/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2370732 CPUtime=1541.42 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 592879 0 0 0 153994 148 0 0 20 0 1 0 334214233 2427629568 591943 33554432000 134512640 135840783 4286788880 4286788240 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 592683 591943 346 325 0 591619 0
Current children cumulated CPU time (s) 1541.42
Current children cumulated vsize (KiB) 2370732

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 25070
/proc/meminfo: memFree=25736412/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2399616 CPUtime=1601.4 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 600118 0 0 0 159990 150 0 0 20 0 1 0 334214233 2457206784 599164 33554432000 134512640 135840783 4286788880 4286788240 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 599904 599164 346 325 0 598840 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 2399616

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25070
/proc/meminfo: memFree=25698220/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2432536 CPUtime=1661.39 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 608343 0 0 0 165987 152 0 0 20 0 1 0 334214233 2490916864 607389 33554432000 134512640 135840783 4286788880 4286788016 10246917 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 608134 607389 346 325 0 607070 0
Current children cumulated CPU time (s) 1661.39
Current children cumulated vsize (KiB) 2432536

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25071
/proc/meminfo: memFree=25655068/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2471604 CPUtime=1721.38 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 618124 0 0 0 171983 155 0 0 20 0 1 0 334214233 2530922496 617170 33554432000 134512640 135840783 4286788880 4286788240 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 617901 617170 346 325 0 616837 0
Current children cumulated CPU time (s) 1721.38
Current children cumulated vsize (KiB) 2471604

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25109
/proc/meminfo: memFree=25474196/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2512244 CPUtime=1781.37 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 628274 0 0 0 177978 159 0 0 20 0 1 0 334214233 2572537856 627320 33554432000 134512640 135840783 4286788880 4286788240 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 628061 627320 346 325 0 626997 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (KiB) 2512244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25109
/proc/meminfo: memFree=25407360/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2525796 CPUtime=1800.07 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 631681 0 0 0 179847 160 0 0 20 0 1 0 334214233 2586415104 630727 33554432000 134512640 135840783 4286788880 4286788240 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 631449 630727 346 325 0 630385 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2525796

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

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

[startup+1801 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25109
/proc/meminfo: memFree=25407360/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2525796 CPUtime=1800.07 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 631681 0 0 0 179847 160 0 0 20 0 1 0 334214233 2586415104 630727 33554432000 134512640 135840783 4286788880 4286788240 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 631449 630727 346 325 0 630385 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2525796

Child status: 15
Real time (s): 1801.02
CPU time (s): 1800.1
CPU user time (s): 1798.48
CPU system time (s): 1.62475
CPU usage (%): 99.9488
Max. virtual memory (cumulated for all children) (KiB): 2525796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 1.62475
maximum resident set size= 2522908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 631684
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= 969
involuntary context switches= 1845

runsolver used 3.23951 second user time and 8.78566 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-03 01:47:37
IDJOB=3730329
IDBENCH=1410
IDSOLVER=2318
FILE ID=node108/3730329-1338680856
RUNJOBID= node108-1338678627-24680
PBS_JOBID= 14636705
Free space on /tmp= 71448 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730329-1338680856/watcher-3730329-1338680856 -o /tmp/evaluation-result-3730329-1338680856/solver-3730329-1338680856 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3730329-1338680856.opb            

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

MD5SUM BENCH= b95bbeb851a52866877e397310a0a770
RANDOM SEED=1590078741

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:        27467504 kB
Buffers:          318920 kB
Cached:          3554496 kB
SwapCached:           80 kB
Active:          2629464 kB
Inactive:        1973928 kB
Active(anon):     717364 kB
Inactive(anon):    13064 kB
Active(file):    1912100 kB
Inactive(file):  1960864 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              6660 kB
Writeback:             0 kB
AnonPages:        736992 kB
Mapped:            15728 kB
Shmem:               172 kB
Slab:             662920 kB
SReclaimable:     105104 kB
SUnreclaim:       557816 kB
KernelStack:        1448 kB
PageTables:         5376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     842384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    655360 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= 71460 MiB
End job on node108 at 2012-06-03 02:17:40