Trace number 3734793

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 NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17? (TO) 1800.02 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
MD5SUM775c76356ae7fda7a41e5dcf917f66b2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables51
Total number of constraints13
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint1
Maximum length of a constraint50
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3819
Number of bits of the biggest sum of numbers12
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-3734793-1338701047.opb
0.00/0.00	c File size is 4987 bytes.
0.00/0.01	c Highest Coefficient sum: 3819
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.001 s
0.00/0.01	c Var: 51 Constr: 13 1/0/12 Lit: 601 Watch. Lit: 193
0.00/0.01	c Obj. Vars: 1 (1.96078 % of total variables)
0.00/0.01	c Pre-processing Time: 0.001 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0     50       12      600   50      194    1200      0      0 0.00
0.00/0.01	c Switching off LPR mode.
1800.01/1800.30	c      100     50      112     4560   40      539    1321    100  20000 0.01
1800.01/1800.30	c      250     50      262    10463   39      842    1454    250  22727 0.01
1800.01/1800.30	c      475     50      487    18712   38     1284    1600    475  23750 0.02
1800.01/1800.30	c      814     50      826    31129   37     1968    1761    814  22000 0.04
1800.01/1800.30	c     1322     50     1334    50623   37     2982    1938   1322  20984 0.06
1800.01/1800.30	c     2085     50     1098    42603   38     2516    2132   1086  17974 0.12
1800.01/1800.30	c     3231     50     1149    44854   39     2617    2346   1137  15240 0.21
1800.01/1800.30	c     4952     50     1663    63928   38     3636    2581   1651  14270 0.35
1800.01/1800.30	c     7536     50     1599    60914   38     3514    2840   1587  13433 0.56
1800.01/1800.30	c    11417     50     2565    97676   38     5451    3125   2553  12615 0.91
1800.01/1800.30	c    17239     50     1991    78280   39     4295    3438   1979  11735 1.47
1800.01/1800.30	c    25978     50     1971    76641   38     4262    3782   1959  11002 2.36
1800.01/1800.30	c    39088     50     3558   136944   38     7431    4161   3546  10550 3.71
1800.01/1800.30	c    58759     50     2094    81261   38     4514    4578   2082   9954 5.90
1800.01/1800.30	c    88272     50     3734   144290   38     7785    5036   3722   9443 9.35
1800.01/1800.30	c   132542     50     4646   175106   37     9605    5540   4634   8702 15.23
1800.01/1800.30	c   198952     50     3775   145695   38     7865    6095   3763   8357 23.81
1800.01/1800.30	c   298572     50     4800   188173   39     9910    6705   4788   8007 37.28
1800.01/1800.30	c   448008     50     5299   203651   38    10921    7376   5287   7752 57.79
1800.01/1800.30	c   672167     50     6203   244221   39    12723    8114   6191   7271 92.44
1800.01/1800.30	c  1008410     50     6975   269354   38    14257    8926   6963   6833 147.56
1800.01/1800.30	c  1512781     50     7835   300774   38    15991    9819   7823   6415 235.82
1800.01/1800.30	c  2269344     50     8300   324495   39    16917   10801   8288   6016 377.21
1800.01/1800.30	c  3404196     50     7784   302542   38    15889   11882   7772   5744 592.58
1800.01/1800.30	c  5106479     50     7586   299806   39    15484   13071   7574   5384 948.28
1800.01/1800.30	c  7659911     50    12957   498708   38    26231   14379  12945   4946 1548.54
1800.01/1800.30	c Caught signal: 15
1800.01/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.30	c   26  8674215   1273  8676010     9002   351226   8990   4818 1800.02
1800.01/1800.30	s UNKNOWN
1800.01/1800.30	c Total time: 1800.02 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-3734793-1338701047/watcher-3734793-1338701047 -o /tmp/evaluation-result-3734793-1338701047/solver-3734793-1338701047 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734793-1338701047.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.00 2.00 2.00 3/174 27928
/proc/meminfo: memFree=28387752/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) D 27926 27928 25229 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 336230144 2723840 48 33554432000 134512640 135840783 4294153664 4294151700 11355076 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 665 48 37 325 0 32 0

[startup+0.0316241 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27928
/proc/meminfo: memFree=28387752/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=12752 CPUtime=0.02 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 550 0 0 0 2 0 0 0 20 0 1 0 336230144 13058048 485 33554432000 134512640 135840783 4294153664 4294152064 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 3188 485 347 325 0 2124 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12752

[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27928
/proc/meminfo: memFree=28387752/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=13404 CPUtime=0.09 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 729 0 0 0 9 0 0 0 20 0 1 0 336230144 13725696 663 33554432000 134512640 135840783 4294153664 4294152016 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 3351 663 347 325 0 2287 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13404

[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27928
/proc/meminfo: memFree=28387752/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=13788 CPUtime=0.29 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 803 0 0 0 29 0 0 0 20 0 1 0 336230144 14118912 737 33554432000 134512640 135840783 4294153664 4294152976 134551400 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 3447 737 347 325 0 2383 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13788

[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27928
/proc/meminfo: memFree=28387752/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=14164 CPUtime=0.69 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 911 0 0 0 69 0 0 0 20 0 1 0 336230144 14503936 845 33554432000 134512640 135840783 4294153664 4294153024 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 3541 845 347 325 0 2477 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14164

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27929
/proc/meminfo: memFree=28385380/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=14296 CPUtime=1.49 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 960 0 0 0 149 0 0 0 20 0 1 0 336230144 14639104 894 33554432000 134512640 135840783 4294153664 4294153024 134550791 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 3574 894 347 325 0 2510 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14296

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27929
/proc/meminfo: memFree=28384612/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=14808 CPUtime=3.09 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 1059 0 0 0 309 0 0 0 20 0 1 0 336230144 15163392 993 33554432000 134512640 135840783 4294153664 4294153024 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 3702 993 347 325 0 2638 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14808

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27929
/proc/meminfo: memFree=28383744/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=15184 CPUtime=6.29 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 1177 0 0 0 629 0 0 0 20 0 1 0 336230144 15548416 1111 33554432000 134512640 135840783 4294153664 4294152944 11869792 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 3796 1111 347 325 0 2732 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15184

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27929
/proc/meminfo: memFree=28383164/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=15544 CPUtime=12.68 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 1246 0 0 0 1268 0 0 0 20 0 1 0 336230144 15917056 1180 33554432000 134512640 135840783 4294153664 4294153024 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 3886 1180 347 325 0 2822 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15544

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27929
/proc/meminfo: memFree=28382788/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=16204 CPUtime=25.48 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 1421 0 0 0 2548 0 0 0 20 0 1 0 336230144 16592896 1354 33554432000 134512640 135840783 4294153664 4294153024 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4051 1354 347 325 0 2987 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16204

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27929
/proc/meminfo: memFree=28382540/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=16592 CPUtime=51.08 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 1519 0 0 0 5108 0 0 0 20 0 1 0 336230144 16990208 1452 33554432000 134512640 135840783 4294153664 4294153020 134520568 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4148 1452 347 325 0 3084 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16592

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27929
/proc/meminfo: memFree=28381360/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=17456 CPUtime=102.28 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 1739 0 0 0 10228 0 0 0 20 0 1 0 336230144 17874944 1672 33554432000 134512640 135840783 4294153664 4294152800 11864718 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4364 1672 347 325 0 3300 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 17456

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27930
/proc/meminfo: memFree=28377760/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=17952 CPUtime=162.26 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 1853 0 0 0 16226 0 0 0 20 0 1 0 336230144 18382848 1785 33554432000 134512640 135840783 4294153664 4294152976 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4488 1785 347 325 0 3424 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 17952

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27930
/proc/meminfo: memFree=28377508/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=17916 CPUtime=222.25 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 1860 0 0 0 22225 0 0 0 20 0 1 0 336230144 18345984 1792 33554432000 134512640 135840783 4294153664 4294153024 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4479 1792 347 325 0 3415 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 17916

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27930
/proc/meminfo: memFree=28376888/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=18540 CPUtime=282.24 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2005 0 0 0 28224 0 0 0 20 0 1 0 336230144 18984960 1937 33554432000 134512640 135840783 4294153664 4294153024 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4635 1937 347 325 0 3571 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 18540

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27930
/proc/meminfo: memFree=28376764/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=18532 CPUtime=342.23 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2005 0 0 0 34223 0 0 0 20 0 1 0 336230144 18976768 1937 33554432000 134512640 135840783 4294153664 4294153024 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4633 1937 347 325 0 3569 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 18532

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27933
/proc/meminfo: memFree=28375888/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=19152 CPUtime=402.22 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2157 0 0 0 40222 0 0 0 20 0 1 0 336230144 19611648 2089 33554432000 134512640 135840783 4294153664 4294152272 134547692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4788 2089 347 325 0 3724 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 19152

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27934
/proc/meminfo: memFree=28376392/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=19128 CPUtime=462.21 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2157 0 0 0 46221 0 0 0 20 0 1 0 336230144 19587072 2089 33554432000 134512640 135840783 4294153664 4294153024 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4782 2089 347 325 0 3718 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 19128

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27935
/proc/meminfo: memFree=28376508/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=19116 CPUtime=522.2 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2157 0 0 0 52220 0 0 0 20 0 1 0 336230144 19574784 2089 33554432000 134512640 135840783 4294153664 4294152976 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4779 2089 347 325 0 3715 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 19116

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 27935
/proc/meminfo: memFree=28376640/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=19116 CPUtime=582.19 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2157 0 0 0 58219 0 0 0 20 0 1 0 336230144 19574784 2089 33554432000 134512640 135840783 4294153664 4294152976 9015830 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4779 2089 347 325 0 3715 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 19116

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27936
/proc/meminfo: memFree=28375956/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=19864 CPUtime=882.15 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2347 0 0 0 88215 0 0 0 20 0 1 0 336230144 20340736 2278 33554432000 134512640 135840783 4294153664 4294152976 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4966 2278 347 325 0 3902 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 19864

[startup+942.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/175 27975
/proc/meminfo: memFree=28400652/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=19864 CPUtime=942.14 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2352 0 0 0 94214 0 0 0 20 0 1 0 336230144 20340736 2283 33554432000 134512640 135840783 4294153664 4294153024 134551347 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 4966 2283 347 325 0 3902 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 19864

[startup+1002.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/176 28016
/proc/meminfo: memFree=28398528/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=20596 CPUtime=1002.13 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2536 0 0 0 100213 0 0 0 20 0 1 0 336230144 21090304 2467 33554432000 134512640 135840783 4294153664 4294153024 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5149 2467 347 325 0 4085 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 20596

[startup+1062.3 s]
/proc/loadavg: 2.07 2.01 2.00 3/175 28017
/proc/meminfo: memFree=28397232/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=20588 CPUtime=1062.12 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2536 0 0 0 106212 0 0 0 20 0 1 0 336230144 21082112 2467 33554432000 134512640 135840783 4294153664 4294153024 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5147 2467 347 325 0 4083 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 20588

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 28017
/proc/meminfo: memFree=28396736/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=20588 CPUtime=1122.11 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2536 0 0 0 112211 0 0 0 20 0 1 0 336230144 21082112 2467 33554432000 134512640 135840783 4294153664 4294153024 134551482 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5147 2467 347 325 0 4083 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 20588

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 28017
/proc/meminfo: memFree=28395992/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=20576 CPUtime=1182.1 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2536 0 0 0 118210 0 0 0 20 0 1 0 336230144 21069824 2464 33554432000 134512640 135840783 4294153664 4294152904 11869893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5144 2464 347 325 0 4080 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 20576

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28017
/proc/meminfo: memFree=28395556/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=20572 CPUtime=1242.09 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2536 0 0 0 124209 0 0 0 20 0 1 0 336230144 21065728 2463 33554432000 134512640 135840783 4294153664 4294153024 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5143 2463 347 325 0 4079 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 20572

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28017
/proc/meminfo: memFree=28395184/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=20572 CPUtime=1302.09 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2536 0 0 0 130209 0 0 0 20 0 1 0 336230144 21065728 2463 33554432000 134512640 135840783 4294153664 4294152976 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5143 2463 347 325 0 4079 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 20572

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28018
/proc/meminfo: memFree=28394564/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=20572 CPUtime=1362.07 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2536 0 0 0 136207 0 0 0 20 0 1 0 336230144 21065728 2463 33554432000 134512640 135840783 4294153664 4294153088 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5143 2463 347 325 0 4079 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 20572

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28018
/proc/meminfo: memFree=28394936/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=20664 CPUtime=1422.07 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2540 0 0 0 142207 0 0 0 20 0 1 0 336230144 21159936 2467 33554432000 134512640 135840783 4294153664 4294153024 134550988 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5166 2467 347 325 0 4102 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 20664

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 28018
/proc/meminfo: memFree=28394936/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=20620 CPUtime=1482.05 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2540 0 0 0 148205 0 0 0 20 0 1 0 336230144 21114880 2467 33554432000 134512640 135840783 4294153664 4294153024 134551469 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5155 2467 347 325 0 4091 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 20620

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 28018
/proc/meminfo: memFree=28394564/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=20620 CPUtime=1542.04 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2540 0 0 0 154204 0 0 0 20 0 1 0 336230144 21114880 2467 33554432000 134512640 135840783 4294153664 4294152976 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5155 2467 347 325 0 4091 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 20620

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 28021
/proc/meminfo: memFree=28393440/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=21324 CPUtime=1602.03 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2722 0 0 0 160203 0 0 0 20 0 1 0 336230144 21835776 2649 33554432000 134512640 135840783 4294153664 4294153024 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5331 2649 347 325 0 4267 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 21324

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28022
/proc/meminfo: memFree=28393448/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=21324 CPUtime=1662.02 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2722 0 0 0 166202 0 0 0 20 0 1 0 336230144 21835776 2649 33554432000 134512640 135840783 4294153664 4294152976 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5331 2649 347 325 0 4267 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 21324

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28022
/proc/meminfo: memFree=28393448/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=21420 CPUtime=1722.02 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2730 0 0 0 172202 0 0 0 20 0 1 0 336230144 21934080 2657 33554432000 134512640 135840783 4294153664 4294152944 11869811 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5355 2657 347 325 0 4291 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 21420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28022
/proc/meminfo: memFree=28393076/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=21380 CPUtime=1782.01 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2734 0 0 0 178201 0 0 0 20 0 1 0 336230144 21893120 2661 33554432000 134512640 135840783 4294153664 4294153024 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5345 2661 347 325 0 4281 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 21380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28022
/proc/meminfo: memFree=28393076/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=21376 CPUtime=1800.01 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2734 0 0 0 180001 0 0 0 20 0 1 0 336230144 21889024 2661 33554432000 134512640 135840783 4294153664 4294153024 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5344 2661 347 325 0 4280 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 21376

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28022
/proc/meminfo: memFree=28393076/32873852 swapFree=7624/7624
[pid=27928] ppid=27926 vsize=21376 CPUtime=1800.01 cores=1,3,5,7
/proc/27928/stat : 27928 (bsolo3.0.17) R 27926 27928 25229 0 -1 4202496 2734 0 0 0 180001 0 0 0 20 0 1 0 336230144 21889024 2661 33554432000 134512640 135840783 4294153664 4294153024 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27928/statm: 5344 2661 347 325 0 4280 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 21376

Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800.01
CPU system time (s): 0.006998
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 21420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.006998
maximum resident set size= 10644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2737
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= 16
involuntary context switches= 1856

runsolver used 3.15352 second user time and 8.20175 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-03 07:24:07
IDJOB=3734793
IDBENCH=2906
IDSOLVER=2318
FILE ID=node131/3734793-1338701047
RUNJOBID= node131-1338678620-25249
PBS_JOBID= 14636682
Free space on /tmp= 71396 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734793-1338701047/watcher-3734793-1338701047 -o /tmp/evaluation-result-3734793-1338701047/solver-3734793-1338701047 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3734793-1338701047.opb            

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

MD5SUM BENCH= 775c76356ae7fda7a41e5dcf917f66b2
RANDOM SEED=3132280

node131.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.805
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.61
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.805
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.805
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.805
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.805
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.805
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.805
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.92
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.805
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:       32873852 kB
MemFree:        28387380 kB
Buffers:          554040 kB
Cached:          3037264 kB
SwapCached:         2348 kB
Active:          1430908 kB
Inactive:        2189296 kB
Active(anon):      22896 kB
Inactive(anon):     5624 kB
Active(file):    1408012 kB
Inactive(file):  2183672 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              6620 kB
Writeback:             0 kB
AnonPages:         32688 kB
Mapped:            15920 kB
Shmem:                 0 kB
Slab:             727252 kB
SReclaimable:     169704 kB
SUnreclaim:       557548 kB
KernelStack:        1440 kB
PageTables:         4056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     150176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71392 MiB
End job on node131 at 2012-06-03 07:54:09