Trace number 3730758

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
MD5SUM14c93c93dc53353f81a889ada18ba601
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 benchmark112.93
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables81558
Total number of constraints240469
Number of constraints which are clauses235865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4604
Minimum length of a constraint1
Maximum length of a constraint13
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 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 257
Number of bits of the biggest sum of numbers9
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-3730758-1338681481.opb
0.00/0.00	c File size is 7638466 bytes.
0.58/0.67	c Highest Coefficient sum: 257
0.58/0.67	c Parsing was ok!!
0.58/0.67	c Total parsing time: 0.673 s
0.69/0.73	c Var: 81558 Constr: 240469 235865/0/4604 Lit: 609711 Watch. Lit: 485736
0.69/0.73	c Obj. Vars: 0 (0 % of total variables)
179.75/179.82	c Pre-processing Time: 179.784 s
179.75/179.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.75/179.83	c        0  79507   233387   593835    2   497443  195964      0      0 179.78
179.75/179.83	c Switching off LPR mode.
1800.06/1800.50	c      100  79507   233487   604230    2   499631  215561    100      0 180.06
1800.06/1800.50	c      252  79507   233639   612482    2   496572  237118    252      1 180.16
1800.06/1800.50	c      477  79507   233864   617842    2   495437  260830    477      2 180.97
1800.06/1800.50	c      815  79507   234202   638897    2   495136  286914    815      4 183.08
1800.06/1800.50	c     1323  79507   234710   655527    2   496522  315606   1323      7 187.31
1800.06/1800.50	c     2086  79507   235473   711087    3   497947  347167   2086     10 195.49
1800.06/1800.50	c     3235  79507   236622   782053    3   500236  381884   3235     15 203.08
1800.06/1800.50	c     4956  79507   238343  1055879    4   503899  420073   4956     21 225.34
1800.06/1800.50	c     7540  79507   240927  1272745    5   508646  462081   7540     30 245.25
1800.06/1800.50	c    11420  79507   244807  1698655    6   515288  508290  11420     41 278.38
1800.06/1800.50	c    17244  79507   250631  3011616   12   527593  559120  17244     51 333.75
1800.06/1800.50	c    25983  79507   259370  4647141   17   545403  615033  25983     66 390.55
1800.06/1800.50	c    39094  79507   272481  7324715   26   571450  676537  39094     77 502.97
1800.06/1800.50	c    58764  79507   292151 11105528   38   610565  744191  58764     86 677.99
1800.06/1800.50	c    88275  79507   321662 15493462   48   669211  818611  88275     89 988.97
1800.06/1800.50	c   132546  79507   365933 31460648   85   758976  900473 132546     88 1499.97
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   16   154032  40934   302119   387419 35242471 154032     85 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-3730758-1338681481/watcher-3730758-1338681481 -o /tmp/evaluation-result-3730758-1338681481/solver-3730758-1338681481 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730758-1338681481.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 1.90 3/176 24425
/proc/meminfo: memFree=26211476/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=12148 CPUtime=0 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 471 0 0 0 0 0 0 0 20 0 1 0 334275482 12439552 407 33554432000 134512640 135840783 4293465632 4293464336 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 3037 407 328 325 0 108 0

[startup+0.0277599 s]
/proc/loadavg: 2.01 2.01 1.90 3/176 24425
/proc/meminfo: memFree=26211476/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=13252 CPUtime=0.02 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 821 0 0 0 2 0 0 0 20 0 1 0 334275482 13570048 757 33554432000 134512640 135840783 4293465632 4293464624 134525286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 3313 758 392 325 0 384 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13252

[startup+0.100263 s]
/proc/loadavg: 2.01 2.01 1.90 3/176 24425
/proc/meminfo: memFree=26211476/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=17092 CPUtime=0.09 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 1981 0 0 0 9 0 0 0 20 0 1 0 334275482 17502208 1917 33554432000 134512640 135840783 4293465632 4293464320 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 4273 1919 607 325 0 1344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17092

[startup+0.300275 s]
/proc/loadavg: 2.01 2.01 1.90 3/176 24425
/proc/meminfo: memFree=26211476/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=26596 CPUtime=0.29 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 4989 0 0 0 29 0 0 0 20 0 1 0 334275482 27234304 4806 33554432000 134512640 135840783 4293465632 4293464320 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 6649 4806 1160 325 0 3720 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26596

[startup+0.700266 s]
/proc/loadavg: 2.01 2.01 1.90 3/176 24425
/proc/meminfo: memFree=26211476/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=42724 CPUtime=0.69 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 11873 0 0 0 68 1 0 0 20 0 1 0 334275482 43749376 9619 33554432000 134512640 135840783 4293465632 4293464720 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 10681 9624 338 325 0 9617 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42724

[startup+1.50031 s]
/proc/loadavg: 2.01 2.01 1.90 3/177 24426
/proc/meminfo: memFree=26162884/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=54940 CPUtime=1.49 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 14819 0 0 0 148 1 0 0 20 0 1 0 334275482 56258560 12565 33554432000 134512640 135840783 4293465632 4292485880 14369288 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13735 12565 342 325 0 12671 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54940

[startup+3.10031 s]
/proc/loadavg: 2.01 2.01 1.90 3/177 24426
/proc/meminfo: memFree=26162140/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=55072 CPUtime=3.09 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 14877 0 0 0 307 2 0 0 20 0 1 0 334275482 56393728 12623 33554432000 134512640 135840783 4293465632 4292486000 134583223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13768 12623 342 325 0 12704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55072

[startup+6.30031 s]
/proc/loadavg: 2.09 2.02 1.91 3/177 24426
/proc/meminfo: memFree=26161900/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=55204 CPUtime=6.29 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 14895 0 0 0 627 2 0 0 20 0 1 0 334275482 56528896 12641 33554432000 134512640 135840783 4293465632 4292486028 12383280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13801 12641 342 325 0 12737 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55204

[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 1.91 3/177 24426
/proc/meminfo: memFree=26161848/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=55204 CPUtime=12.69 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 14900 0 0 0 1267 2 0 0 20 0 1 0 334275482 56528896 12646 33554432000 134512640 135840783 4293465632 4292485556 8843516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13801 12646 342 325 0 12737 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55204

[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 1.91 3/177 24426
/proc/meminfo: memFree=26161856/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=55600 CPUtime=25.49 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 15007 0 0 0 2546 3 0 0 20 0 1 0 334275482 56934400 12753 33554432000 134512640 135840783 4293465632 4292486048 134551975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13900 12753 342 325 0 12836 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55600

[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 1.91 3/177 24426
/proc/meminfo: memFree=26161856/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=55600 CPUtime=51.08 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 15007 0 0 0 5105 3 0 0 20 0 1 0 334275482 56934400 12753 33554432000 134512640 135840783 4293465632 4292486084 134583012 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13900 12753 342 325 0 12836 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55600

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 24426
/proc/meminfo: memFree=26160864/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=55996 CPUtime=102.27 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 15110 0 0 0 10223 4 0 0 20 0 1 0 334275482 57339904 12856 33554432000 134512640 135840783 4293465632 4292485888 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13999 12856 342 325 0 12935 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 55996

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/178 24429
/proc/meminfo: memFree=26161072/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=56260 CPUtime=162.26 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 15187 0 0 0 16219 7 0 0 20 0 1 0 334275482 57610240 12933 33554432000 134512640 135840783 4293465632 4292485940 8862283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 14065 12933 342 325 0 13001 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 56260

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 24453
/proc/meminfo: memFree=26155896/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=61416 CPUtime=222.24 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 16682 0 0 0 22215 9 0 0 20 0 1 0 334275482 62889984 14321 33554432000 134512640 135840783 4293465632 4293463028 8843618 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 15354 14321 346 325 0 14290 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 61416

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24453
/proc/meminfo: memFree=26142512/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=71348 CPUtime=282.22 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 19147 0 0 0 28212 10 0 0 20 0 1 0 334275482 73060352 16786 33554432000 134512640 135840783 4293465632 4293464992 134551200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 17837 16786 346 325 0 16773 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 71348

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24453
/proc/meminfo: memFree=26080888/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=90608 CPUtime=342.22 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 23962 0 0 0 34209 13 0 0 20 0 1 0 334275482 92782592 21601 33554432000 134512640 135840783 4293465632 4293464768 8854430 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 22652 21601 346 325 0 21588 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 90608

[startup+402.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/177 24453
/proc/meminfo: memFree=26020500/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=112720 CPUtime=402.21 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 29489 0 0 0 40205 16 0 0 20 0 1 0 334275482 115425280 27128 33554432000 134512640 135840783 4293465632 4293464660 8843613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 28180 27128 346 325 0 27116 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 112720

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 24453
/proc/meminfo: memFree=25961972/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=130140 CPUtime=462.19 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 33852 0 0 0 46201 18 0 0 20 0 1 0 334275482 133263360 31491 33554432000 134512640 135840783 4293465632 4293464928 134571866 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 32535 31491 346 325 0 31471 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 130140

[startup+522.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/177 24454
/proc/meminfo: memFree=25929236/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=156516 CPUtime=522.19 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 40451 0 0 0 52197 22 0 0 20 0 1 0 334275482 160272384 38090 33554432000 134512640 135840783 4293465632 4293464720 8854788 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 39129 38090 346 325 0 38065 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 156516

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 24454
/proc/meminfo: memFree=25909024/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=176536 CPUtime=582.18 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 45463 0 0 0 58193 25 0 0 20 0 1 0 334275482 180772864 43102 33554432000 134512640 135840783 4293465632 4293464992 134550921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 44134 43102 346 325 0 43070 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 176536

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24458
/proc/meminfo: memFree=25858564/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=226960 CPUtime=882.07 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 58127 0 0 0 88172 35 0 0 20 0 1 0 334275482 232407040 55690 33554432000 134512640 135840783 4293465632 4293464992 134551318 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 56740 55690 346 325 0 55676 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 226960

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24458
/proc/meminfo: memFree=25841328/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=244692 CPUtime=942.06 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 62558 0 0 0 94168 38 0 0 20 0 1 0 334275482 250564608 60121 33554432000 134512640 135840783 4293465632 4293464928 134571806 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 61173 60121 346 325 0 60109 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 244692

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 24458
/proc/meminfo: memFree=25825704/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=260092 CPUtime=1002.06 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 66413 0 0 0 100165 41 0 0 20 0 1 0 334275482 266334208 63976 33554432000 134512640 135840783 4293465632 4293464992 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 65023 63976 346 325 0 63959 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 260092

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 24458
/proc/meminfo: memFree=25795820/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=289912 CPUtime=1062.04 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 73858 0 0 0 106160 44 0 0 20 0 1 0 334275482 296869888 71421 33554432000 134512640 135840783 4293465632 4293464992 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 72478 71421 346 325 0 71414 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 289912

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 24459
/proc/meminfo: memFree=25772388/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=310812 CPUtime=1122.03 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 79108 0 0 0 112157 46 0 0 20 0 1 0 334275482 318271488 76671 33554432000 134512640 135840783 4293465632 4293456688 8854788 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 77736 76674 346 325 0 76672 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 310812

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24459
/proc/meminfo: memFree=25720184/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=326336 CPUtime=1182.02 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 82981 0 0 0 118154 48 0 0 20 0 1 0 334275482 334168064 80544 33554432000 134512640 135840783 4293465632 4293464992 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 81584 80544 346 325 0 80520 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 326336

[startup+1242.3 s]
/proc/loadavg: 1.95 1.98 1.92 3/177 24536
/proc/meminfo: memFree=26457424/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=353492 CPUtime=1242.02 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 89757 0 0 0 124150 52 0 0 20 0 1 0 334275482 361975808 87320 33554432000 134512640 135840783 4293465632 4293464768 8854430 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 88373 87320 346 325 0 87309 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 353492

[startup+1302.3 s]
/proc/loadavg: 1.98 1.98 1.92 3/177 24536
/proc/meminfo: memFree=26309740/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=374000 CPUtime=1302.01 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 94894 0 0 0 130147 54 0 0 20 0 1 0 334275482 382976000 92457 33554432000 134512640 135840783 4293465632 4293464992 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 93500 92457 346 325 0 92436 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 374000

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/178 24539
/proc/meminfo: memFree=26270928/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=409808 CPUtime=1361.99 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 103850 0 0 0 136141 58 0 0 20 0 1 0 334275482 419643392 101390 33554432000 134512640 135840783 4293465632 4293464992 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 102452 101390 346 325 0 101388 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 409808

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.92 3/177 24540
/proc/meminfo: memFree=26209956/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=434040 CPUtime=1421.95 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 109974 0 0 0 142135 60 0 0 20 0 1 0 334275482 444456960 107467 33554432000 134512640 135840783 4293465632 4293464992 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 108510 107467 346 325 0 107446 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 434040

[startup+1482.3 s]
/proc/loadavg: 2.04 2.00 1.93 3/177 24540
/proc/meminfo: memFree=26165040/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=455432 CPUtime=1481.9 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 115365 0 0 0 148129 61 0 0 20 0 1 0 334275482 466362368 112818 33554432000 134512640 135840783 4293465632 4293464992 134550624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 113858 112818 346 325 0 112794 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 455432

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 24540
/proc/meminfo: memFree=26147524/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=473096 CPUtime=1541.9 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 119787 0 0 0 154127 63 0 0 20 0 1 0 334275482 484450304 117240 33554432000 134512640 135840783 4293465632 4293464992 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 118274 117240 346 325 0 117210 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 473096

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24540
/proc/meminfo: memFree=26137508/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=483216 CPUtime=1601.89 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 122323 0 0 0 160125 64 0 0 20 0 1 0 334275482 494813184 119776 33554432000 134512640 135840783 4293465632 4293464992 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 120804 119776 346 325 0 119740 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 483216

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24540
/proc/meminfo: memFree=26112092/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=492208 CPUtime=1661.88 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 124570 0 0 0 166122 66 0 0 20 0 1 0 334275482 504020992 122023 33554432000 134512640 135840783 4293465632 4293464992 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 123052 122023 346 325 0 121988 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 492208

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 24542
/proc/meminfo: memFree=26103900/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=500812 CPUtime=1721.87 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 126720 0 0 0 172120 67 0 0 20 0 1 0 334275482 512831488 124173 33554432000 134512640 135840783 4293465632 4293464868 8851485 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 125203 124173 346 325 0 124139 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 500812

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 24542
/proc/meminfo: memFree=26094484/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=509680 CPUtime=1781.86 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 128917 0 0 0 178118 68 0 0 20 0 1 0 334275482 521912320 126370 33554432000 134512640 135840783 4293465632 4293464992 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 127420 126370 346 325 0 126356 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 509680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 24542
/proc/meminfo: memFree=26091012/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=513380 CPUtime=1800.06 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 129849 0 0 0 179937 69 0 0 20 0 1 0 334275482 525701120 127302 33554432000 134512640 135840783 4293465632 4293464992 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 128345 127302 346 325 0 127281 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 513380

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

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 24542
/proc/meminfo: memFree=26091012/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=513380 CPUtime=1800.06 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 129849 0 0 0 179937 69 0 0 20 0 1 0 334275482 525701120 127302 33554432000 134512640 135840783 4293465632 4293464992 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 128345 127302 346 325 0 127281 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 513380

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.38
CPU system time (s): 0.701893
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 513380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.701893
maximum resident set size= 509208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129852
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= 216
involuntary context switches= 1847

runsolver used 3.78043 second user time and 9.17361 second system time

The end

Launcher Data

Begin job on node114 at 2012-06-03 01:58:01
IDJOB=3730758
IDBENCH=1475
IDSOLVER=2318
FILE ID=node114/3730758-1338681481
RUNJOBID= node114-1338678627-23615
PBS_JOBID= 14636699
Free space on /tmp= 70128 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730758-1338681481/watcher-3730758-1338681481 -o /tmp/evaluation-result-3730758-1338681481/solver-3730758-1338681481 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3730758-1338681481.opb            

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

MD5SUM BENCH= 14c93c93dc53353f81a889ada18ba601
RANDOM SEED=1044702024

node114.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.242
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.48
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.242
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.242
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	: 5451.90
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.242
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.242
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.242
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		: 2666.242
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		: 2666.242
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:       32873648 kB
MemFree:        26211856 kB
Buffers:          886288 kB
Cached:          4155128 kB
SwapCached:         2312 kB
Active:          3203092 kB
Inactive:        2502888 kB
Active(anon):     651244 kB
Inactive(anon):     8444 kB
Active(file):    2551848 kB
Inactive(file):  2494444 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103580 kB
Dirty:             14108 kB
Writeback:             0 kB
AnonPages:        664428 kB
Mapped:            12464 kB
Shmem:               104 kB
Slab:             816004 kB
SReclaimable:     259968 kB
SUnreclaim:       556036 kB
KernelStack:        1448 kB
PageTables:         5276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     774068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    534528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70120 MiB
End job on node114 at 2012-06-03 02:28:04