Trace number 3734991

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.03 1802.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_3.opb
MD5SUM37c74b9e914d30b1ddfc0838676dd479
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark607.011
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables41
Total number of constraints11
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 constraints10
Minimum length of a constraint1
Maximum length of a constraint40
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 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3487
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-3734991-1338702612.opb
0.00/0.00	c File size is 3364 bytes.
0.00/0.00	c Highest Coefficient sum: 3487
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 41 Constr: 11 1/0/10 Lit: 395 Watch. Lit: 138
0.00/0.00	c Obj. Vars: 1 (2.43902 % 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     40       10      394   39      142     788      0      0 0.00
0.00/0.00	c Switching off LPR mode.
1800.01/1800.30	c      102     40      112     3386   30      422     867    102  25500 0.00
1800.01/1800.30	c      252     40      262     7623   29      722     954    252  28000 0.01
1800.01/1800.30	c      477     40      487    14245   29     1182    1050    477  28058 0.02
1800.01/1800.30	c      816     40      826    24446   29     1852    1156    816  26322 0.03
1800.01/1800.30	c     1324     40      730    21703   29     1661    1272    720  23228 0.06
1800.01/1800.30	c     2087     40      840    24951   29     1886    1400    830  21739 0.10
1800.01/1800.30	c     3233     40     1253    37175   29     2713    1541   1243  20333 0.16
1800.01/1800.30	c     4954     40     1390    40056   28     2991    1696   1380  19975 0.25
1800.01/1800.30	c     7538     40     1338    38682   28     2882    1866   1328  19083 0.40
1800.01/1800.30	c    11417     40     1394    39955   28     3002    2053   1384  18414 0.62
1800.01/1800.30	c    17239     40     1955    56423   28     4109    2259   1945  17572 0.98
1800.01/1800.30	c    25976     40     1461    41731   28     3131    2485   1451  16769 1.55
1800.01/1800.30	c    39086     40     1922    55790   29     4044    2734   1912  15973 2.45
1800.01/1800.30	c    58756     40     2098    61377   29     4409    3008   2088  15381 3.82
1800.01/1800.30	c    88266     40     2555    73491   28     5313    3309   2545  14819 5.96
1800.01/1800.30	c   132537     40     3188    92142   28     6591    3640   3178  13917 9.52
1800.01/1800.30	c   198947     40     3214    93122   28     6637    4005   3204  12989 15.32
1800.01/1800.30	c   298568     40     3484    98029   28     7186    4406   3474  12286 24.30
1800.01/1800.30	c   448003     40     3678   107588   29     7562    4847   3668  11519 38.89
1800.01/1800.30	c   672161     40     2737    78233   28     5684    5332   2727  10726 62.66
1800.01/1800.30	c  1008404     40     2733    80838   29     5676    5866   2723   9760 103.31
1800.01/1800.30	c  1512776     40     4407   124900   28     9026    6453   4397   9127 165.74
1800.01/1800.30	c  2269340     40     3809   111293   29     7835    7099   3799   8522 266.27
1800.01/1800.30	c  3404191     40     6118   175917   28    12448    7809   6108   7861 433.00
1800.01/1800.30	c  5106474     40     7706   224052   29    15623    8590   7696   7467 683.85
1800.01/1800.30	c  7659906     40     4496   130328   28     9204    9450   4486   6993 1095.37
1800.01/1800.30	c 11490060     40     7057   201546   28    14325   10396   7047   6536 1757.73
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   27 11700612   5884 11706912     8699   254399   8689   6500 1800.03
1800.01/1800.30	s UNKNOWN
1800.01/1800.30	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-3734991-1338702612/watcher-3734991-1338702612 -o /tmp/evaluation-result-3734991-1338702612/solver-3734991-1338702612 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734991-1338702612.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/177 1351
/proc/meminfo: memFree=28670512/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) D 1349 1351 31541 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 336386846 2723840 47 33554432000 134512640 135840783 4287266352 4287264388 5489604 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 665 47 37 325 0 32 0

[startup+0.0311601 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1351
/proc/meminfo: memFree=28670512/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=12756 CPUtime=0.02 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 552 0 0 0 2 0 0 0 20 0 1 0 336386846 13062144 488 33554432000 134512640 135840783 4287266352 4287264800 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3189 488 349 325 0 2125 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12756

[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1351
/proc/meminfo: memFree=28670512/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=13016 CPUtime=0.09 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 631 0 0 0 9 0 0 0 20 0 1 0 336386846 13328384 567 33554432000 134512640 135840783 4287266352 4287265712 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3254 567 349 325 0 2190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13016

[startup+0.300216 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1351
/proc/meminfo: memFree=28670512/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=13280 CPUtime=0.29 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 679 0 0 0 29 0 0 0 20 0 1 0 336386846 13598720 615 33554432000 134512640 135840783 4287266352 4287265712 134550840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3320 615 349 325 0 2256 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13280

[startup+0.700218 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1351
/proc/meminfo: memFree=28670512/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=13416 CPUtime=0.69 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 723 0 0 0 69 0 0 0 20 0 1 0 336386846 13737984 659 33554432000 134512640 135840783 4287266352 4287265712 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3354 659 349 325 0 2290 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13416

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1352
/proc/meminfo: memFree=28669388/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=13544 CPUtime=1.49 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 758 0 0 0 149 0 0 0 20 0 1 0 336386846 13869056 694 33554432000 134512640 135840783 4287266352 4287265712 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3386 694 349 325 0 2322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13544

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1352
/proc/meminfo: memFree=28668496/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=13796 CPUtime=3.09 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 811 0 0 0 309 0 0 0 20 0 1 0 336386846 14127104 747 33554432000 134512640 135840783 4287266352 4287265660 1584704 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3449 747 349 325 0 2385 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13796

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1352
/proc/meminfo: memFree=28668000/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=14060 CPUtime=6.29 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 877 0 0 0 629 0 0 0 20 0 1 0 336386846 14397440 813 33554432000 134512640 135840783 4287266352 4287265664 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3515 813 349 325 0 2451 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14060

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1352
/proc/meminfo: memFree=28667396/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=14288 CPUtime=12.69 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 942 0 0 0 1269 0 0 0 20 0 1 0 336386846 14630912 878 33554432000 134512640 135840783 4287266352 4287265712 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3572 878 349 325 0 2508 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14288

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1352
/proc/meminfo: memFree=28667644/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=14620 CPUtime=25.48 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1037 0 0 0 2548 0 0 0 20 0 1 0 336386846 14970880 973 33554432000 134512640 135840783 4287266352 4287265628 1207039 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3655 973 349 325 0 2591 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14620

[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 1352
/proc/meminfo: memFree=28667404/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=14952 CPUtime=51.08 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1116 0 0 0 5108 0 0 0 20 0 1 0 336386846 15310848 1052 33554432000 134512640 135840783 4287266352 4287265712 134551482 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3738 1052 349 325 0 2674 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14952

[startup+102.306 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 1353
/proc/meminfo: memFree=28667156/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=15168 CPUtime=102.28 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1192 0 0 0 10228 0 0 0 20 0 1 0 336386846 15532032 1113 33554432000 134512640 135840783 4287266352 4287265712 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3792 1113 349 325 0 2728 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 15168

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 1353
/proc/meminfo: memFree=28666660/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=15464 CPUtime=162.26 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1258 0 0 0 16226 0 0 0 20 0 1 0 336386846 15835136 1179 33554432000 134512640 135840783 4287266352 4287265712 134550777 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3866 1179 349 325 0 2802 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15464

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1353
/proc/meminfo: memFree=28666288/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=15704 CPUtime=222.25 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1389 0 0 0 22225 0 0 0 20 0 1 0 336386846 16080896 1247 33554432000 134512640 135840783 4287266352 4287265712 134550817 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3926 1247 349 325 0 2862 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 15704

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1353
/proc/meminfo: memFree=28666536/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=16052 CPUtime=282.24 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1497 0 0 0 28224 0 0 0 20 0 1 0 336386846 16437248 1327 33554432000 134512640 135840783 4287266352 4287265664 134550840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4013 1327 349 325 0 2949 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 16052

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1353
/proc/meminfo: memFree=28666040/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=16116 CPUtime=342.23 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1557 0 0 0 34223 0 0 0 20 0 1 0 336386846 16502784 1349 33554432000 134512640 135840783 4287266352 4287265712 134550791 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4029 1349 349 325 0 2965 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 16116

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1354
/proc/meminfo: memFree=28664800/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=16116 CPUtime=402.22 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1564 0 0 0 40222 0 0 0 20 0 1 0 336386846 16502784 1349 33554432000 134512640 135840783 4287266352 4287265712 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4029 1349 349 325 0 2965 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 16116

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1354
/proc/meminfo: memFree=28663928/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=16416 CPUtime=462.21 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1704 0 0 0 46221 0 0 0 20 0 1 0 336386846 16809984 1420 33554432000 134512640 135840783 4287266352 4287265664 134551356 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4104 1420 349 325 0 3040 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 16416

[startup+522.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 1397
/proc/meminfo: memFree=28651216/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=16584 CPUtime=522.2 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1752 0 0 0 52220 0 0 0 20 0 1 0 336386846 16982016 1467 33554432000 134512640 135840783 4287266352 4287265712 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4146 1467 349 325 0 3082 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 16584

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1397
/proc/meminfo: memFree=28633528/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=16584 CPUtime=582.19 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1752 0 0 0 58219 0 0 0 20 0 1 0 336386846 16982016 1467 33554432000 134512640 135840783 4287266352 4287265660 9802858 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4146 1467 349 325 0 3082 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 16584

[startup+642.3 s]

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

/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1881 0 0 0 106212 0 0 0 20 0 1 0 336386846 17240064 1530 33554432000 134512640 135840783 4287266352 4287265712 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4209 1530 349 325 0 3145 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 16836

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1474
/proc/meminfo: memFree=28564204/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17224 CPUtime=1122.11 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1975 0 0 0 112211 0 0 0 20 0 1 0 336386846 17637376 1624 33554432000 134512640 135840783 4287266352 4287265712 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4306 1624 349 325 0 3242 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 17224

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1474
/proc/meminfo: memFree=28555572/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17228 CPUtime=1182.1 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2009 0 0 0 118210 0 0 0 20 0 1 0 336386846 17641472 1628 33554432000 134512640 135840783 4287266352 4287265712 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4307 1628 349 325 0 3243 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 17228

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1477
/proc/meminfo: memFree=28547752/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17288 CPUtime=1242.09 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2025 0 0 0 124209 0 0 0 20 0 1 0 336386846 17702912 1640 33554432000 134512640 135840783 4287266352 4287265664 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4322 1640 349 325 0 3258 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 17288

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1477
/proc/meminfo: memFree=28536100/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17288 CPUtime=1302.09 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2053 0 0 0 130209 0 0 0 20 0 1 0 336386846 17702912 1643 33554432000 134512640 135840783 4287266352 4287265712 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4322 1643 349 325 0 3258 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 17288

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1478
/proc/meminfo: memFree=28529520/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17308 CPUtime=1362.07 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2057 0 0 0 136207 0 0 0 20 0 1 0 336386846 17723392 1647 33554432000 134512640 135840783 4287266352 4287265712 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4327 1647 349 325 0 3263 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 17308

[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 1478
/proc/meminfo: memFree=28527088/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17308 CPUtime=1422.07 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2057 0 0 0 142207 0 0 0 20 0 1 0 336386846 17723392 1647 33554432000 134512640 135840783 4287266352 4287265664 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4327 1647 349 325 0 3263 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 17308

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1478
/proc/meminfo: memFree=28528088/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17308 CPUtime=1482.06 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2057 0 0 0 148206 0 0 0 20 0 1 0 336386846 17723392 1647 33554432000 134512640 135840783 4287266352 4287265664 10228265 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4327 1647 349 325 0 3263 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 17308

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1479
/proc/meminfo: memFree=28528080/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17376 CPUtime=1542.05 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2085 0 0 0 154205 0 0 0 20 0 1 0 336386846 17793024 1665 33554432000 134512640 135840783 4287266352 4287265712 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4344 1665 349 325 0 3280 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 17376

[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 1479
/proc/meminfo: memFree=28527832/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17432 CPUtime=1602.04 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2114 0 0 0 160204 0 0 0 20 0 1 0 336386846 17850368 1679 33554432000 134512640 135840783 4287266352 4287265712 134551501 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4358 1679 349 325 0 3294 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 17432

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1480
/proc/meminfo: memFree=28528080/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17432 CPUtime=1662.03 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2114 0 0 0 166203 0 0 0 20 0 1 0 336386846 17850368 1679 33554432000 134512640 135840783 4287266352 4287265664 134550808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4358 1679 349 325 0 3294 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 17432

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1480
/proc/meminfo: memFree=28528080/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17432 CPUtime=1722.02 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2114 0 0 0 172202 0 0 0 20 0 1 0 336386846 17850368 1679 33554432000 134512640 135840783 4287266352 4287265712 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4358 1679 349 325 0 3294 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 17432

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1480
/proc/meminfo: memFree=28527460/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17664 CPUtime=1782.01 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2185 0 0 0 178201 0 0 0 20 0 1 0 336386846 18087936 1737 33554432000 134512640 135840783 4287266352 4287265776 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4416 1737 349 325 0 3352 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 17664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1483
/proc/meminfo: memFree=28527204/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17664 CPUtime=1800.01 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2193 0 0 0 180001 0 0 0 20 0 1 0 336386846 18087936 1737 33554432000 134512640 135840783 4287266352 4287265652 1587787 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4416 1737 349 325 0 3352 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 17664

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -1351

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 1484
/proc/meminfo: memFree=28527204/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17664 CPUtime=1800.01 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) S 1349 1351 31541 0 -1 4202496 2195 0 0 0 180001 0 0 0 20 0 1 0 336386846 18087936 1739 33554432000 134512640 135840783 4287266352 4287263972 13055024 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4416 1739 350 325 0 3352 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 17664

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 1484
/proc/meminfo: memFree=28526948/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17664 CPUtime=1800.01 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) S 1349 1351 31541 0 -1 4202496 2195 0 0 0 180001 0 0 0 20 0 1 0 336386846 18087936 1739 33554432000 134512640 135840783 4287266352 4287263972 13055024 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4416 1739 350 325 0 3352 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 17664

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 1484
/proc/meminfo: memFree=28526948/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17664 CPUtime=1800.01 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) S 1349 1351 31541 0 -1 4202496 2195 0 0 0 180001 0 0 0 20 0 1 0 336386846 18087936 1739 33554432000 134512640 135840783 4287266352 4287263972 13055024 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4416 1739 350 325 0 3352 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 17664

[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 1484
/proc/meminfo: memFree=28526948/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17664 CPUtime=1800.01 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) S 1349 1351 31541 0 -1 4202496 2195 0 0 0 180001 0 0 0 20 0 1 0 336386846 18087936 1739 33554432000 134512640 135840783 4287266352 4287263972 13055024 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4416 1739 350 325 0 3352 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 17664

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.31
CPU time (s): 1800.03
CPU user time (s): 1800.02
CPU system time (s): 0.009998
CPU usage (%): 99.8735
Max. virtual memory (cumulated for all children) (KiB): 17784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.009998
maximum resident set size= 6980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2195
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= 15
involuntary context switches= 1881

runsolver used 2.67959 second user time and 7.15991 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-03 07:50:12
IDJOB=3734991
IDBENCH=2931
IDSOLVER=2318
FILE ID=node119/3734991-1338702612
RUNJOBID= node119-1338678620-31561
PBS_JOBID= 14636694
Free space on /tmp= 70892 MiB

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

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

MD5SUM BENCH= 37c74b9e914d30b1ddfc0838676dd479
RANDOM SEED=823587178

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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:        28670884 kB
Buffers:          401172 kB
Cached:          2946984 kB
SwapCached:         1936 kB
Active:          1485636 kB
Inactive:        1890352 kB
Active(anon):      23356 kB
Inactive(anon):     6624 kB
Active(file):    1462280 kB
Inactive(file):  1883728 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              6644 kB
Writeback:             0 kB
AnonPages:         32920 kB
Mapped:            13064 kB
Shmem:                 0 kB
Slab:             689236 kB
SReclaimable:     131280 kB
SUnreclaim:       557956 kB
KernelStack:        1488 kB
PageTables:         4232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     146156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 70888 MiB
End job on node119 at 2012-06-03 08:20:14