Trace number 3736902

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.17SAT (TO)5 1800.08 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_4.opb
MD5SUM4c6ab7a9b1b11dc4bf8c6231156cc585
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.88071
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint41
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3070
Sum of products size (including duplicates)6140
Number of different products3070
Sum of products size6140

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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-3736902-1338711123.opb
0.00/0.00	c File size is 38543 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.006 s
0.00/0.01	c Var: 3170 Constr: 6240 3170/0/3070 Lit: 21590 Watch. Lit: 15550
0.00/0.01	c Obj. Vars: 100 (3.15457 % of total variables)
0.03/0.08	c Pre-processing Time: 0.079 s
0.03/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.08	c        0   3170     6240    21590    3    15550   19476      0      0 0.08
0.03/0.08	c Switching off LPR mode.
0.03/0.08	o 99	0.08
0.03/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.08	c        0   3170     6241    21690    3    15553   19543      1      0 0.08
0.03/0.08	o 98	0.081
0.03/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.08	c        0   3170     6242    21790    3    15557   19643      2      0 0.08
0.03/0.08	o 97	0.082
0.03/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.08	c        0   3170     6243    21890    3    15562   19776      3      0 0.08
0.03/0.08	o 96	0.084
0.03/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.08	c        0   3170     6244    21990    3    15568   19943      4      0 0.08
0.03/0.08	o 95	0.085
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        0   3170     6245    22090    3    15575   20143      5      0 0.09
0.03/0.09	o 94	0.086
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        0   3170     6246    22190    3    15583   20376      6      0 0.09
0.03/0.09	o 93	0.087
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        0   3170     6247    22290    3    15592   20643      7      0 0.09
0.03/0.09	o 92	0.088
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        0   3170     6248    22390    3    15602   20943      8      0 0.09
0.03/0.09	o 91	0.089
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        0   3170     6249    22490    3    15613   21276      9      0 0.09
0.03/0.09	o 90	0.091
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        0   3170     6250    22590    3    15625   21643     10      0 0.09
0.03/0.09	o 86	0.092
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        1   3170     6252    22780    3    15643   21776     12     10 0.09
0.03/0.09	o 7	0.093
17.59/17.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.59/17.64	c        1   3170     6253    22880    3    15738   22276     13     10 0.09
17.59/17.64	c      101   3170     6353    31899    5    15938   24504    113    943 0.11
17.59/17.64	c      351   3170     6603    60497    9    16438   26955    363   2420 0.14
17.59/17.64	c      827   3170     7079   113285   16    17390   29651    839   3919 0.21
17.59/17.64	c     1642   3170     7894   187720   23    19020   32617   1654   4815 0.34
17.59/17.64	c     2963   3170     9215   316325   34    21662   35879   2975   4833 0.61
17.59/17.64	c     5045   3170    11297   495094   43    25826   39467   5057   4995 1.01
17.59/17.64	c     8270   3170    14522   832235   57    32276   43414   8282   4569 1.81
17.59/17.64	c    13206   3170    19458  1330562   68    42148   47756  13218   3646 3.62
17.59/17.64	c    20715   3170    26967  2261719   83    57166   52532  20727   2771 7.47
17.59/17.64	c    32077   3170    38329  3361581   87    79890   57786  32089   2448 13.10
17.59/17.64	o 6	17.641
1755.08/1755.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1755.08/1755.59	c    40123   3170    46376  4229621   91    96078   22276  40136   2274 17.64
1755.08/1755.59	c    40223   3170    17479  1209238   69    38122   24504  11239   2232 18.02
1755.08/1755.59	c    40474   3170    17730  1229173   69    38624   26955  11490   2233 18.12
1755.08/1755.59	c    40950   3170    18206  1279648   70    39576   29651  11966   2236 18.31
1755.08/1755.59	c    41763   3170    19019  1363857   71    41202   32617  12779   2249 18.57
1755.08/1755.59	c    43084   3170    20340  1527025   75    43844   35879  14100   2261 19.05
1755.08/1755.59	c    45165   3170    22421  1746611   77    48006   39467  16181   2266 19.93
1755.08/1755.59	c    48392   3170    25648  2090048   81    54460   43414  19408   2236 21.64
1755.08/1755.59	c    53330   3170    30586  2540535   83    64336   47756  24346   2205 24.18
1755.08/1755.59	c    60837   3170    38093  3338328   87    79350   52532  31853   2159 28.17
1755.08/1755.59	c    72202   3170    49458  4901268   99   102080   57786  43218   1920 37.60
1755.08/1755.59	c    89346   3170    19384  2046439  105    41932   63565  13144   1548 57.70
1755.08/1755.59	c   115166   3170    45204  7978006  176    93572   69922  38964   1414 81.43
1755.08/1755.59	c   153998   3170    25204  2440380   96    53572   76915  18964   1228 125.35
1755.08/1755.59	c   212353   3170    19086  1899933   99    41336   84607  12846   1068 198.73
1755.08/1755.59	c   299985   3170    33864  3834759  113    70892   93068  27624    999 300.08
1755.08/1755.59	c   431542   3170    84420  7778825   92   172004  102375  78180    939 459.32
1755.08/1755.59	c   628976   3170    99588 14038887  140   202340  112613  93348    847 742.05
1755.08/1755.59	c   925232   3170    91628  7424013   81   186420  123875  85388    772 1197.11
1755.08/1755.59	o 5	1755.17
1800.07/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.50	c  1319117   3170    35667  2557919   71    74593   20476  29427    751 1755.17
1800.07/1800.50	c  1319219   3170    16581   956011   57    36327   22524  10341    751 1755.42
1800.07/1800.50	c  1319470   3170    16832   985214   58    36829   24777  10592    751 1755.52
1800.07/1800.50	c  1319945   3170    17307  1067362   61    37779   27255  11067    751 1755.70
1800.07/1800.50	c  1320758   3170    18120  1130349   62    39405   29981  11880    752 1756.03
1800.07/1800.50	c  1322078   3170    19440  1271437   65    42045   32980  13200    752 1756.60
1800.07/1800.50	c  1324161   3170    21523  1447260   67    46211   36279  15283    753 1757.40
1800.07/1800.50	c  1327386   3170    24748  1728560   69    52661   39907  18508    754 1759.05
1800.07/1800.50	c  1332322   3170    29684  2752707   92    62533   43898  23444    756 1761.68
1800.07/1800.50	c  1339830   3170    37192  4424459  118    77549   48288  30952    758 1767.25
1800.07/1800.50	c  1351192   3170    48554  6085760  125   100273   53117  42314    761 1774.85
1800.07/1800.50	c  1368341   3170    23242  4018253  172    49649   58429  17002    763 1791.60
1800.07/1800.50	c Caught signal: 15
1800.07/1800.50	v -x1 -x2 -x3 -x4 x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
1800.07/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.50	c   53  1381882 408166  2355812    36783  6183295  30543    767 1800.08
1800.07/1800.50	c Objective: 5
1800.07/1800.50	s SATISFIABLE
1800.07/1800.50	c Total time: 1800.08 s

Verifier Data

OK	5

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-3736902-1338711123/watcher-3736902-1338711123 -o /tmp/evaluation-result-3736902-1338711123/solver-3736902-1338711123 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736902-1338711123.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.03 3/176 26882
/proc/meminfo: memFree=25317396/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=4872 CPUtime=0 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 337239623 4988928 459 33554432000 134512640 135840783 4293708912 4293707520 8856871 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 1218 461 332 325 0 144 0

[startup+0.0368 s]
/proc/loadavg: 2.00 2.00 2.03 3/176 26882
/proc/meminfo: memFree=25317396/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=6184 CPUtime=0.03 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 856 0 0 0 3 0 0 0 20 0 1 0 337239623 6332416 782 33554432000 134512640 135840783 4293708912 4293669964 1688624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 1546 782 342 325 0 482 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6184

[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.03 3/176 26882
/proc/meminfo: memFree=25317396/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=6448 CPUtime=0.09 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 1017 0 0 0 9 0 0 0 20 0 1 0 337239623 6602752 877 33554432000 134512640 135840783 4293708912 4293708224 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 1612 877 348 325 0 548 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6448

[startup+0.300215 s]
/proc/loadavg: 2.00 2.00 2.03 3/176 26882
/proc/meminfo: memFree=25317396/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=8132 CPUtime=0.29 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 1443 0 0 0 29 0 0 0 20 0 1 0 337239623 8327168 1303 33554432000 134512640 135840783 4293708912 4293704688 8856871 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 2033 1303 348 325 0 969 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8132

[startup+0.700219 s]
/proc/loadavg: 2.00 2.00 2.03 3/176 26882
/proc/meminfo: memFree=25317396/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=10868 CPUtime=0.69 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 2113 0 0 0 69 0 0 0 20 0 1 0 337239623 11128832 1973 33554432000 134512640 135840783 4293708912 4293706464 8856871 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 2717 1973 348 325 0 1653 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10868

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 26883
/proc/meminfo: memFree=25308204/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=15844 CPUtime=1.48 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 3356 0 0 0 148 0 0 0 20 0 1 0 337239623 16224256 3216 33554432000 134512640 135840783 4293708912 4293708000 8856871 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 3961 3216 348 325 0 2897 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15844

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 26883
/proc/meminfo: memFree=25301012/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=22472 CPUtime=3.09 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 5027 0 0 0 308 1 0 0 20 0 1 0 337239623 23011328 4887 33554432000 134512640 135840783 4293708912 4293708272 134551182 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 5618 4887 348 325 0 4554 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22472

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 26883
/proc/meminfo: memFree=25283636/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=34228 CPUtime=6.29 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 7947 0 0 0 627 2 0 0 20 0 1 0 337239623 35049472 7807 33554432000 134512640 135840783 4293708912 4293708272 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 8557 7808 348 325 0 7493 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34228

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 26883
/proc/meminfo: memFree=25259116/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=51492 CPUtime=12.68 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 12262 0 0 0 1265 3 0 0 20 0 1 0 337239623 52727808 12122 33554432000 134512640 135840783 4293708912 4293708272 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 12873 12122 348 325 0 11809 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 51492

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 26883
/proc/meminfo: memFree=25232964/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=64344 CPUtime=25.49 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 15528 0 0 0 2545 4 0 0 20 0 1 0 337239623 65888256 15348 33554432000 134512640 135840783 4293708912 4293705904 8854277 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 16086 15348 348 325 0 15022 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64344

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 26883
/proc/meminfo: memFree=25180356/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=99332 CPUtime=51.08 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 24285 0 0 0 5102 6 0 0 20 0 1 0 337239623 101715968 24105 33554432000 134512640 135840783 4293708912 4293708264 3139750 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 24833 24105 348 325 0 23769 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 99332

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 26883
/proc/meminfo: memFree=25091504/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=143164 CPUtime=102.28 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 35296 0 0 0 10218 10 0 0 20 0 1 0 337239623 146599936 35057 33554432000 134512640 135840783 4293708912 4293708272 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 35791 35057 348 325 0 34727 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 143164

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 26884
/proc/meminfo: memFree=25019488/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=166168 CPUtime=162.27 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 41128 0 0 0 16215 12 0 0 20 0 1 0 337239623 170156032 40818 33554432000 134512640 135840783 4293708912 4293708272 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 41542 40818 348 325 0 40478 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 166168

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26884
/proc/meminfo: memFree=24963616/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=166584 CPUtime=222.26 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 41287 0 0 0 22214 12 0 0 20 0 1 0 337239623 170582016 40901 33554432000 134512640 135840783 4293708912 4293708272 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 41646 40901 348 325 0 40582 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 166584

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26884
/proc/meminfo: memFree=24922180/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=166608 CPUtime=282.25 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 41295 0 0 0 28213 12 0 0 20 0 1 0 337239623 170606592 40912 33554432000 134512640 135840783 4293708912 4293708272 134551368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 41652 40912 348 325 0 40588 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 166608

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26884
/proc/meminfo: memFree=24878560/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=170324 CPUtime=342.19 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 42365 0 0 0 34207 12 0 0 20 0 1 0 337239623 174411776 41849 33554432000 134512640 135840783 4293708912 4293708272 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 42581 41849 348 325 0 41517 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 170324

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26884
/proc/meminfo: memFree=24842168/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=173396 CPUtime=402.15 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 43242 0 0 0 40203 12 0 0 20 0 1 0 337239623 177557504 42602 33554432000 134512640 135840783 4293708912 4293708272 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 43349 42602 348 325 0 42285 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 173396

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26885
/proc/meminfo: memFree=24807200/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=173396 CPUtime=462.14 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 43242 0 0 0 46202 12 0 0 20 0 1 0 337239623 177557504 42602 33554432000 134512640 135840783 4293708912 4293708272 134551646 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 43349 42602 348 325 0 42285 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 173396

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 26888
/proc/meminfo: memFree=24759572/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=188880 CPUtime=522.13 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 47231 0 0 0 52200 13 0 0 20 0 1 0 337239623 193413120 46489 33554432000 134512640 135840783 4293708912 4293708272 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 47220 46489 348 325 0 46156 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 188880

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26888
/proc/meminfo: memFree=24668068/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=254088 CPUtime=582.13 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 63528 0 0 0 58195 18 0 0 20 0 1 0 337239623 260186112 62786 33554432000 134512640 135840783 4293708912 4293708272 134550884 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 63522 62786 348 325 0 62458 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 254088

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26890
/proc/meminfo: memFree=24368240/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=320392 CPUtime=882.08 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 80089 0 0 0 88186 22 0 0 20 0 1 0 337239623 328081408 79347 33554432000 134512640 135840783 4293708912 4293708272 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 80098 79347 348 325 0 79034 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 320392

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26890
/proc/meminfo: memFree=24295212/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=355168 CPUtime=942.07 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 88802 0 0 0 94182 25 0 0 20 0 1 0 337239623 363692032 88060 33554432000 134512640 135840783 4293708912 4293708264 3139769 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 88792 88060 348 325 0 87728 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 355168

[startup+1002.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 26929
/proc/meminfo: memFree=26409460/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394540 CPUtime=1002.06 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98738 0 0 0 100178 28 0 0 20 0 1 0 337239623 404008960 97884 33554432000 134512640 135840783 4293708912 4293708272 134551365 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98635 97884 348 325 0 97571 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 394540

[startup+1062.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 26930
/proc/meminfo: memFree=26408716/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394540 CPUtime=1062.05 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98738 0 0 0 106177 28 0 0 20 0 1 0 337239623 404008960 97884 33554432000 134512640 135840783 4293708912 4293708272 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98635 97884 348 325 0 97571 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 394540

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 26933
/proc/meminfo: memFree=26408520/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394540 CPUtime=1122.02 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98770 0 0 0 112174 28 0 0 20 0 1 0 337239623 404008960 97884 33554432000 134512640 135840783 4293708912 4293708272 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98635 97884 348 325 0 97571 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 394540

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26933
/proc/meminfo: memFree=26408060/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394540 CPUtime=1181.97 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98818 0 0 0 118169 28 0 0 20 0 1 0 337239623 404008960 97884 33554432000 134512640 135840783 4293708912 4293708272 134550832 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98635 97884 348 325 0 97571 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 394540

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26933
/proc/meminfo: memFree=26406952/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394548 CPUtime=1241.95 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98846 0 0 0 124166 29 0 0 20 0 1 0 337239623 404017152 97886 33554432000 134512640 135840783 4293708912 4293708224 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98637 97886 348 325 0 97573 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 394548

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26933
/proc/meminfo: memFree=26406708/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394584 CPUtime=1301.95 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98855 0 0 0 130166 29 0 0 20 0 1 0 337239623 404054016 97895 33554432000 134512640 135840783 4293708912 4293708272 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98646 97895 348 325 0 97582 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 394584

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26934
/proc/meminfo: memFree=26406460/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394584 CPUtime=1361.93 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98855 0 0 0 136164 29 0 0 20 0 1 0 337239623 404054016 97895 33554432000 134512640 135840783 4293708912 4293708272 134550791 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98646 97895 348 325 0 97582 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 394584

[startup+1422.31 s]
/proc/loadavg: 2.07 2.00 2.00 3/177 26934
/proc/meminfo: memFree=26406460/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394584 CPUtime=1421.93 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98855 0 0 0 142164 29 0 0 20 0 1 0 337239623 404054016 97895 33554432000 134512640 135840783 4293708912 4293708272 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98646 97895 348 325 0 97582 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 394584

[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 26934
/proc/meminfo: memFree=26406088/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394584 CPUtime=1481.91 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98855 0 0 0 148162 29 0 0 20 0 1 0 337239623 404054016 97895 33554432000 134512640 135840783 4293708912 4293708272 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98646 97895 348 325 0 97582 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 394584

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26934
/proc/meminfo: memFree=26405964/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394584 CPUtime=1541.9 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98855 0 0 0 154161 29 0 0 20 0 1 0 337239623 404054016 97895 33554432000 134512640 135840783 4293708912 4293708272 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98646 97895 348 325 0 97582 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 394584

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26934
/proc/meminfo: memFree=26405964/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394584 CPUtime=1601.89 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98855 0 0 0 160160 29 0 0 20 0 1 0 337239623 404054016 97895 33554432000 134512640 135840783 4293708912 4293708272 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98646 97895 348 325 0 97582 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 394584

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26935
/proc/meminfo: memFree=26405968/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394584 CPUtime=1661.88 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98855 0 0 0 166159 29 0 0 20 0 1 0 337239623 404054016 97895 33554432000 134512640 135840783 4293708912 4293708272 134550887 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98646 97895 348 325 0 97582 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 394584

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26938
/proc/meminfo: memFree=26404680/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394584 CPUtime=1721.88 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98855 0 0 0 172159 29 0 0 20 0 1 0 337239623 404054016 97895 33554432000 134512640 135840783 4293708912 4293708272 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98646 97895 348 325 0 97582 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 394584

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26938
/proc/meminfo: memFree=26404876/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=394584 CPUtime=1781.87 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98855 0 0 0 178158 29 0 0 20 0 1 0 337239623 404054016 97895 33554432000 134512640 135840783 4293708912 4293708272 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98646 97895 348 325 0 97582 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 394584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26938
/proc/meminfo: memFree=26406116/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=393304 CPUtime=1800.07 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98855 0 0 0 179978 29 0 0 20 0 1 0 337239623 402743296 97607 33554432000 134512640 135840783 4293708912 4293708272 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98326 97607 348 325 0 97262 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 393304

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26938
/proc/meminfo: memFree=26406116/32873648 swapFree=7120/7120
[pid=26882] ppid=26880 vsize=393304 CPUtime=1800.07 cores=0,2,4,6
/proc/26882/stat : 26882 (bsolo3.0.17) R 26880 26882 23594 0 -1 4202496 98855 0 0 0 179978 29 0 0 20 0 1 0 337239623 402743296 97607 33554432000 134512640 135840783 4293708912 4293708272 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26882/statm: 98326 97607 348 325 0 97262 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 393304

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.79
CPU system time (s): 0.291955
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 394988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.291955
maximum resident set size= 391984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98858
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= 193
involuntary context switches= 1901

runsolver used 3.37049 second user time and 8.96364 second system time

The end

Launcher Data

Begin job on node114 at 2012-06-03 10:12:03
IDJOB=3736902
IDBENCH=48143
IDSOLVER=2318
FILE ID=node114/3736902-1338711123
RUNJOBID= node114-1338678627-23614
PBS_JOBID= 14636699
Free space on /tmp= 70136 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_4.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736902-1338711123/watcher-3736902-1338711123 -o /tmp/evaluation-result-3736902-1338711123/solver-3736902-1338711123 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3736902-1338711123.opb            

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

MD5SUM BENCH= 4c6ab7a9b1b11dc4bf8c6231156cc585
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:        25317916 kB
Buffers:          922916 kB
Cached:          4152680 kB
SwapCached:         2312 kB
Active:          4087456 kB
Inactive:        2491856 kB
Active(anon):    1490068 kB
Inactive(anon):     8432 kB
Active(file):    2597388 kB
Inactive(file):  2483424 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103580 kB
Dirty:              6224 kB
Writeback:             0 kB
AnonPages:       1501448 kB
Mapped:            12372 kB
Shmem:               104 kB
Slab:             835512 kB
SReclaimable:     279936 kB
SUnreclaim:       555576 kB
KernelStack:        1480 kB
PageTables:         7120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1613924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1251328 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 10:42:05