Trace number 3734903

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_7_60_4.opb
MD5SUMdc0116cc9dd2d87e5a6934d46be3ef43
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
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
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 constraints14
Minimum length of a constraint1
Maximum length of a constraint60
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 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4594
Number of bits of the biggest sum of numbers13
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-3734903-1338702007.opb
0.00/0.00	c File size is 6868 bytes.
0.00/0.00	c Highest Coefficient sum: 4594
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 61 Constr: 15 1/0/14 Lit: 837 Watch. Lit: 271
0.00/0.00	c Obj. Vars: 1 (1.63934 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     60       14      836   59      274    1672      0      0 0.00
0.00/0.00	c Switching off LPR mode.
1800.01/1800.30	c      100     60      114     5396   47      651    1840    100  16666 0.01
1800.01/1800.30	c      250     60      264    12142   45      957    2025    250  19230 0.01
1800.01/1800.30	c      475     60      489    22314   45     1401    2228    475  19000 0.03
1800.01/1800.30	c      813     60      827    37904   45     2087    2451    813  16937 0.05
1800.01/1800.30	c     1321     60     1335    60619   45     3089    2697   1321  15915 0.08
1800.01/1800.30	c     2084     60     2098    96650   46     4631    2967   2084  14573 0.14
1800.01/1800.30	c     3230     60     1720    81863   47     3866    3264   1706  12666 0.26
1800.01/1800.30	c     4951     60     1758    84027   47     3946    3591   1744  11026 0.45
1800.01/1800.30	c     7535     60     2501   121111   48     5436    3951   2487  10450 0.72
1800.01/1800.30	c    11414     60     2339   112070   47     5110    4347   2325   9942 1.15
1800.01/1800.30	c    17236     60     3729   179016   48     7885    4782   3715   9271 1.86
1800.01/1800.30	c    25973     60     2737   132698   48     5903    5261   2723   8666 3.00
1800.01/1800.30	c    39083     60     5137   252765   49    10705    5788   5123   8222 4.75
1800.01/1800.30	c    58753     60     4231   205834   48     8896    6367   4217   7697 7.63
1800.01/1800.30	c    88263     60     4705   229909   48     9836    7004   4691   7455 11.84
1800.01/1800.30	c   132533     60     6424   309925   48    13279    7705   6410   7023 18.87
1800.01/1800.30	c   198945     60     6620   319084   48    13667    8476   6606   6765 29.41
1800.01/1800.30	c   298565     60     7834   381039   48    16090    9324   7820   6334 47.13
1800.01/1800.30	c   448001     60     6773   322499   47    13968   10257   6759   6209 72.15
1800.01/1800.30	c   672159     60     8592   412191   47    17611   11283   8578   5867 114.56
1800.01/1800.30	c  1008402     60     9600   458919   47    19636   12412   9586   5383 187.32
1800.01/1800.30	c  1512774     60     7940   382200   48    16303   13654   7926   5042 300.03
1800.01/1800.30	c  2269338     60     8956   442993   49    18345   15020   8942   4750 477.71
1800.01/1800.30	c  3404189     60    11028   540555   49    22480   16523  11014   4515 753.88
1800.01/1800.30	c  5106472     60    11359   547612   48    23149   18176  11345   4151 1229.99
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   25  7181306   2070  7184020    14004   683915  13990   3989 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-3734903-1338702007/watcher-3734903-1338702007 -o /tmp/evaluation-result-3734903-1338702007/solver-3734903-1338702007 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734903-1338702007.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.06 3/177 26116
/proc/meminfo: memFree=26816224/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 336328065 4583424 151 33554432000 134512640 135840783 4294141008 4294140312 8345220 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 1119 156 134 325 0 39 0

[startup+0.0634901 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 26116
/proc/meminfo: memFree=26816224/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=13016 CPUtime=0.05 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 636 0 0 0 5 0 0 0 20 0 1 0 336328065 13328384 571 33554432000 134512640 135840783 4294141008 4294139216 1754407 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 3254 571 349 325 0 2190 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13016

[startup+0.100259 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 26116
/proc/meminfo: memFree=26816224/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=13416 CPUtime=0.09 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 728 0 0 0 9 0 0 0 20 0 1 0 336328065 13737984 663 33554432000 134512640 135840783 4294141008 4294139232 1754407 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 3354 663 349 325 0 2290 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13416

[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 26116
/proc/meminfo: memFree=26816224/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=14588 CPUtime=0.29 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 1008 0 0 0 29 0 0 0 20 0 1 0 336328065 14938112 943 33554432000 134512640 135840783 4294141008 4294140320 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 3647 943 349 325 0 2583 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14588

[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 26116
/proc/meminfo: memFree=26816224/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=15104 CPUtime=0.69 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 1141 0 0 0 69 0 0 0 20 0 1 0 336328065 15466496 1076 33554432000 134512640 135840783 4294141008 4294140368 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 3776 1076 349 325 0 2712 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15104

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 26117
/proc/meminfo: memFree=26813092/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=15632 CPUtime=1.49 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 1277 0 0 0 149 0 0 0 20 0 1 0 336328065 16007168 1212 33554432000 134512640 135840783 4294141008 4294140368 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 3908 1212 349 325 0 2844 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15632

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 26117
/proc/meminfo: memFree=26811852/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=16004 CPUtime=3.09 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 1365 0 0 0 309 0 0 0 20 0 1 0 336328065 16388096 1300 33554432000 134512640 135840783 4294141008 4294140368 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 4001 1300 349 325 0 2937 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16004

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 26117
/proc/meminfo: memFree=26811188/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=16768 CPUtime=6.29 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 1559 0 0 0 629 0 0 0 20 0 1 0 336328065 17170432 1494 33554432000 134512640 135840783 4294141008 4294140320 134550939 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 4192 1494 349 325 0 3128 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16768

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 26117
/proc/meminfo: memFree=26809956/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=17544 CPUtime=12.68 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 1773 0 0 0 1268 0 0 0 20 0 1 0 336328065 17965056 1706 33554432000 134512640 135840783 4294141008 4294140144 1751694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 4386 1706 349 325 0 3322 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17544

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 26117
/proc/meminfo: memFree=26809584/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=18044 CPUtime=25.48 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 1892 0 0 0 2548 0 0 0 20 0 1 0 336328065 18477056 1825 33554432000 134512640 135840783 4294141008 4294140320 134551104 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 4511 1825 349 325 0 3447 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18044

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 26117
/proc/meminfo: memFree=26808360/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=19332 CPUtime=51.08 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 2205 0 0 0 5108 0 0 0 20 0 1 0 336328065 19795968 2138 33554432000 134512640 135840783 4294141008 4294140320 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 4833 2138 349 325 0 3769 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19332

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.05 3/176 26118
/proc/meminfo: memFree=26807632/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=20036 CPUtime=102.27 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 2398 0 0 0 10227 0 0 0 20 0 1 0 336328065 20516864 2330 33554432000 134512640 135840783 4294141008 4294140368 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 5009 2330 349 325 0 3945 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20036

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 26119
/proc/meminfo: memFree=26806636/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=20732 CPUtime=162.26 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 2566 0 0 0 16226 0 0 0 20 0 1 0 336328065 21229568 2498 33554432000 134512640 135840783 4294141008 4294140320 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 5183 2498 349 325 0 4119 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 20732

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 26119
/proc/meminfo: memFree=26805768/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=21664 CPUtime=222.25 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 2806 0 0 0 22225 0 0 0 20 0 1 0 336328065 22183936 2737 33554432000 134512640 135840783 4294141008 4294140368 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 5416 2737 349 325 0 4352 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 21664

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 26119
/proc/meminfo: memFree=26805772/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=21864 CPUtime=282.24 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 2848 0 0 0 28224 0 0 0 20 0 1 0 336328065 22388736 2773 33554432000 134512640 135840783 4294141008 4294140284 3568743 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 5466 2773 349 325 0 4402 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 21864

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 26119
/proc/meminfo: memFree=26805032/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=22656 CPUtime=342.23 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3070 0 0 0 34223 0 0 0 20 0 1 0 336328065 23199744 2973 33554432000 134512640 135840783 4294141008 4294140368 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 5664 2973 349 325 0 4600 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 22656

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 26120
/proc/meminfo: memFree=26805032/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=22616 CPUtime=402.22 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3070 0 0 0 40222 0 0 0 20 0 1 0 336328065 23158784 2973 33554432000 134512640 135840783 4294141008 4294140364 3598528 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 5654 2973 349 325 0 4590 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 22616

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 26120
/proc/meminfo: memFree=26804784/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=22700 CPUtime=462.21 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3085 0 0 0 46221 0 0 0 20 0 1 0 336328065 23244800 2988 33554432000 134512640 135840783 4294141008 4294140368 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 5675 2988 349 325 0 4611 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 22700

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 26120
/proc/meminfo: memFree=26804164/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=23604 CPUtime=522.2 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3312 0 0 0 52220 0 0 0 20 0 1 0 336328065 24170496 3214 33554432000 134512640 135840783 4294141008 4294140368 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 5901 3214 349 325 0 4837 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 23604

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 26120
/proc/meminfo: memFree=26803356/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=23660 CPUtime=582.19 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3332 0 0 0 58219 0 0 0 20 0 1 0 336328065 24227840 3234 33554432000 134512640 135840783 4294141008 4294140368 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 5915 3234 349 325 0 4851 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 23660

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26124
/proc/meminfo: memFree=26802136/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=24624 CPUtime=882.14 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3566 0 0 0 88214 0 0 0 20 0 1 0 336328065 25214976 3468 33554432000 134512640 135840783 4294141008 4294140368 134551079 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6156 3468 349 325 0 5092 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 24624

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26124
/proc/meminfo: memFree=26802136/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=24624 CPUtime=942.14 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3566 0 0 0 94214 0 0 0 20 0 1 0 336328065 25214976 3468 33554432000 134512640 135840783 4294141008 4294140320 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6156 3468 349 325 0 5092 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 24624

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26202
/proc/meminfo: memFree=26765992/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=24624 CPUtime=1002.13 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3567 0 0 0 100213 0 0 0 20 0 1 0 336328065 25214976 3469 33554432000 134512640 135840783 4294141008 4294140320 134551428 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6156 3469 349 325 0 5092 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 24624

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26202
/proc/meminfo: memFree=26735468/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=24668 CPUtime=1062.12 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3580 0 0 0 106212 0 0 0 20 0 1 0 336328065 25260032 3482 33554432000 134512640 135840783 4294141008 4294140368 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6167 3482 349 325 0 5103 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 24668

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26202
/proc/meminfo: memFree=26712512/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=24628 CPUtime=1122.11 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3580 0 0 0 112211 0 0 0 20 0 1 0 336328065 25219072 3479 33554432000 134512640 135840783 4294141008 4294140368 134551324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6157 3479 349 325 0 5093 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 24628

[startup+1182.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26202
/proc/meminfo: memFree=26692520/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=24624 CPUtime=1182.1 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3580 0 0 0 118210 0 0 0 20 0 1 0 336328065 25214976 3478 33554432000 134512640 135840783 4294141008 4294139312 1752298 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6156 3478 349 325 0 5092 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 24624

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26205
/proc/meminfo: memFree=26674536/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=25636 CPUtime=1242.09 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3831 0 0 0 124209 0 0 0 20 0 1 0 336328065 26251264 3729 33554432000 134512640 135840783 4294141008 4294140368 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6409 3729 349 325 0 5345 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 25636

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26228
/proc/meminfo: memFree=26657184/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=25780 CPUtime=1302.08 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3867 0 0 0 130208 0 0 0 20 0 1 0 336328065 26398720 3764 33554432000 134512640 135840783 4294141008 4294140368 134550817 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6445 3764 349 325 0 5381 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 25780

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26229
/proc/meminfo: memFree=26640816/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=25808 CPUtime=1362.07 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3873 0 0 0 136207 0 0 0 20 0 1 0 336328065 26427392 3770 33554432000 134512640 135840783 4294141008 4294140320 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6452 3770 349 325 0 5388 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 25808

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26229
/proc/meminfo: memFree=26628384/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=25796 CPUtime=1422.07 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3897 0 0 0 142207 0 0 0 20 0 1 0 336328065 26415104 3771 33554432000 134512640 135840783 4294141008 4294140432 134546112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6449 3771 349 325 0 5385 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 25796

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26229
/proc/meminfo: memFree=26617224/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=25792 CPUtime=1482.05 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3897 0 0 0 148205 0 0 0 20 0 1 0 336328065 26411008 3770 33554432000 134512640 135840783 4294141008 4294140304 134571488 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6448 3770 349 325 0 5384 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 25792

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26229
/proc/meminfo: memFree=26606412/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=25908 CPUtime=1542.04 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3926 0 0 0 154204 0 0 0 20 0 1 0 336328065 26529792 3799 33554432000 134512640 135840783 4294141008 4294140368 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6477 3799 349 325 0 5413 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 25908

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26229
/proc/meminfo: memFree=26591536/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=25836 CPUtime=1602.03 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3926 0 0 0 160203 0 0 0 20 0 1 0 336328065 26456064 3781 33554432000 134512640 135840783 4294141008 4294140368 134551455 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6459 3781 349 325 0 5395 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 25836

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 26230
/proc/meminfo: memFree=26580252/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=26072 CPUtime=1662.02 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3974 0 0 0 166202 0 0 0 20 0 1 0 336328065 26697728 3829 33554432000 134512640 135840783 4294141008 4294140368 134551324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6518 3829 349 325 0 5454 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 26072

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26230
/proc/meminfo: memFree=26568376/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=26028 CPUtime=1722.01 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3974 0 0 0 172201 0 0 0 20 0 1 0 336328065 26652672 3829 33554432000 134512640 135840783 4294141008 4294140368 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6507 3829 349 325 0 5443 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 26028

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26230
/proc/meminfo: memFree=26556968/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=26064 CPUtime=1782 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3982 0 0 0 178200 0 0 0 20 0 1 0 336328065 26689536 3824 33554432000 134512640 135840783 4294141008 4294140368 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6516 3824 349 325 0 5452 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 26064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26233
/proc/meminfo: memFree=26553532/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=26048 CPUtime=1800.01 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3982 0 0 0 180001 0 0 0 20 0 1 0 336328065 26673152 3824 33554432000 134512640 135840783 4294141008 4294140320 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6512 3824 349 325 0 5448 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 26048

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/178 26233
/proc/meminfo: memFree=26553532/32873648 swapFree=7120/7120
[pid=26116] ppid=26114 vsize=26048 CPUtime=1800.01 cores=1,3,5,7
/proc/26116/stat : 26116 (bsolo3.0.17) R 26114 26116 23594 0 -1 4202496 3982 0 0 0 180001 0 0 0 20 0 1 0 336328065 26673152 3824 33554432000 134512640 135840783 4294141008 4294140320 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26116/statm: 6512 3824 349 325 0 5448 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 26048

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.008998
maximum resident set size= 15316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3985
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= 19
involuntary context switches= 1859

runsolver used 3.22051 second user time and 8.70468 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-03 07:40:07
IDJOB=3734903
IDBENCH=2917
IDSOLVER=2318
FILE ID=node114/3734903-1338702007
RUNJOBID= node114-1338678627-23615
PBS_JOBID= 14636699
Free space on /tmp= 70136 MiB

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

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

MD5SUM BENCH= dc0116cc9dd2d87e5a6934d46be3ef43
RANDOM SEED=780320650

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26816472 kB
Buffers:          913508 kB
Cached:          4150100 kB
SwapCached:         2312 kB
Active:          2589148 kB
Inactive:        2499708 kB
Active(anon):      11364 kB
Inactive(anon):     8432 kB
Active(file):    2577784 kB
Inactive(file):  2491276 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103580 kB
Dirty:              6692 kB
Writeback:             0 kB
AnonPages:         22656 kB
Mapped:            12428 kB
Shmem:               104 kB
Slab:             830768 kB
SReclaimable:     274932 kB
SUnreclaim:       555836 kB
KernelStack:        1464 kB
PageTables:         4596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     142888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 70128 MiB
End job on node114 at 2012-06-03 08:10:09