Trace number 3733654

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.17 1800.61

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb
MD5SUM6f6d5bf9df98767681bd16885050de4b
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.069988
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3900
Total number of constraints125
Number of constraints which are clauses65
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint65
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 66
Number of bits of the biggest sum of numbers7
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-3733654-1338697550.opb
0.00/0.00	c File size is 69123 bytes.
0.00/0.01	c Highest Coefficient sum: 66
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: 3900 Constr: 125 65/60/0 Lit: 7800 Watch. Lit: 4030
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
0.09/0.13	c Pre-processing Time: 0.123 s
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3900      125     7800   62     4030   60021      0      0 0.12
0.09/0.13	c Switching off LPR mode.
1800.06/1800.50	c      101   3900      226    36427  161     4232   66024    101    748 0.14
1800.06/1800.50	c      251   3900      376    67865  180     4532   72627    251   1568 0.16
1800.06/1800.50	c      478   3900      603   228929  379     4986   79890    478   2069 0.23
1800.06/1800.50	c      817   3900      942   342563  363     5664   87880    817   2368 0.34
1800.06/1800.50	c     1325   3900     1450   461482  318     6680   96669   1325   1579 0.84
1800.06/1800.50	c     2088   3900     2213   606725  274     8206  106336   2088    963 2.17
1800.06/1800.50	c     3234   3900     3359   859984  256    10498  116970   3234    839 3.85
1800.06/1800.50	c     4955   3900     5080  1561969  307    13940  128668   4955    734 6.74
1800.06/1800.50	c     7541   3900     7666  8431909 1099    19112  141535   7541    564 13.36
1800.06/1800.50	c    11420   3900    11545 21120763 1829    26870  155689  11420    301 37.89
1800.06/1800.50	c    17244   3900    17369 38871811 2237    38518  171258  17244    177 97.18
1800.06/1800.50	c    25984   3900    26109 55696770 2133    55998  188384  25984    151 171.77
1800.06/1800.50	c    39094   3900    39219 91007254 2320    82218  207223  39094    139 279.44
1800.06/1800.50	c    58777   3900    58902 148875901 2527   121584  227946  58777    109 537.12
1800.06/1800.50	c    88291   3900    88416 239509335 2708   180612  250741  88291     51 1729.05
1800.06/1800.50	c Caught signal: 15
1800.06/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.50	c   15    91753  24306  4896527    91878 248792657  91753     50 1800.07
1800.06/1800.50	s UNKNOWN
1800.06/1800.50	c Total time: 1800.07 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-3733654-1338697550/watcher-3733654-1338697550 -o /tmp/evaluation-result-3733654-1338697550/solver-3733654-1338697550 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733654-1338697550.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.98 1.99 3/178 29805
/proc/meminfo: memFree=27686860/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 335880370 2723840 47 33554432000 134512640 135840783 4292893440 4292891476 8250308 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 665 47 37 325 0 32 0

[startup+0.0636999 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 29805
/proc/meminfo: memFree=27686860/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=5368 CPUtime=0.05 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 710 0 0 0 5 0 0 0 20 0 1 0 335880370 5496832 615 33554432000 134512640 135840783 4292893440 4292841612 5731376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 1342 615 345 325 0 278 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5368

[startup+0.100246 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 29805
/proc/meminfo: memFree=27686860/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=5368 CPUtime=0.09 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 710 0 0 0 9 0 0 0 20 0 1 0 335880370 5496832 615 33554432000 134512640 135840783 4292893440 4292841612 5731376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 1342 615 345 325 0 278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5368

[startup+0.300214 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 29805
/proc/meminfo: memFree=27686860/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=8688 CPUtime=0.29 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 1548 0 0 0 29 0 0 0 20 0 1 0 335880370 8896512 1453 33554432000 134512640 135840783 4292893440 4292892912 134552160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 2172 1453 348 325 0 1108 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8688

[startup+0.700209 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 29805
/proc/meminfo: memFree=27686860/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=11004 CPUtime=0.68 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 2120 0 0 0 68 0 0 0 20 0 1 0 335880370 11268096 2025 33554432000 134512640 135840783 4292893440 4292892800 134551285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 2751 2025 348 325 0 1687 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11004

[startup+1.50021 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 29806
/proc/meminfo: memFree=27678388/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=12032 CPUtime=1.48 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 2375 0 0 0 148 0 0 0 20 0 1 0 335880370 12320768 2280 33554432000 134512640 135840783 4292893440 4292889488 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 3008 2280 348 325 0 1944 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12032

[startup+3.1002 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 29806
/proc/meminfo: memFree=27675048/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=15008 CPUtime=3.09 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 3116 0 0 0 308 1 0 0 20 0 1 0 335880370 15368192 3021 33554432000 134512640 135840783 4292893440 4292892672 1584713 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 3752 3021 348 325 0 2688 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15008

[startup+6.30024 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 29806
/proc/meminfo: memFree=27662880/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=23696 CPUtime=6.28 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 5290 0 0 0 627 1 0 0 20 0 1 0 335880370 24264704 5195 33554432000 134512640 135840783 4292893440 4292876352 134575064 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 5924 5195 348 325 0 4860 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23696

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 29806
/proc/meminfo: memFree=27575344/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=106440 CPUtime=12.69 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 25969 0 0 0 1263 6 0 0 20 0 1 0 335880370 108994560 25874 33554432000 134512640 135840783 4292893440 4292852320 5731376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 26610 25874 348 325 0 25546 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 106440

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 29806
/proc/meminfo: memFree=27451816/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=200668 CPUtime=25.48 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 49526 0 0 0 2537 11 0 0 20 0 1 0 335880370 205484032 49431 33554432000 134512640 135840783 4292893440 4292892800 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 50167 49431 348 325 0 49103 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 200668

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 29806
/proc/meminfo: memFree=27296288/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=327924 CPUtime=51.08 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 81361 0 0 0 5088 20 0 0 20 0 1 0 335880370 335794176 81266 33554432000 134512640 135840783 4292893440 4292892800 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 81981 81266 348 325 0 80917 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 327924

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 29806
/proc/meminfo: memFree=27052176/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=510316 CPUtime=102.28 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 126953 0 0 0 10197 31 0 0 20 0 1 0 335880370 522563584 126858 33554432000 134512640 135840783 4292893440 4292892800 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 127579 126858 348 325 0 126515 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 510316

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 29806
/proc/meminfo: memFree=26837684/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=676328 CPUtime=162.26 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 168447 0 0 0 16182 44 0 0 20 0 1 0 335880370 692559872 168352 33554432000 134512640 135840783 4292893440 4292892800 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 169082 168352 348 325 0 168018 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 676328

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 29806
/proc/meminfo: memFree=26499316/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=964936 CPUtime=222.25 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 240593 0 0 0 22160 65 0 0 20 0 1 0 335880370 988094464 240498 33554432000 134512640 135840783 4292893440 4292855472 134574500 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 241234 240498 348 325 0 240170 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 964936

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 29809
/proc/meminfo: memFree=26248236/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=1170468 CPUtime=282.24 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 291997 0 0 0 28146 78 0 0 20 0 1 0 335880370 1198559232 291902 33554432000 134512640 135840783 4292893440 4292892752 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 292617 291902 348 325 0 291553 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1170468

[startup+342.3 s]
/proc/loadavg: 2.08 2.01 2.00 3/179 29810
/proc/meminfo: memFree=25912976/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=1448460 CPUtime=342.23 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 361485 0 0 0 34127 96 0 0 20 0 1 0 335880370 1483223040 361390 33554432000 134512640 135840783 4292893440 4292892800 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 362115 361390 348 325 0 361051 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1448460

[startup+402.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/179 29810
/proc/meminfo: memFree=25688688/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=1624788 CPUtime=402.22 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 405555 0 0 0 40116 106 0 0 20 0 1 0 335880370 1663782912 405460 33554432000 134512640 135840783 4292893440 4292892800 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 406197 405460 348 325 0 405133 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1624788

[startup+462.3 s]
/proc/loadavg: 2.21 2.10 2.03 3/179 29810
/proc/meminfo: memFree=25477544/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=1777084 CPUtime=462.21 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 443652 0 0 0 46104 117 0 0 20 0 1 0 335880370 1819734016 443557 33554432000 134512640 135840783 4292893440 4292892800 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 444271 443557 348 325 0 443207 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1777084

[startup+522.3 s]
/proc/loadavg: 2.21 2.12 2.04 3/179 29810
/proc/meminfo: memFree=25329516/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=1873128 CPUtime=522.2 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 467651 0 0 0 52097 123 0 0 20 0 1 0 335880370 1918083072 467556 33554432000 134512640 135840783 4292893440 4292892800 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 468282 467556 348 325 0 467218 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1873128

[startup+582.3 s]
/proc/loadavg: 2.12 2.11 2.04 3/179 29810
/proc/meminfo: memFree=25190060/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=1957584 CPUtime=582.19 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 488777 0 0 0 58091 128 0 0 20 0 1 0 335880370 2004566016 488680 33554432000 134512640 135840783 4292893440 4292892800 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 489396 488680 348 325 0 488332 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1957584

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/180 29814
/proc/meminfo: memFree=24478804/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2415752 CPUtime=882.11 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 603365 0 0 0 88051 160 0 0 20 0 1 0 335880370 2473730048 603201 33554432000 134512640 135840783 4292893440 4292892800 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 603938 603201 348 325 0 602874 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 2415752

[startup+942.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/179 29815
/proc/meminfo: memFree=24288252/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2461552 CPUtime=942.1 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 614842 0 0 0 94046 164 0 0 20 0 1 0 335880370 2520629248 614663 33554432000 134512640 135840783 4292893440 4292892792 14571705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 615388 614663 348 325 0 614324 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 2461552

[startup+1002.3 s]
/proc/loadavg: 2.11 2.08 2.03 3/179 29815
/proc/meminfo: memFree=24131296/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2511248 CPUtime=1002.08 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 627280 0 0 0 100042 166 0 0 20 0 1 0 335880370 2571517952 627098 33554432000 134512640 135840783 4292893440 4292892800 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 627812 627098 348 325 0 626748 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 2511248

[startup+1062.3 s]
/proc/loadavg: 2.13 2.09 2.03 3/179 29815
/proc/meminfo: memFree=23976448/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2556956 CPUtime=1062.06 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 638703 0 0 0 106037 169 0 0 20 0 1 0 335880370 2618322944 638514 33554432000 134512640 135840783 4292893440 4292892800 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 639239 638514 348 325 0 638175 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 2556956

[startup+1122.3 s]
/proc/loadavg: 2.14 2.10 2.04 3/178 29815
/proc/meminfo: memFree=23831404/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2604196 CPUtime=1122.05 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 650531 0 0 0 112033 172 0 0 20 0 1 0 335880370 2666696704 650332 33554432000 134512640 135840783 4292893440 4292892800 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 651049 650332 348 325 0 649985 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 2604196

[startup+1182.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/179 29816
/proc/meminfo: memFree=23673944/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2656624 CPUtime=1182.04 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 663653 0 0 0 118028 176 0 0 20 0 1 0 335880370 2720382976 663442 33554432000 134512640 135840783 4292893440 4292892800 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 664156 663442 348 325 0 663092 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 2656624

[startup+1242.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/179 29817
/proc/meminfo: memFree=23572292/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2704020 CPUtime=1242.03 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 675494 0 0 0 124023 180 0 0 20 0 1 0 335880370 2768916480 675270 33554432000 134512640 135840783 4292893440 4292892800 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 676005 675270 348 325 0 674941 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 2704020

[startup+1302.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/179 29817
/proc/meminfo: memFree=23525448/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2750612 CPUtime=1302.01 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 687159 0 0 0 130019 182 0 0 20 0 1 0 335880370 2816626688 686927 33554432000 134512640 135840783 4292893440 4292892752 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 687653 686927 348 325 0 686589 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 2750612

[startup+1362.3 s]
/proc/loadavg: 2.13 2.08 2.03 3/179 29817
/proc/meminfo: memFree=23489020/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2787988 CPUtime=1361.99 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 696522 0 0 0 136014 185 0 0 20 0 1 0 335880370 2854899712 696272 33554432000 134512640 135840783 4292893440 4292892800 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 696997 696272 348 325 0 695933 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 2787988

[startup+1422.31 s]
/proc/loadavg: 2.05 2.06 2.03 3/179 29817
/proc/meminfo: memFree=23445896/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2830392 CPUtime=1421.98 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 707149 0 0 0 142010 188 0 0 20 0 1 0 335880370 2898321408 706882 33554432000 134512640 135840783 4292893440 4292892752 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 707598 706882 348 325 0 706534 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 2830392

[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/180 29820
/proc/meminfo: memFree=23398176/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2878556 CPUtime=1481.95 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 719185 0 0 0 148004 191 0 0 20 0 1 0 335880370 2947641344 718903 33554432000 134512640 135840783 4292893440 4292892800 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 719639 718903 348 325 0 718575 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 2878556

[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/179 29821
/proc/meminfo: memFree=23350472/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2925604 CPUtime=1541.93 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 730964 0 0 0 153999 194 0 0 20 0 1 0 335880370 2995818496 730665 33554432000 134512640 135840783 4292893440 4292892800 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 731401 730665 348 325 0 730337 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 2925604

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/179 29860
/proc/meminfo: memFree=25177452/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=2970296 CPUtime=1601.91 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 742148 0 0 0 159994 197 0 0 20 0 1 0 335880370 3041583104 741838 33554432000 134512640 135840783 4292893440 4292892752 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 742574 741838 348 325 0 741510 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 2970296

[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/179 29860
/proc/meminfo: memFree=25104940/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=3008756 CPUtime=1661.89 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 751797 0 0 0 165989 200 0 0 20 0 1 0 335880370 3080966144 751474 33554432000 134512640 135840783 4292893440 4292892800 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 752189 751474 348 325 0 751125 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 3008756

[startup+1722.3 s]
/proc/loadavg: 2.12 2.06 2.02 3/179 29860
/proc/meminfo: memFree=25027220/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=3050860 CPUtime=1721.88 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 762312 0 0 0 171985 203 0 0 20 0 1 0 335880370 3124080640 761978 33554432000 134512640 135840783 4292893440 4292892800 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 762715 761978 348 325 0 761651 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 3050860

[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/179 29860
/proc/meminfo: memFree=24903496/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=3151904 CPUtime=1781.86 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 787616 0 0 0 177976 210 0 0 20 0 1 0 335880370 3227549696 787259 33554432000 134512640 135840783 4292893440 4292892800 134550899 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 787976 787259 348 325 0 786912 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 3151904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.07 2.02 3/179 29860
/proc/meminfo: memFree=24874696/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=3174408 CPUtime=1800.06 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 793229 0 0 0 179794 212 0 0 20 0 1 0 335880370 3250593792 792865 33554432000 134512640 135840783 4292893440 4292892800 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 793602 792865 348 325 0 792538 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3174408

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.12 2.07 2.02 3/179 29860
/proc/meminfo: memFree=24874696/32873844 swapFree=7124/7124
[pid=29805] ppid=29803 vsize=3174408 CPUtime=1800.06 cores=1,3,5,7
/proc/29805/stat : 29805 (bsolo3.0.17) R 29803 29805 27204 0 -1 4202496 793229 0 0 0 179794 212 0 0 20 0 1 0 335880370 3250593792 792865 33554432000 134512640 135840783 4292893440 4292892800 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29805/statm: 793602 792865 348 325 0 792538 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3174408

Child status: 15
Real time (s): 1800.61
CPU time (s): 1800.17
CPU user time (s): 1797.94
CPU system time (s): 2.22166
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 3174408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.94
system time used= 2.22166
maximum resident set size= 3171460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 793232
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= 309
involuntary context switches= 1820

runsolver used 3.89141 second user time and 9.8845 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-03 06:25:50
IDJOB=3733654
IDBENCH=2581
IDSOLVER=2318
FILE ID=node134/3733654-1338697550
RUNJOBID= node134-1338678625-27224
PBS_JOBID= 14636679
Free space on /tmp= 70352 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733654-1338697550/watcher-3733654-1338697550 -o /tmp/evaluation-result-3733654-1338697550/solver-3733654-1338697550 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733654-1338697550.opb            

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

MD5SUM BENCH= 6f6d5bf9df98767681bd16885050de4b
RANDOM SEED=1857526585

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27687464 kB
Buffers:          476136 kB
Cached:          3306636 kB
SwapCached:           76 kB
Active:          2245480 kB
Inactive:        2038644 kB
Active(anon):     492748 kB
Inactive(anon):    10496 kB
Active(file):    1752732 kB
Inactive(file):  2028148 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:              6612 kB
Writeback:             0 kB
AnonPages:        509380 kB
Mapped:            12480 kB
Shmem:                96 kB
Slab:             760636 kB
SReclaimable:     202416 kB
SUnreclaim:       558220 kB
KernelStack:        1472 kB
PageTables:         5008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     617724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 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= 70344 MiB
End job on node134 at 2012-06-03 06:55:52