Trace number 3737045

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)-26 1800.03 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_2.opb
MD5SUM597624b9879736416e28e0a242fe0005
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark2.6406
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
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 constraint10
Maximum length of a constraint20
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)1260
Sum of products size (including duplicates)2520
Number of different products630
Sum of products size1260

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-3737045-1338712045.opb
0.00/0.00	c File size is 15118 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.003 s
0.00/0.00	c Var: 1360 Constr: 2720 1360/100/1260 Lit: 10080 Watch. Lit: 7560
0.00/0.00	c Obj. Vars: 100 (7.35294 % of total variables)
0.00/0.01	c Pre-processing Time: 0.008 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    100      630     1890    3     1260     209      0      0 0.01
0.00/0.01	c Switching off LPR mode.
0.00/0.01	o -22	0.008
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0    100      631     1990    3     1284     976      1      0 0.01
0.00/0.04	c      100    100      731     9442   12     1484    1074    101   8333 0.01
0.00/0.04	c      350    100      981    27979   28     1984    1182    351  16666 0.02
0.00/0.04	c      825    100     1456    63221   43     2934    1301    826  18750 0.04
0.00/0.04	o -23	0.045
2.69/2.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.72	c      829    100     1461    63620   43     2967    1009    831  18422 0.04
2.69/2.72	c      930    100     1562    71043   45     3169    1110    932  18235 0.05
2.69/2.72	c     1182    100     1814    89567   49     3673    1222   1184  17909 0.07
2.69/2.72	c     1657    100     2289   124281   54     4623    1345   1659  18208 0.09
2.69/2.72	c     2470    100     3102   183868   59     6249    1480   2472  15732 0.16
2.69/2.72	c     3791    100     2360   128745   54     4743    1629   1730  14145 0.27
2.69/2.72	c     5873    100     2294   123763   53     4611    1792   1664  12823 0.46
2.69/2.72	c     9096    100     3288   195638   59     6599    1972   2658  10443 0.87
2.69/2.72	c    14033    100     3581   216917   60     7185    2170   2951   9462 1.48
2.69/2.72	c    21539    100     3829   233590   61     7681    2388   3199   8889 2.42
2.69/2.72	o -24	2.725
81.07/81.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
81.07/81.15	c    24162    100     3938   243375   61     7923    1043   3308   8866 2.73
81.07/81.15	c    24263    100     1254    47132   37     2532    1148    624   8868 2.74
81.07/81.15	c    24514    100     1505    65259   43     3034    1263    875   8920 2.75
81.07/81.15	c    24990    100     1981    99601   50     3986    1390   1351   9008 2.77
81.07/81.15	c    25803    100     2794   158053   56     5612    1530   2164   9082 2.84
81.07/81.15	c    27123    100     2012   101048   50     4048    1684   1382   9244 2.93
81.07/81.15	c    29204    100     1934    95597   49     3892    1853   1304   9244 3.16
81.07/81.15	c    32427    100     2906   165242   56     5836    2039   2276   9264 3.50
81.07/81.15	c    37365    100     3143   181837   57     6310    2243   2513   9131 4.09
81.07/81.15	c    44871    100     3290   193025   58     6604    2468   2660   8699 5.16
81.07/81.15	c    56232    100     1865    90018   48     3754    2715   1235   8499 6.62
81.07/81.15	c    73377    100     2895   163795   56     5814    2987   2265   8011 9.16
81.07/81.15	c    99196    100     3313   194210   58     6650    3286   2683   7478 13.26
81.07/81.15	c   138030    100     3504   207691   59     7032    3615   2874   6966 19.81
81.07/81.15	c   196383    100     5414   345508   63    10852    3977   4784   6444 30.48
81.07/81.15	c   284016    100     3447   203468   59     6918    4375   2817   6032 47.08
81.07/81.15	c   415569    100     4967   313169   63     9958    4813   4337   5603 74.17
81.07/81.15	o -25	81.134
412.23/412.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
412.23/412.37	c   450475    100     6233   404095   64    12515    1076   5603   5552 81.13
412.23/412.37	c   450577    100     1271    47817   37     2567    1184    641   5550 81.18
412.23/412.37	c   450828    100     1522    65838   43     3069    1303    892   5552 81.20
412.23/412.37	c   451303    100     1997    99680   49     4019    1434   1367   5556 81.22
412.23/412.37	c   452116    100     2810   157723   56     5645    1578   2180   5561 81.29
412.23/412.37	c   453437    100     2006    99643   49     4037    1736   1376   5571 81.39
412.23/412.37	c   455518    100     1891    91196   48     3807    1910   1261   5581 81.61
412.23/412.37	c   458741    100     2824   157116   55     5673    2102   2194   5598 81.95
412.23/412.37	c   463678    100     2992   168828   56     6009    2313   2362   5618 82.53
412.23/412.37	c   471184    100     3025   170761   56     6075    2545   2395   5642 83.50
412.23/412.37	c   482545    100     3978   238581   59     7981    2800   3348   5662 85.22
412.23/412.37	c   499691    100     2031   100959   49     4087    3081   1401   5688 87.84
412.23/412.37	c   525511    100     4895   304469   62     9815    3390   4265   5740 91.55
412.23/412.37	c   564343    100     4390   267998   61     8805    3730   3760   5783 97.58
412.23/412.37	c   622695    100     5263   328020   62    10551    4104   4633   5758 108.14
412.23/412.37	c   710327    100     4985   309872   62     9995    4515   4355   5729 123.97
412.23/412.37	c   841879    100     3881   231634   59     7787    4967   3251   5631 149.50
412.23/412.37	c  1039312    100     3234   185344   57     6493    5464   2604   5437 191.15
412.23/412.37	c  1335565    100     7239   470552   65    14503    6011   6609   5143 259.66
412.23/412.37	c  1780048    100     5902   375817   63    11829    6613   5272   4906 362.76
412.23/412.37	o -26	412.303
1800.02/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.30	c  1979794    100     6389   410117   64    12829    1109   5759   4801 412.30
1800.02/1800.30	c  1979896    100     1288    47916   37     2602    1220    658   4801 412.32
1800.02/1800.30	c  1980147    100     1539    65564   42     3104    1343    909   4802 412.33
1800.02/1800.30	c  1980622    100     2014    99026   49     4054    1478   1384   4803 412.36
1800.02/1800.30	c  1981436    100     2828   156063   55     5682    1626   2198   4804 412.41
1800.02/1800.30	c  1982756    100     2003    97534   48     4032    1789   1373   4806 412.54
1800.02/1800.30	c  1984837    100     1854    87131   46     3734    1968   1224   4809 412.70
1800.02/1800.30	c  1988061    100     2773   151315   54     5572    2165   2143   4814 412.96
1800.02/1800.30	c  1992997    100     2888   158967   55     5802    2382   2258   4820 413.47
1800.02/1800.30	c  2000504    100     2843   155329   54     5712    2621   2213   4826 414.51
1800.02/1800.30	c  2011865    100     3655   213308   58     7336    2884   3025   4838 415.80
1800.02/1800.30	c  2029009    100     4169   248130   59     8364    3173   3539   4855 417.92
1800.02/1800.30	c  2054828    100     3734   217445   58     7494    3491   3104   4873 421.65
1800.02/1800.30	c  2093661    100     2607   139702   53     5240    3841   1977   4899 427.32
1800.02/1800.30	c  2152013    100     5727   357451   62    11480    4226   5097   4924 436.97
1800.02/1800.30	c  2239645    100     3951   233494   59     7928    4649   3321   4938 453.46
1800.02/1800.30	c  2371198    100     4238   252764   59     8502    5114   3608   4965 477.54
1800.02/1800.30	c  2568631    100     3709   214996   57     7444    5626   3079   4958 518.04
1800.02/1800.30	c  2864885    100     6209   391115   62    12444    6189   5579   4973 576.06
1800.02/1800.30	c  3309367    100     4383   262543   59     8792    6808   3753   4863 680.49
1800.02/1800.30	c  3976194    100     4716   285283   60     9458    7489   4086   4723 841.75
1800.02/1800.30	c  4976540     99     7528   476001   63    15081    8238   6898   4573 1088.15
1800.02/1800.30	c  6477163     98     7046   437921   62    14116    9062   6416   4367 1483.12
1800.02/1800.30	c Caught signal: 15
1800.02/1800.30	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.02/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.30	c   74  7601868 521510  8215968     8357   525767   7727   4223 1800.03
1800.02/1800.30	c Objective: -26
1800.02/1800.30	s SATISFIABLE
1800.02/1800.30	c Total time: 1800.03 s

Verifier Data 

OK	-26

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-3737045-1338712045/watcher-3737045-1338712045 -o /tmp/evaluation-result-3737045-1338712045/solver-3737045-1338712045 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737045-1338712045.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 2/176 11001
/proc/meminfo: memFree=27084020/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=4848 CPUtime=0 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 528 0 0 0 0 0 0 0 20 0 1 0 337328839 4964352 465 33554432000 134512640 135840783 4289955840 4289954320 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 1212 466 332 325 0 144 0

[startup+0.077526 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 11001
/proc/meminfo: memFree=27084020/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=6388 CPUtime=0.07 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 920 0 0 0 7 0 0 0 20 0 1 0 337328839 6541312 853 33554432000 134512640 135840783 4289955840 4289953808 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 1597 854 349 325 0 533 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6388

[startup+0.100268 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 11001
/proc/meminfo: memFree=27084020/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=6652 CPUtime=0.09 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 1005 0 0 0 9 0 0 0 20 0 1 0 337328839 6811648 938 33554432000 134512640 135840783 4289955840 4289953760 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 1663 938 349 325 0 599 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6652

[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 11001
/proc/meminfo: memFree=27084020/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=7820 CPUtime=0.29 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 1284 0 0 0 29 0 0 0 20 0 1 0 337328839 8007680 1217 33554432000 134512640 135840783 4289955840 4289954040 1591462 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 1955 1217 349 325 0 891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7820

[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 11001
/proc/meminfo: memFree=27084020/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=8208 CPUtime=0.69 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 1367 0 0 0 69 0 0 0 20 0 1 0 337328839 8404992 1300 33554432000 134512640 135840783 4289955840 4289954012 1561706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 2052 1300 349 325 0 988 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8208

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11002
/proc/meminfo: memFree=27080424/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=8336 CPUtime=1.49 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 1411 0 0 0 149 0 0 0 20 0 1 0 337328839 8536064 1344 33554432000 134512640 135840783 4289955840 4289955200 134550921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 2084 1344 349 325 0 1020 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8336

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11002
/proc/meminfo: memFree=27079920/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=8708 CPUtime=3.09 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 1511 0 0 0 309 0 0 0 20 0 1 0 337328839 8916992 1444 33554432000 134512640 135840783 4289955840 4289955200 134551482 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 2177 1444 349 325 0 1113 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8708

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11002
/proc/meminfo: memFree=27079424/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=8836 CPUtime=6.29 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 1531 0 0 0 629 0 0 0 20 0 1 0 337328839 9048064 1464 33554432000 134512640 135840783 4289955840 4289955200 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 2209 1464 349 325 0 1145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8836

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11002
/proc/meminfo: memFree=27078620/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=9340 CPUtime=12.69 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 1662 0 0 0 1269 0 0 0 20 0 1 0 337328839 9564160 1595 33554432000 134512640 135840783 4289955840 4289955264 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 2335 1595 349 325 0 1271 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9340

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11002
/proc/meminfo: memFree=27078272/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=9968 CPUtime=25.49 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 1829 0 0 0 2549 0 0 0 20 0 1 0 337328839 10207232 1762 33554432000 134512640 135840783 4289955840 4289955200 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 2492 1762 349 325 0 1428 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9968

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11002
/proc/meminfo: memFree=27077528/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=10744 CPUtime=51.08 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 2027 0 0 0 5108 0 0 0 20 0 1 0 337328839 11001856 1960 33554432000 134512640 135840783 4289955840 4289955152 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 2686 1960 349 325 0 1622 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10744

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11002
/proc/meminfo: memFree=27076536/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=11160 CPUtime=102.27 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 2135 0 0 0 10227 0 0 0 20 0 1 0 337328839 11427840 2067 33554432000 134512640 135840783 4289955840 4289955200 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 2790 2067 349 325 0 1726 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 11160

[startup+162.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/178 11006
/proc/meminfo: memFree=27077116/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=11336 CPUtime=162.26 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 2208 0 0 0 16226 0 0 0 20 0 1 0 337328839 11608064 2092 33554432000 134512640 135840783 4289955840 4289954976 12827349 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 2834 2092 349 325 0 1770 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 11336

[startup+222.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 11006
/proc/meminfo: memFree=27076908/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=11840 CPUtime=222.26 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 2336 0 0 0 22225 1 0 0 20 0 1 0 337328839 12124160 2220 33554432000 134512640 135840783 4289955840 4289955200 134550899 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 2960 2220 349 325 0 1896 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 11840

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11006
/proc/meminfo: memFree=27075816/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=12356 CPUtime=282.25 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 2473 0 0 0 28224 1 0 0 20 0 1 0 337328839 12652544 2357 33554432000 134512640 135840783 4289955840 4289955200 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3089 2357 349 325 0 2025 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 12356

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11006
/proc/meminfo: memFree=27075748/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=12356 CPUtime=342.24 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 2477 0 0 0 34223 1 0 0 20 0 1 0 337328839 12652544 2358 33554432000 134512640 135840783 4289955840 4289954976 12827338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3089 2358 349 325 0 2025 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 12356

[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11006
/proc/meminfo: memFree=27068680/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=13000 CPUtime=402.23 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 2636 0 0 0 40222 1 0 0 20 0 1 0 337328839 13312000 2517 33554432000 134512640 135840783 4289955840 4289955144 1591501 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3250 2517 349 325 0 2186 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 13000

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 11008
/proc/meminfo: memFree=27069664/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=12192 CPUtime=462.22 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 2636 0 0 0 46221 1 0 0 20 0 1 0 337328839 12484608 2325 33554432000 134512640 135840783 4289955840 4289955120 12832329 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3048 2325 349 325 0 1984 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 12192

[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 11008
/proc/meminfo: memFree=27069796/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=12020 CPUtime=522.21 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 2636 0 0 0 52220 1 0 0 20 0 1 0 337328839 12308480 2282 33554432000 134512640 135840783 4289955840 4289955200 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3005 2282 349 325 0 1941 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 12020

[startup+582.3 s]
/proc/loadavg: 1.94 2.00 1.99 4/177 11047
/proc/meminfo: memFree=27476468/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=12404 CPUtime=582.2 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 2732 0 0 0 58219 1 0 0 20 0 1 0 337328839 12701696 2378 33554432000 134512640 135840783 4289955840 4289955200 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3101 2378 349 325 0 2037 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 12404

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.09 2.03 2.00 4/177 11051
/proc/meminfo: memFree=27378356/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=13808 CPUtime=882.15 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3064 0 0 0 88214 1 0 0 20 0 1 0 337328839 14139392 2710 33554432000 134512640 135840783 4289955840 4289955200 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3452 2710 349 325 0 2388 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 13808

[startup+942.3 s]
/proc/loadavg: 2.03 2.02 2.00 4/177 11051
/proc/meminfo: memFree=27370720/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=13764 CPUtime=942.14 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3066 0 0 0 94213 1 0 0 20 0 1 0 337328839 14094336 2711 33554432000 134512640 135840783 4289955840 4289955200 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3441 2711 349 325 0 2377 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 13764

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 11051
/proc/meminfo: memFree=27370596/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=13764 CPUtime=1002.13 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3066 0 0 0 100212 1 0 0 20 0 1 0 337328839 14094336 2711 33554432000 134512640 135840783 4289955840 4289955200 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3441 2711 349 325 0 2377 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 13764

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 11052
/proc/meminfo: memFree=27370472/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=13764 CPUtime=1062.12 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3068 0 0 0 106211 1 0 0 20 0 1 0 337328839 14094336 2713 33554432000 134512640 135840783 4289955840 4289954160 134547671 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3441 2713 349 325 0 2377 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 13764

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11052
/proc/meminfo: memFree=27369604/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=14416 CPUtime=1122.11 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3223 0 0 0 112210 1 0 0 20 0 1 0 337328839 14761984 2868 33554432000 134512640 135840783 4289955840 4289955200 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3604 2868 349 325 0 2540 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 14416

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11052
/proc/meminfo: memFree=27361544/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=14416 CPUtime=1182.11 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3225 0 0 0 118210 1 0 0 20 0 1 0 337328839 14761984 2870 33554432000 134512640 135840783 4289955840 4289955200 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3604 2870 349 325 0 2540 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 14416

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11052
/proc/meminfo: memFree=27361288/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=14416 CPUtime=1242.1 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3225 0 0 0 124209 1 0 0 20 0 1 0 337328839 14761984 2870 33554432000 134512640 135840783 4289955840 4289955200 134550791 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3604 2870 349 325 0 2540 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 14416

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11052
/proc/meminfo: memFree=27363024/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=14408 CPUtime=1302.09 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3225 0 0 0 130208 1 0 0 20 0 1 0 337328839 14753792 2870 33554432000 134512640 135840783 4289955840 4289955200 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3602 2870 349 325 0 2538 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 14408

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 4/178 11056
/proc/meminfo: memFree=27361140/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=14408 CPUtime=1362.08 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3230 0 0 0 136207 1 0 0 20 0 1 0 337328839 14753792 2875 33554432000 134512640 135840783 4289955840 4289955120 12832362 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3602 2875 349 325 0 2538 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 14408

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 4/177 11056
/proc/meminfo: memFree=27351988/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=14384 CPUtime=1422.07 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3230 0 0 0 142206 1 0 0 20 0 1 0 337328839 14729216 2872 33554432000 134512640 135840783 4289955840 4289955200 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3596 2872 349 325 0 2532 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 14384

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11056
/proc/meminfo: memFree=27353528/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=14300 CPUtime=1482.06 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3230 0 0 0 148205 1 0 0 20 0 1 0 337328839 14643200 2851 33554432000 134512640 135840783 4289955840 4289954912 12827349 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3575 2851 349 325 0 2511 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 14300

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11056
/proc/meminfo: memFree=27352784/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=15068 CPUtime=1542.05 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3421 0 0 0 154204 1 0 0 20 0 1 0 337328839 15429632 3042 33554432000 134512640 135840783 4289955840 4289955200 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3767 3042 349 325 0 2703 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 15068

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11056
/proc/meminfo: memFree=27351356/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=15068 CPUtime=1602.04 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3422 0 0 0 160203 1 0 0 20 0 1 0 337328839 15429632 3043 33554432000 134512640 135840783 4289955840 4289955200 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3767 3043 349 325 0 2703 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 15068

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 11056
/proc/meminfo: memFree=27351116/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=15068 CPUtime=1662.03 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3423 0 0 0 166202 1 0 0 20 0 1 0 337328839 15429632 3044 33554432000 134512640 135840783 4289955840 4289955120 12832398 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3767 3044 349 325 0 2703 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 15068

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11057
/proc/meminfo: memFree=27350984/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=15132 CPUtime=1722.02 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3432 0 0 0 172201 1 0 0 20 0 1 0 337328839 15495168 3053 33554432000 134512640 135840783 4289955840 4289955200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3783 3053 349 325 0 2719 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 15132

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11057
/proc/meminfo: memFree=27350984/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=15104 CPUtime=1782.01 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3432 0 0 0 178200 1 0 0 20 0 1 0 337328839 15466496 3053 33554432000 134512640 135840783 4289955840 4289955200 134550933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3776 3053 349 325 0 2712 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 15104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11057
/proc/meminfo: memFree=27350488/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=15104 CPUtime=1800.02 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3432 0 0 0 180001 1 0 0 20 0 1 0 337328839 15466496 3053 33554432000 134512640 135840783 4289955840 4289955192 1591473 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3776 3053 349 325 0 2712 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 15104

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11057
/proc/meminfo: memFree=27350488/32873844 swapFree=7628/7628
[pid=11001] ppid=10999 vsize=15104 CPUtime=1800.02 cores=1,3,5,7
/proc/11001/stat : 11001 (bsolo3.0.17) R 10999 11001 7463 0 -1 4202496 3432 0 0 0 180001 1 0 0 20 0 1 0 337328839 15466496 3053 33554432000 134512640 135840783 4289955840 4289955192 1591473 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11001/statm: 3776 3053 349 325 0 2712 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 15104

Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1800.01
CPU system time (s): 0.014997
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 15192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.014997
maximum resident set size= 12212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3435
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= 11
involuntary context switches= 1857

runsolver used 3.3115 second user time and 9.05262 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 10:27:25
IDJOB=3737045
IDBENCH=48169
IDSOLVER=2318
FILE ID=node143/3737045-1338712045
RUNJOBID= node143-1338680527-7480
PBS_JOBID= 14636712
Free space on /tmp= 68464 MiB

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

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

MD5SUM BENCH= 597624b9879736416e28e0a242fe0005
RANDOM SEED=85844895

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
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.787
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.90
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.787
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	: 5298.57
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.787
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.787
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:        27085020 kB
Buffers:          454536 kB
Cached:          3909056 kB
SwapCached:          188 kB
Active:          2718704 kB
Inactive:        2136404 kB
Active(anon):     482724 kB
Inactive(anon):    10992 kB
Active(file):    2235980 kB
Inactive(file):  2125412 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              6220 kB
Writeback:             4 kB
AnonPages:        498700 kB
Mapped:            11840 kB
Shmem:               160 kB
Slab:             791616 kB
SReclaimable:     233676 kB
SUnreclaim:       557940 kB
KernelStack:        1448 kB
PageTables:         4624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     606224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    436224 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= 68456 MiB
End job on node143 at 2012-06-03 10:57:27