Trace number 3742191

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K101.opb
MD5SUMa3de6c6ee42f8b511357d3857e721bb4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark198.533
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6868
Total number of constraints7072
Number of constraints which are clauses6971
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint101
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 102
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-3742191-1338768400.opb
0.00/0.00	c File size is 440171 bytes.
0.01/0.04	c Highest Coefficient sum: 102
0.01/0.04	c Parsing was ok!!
0.01/0.04	c Total parsing time: 0.04 s
0.01/0.04	c Var: 6868 Constr: 7072 6971/101/0 Lit: 44106 Watch. Lit: 20808
0.01/0.04	c Obj. Vars: 0 (0 % of total variables)
1.18/1.29	c Pre-processing Time: 1.288 s
1.18/1.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.18/1.29	c        0   6117     6377    41010    6    19189   99328      0      0 1.29
1.18/1.29	c Switching off LPR mode.
1800.03/1800.90	c      100   6117     6477    49530    7    19389  109261    100     75 1.32
1800.03/1800.90	c      250   6117     6627    67186   10    19689  120188    250    183 1.36
1800.03/1800.90	c      475   6117     6852    84604   12    20139  132207    475    322 1.47
1800.03/1800.90	c      815   6117     7192   133576   18    20819  145428    815    516 1.58
1800.03/1800.90	c     1323   6117     7700   189401   24    21835  159971   1323    738 1.79
1800.03/1800.90	c     2086   6117     8463   343862   40    23361  175969   2086   1021 2.04
1800.03/1800.90	c     3233   6117     9610   521745   54    25655  193566   3233   1256 2.57
1800.03/1800.90	c     4954   6117    11331   847525   74    29097  212923   4954   1473 3.36
1800.03/1800.90	c     7540   6117    13917  1849125  132    34269  234216   7540   1459 5.17
1800.03/1800.90	c    11419   6117    17796  2906012  163    42027  257638  11419   1417 8.05
1800.03/1800.90	c    17242   6117    23619  7801415  330    53673  283402  17242    985 17.49
1800.03/1800.90	c    25980   6117    32357 12616377  389    71149  311743  25980    801 32.40
1800.03/1800.90	c    39090   6117    45467 16792736  369    97369  342918  39090    755 51.76
1800.03/1800.90	c    58760   6117    65137 31456257  482   136709  377210  58760    567 103.45
1800.03/1800.90	c    88271   6117    94648 56731574  599   195731  414932  88271    364 242.29
1800.03/1800.90	c   132544   6117   138921 80143156  576   284277  456426 132544    265 499.57
1800.03/1800.90	c   198959   6117   205336 151768947  739   417107  502069 198959    173 1148.96
1800.03/1800.90	c Caught signal: 15
1800.03/1800.90	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.90	c   17   256029 138444  4063033   262406 187663110 256029    142 1800.03
1800.03/1800.90	s UNKNOWN
1800.03/1800.90	c Total time: 1800.03 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-3742191-1338768400/watcher-3742191-1338768400 -o /tmp/evaluation-result-3742191-1338768400/solver-3742191-1338768400 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742191-1338768400.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.11 2.04 2.01 3/176 13409
/proc/meminfo: memFree=24853444/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 342965955 4583424 158 33554432000 134512640 135840783 4290848208 4290847548 10417496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 1119 158 136 325 0 39 0

[startup+0.018453 s]
/proc/loadavg: 2.11 2.04 2.01 3/176 13409
/proc/meminfo: memFree=24853444/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=5668 CPUtime=0.01 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 636 0 0 0 1 0 0 0 20 0 1 0 342965955 5804032 572 33554432000 134512640 135840783 4290848208 4290846896 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 1417 573 353 325 0 245 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5668

[startup+0.100203 s]
/proc/loadavg: 2.11 2.04 2.01 3/176 13409
/proc/meminfo: memFree=24853444/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=7148 CPUtime=0.09 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 1197 0 0 0 9 0 0 0 20 0 1 0 342965955 7319552 1025 33554432000 134512640 135840783 4290848208 4290764768 134551285 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 1787 1025 344 325 0 723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7148

[startup+0.300173 s]
/proc/loadavg: 2.11 2.04 2.01 3/176 13409
/proc/meminfo: memFree=24853444/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=7148 CPUtime=0.29 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 1198 0 0 0 29 0 0 0 20 0 1 0 342965955 7319552 1026 33554432000 134512640 135840783 4290848208 4290764972 134583008 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 1787 1026 344 325 0 723 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7148

[startup+0.700175 s]
/proc/loadavg: 2.11 2.04 2.01 3/176 13409
/proc/meminfo: memFree=24853444/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=7148 CPUtime=0.69 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 1198 0 0 0 69 0 0 0 20 0 1 0 342965955 7319552 1026 33554432000 134512640 135840783 4290848208 4290764928 134551997 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 1787 1026 344 325 0 723 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7148

[startup+1.50018 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 13410
/proc/meminfo: memFree=24849808/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=7700 CPUtime=1.48 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 1477 0 0 0 148 0 0 0 20 0 1 0 342965955 7884800 1187 33554432000 134512640 135840783 4290848208 4290847520 134551071 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 1925 1187 349 325 0 861 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7700

[startup+3.10018 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 13410
/proc/meminfo: memFree=24844220/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=15604 CPUtime=3.08 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 3451 0 0 0 308 0 0 0 20 0 1 0 342965955 15978496 3161 33554432000 134512640 135840783 4290848208 4290847680 134552314 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 3901 3161 349 325 0 2837 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15604

[startup+6.30023 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 13410
/proc/meminfo: memFree=24819032/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=36132 CPUtime=6.29 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 8591 0 0 0 627 2 0 0 20 0 1 0 342965955 36999168 8301 33554432000 134512640 135840783 4290848208 4290847236 1569106 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 9033 8301 349 325 0 7969 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36132

[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 13410
/proc/meminfo: memFree=24775072/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=75376 CPUtime=12.68 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 18416 0 0 0 1265 3 0 0 20 0 1 0 342965955 77185024 18126 33554432000 134512640 135840783 4290848208 4290847568 134551052 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 18844 18126 349 325 0 17780 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 75376

[startup+25.5002 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 13410
/proc/meminfo: memFree=24683296/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=144136 CPUtime=25.48 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 35577 0 0 0 2542 6 0 0 20 0 1 0 342965955 147595264 35287 33554432000 134512640 135840783 4290848208 4290847568 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 36034 35287 349 325 0 34970 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 144136

[startup+51.1002 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 13410
/proc/meminfo: memFree=24591256/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=221904 CPUtime=51.08 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 55040 0 0 0 5096 12 0 0 20 0 1 0 342965955 227229696 54750 33554432000 134512640 135840783 4290848208 4290847516 11081316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 55476 54750 349 325 0 54412 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 221904

[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 13410
/proc/meminfo: memFree=24351608/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=409760 CPUtime=102.27 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 101994 0 0 0 10207 20 0 0 20 0 1 0 342965955 419594240 101704 33554432000 134512640 135840783 4290848208 4290847568 134551058 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 102440 101704 349 325 0 101376 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 409760

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 13449
/proc/meminfo: memFree=26874200/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=567904 CPUtime=162.25 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 141552 0 0 0 16197 28 0 0 20 0 1 0 342965955 581533696 141255 33554432000 134512640 135840783 4290848208 4290847568 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 141976 141255 349 325 0 140912 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 567904

[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 13453
/proc/meminfo: memFree=26627692/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=699172 CPUtime=222.21 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 174424 0 0 0 22185 36 0 0 20 0 1 0 342965955 715952128 174082 33554432000 134512640 135840783 4290848208 4290847568 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 174793 174082 349 325 0 173729 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 699172

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 13453
/proc/meminfo: memFree=26459088/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=768340 CPUtime=282.17 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 191759 0 0 0 28178 39 0 0 20 0 1 0 342965955 786780160 191371 33554432000 134512640 135840783 4290848208 4290847560 11114681 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 192085 191371 349 325 0 191021 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 768340

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 13453
/proc/meminfo: memFree=26251872/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=830276 CPUtime=342.14 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 207295 0 0 0 34171 43 0 0 20 0 1 0 342965955 850202624 206862 33554432000 134512640 135840783 4290848208 4290847568 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 207569 206862 349 325 0 206505 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 830276

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13453
/proc/meminfo: memFree=26020516/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=932532 CPUtime=402.11 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 232869 0 0 0 40162 49 0 0 20 0 1 0 342965955 954912768 232401 33554432000 134512640 135840783 4290848208 4290847568 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 233133 232401 349 325 0 232069 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 932532

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13453
/proc/meminfo: memFree=25832688/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1004552 CPUtime=462.06 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 250916 0 0 0 46152 54 0 0 20 0 1 0 342965955 1028661248 250407 33554432000 134512640 135840783 4290848208 4290847444 1577122 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 251138 250407 349 325 0 250074 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 1004552

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13454
/proc/meminfo: memFree=25655396/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1054652 CPUtime=522.03 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 263486 0 0 0 52145 58 0 0 20 0 1 0 342965955 1079963648 262932 33554432000 134512640 135840783 4290848208 4290847568 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 263663 262932 349 325 0 262599 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 1054652

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13454
/proc/meminfo: memFree=25437804/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1143064 CPUtime=582 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 285650 0 0 0 58136 64 0 0 20 0 1 0 342965955 1170497536 285056 33554432000 134512640 135840783 4290848208 4290847568 134550896 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 285766 285056 349 325 0 284702 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 1143064

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13458
/proc/meminfo: memFree=24476700/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1581920 CPUtime=881.81 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 395545 0 0 0 88093 88 0 0 20 0 1 0 342965955 1619886080 394746 33554432000 134512640 135840783 4290848208 4290847568 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 395480 394746 349 325 0 394416 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 1581920

[startup+942.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13458
/proc/meminfo: memFree=24283164/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1679428 CPUtime=941.78 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 419966 0 0 0 94085 93 0 0 20 0 1 0 342965955 1719734272 419135 33554432000 134512640 135840783 4290848208 4290814720 134586822 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 419857 419135 349 325 0 418793 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 1679428

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13458
/proc/meminfo: memFree=24121620/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1762560 CPUtime=1001.75 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 440780 0 0 0 100077 98 0 0 20 0 1 0 342965955 1804861440 439910 33554432000 134512640 135840783 4290848208 4290847568 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 440640 439910 349 325 0 439576 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 1762560

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13458
/proc/meminfo: memFree=23931432/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1846592 CPUtime=1061.72 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 461819 0 0 0 106069 103 0 0 20 0 1 0 342965955 1890910208 460914 33554432000 134512640 135840783 4290848208 4290847568 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 461648 460914 349 325 0 460584 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 1846592

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13459
/proc/meminfo: memFree=23751784/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1922736 CPUtime=1121.7 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 480894 0 0 0 112061 109 0 0 20 0 1 0 342965955 1968881664 479949 33554432000 134512640 135840783 4290848208 4290847568 134551532 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 480684 479949 349 325 0 479620 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 1922736

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13459
/proc/meminfo: memFree=23564944/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1985524 CPUtime=1181.66 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 496634 0 0 0 118053 113 0 0 20 0 1 0 342965955 2033176576 495650 33554432000 134512640 135840783 4290848208 4290814976 7038000 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 496381 495650 349 325 0 495317 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 1985524

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13459
/proc/meminfo: memFree=23404644/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2026152 CPUtime=1241.63 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 506817 0 0 0 124047 116 0 0 20 0 1 0 342965955 2074779648 505800 33554432000 134512640 135840783 4290848208 4290847568 134551646 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 506538 505800 349 325 0 505474 0
Current children cumulated CPU time (s) 1241.63
Current children cumulated vsize (KiB) 2026152

[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 13459
/proc/meminfo: memFree=23271124/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2066036 CPUtime=1301.6 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 516831 0 0 0 130041 119 0 0 20 0 1 0 342965955 2115620864 515785 33554432000 134512640 135840783 4290848208 4290847568 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 516509 515785 349 325 0 515445 0
Current children cumulated CPU time (s) 1301.6
Current children cumulated vsize (KiB) 2066036

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13459
/proc/meminfo: memFree=23152856/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2108356 CPUtime=1361.57 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 527450 0 0 0 136034 123 0 0 20 0 1 0 342965955 2158956544 526369 33554432000 134512640 135840783 4290848208 4290847568 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 527089 526369 349 325 0 526025 0
Current children cumulated CPU time (s) 1361.57
Current children cumulated vsize (KiB) 2108356

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 13463
/proc/meminfo: memFree=23013768/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2167340 CPUtime=1421.55 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 542231 0 0 0 142027 128 0 0 20 0 1 0 342965955 2219356160 541104 33554432000 134512640 135840783 4290848208 4290847568 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 541835 541104 349 325 0 540771 0
Current children cumulated CPU time (s) 1421.55
Current children cumulated vsize (KiB) 2167340

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13463
/proc/meminfo: memFree=22848264/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2240672 CPUtime=1481.5 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 560628 0 0 0 148018 132 0 0 20 0 1 0 342965955 2294448128 559455 33554432000 134512640 135840783 4290848208 4290844116 1568956 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 560168 559455 349 325 0 559104 0
Current children cumulated CPU time (s) 1481.5
Current children cumulated vsize (KiB) 2240672

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13463
/proc/meminfo: memFree=22712016/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2308488 CPUtime=1541.46 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 577628 0 0 0 154010 136 0 0 20 0 1 0 342965955 2363891712 576411 33554432000 134512640 135840783 4290848208 4290847564 134521208 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 577122 576411 349 325 0 576058 0
Current children cumulated CPU time (s) 1541.46
Current children cumulated vsize (KiB) 2308488

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13463
/proc/meminfo: memFree=22611992/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2345680 CPUtime=1601.45 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 586923 0 0 0 160006 139 0 0 20 0 1 0 342965955 2401976320 585703 33554432000 134512640 135840783 4290848208 4290847488 11501553 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 586420 585703 349 325 0 585356 0
Current children cumulated CPU time (s) 1601.45
Current children cumulated vsize (KiB) 2345680

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13463
/proc/meminfo: memFree=22503812/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2362876 CPUtime=1661.44 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 591204 0 0 0 166003 141 0 0 20 0 1 0 342965955 2419585024 589984 33554432000 134512640 135840783 4290848208 4290847568 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 590719 589984 349 325 0 589655 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 2362876

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13464
/proc/meminfo: memFree=22407372/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2386888 CPUtime=1721.43 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 597219 0 0 0 172000 143 0 0 20 0 1 0 342965955 2444173312 595999 33554432000 134512640 135840783 4290848208 4290847488 1584798 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 596722 595999 349 325 0 595658 0
Current children cumulated CPU time (s) 1721.43
Current children cumulated vsize (KiB) 2386888

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 13464
/proc/meminfo: memFree=22300760/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2408980 CPUtime=1781.42 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 602751 0 0 0 177997 145 0 0 20 0 1 0 342965955 2466795520 601531 33554432000 134512640 135840783 4290848208 4290847568 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 602245 601531 349 325 0 601181 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (KiB) 2408980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 13464
/proc/meminfo: memFree=22271712/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2418508 CPUtime=1800.03 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 605132 0 0 0 179857 146 0 0 20 0 1 0 342965955 2476552192 603912 33554432000 134512640 135840783 4290848208 4290847520 134550554 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 604627 603912 349 325 0 603563 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2418508

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

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

[startup+1800.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 13464
/proc/meminfo: memFree=22271712/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2418508 CPUtime=1800.03 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 605132 0 0 0 179857 146 0 0 20 0 1 0 342965955 2476552192 603912 33554432000 134512640 135840783 4290848208 4290847520 134550554 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 604627 603912 349 325 0 603563 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2418508

Child status: 15
Real time (s): 1800.92
CPU time (s): 1800.05
CPU user time (s): 1798.57
CPU system time (s): 1.47578
CPU usage (%): 99.9516
Max. virtual memory (cumulated for all children) (KiB): 2418508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.47578
maximum resident set size= 2415648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605135
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= 984
involuntary context switches= 2042

runsolver used 3.21351 second user time and 9.30158 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-04 02:06:40
IDJOB=3742191
IDBENCH=90139
IDSOLVER=2318
FILE ID=node126/3742191-1338768400
RUNJOBID= node126-1338747103-11620
PBS_JOBID= 14636777
Free space on /tmp= 70784 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742191-1338768400/watcher-3742191-1338768400 -o /tmp/evaluation-result-3742191-1338768400/solver-3742191-1338768400 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3742191-1338768400.opb            

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

MD5SUM BENCH= a3de6c6ee42f8b511357d3857e721bb4
RANDOM SEED=635369036

node126.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.456
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.91
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.456
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.456
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.92
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.456
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.456
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.92
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.456
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.456
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.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        24853444 kB
Buffers:          445472 kB
Cached:          4035480 kB
SwapCached:         9484 kB
Active:          4234020 kB
Inactive:        2900232 kB
Active(anon):    2643000 kB
Inactive(anon):    12264 kB
Active(file):    1591020 kB
Inactive(file):  2887968 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67095016 kB
Dirty:              7012 kB
Writeback:             0 kB
AnonPages:       2653216 kB
Mapped:            11036 kB
Shmem:                 0 kB
Slab:             738400 kB
SReclaimable:     182800 kB
SUnreclaim:       555600 kB
KernelStack:        1456 kB
PageTables:         9184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2767908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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= 70776 MiB
End job on node126 at 2012-06-04 02:36:43