Trace number 3730199

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.09 1800.97

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
MD5SUM887c74fdc5099423a97b443d1200370c
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.104983
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables5500
Total number of constraints210
Number of constraints which are clauses110
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
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 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3730199-1338680770.opb
0.00/0.00	c File size is 98558 bytes.
0.00/0.01	c Highest Coefficient sum: 56
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.009 s
0.00/0.01	c Var: 5500 Constr: 210 110/100/0 Lit: 11000 Watch. Lit: 5720
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
0.09/0.13	c Pre-processing Time: 0.129 s
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   5500      210    11000   52     5720   99036      0      0 0.13
0.09/0.13	c Switching off LPR mode.
1800.02/1800.90	c      102   5500      312    31058   99     5924  108940    102    733 0.14
1800.02/1800.90	c      253   5500      463    61103  131     6226  119835    253   1601 0.16
1800.02/1800.90	c      478   5500      688   135277  196     6676  131819    478   2438 0.20
1800.02/1800.90	c      819   5500     1029   204287  198     7358  145001    819   2037 0.40
1800.02/1800.90	c     1327   5500     1537   278590  181     8374  159502   1327   1788 0.74
1800.02/1800.90	c     2090   5500     2300   464645  202     9900  175453   2090   1548 1.35
1800.02/1800.90	c     3236   5500     3446   899733  261    12192  192999   3236   1329 2.43
1800.02/1800.90	c     4957   5500     5167  1883043  364    15634  212299   4957   1190 4.16
1800.02/1800.90	c     7542   5500     7752  6115698  788    20804  233529   7542    920 8.19
1800.02/1800.90	c    11422   5500    11632 14534834 1249    28564  256882  11422    445 25.64
1800.02/1800.90	c    17246   5500    17456 26446378 1515    40212  282571  17246    385 44.73
1800.02/1800.90	c    25983   5500    26193 45440327 1734    57686  310829  25983    245 105.64
1800.02/1800.90	c    39095   5500    39305 74626582 1898    83910  341912  39095    148 263.19
1800.02/1800.90	c    58766   5500    58976 117471133 1991   123252  376104  58766     94 625.14
1800.02/1800.90	c    88279   5500    88489 166716355 1884   182278  413715  88279     99 883.29
1800.02/1800.90	c   132550   5500   132760 262605985 1978   270820  455087 132550     85 1551.05
1800.02/1800.90	c Caught signal: 15
1800.02/1800.90	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.90	c   16   142105  30057  3053112   142315 283225651 142105     78 1800.03
1800.02/1800.90	s UNKNOWN
1800.02/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-3730199-1338680770/watcher-3730199-1338680770 -o /tmp/evaluation-result-3730199-1338680770/solver-3730199-1338680770 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730199-1338680770.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.99 1.99 1.80 3/176 7660
/proc/meminfo: memFree=27598556/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=12612 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 486 0 0 0 0 0 0 0 20 0 1 0 334201344 12914688 422 33554432000 134512640 135840783 4294886832 4294885552 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 3153 422 327 325 0 2064 0

[startup+0.0217439 s]
/proc/loadavg: 1.99 1.99 1.80 3/176 7660
/proc/meminfo: memFree=27598556/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=5592 CPUtime=0.01 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 738 0 0 0 1 0 0 0 20 0 1 0 334201344 5726208 649 33554432000 134512640 135840783 4294886832 4294819948 8311856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 1398 649 341 325 0 334 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5592

[startup+0.100268 s]
/proc/loadavg: 1.99 1.99 1.80 3/176 7660
/proc/meminfo: memFree=27598556/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=5796 CPUtime=0.09 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 817 0 0 0 9 0 0 0 20 0 1 0 334201344 5935104 695 33554432000 134512640 135840783 4294886832 4294814204 8311856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 1449 695 343 325 0 385 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5796

[startup+0.300241 s]
/proc/loadavg: 1.99 1.99 1.80 3/176 7660
/proc/meminfo: memFree=27598556/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=7584 CPUtime=0.29 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 1302 0 0 0 29 0 0 0 20 0 1 0 334201344 7766016 1169 33554432000 134512640 135840783 4294886832 4294886144 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 1896 1169 346 325 0 832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7584

[startup+0.700226 s]
/proc/loadavg: 1.99 1.99 1.80 3/176 7660
/proc/meminfo: memFree=27598556/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=8996 CPUtime=0.69 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 1655 0 0 0 69 0 0 0 20 0 1 0 334201344 9211904 1522 33554432000 134512640 135840783 4294886832 4294882832 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2249 1522 346 325 0 1185 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8996

[startup+1.50024 s]
/proc/loadavg: 1.99 1.99 1.80 3/177 7661
/proc/meminfo: memFree=27592612/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=12216 CPUtime=1.49 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 2446 0 0 0 149 0 0 0 20 0 1 0 334201344 12509184 2313 33554432000 134512640 135840783 4294886832 4294886192 134551039 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 3054 2313 346 325 0 1990 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12216

[startup+3.10025 s]
/proc/loadavg: 1.99 1.99 1.80 3/177 7661
/proc/meminfo: memFree=27586908/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=21172 CPUtime=3.09 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 4700 0 0 0 308 1 0 0 20 0 1 0 334201344 21680128 4567 33554432000 134512640 135840783 4294886832 4294886144 134551264 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 5293 4567 346 325 0 4229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21172

[startup+6.30027 s]
/proc/loadavg: 1.99 1.99 1.80 3/177 7661
/proc/meminfo: memFree=27561488/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=56616 CPUtime=6.28 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 13560 0 0 0 626 2 0 0 20 0 1 0 334201344 57974784 13425 33554432000 134512640 135840783 4294886832 4294886144 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 14154 13425 346 325 0 13090 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56616

[startup+12.7003 s]
/proc/loadavg: 1.99 1.99 1.80 3/177 7661
/proc/meminfo: memFree=27490336/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=114704 CPUtime=12.69 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 28082 0 0 0 1262 7 0 0 20 0 1 0 334201344 117456896 27947 33554432000 134512640 135840783 4294886832 4294886192 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 28676 27947 346 325 0 27612 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114704

[startup+25.5003 s]
/proc/loadavg: 1.99 1.99 1.81 3/177 7661
/proc/meminfo: memFree=27407968/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=190640 CPUtime=25.46 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 47078 0 0 0 2535 11 0 0 20 0 1 0 334201344 195215360 46932 33554432000 134512640 135840783 4294886832 4294886192 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 47660 46932 346 325 0 46596 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 190640

[startup+51.1003 s]
/proc/loadavg: 1.99 1.99 1.81 3/177 7661
/proc/meminfo: memFree=27226400/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=371392 CPUtime=51.06 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 92270 0 0 0 5084 22 0 0 20 0 1 0 334201344 380305408 92120 33554432000 134512640 135840783 4294886832 4294886192 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 92848 92120 346 325 0 91784 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 371392

[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.82 3/177 7661
/proc/meminfo: memFree=27014776/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=574844 CPUtime=102.22 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 143136 0 0 0 10188 34 0 0 20 0 1 0 334201344 588640256 142975 33554432000 134512640 135840783 4294886832 4294886192 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 143711 142975 346 325 0 142647 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 574844

[startup+162.3 s]
/proc/loadavg: 2.04 2.00 1.83 3/177 7661
/proc/meminfo: memFree=26861540/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=727628 CPUtime=162.18 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 181373 0 0 0 16173 45 0 0 20 0 1 0 334201344 745091072 181185 33554432000 134512640 135840783 4294886832 4294886192 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 181907 181185 346 325 0 180843 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 727628

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.84 3/177 7661
/proc/meminfo: memFree=26710536/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=876192 CPUtime=222.13 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 218534 0 0 0 22158 55 0 0 20 0 1 0 334201344 897220608 218320 33554432000 134512640 135840783 4294886832 4294886192 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 219048 218320 346 325 0 217984 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 876192

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 7664
/proc/meminfo: memFree=26593748/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=993320 CPUtime=282.08 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 247824 0 0 0 28144 64 0 0 20 0 1 0 334201344 1017159680 247587 33554432000 134512640 135840783 4294886832 4294886192 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 248330 247587 346 325 0 247266 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 993320

[startup+342.3 s]
/proc/loadavg: 2.07 2.02 1.85 3/177 7665
/proc/meminfo: memFree=26487400/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=1095624 CPUtime=342.05 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 273443 0 0 0 34131 74 0 0 20 0 1 0 334201344 1121918976 273170 33554432000 134512640 135840783 4294886832 4294885968 12827273 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 273906 273170 346 325 0 272842 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 1095624

[startup+402.3 s]
/proc/loadavg: 2.06 2.03 1.86 3/177 7665
/proc/meminfo: memFree=26390460/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=1193556 CPUtime=402.03 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 297965 0 0 0 40121 82 0 0 20 0 1 0 334201344 1222201344 297661 33554432000 134512640 135840783 4294886832 4294886192 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 298389 297661 346 325 0 297325 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 1193556

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 1.87 3/177 7665
/proc/meminfo: memFree=26296620/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=1285404 CPUtime=461.98 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 320934 0 0 0 46109 89 0 0 20 0 1 0 334201344 1316253696 320608 33554432000 134512640 135840783 4294886832 4294886192 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 321351 320608 346 325 0 320287 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 1285404

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/177 7665
/proc/meminfo: memFree=26218652/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=1364000 CPUtime=521.95 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 340628 0 0 0 52100 95 0 0 20 0 1 0 334201344 1396736000 340278 33554432000 134512640 135840783 4294886832 4294886192 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 341000 340278 346 325 0 339936 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 1364000

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/177 7665
/proc/meminfo: memFree=26128036/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=1445196 CPUtime=581.92 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 360939 0 0 0 58092 100 0 0 20 0 1 0 334201344 1479880704 360570 33554432000 134512640 135840783 4294886832 4294858096 134545942 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 361299 360570 346 325 0 360235 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 1445196

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/178 7669
/proc/meminfo: memFree=25446664/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=2124672 CPUtime=881.8 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 530849 0 0 0 88029 151 0 0 20 0 1 0 334201344 2175664128 530425 33554432000 134512640 135840783 4294886832 4294886192 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 531168 530425 346 325 0 530104 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 2124672

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 7693
/proc/meminfo: memFree=25229816/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=2342956 CPUtime=941.77 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 585440 0 0 0 94013 164 0 0 20 0 1 0 334201344 2399186944 585003 33554432000 134512640 135840783 4294886832 4294886192 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 585739 585003 346 325 0 584675 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 2342956

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7693
/proc/meminfo: memFree=25057120/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=2514108 CPUtime=1001.75 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 628236 0 0 0 99999 176 0 0 20 0 1 0 334201344 2574446592 627798 33554432000 134512640 135840783 4294886832 4294886192 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 628527 627798 346 325 0 627463 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 2514108

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7693
/proc/meminfo: memFree=24918392/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=2653448 CPUtime=1061.72 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 663082 0 0 0 105986 186 0 0 20 0 1 0 334201344 2717130752 662633 33554432000 134512640 135840783 4294886832 4294886192 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 663362 662637 346 325 0 662298 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 2653448

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7693
/proc/meminfo: memFree=24801860/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=2769104 CPUtime=1121.71 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 692014 0 0 0 111977 194 0 0 20 0 1 0 334201344 2835562496 691554 33554432000 134512640 135840783 4294886832 4294886192 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 692276 691554 346 325 0 691212 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 2769104

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7693
/proc/meminfo: memFree=24695620/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=2874732 CPUtime=1181.69 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 718426 0 0 0 117966 203 0 0 20 0 1 0 334201344 2943725568 717960 33554432000 134512640 135840783 4294886832 4294886144 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 718683 717960 346 325 0 717619 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 2874732

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7694
/proc/meminfo: memFree=24602400/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=2967320 CPUtime=1241.67 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 741564 0 0 0 123955 212 0 0 20 0 1 0 334201344 3038535680 741094 33554432000 134512640 135840783 4294886832 4294886192 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 741830 741094 346 325 0 740766 0
Current children cumulated CPU time (s) 1241.67
Current children cumulated vsize (KiB) 2967320

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7694
/proc/meminfo: memFree=24522820/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=3045760 CPUtime=1301.65 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 761175 0 0 0 129947 218 0 0 20 0 1 0 334201344 3118858240 760696 33554432000 134512640 135840783 4294886832 4294886192 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 761440 760696 346 325 0 760376 0
Current children cumulated CPU time (s) 1301.65
Current children cumulated vsize (KiB) 3045760

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/177 7694
/proc/meminfo: memFree=24449688/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=3119544 CPUtime=1361.62 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 779659 0 0 0 135937 225 0 0 20 0 1 0 334201344 3194413056 779166 33554432000 134512640 135840783 4294886832 4294886192 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 779886 779166 346 325 0 778822 0
Current children cumulated CPU time (s) 1361.62
Current children cumulated vsize (KiB) 3119544

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 7694
/proc/meminfo: memFree=24372712/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=3195716 CPUtime=1421.6 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 798722 0 0 0 141929 231 0 0 20 0 1 0 334201344 3272413184 798208 33554432000 134512640 135840783 4294886832 4294886192 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 798929 798208 346 325 0 797865 0
Current children cumulated CPU time (s) 1421.6
Current children cumulated vsize (KiB) 3195716

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 7697
/proc/meminfo: memFree=24303416/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=3265248 CPUtime=1481.57 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 816121 0 0 0 147920 237 0 0 20 0 1 0 334201344 3343613952 815577 33554432000 134512640 135840783 4294886832 4294886192 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 816312 815577 346 325 0 815248 0
Current children cumulated CPU time (s) 1481.57
Current children cumulated vsize (KiB) 3265248

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 7698
/proc/meminfo: memFree=24226820/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=3341440 CPUtime=1541.53 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 835216 0 0 0 153911 242 0 0 20 0 1 0 334201344 3421634560 834640 33554432000 134512640 135840783 4294886832 4294886192 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 835360 834640 346 325 0 834296 0
Current children cumulated CPU time (s) 1541.53
Current children cumulated vsize (KiB) 3341440

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 7698
/proc/meminfo: memFree=24158152/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=3410524 CPUtime=1601.5 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 852488 0 0 0 159902 248 0 0 20 0 1 0 334201344 3492376576 851888 33554432000 134512640 135840783 4294886832 4294886192 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 852631 851888 346 325 0 851567 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 3410524

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 7698
/proc/meminfo: memFree=24092212/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=3476544 CPUtime=1661.48 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 869038 0 0 0 165895 253 0 0 20 0 1 0 334201344 3559981056 868407 33554432000 134512640 135840783 4294886832 4294886192 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 869136 868407 346 325 0 868072 0
Current children cumulated CPU time (s) 1661.48
Current children cumulated vsize (KiB) 3476544

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7698
/proc/meminfo: memFree=24025156/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=3544220 CPUtime=1721.46 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 885986 0 0 0 171887 259 0 0 20 0 1 0 334201344 3629281280 885332 33554432000 134512640 135840783 4294886832 4294886192 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 886055 885332 346 325 0 884991 0
Current children cumulated CPU time (s) 1721.46
Current children cumulated vsize (KiB) 3544220

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 7775
/proc/meminfo: memFree=23987116/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=3601484 CPUtime=1781.43 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 900317 0 0 0 177878 265 0 0 20 0 1 0 334201344 3687919616 899641 33554432000 134512640 135840783 4294886832 4294886192 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 900371 899641 346 325 0 899307 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (KiB) 3601484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7775
/proc/meminfo: memFree=23916924/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=3617416 CPUtime=1800.02 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 904319 0 0 0 179736 266 0 0 20 0 1 0 334201344 3704233984 903630 33554432000 134512640 135840783 4294886832 4294886192 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 904354 903630 346 325 0 903290 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3617416

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.00 2.00 1.93 3/177 7775
/proc/meminfo: memFree=23916924/32873844 swapFree=7628/7628
[pid=7660] ppid=7658 vsize=3617416 CPUtime=1800.02 cores=1,3,5,7
/proc/7660/stat : 7660 (bsolo3.0.17) R 7658 7660 7463 0 -1 4202496 904319 0 0 0 179736 266 0 0 20 0 1 0 334201344 3704233984 903630 33554432000 134512640 135840783 4294886832 4294886192 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 904354 903630 346 325 0 903290 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3617416

Child status: 15
Real time (s): 1800.97
CPU time (s): 1800.09
CPU user time (s): 1797.37
CPU system time (s): 2.72259
CPU usage (%): 99.9513
Max. virtual memory (cumulated for all children) (KiB): 3617416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.37
system time used= 2.72259
maximum resident set size= 3614520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 904322
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= 819
involuntary context switches= 1804

runsolver used 3.59045 second user time and 9.54455 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 01:46:10
IDJOB=3730199
IDBENCH=1396
IDSOLVER=2318
FILE ID=node143/3730199-1338680770
RUNJOBID= node143-1338680527-7480
PBS_JOBID= 14636712
Free space on /tmp= 68464 MiB

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

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

MD5SUM BENCH= 887c74fdc5099423a97b443d1200370c
RANDOM SEED=421058

node143.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.787
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	: 5333.57
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.787
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.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27598448 kB
Buffers:          424644 kB
Cached:          3906064 kB
SwapCached:          188 kB
Active:          2218484 kB
Inactive:        2150276 kB
Active(anon):      29256 kB
Inactive(anon):    11004 kB
Active(file):    2189228 kB
Inactive(file):  2139272 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              6460 kB
Writeback:             0 kB
AnonPages:         44744 kB
Mapped:            11696 kB
Shmem:               160 kB
Slab:             768980 kB
SReclaimable:     210708 kB
SUnreclaim:       558272 kB
KernelStack:        1480 kB
PageTables:         4280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     152700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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= 68456 MiB
End job on node143 at 2012-06-03 02:16:13