Trace number 3462731

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
bsolo 3.2SAT12 1798 1797.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_3.opb
MD5SUM8decd85a4aebca069c2c72faa547de31
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark7.07492
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
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 constraint11
Maximum length of a constraint19
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)1244
Sum of products size (including duplicates)2488
Number of different products1244
Sum of products size2488

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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462731-1307182408.opb
0.00/0.00	c File size is 16989 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 1344 Constr: 2588 1344/0/1244 Lit: 8808 Watch. Lit: 6420
0.00/0.00	c Obj. Vars: 100 (7.44048 % of total variables)
0.00/0.02	c Pre-processing Time: 0.018 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1344     2588     8808    3     6420    7912      0      0 0.02
0.00/0.02	c Switching off lower bounding mode.
0.00/0.02	o 99
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1344     2589     8908    3     6423    7978      1      0 0.02
0.00/0.02	o 98
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1344     2590     9008    3     6427    8078      2      0 0.02
0.00/0.02	o 97
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1344     2591     9108    3     6432    8212      3      0 0.02
0.00/0.02	o 96
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1344     2592     9208    3     6438    8378      4      0 0.02
0.00/0.02	o 95
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1344     2593     9308    3     6445    8578      5      0 0.02
0.00/0.02	o 94
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1344     2594     9408    3     6453    8812      6      0 0.02
0.00/0.02	o 93
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1344     2595     9508    3     6462    9078      7      0 0.02
0.00/0.02	o 92
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1344     2596     9608    3     6472    9378      8      0 0.02
0.00/0.02	o 91
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1344     2597     9708    3     6483    9712      9      0 0.03
0.00/0.02	o 90
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1344     2598     9808    3     6495   10078     10      0 0.03
0.00/0.02	o 89
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1344     2599     9908    3     6508   10478     11      0 0.03
0.00/0.03	o 88
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1344     2600    10008    3     6522   10912     12      0 0.03
0.00/0.03	o 87
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1344     2601    10108    3     6537   11378     13      0 0.03
0.00/0.03	o 86
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1344     2602    10208    3     6553   11878     14      0 0.03
0.00/0.03	o 85
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        1   1344     2604    10394    3     6572   11912     16     33 0.03
0.00/0.03	o 14
10.19/10.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.19/10.24	c        1   1344     2605    10494    4     6660   12378     17     32 0.03
10.19/10.24	c      101   1344     2714    17338    6     6933   13616    126   2020 0.05
10.19/10.24	c      354   1344     2991    35630   11     7571   14978    403   3403 0.10
10.19/10.24	c      829   1344     3534    78867   22     8904   16476    946   3717 0.22
10.19/10.24	c     1644   1344     4432   122548   27    10783   18124   1844   3850 0.43
10.19/10.24	c     2965   1344     5828   196188   33    13656   19937   3240   3865 0.77
10.19/10.24	c     5046   1344     8040   338913   42    18786   21931   5452   3386 1.49
10.19/10.24	c     8269   1344    11632   637123   54    26434   24125   9044   2851 2.90
10.19/10.24	c    13207   1344    17037  1087827   63    37667   26538  14449   2283 5.78
10.19/10.24	o 13
762.61/762.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
762.61/762.61	c    19065   1344    23507  1716993   73    51526   12378  20919   1862 10.24
762.61/762.61	c    19166   1344     8883   621131   69    19855   13616   6295   1841 10.41
762.61/762.61	c    19416   1344     9161   650078   70    20536   14978   6573   1840 10.55
762.61/762.61	c    19891   1344     9675   701336   72    21564   16476   7087   1844 10.79
762.61/762.61	c    20704   1344    10524   778923   74    23403   18124   7936   1854 11.16
762.61/762.61	c    22024   1344    11957   942942   78    27125   19937   9369   1826 12.06
762.61/762.61	c    24105   1344    14302  1190600   83    33136   21931  11714   1774 13.59
762.61/762.61	c    27329   1344    17830  1588222   89    42311   24125  15242   1673 16.33
762.61/762.61	c    32266   1344    23272  2233592   95    58735   26538  20684   1531 21.07
762.61/762.61	c    39773   1344    16260  1307581   80    40990   29192  13672   1325 30.01
762.61/762.61	c    51139   1344    29030  2637385   90    69116   32112  26442   1220 41.88
762.61/762.61	c    68287   1344    28099  2964037  105    63592   35324  25511   1093 62.45
762.61/762.61	c    94111   1344    34653  4325598  124    78997   38857  32065    942 99.81
762.61/762.61	c   132943   1344    27088  3068882  113    62153   42743  24500    791 167.90
762.61/762.61	c   191296   1344    33070  3723333  112    74597   47018  30482    746 256.37
762.61/762.61	c   278928   1344    29584  2878193   97    67612   51720  26996    709 393.40
762.61/762.61	c   410483   1344    22057  1620417   73    47854   56893  19469    679 604.47
762.61/762.61	o 12
1797.93/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.96	c   507211   1344    40818  4119369  100    90626    8912  38230    665 762.63
1797.93/1797.96	c   507311   1344     7155   449271   62    17099    9804   4567    664 763.78
1797.93/1797.96	c   507561   1344     7438   478133   64    17842   10785   4850    664 763.91
1797.93/1797.96	c   508037   1344     7970   530273   66    18962   11864   5382    664 764.17
1797.93/1797.96	c   508850   1344     8899   629981   70    20943   13051   6311    665 764.62
1797.93/1797.96	c   510170   1344    10442   805071   77    24370   14357   7854    666 765.57
1797.93/1797.96	c   512252   1344    12845  1086877   84    30095   15793  10257    667 767.45
1797.93/1797.96	c   515477   1344    16602  1528322   92    38005   17373  14014    668 770.53
1797.93/1797.96	c   520413   1344    13287  1210916   91    30036   19111  10699    671 775.49
1797.93/1797.96	c   527919   1344    12145  1081371   89    28054   21023   9557    675 781.95
1797.93/1797.96	c   539281   1344    13996  1081185   77    31457   23126  11408    681 790.92
1797.93/1797.96	c   556425   1344    21807  2285963  104    48232   25439  19219    687 809.32
1797.93/1797.96	c   582244   1344    26036  2774179  106    56941   27983  23448    693 839.04
1797.93/1797.96	c   621077   1344    20735  2159785  104    48712   30782  18147    706 879.49
1797.93/1797.96	c   679431   1344    29841  2952034   98    67417   33861  27253    713 952.12
1797.93/1797.96	c   767064   1344    20686  1915308   92    45668   37248  18098    716 1071.13
1797.93/1797.96	c   898618   1344    24989  2144499   85    55343   40973  22401    719 1249.66
1797.93/1797.96	c  1096050   1344    18368  1836022   99    41457   45071  15780    723 1515.89
1797.93/1797.96	c Resources Exceeded
1797.93/1797.96	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 
1797.93/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.96	c   59  1288561 384138  2178353    38753  4028117  36165    716 1798.00
1797.93/1797.96	c Objective: 12
1797.93/1797.96	s SATISFIABLE
1797.93/1797.96	c Total time: 1798 s

Verifier Data 

OK	12

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3462731-1307182408/watcher-3462731-1307182408 -o /tmp/evaluation-result-3462731-1307182408/solver-3462731-1307182408 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462731-1307182408.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.02 2.02 2.00 2/469 15330
/proc/meminfo: memFree=23787844/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=11332 CPUtime=0 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 435 0 0 0 0 0 0 0 25 0 1 0 908471236 11603968 385 33554432000 134512640 137138936 4286650576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 2833 385 185 642 0 2189 0

[startup+0.0602219 s]
/proc/loadavg: 2.02 2.02 2.00 2/469 15330
/proc/meminfo: memFree=23787844/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=11584 CPUtime=0.05 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 495 0 0 0 5 0 0 0 25 0 1 0 908471236 11862016 445 33554432000 134512640 137138936 4286650576 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 2896 445 192 642 0 2252 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11584

[startup+0.100228 s]
/proc/loadavg: 2.02 2.02 2.00 2/469 15330
/proc/meminfo: memFree=23787844/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=11716 CPUtime=0.09 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 543 0 0 0 9 0 0 0 25 0 1 0 908471236 11997184 493 33554432000 134512640 137138936 4286650576 18446744073709551615 134552499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 2929 493 192 642 0 2285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11716

[startup+0.30018 s]
/proc/loadavg: 2.02 2.02 2.00 2/469 15330
/proc/meminfo: memFree=23787844/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=12600 CPUtime=0.29 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 770 0 0 0 29 0 0 0 25 0 1 0 908471236 12902400 720 33554432000 134512640 137138936 4286650576 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 3150 720 192 642 0 2506 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12600

[startup+0.700103 s]
/proc/loadavg: 2.02 2.02 2.00 2/469 15330
/proc/meminfo: memFree=23787844/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=13936 CPUtime=0.69 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 1097 0 0 0 69 0 0 0 25 0 1 0 908471236 14270464 1047 33554432000 134512640 137138936 4286650576 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 3484 1047 192 642 0 2840 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13936

[startup+1.50096 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 15331
/proc/meminfo: memFree=23782664/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=16212 CPUtime=1.49 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 1676 0 0 0 148 1 0 0 25 0 1 0 908471236 16601088 1626 33554432000 134512640 137138936 4286650576 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 4053 1626 192 642 0 3409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16212

[startup+3.10066 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 15332
/proc/meminfo: memFree=23778448/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=20920 CPUtime=3.09 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 2843 0 0 0 307 2 0 0 25 0 1 0 908471236 21422080 2793 33554432000 134512640 137138936 4286650576 18446744073709551615 136504259 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 5230 2793 192 642 0 4586 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20920

[startup+6.30106 s]
/proc/loadavg: 2.01 2.02 2.00 4/470 15332
/proc/meminfo: memFree=23770276/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=27884 CPUtime=6.29 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 4583 0 0 0 626 3 0 0 25 0 1 0 908471236 28553216 4533 33554432000 134512640 137138936 4286650576 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 6971 4533 192 642 0 6327 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27884

[startup+12.7009 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 15332
/proc/meminfo: memFree=23759808/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=35684 CPUtime=12.69 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 6535 0 0 0 1264 5 0 0 25 0 1 0 908471236 36540416 6485 33554432000 134512640 137138936 4286650576 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 8921 6485 192 642 0 8277 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35684

[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 15332
/proc/meminfo: memFree=23748912/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=47128 CPUtime=25.49 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 9393 0 0 0 2542 7 0 0 25 0 1 0 908471236 48259072 9343 33554432000 134512640 137138936 4286650576 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 11782 9343 192 642 0 11138 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47128

[startup+51.1007 s]
/proc/loadavg: 2.00 2.02 2.00 4/470 15333
/proc/meminfo: memFree=23737968/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=57652 CPUtime=51.09 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 12056 0 0 0 5098 11 0 0 25 0 1 0 908471236 59035648 11973 33554432000 134512640 137138936 4286650576 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 14413 11973 192 642 0 13769 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57652

[startup+102.318 s]
/proc/loadavg: 2.00 2.01 2.00 4/470 15334
/proc/meminfo: memFree=23721684/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=72984 CPUtime=102.31 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 15932 0 0 0 10215 16 0 0 25 0 1 0 908471236 74735616 15813 33554432000 134512640 137138936 4286650576 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 18246 15813 192 642 0 17602 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 72984

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15336
/proc/meminfo: memFree=23699296/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=95100 CPUtime=162.3 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 21478 0 0 0 16206 24 0 0 25 0 1 0 908471236 97382400 21320 33554432000 134512640 137138936 4286650576 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 23775 21320 192 642 0 23131 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 95100

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/470 15337
/proc/meminfo: memFree=23700380/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=95112 CPUtime=222.3 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 21481 0 0 0 22199 31 0 0 25 0 1 0 908471236 97394688 21323 33554432000 134512640 137138936 4286650576 18446744073709551615 134542460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 23778 21323 192 642 0 23134 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 95112

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/470 15339
/proc/meminfo: memFree=23700456/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=95128 CPUtime=282.3 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 21485 0 0 0 28193 37 0 0 25 0 1 0 908471236 97411072 21327 33554432000 134512640 137138936 4286650576 18446744073709551615 134542716 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 23782 21327 192 642 0 23138 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 95128

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15395
/proc/meminfo: memFree=23788720/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=95924 CPUtime=342.3 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 21752 0 0 0 34188 42 0 0 25 0 1 0 908471236 98226176 21547 33554432000 134512640 137138936 4286650576 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 23981 21547 192 642 0 23337 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 95924

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15396
/proc/meminfo: memFree=23657004/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=95924 CPUtime=402.3 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 21752 0 0 0 40180 50 0 0 25 0 1 0 908471236 98226176 21547 33554432000 134512640 137138936 4286650576 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 23981 21547 192 642 0 23337 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 95924

[startup+462.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/470 15398
/proc/meminfo: memFree=23649892/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=95940 CPUtime=462.31 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 21756 0 0 0 46176 55 0 0 25 0 1 0 908471236 98242560 21551 33554432000 134512640 137138936 4286650576 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 23985 21551 192 642 0 23341 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 95940

[startup+522.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/470 15399
/proc/meminfo: memFree=23650848/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=95940 CPUtime=522.31 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 21756 0 0 0 52168 63 0 0 25 0 1 0 908471236 98242560 21551 33554432000 134512640 137138936 4286650576 18446744073709551615 134606655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 23985 21551 192 642 0 23341 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 95940

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 15401
/proc/meminfo: memFree=23639520/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=95940 CPUtime=582.31 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 21756 0 0 0 58162 69 0 0 25 0 1 0 908471236 98242560 21551 33554432000 134512640 137138936 4286650576 18446744073709551615 134542390 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 23985 21551 192 642 0 23341 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 95940

[startup+642.301 s]

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

/proc/meminfo: memFree=23605704/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=98660 CPUtime=1062.32 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 106100 132 0 0 25 0 1 0 908471236 101027840 22242 33554432000 134512640 137138936 4286650576 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 24665 22242 192 642 0 24021 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 98660

[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 15415
/proc/meminfo: memFree=23591896/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1122.32 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 112093 139 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 96976

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15417
/proc/meminfo: memFree=23591616/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1182.33 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 118087 146 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 96976

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/470 15419
/proc/meminfo: memFree=23590968/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1242.33 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 124080 153 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 96976

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 15420
/proc/meminfo: memFree=23590448/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1302.32 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 130070 162 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 96976

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15422
/proc/meminfo: memFree=23590784/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1362.31 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 136061 170 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 96976

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15423
/proc/meminfo: memFree=23590752/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1422.34 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 142055 179 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 96976

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15425
/proc/meminfo: memFree=23591716/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1482.32 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 148045 187 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 96976

[startup+1542.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/470 15430
/proc/meminfo: memFree=23590900/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1542.32 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 154039 193 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134543230 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 96976

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/470 15431
/proc/meminfo: memFree=23591612/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1602.33 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 160031 202 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134577895 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 96976

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 15433
/proc/meminfo: memFree=23596532/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1662.33 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 166024 209 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134604237 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 96976

[startup+1722.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/470 15434
/proc/meminfo: memFree=23596484/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1722.33 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 172016 217 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 96976

[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/470 15436
/proc/meminfo: memFree=23595804/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1782.33 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 178010 223 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 96976

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

[startup+1785.5 s]
/proc/loadavg: 2.13 2.06 2.01 3/470 15436
/proc/meminfo: memFree=23595928/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1785.52 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 178329 223 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 96976

[startup+1791.92 s]
/proc/loadavg: 2.11 2.06 2.01 3/470 15436
/proc/meminfo: memFree=23595924/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1791.95 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 178971 224 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 96976

[startup+1795.1 s]
/proc/loadavg: 2.11 2.06 2.01 3/470 15436
/proc/meminfo: memFree=23595924/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1795.13 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 179289 224 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 96976

[startup+1796.7 s]
/proc/loadavg: 2.10 2.06 2.01 3/470 15436
/proc/meminfo: memFree=23595924/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1796.73 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 179449 224 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134575600 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 96976

[startup+1797.5 s]
/proc/loadavg: 2.10 2.06 2.01 3/470 15436
/proc/meminfo: memFree=23595924/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1797.53 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 179529 224 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 134542840 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 96976

[startup+1797.9 s]
/proc/loadavg: 2.10 2.06 2.01 3/470 15436
/proc/meminfo: memFree=23595924/32951124 swapFree=56297244/67111528
[pid=15330] ppid=15328 vsize=96976 CPUtime=1797.93 cores=1,3,5,7
/proc/15330/stat : 15330 (bsolo) R 15328 15330 13385 0 -1 4202496 22900 0 0 0 179569 224 0 0 25 0 1 0 908471236 99303424 21821 33554432000 134512640 137138936 4286650576 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15330/statm: 24244 21821 192 642 0 23600 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 96976

Child status: 0
Real time (s): 1797.97
CPU time (s): 1798
CPU user time (s): 1795.75
CPU system time (s): 2.25366
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 100372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.75
system time used= 2.25366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22901
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= 4
involuntary context switches= 3684

runsolver used 7.85081 second user time and 19.907 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-04 12:13:28
IDJOB=3462731
IDBENCH=48147
IDSOLVER=1955
FILE ID=node111/3462731-1307182408
RUNJOBID= node111-1307175501-14859
PBS_JOBID= 13508842
Free space on /tmp= 73864 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462731-1307182408/watcher-3462731-1307182408 -o /tmp/evaluation-result-3462731-1307182408/solver-3462731-1307182408 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462731-1307182408.opb

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

MD5SUM BENCH= 8decd85a4aebca069c2c72faa547de31
RANDOM SEED=287428962

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5428.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23788124 kB
Buffers:        323904 kB
Cached:         849972 kB
SwapCached:      11784 kB
Active:        8103844 kB
Inactive:       779532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23788124 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:            3912 kB
Writeback:           0 kB
AnonPages:     7706764 kB
Mapped:          28584 kB
Slab:           143504 kB
PageTables:      66956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149407968 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73860 MiB
End job on node111 at 2011-06-04 12:43:26