Trace number 3462629

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.2SAT3 1798 1798.01

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb
MD5SUM55e3096e9013fd2f39f8572a635bf07d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.179971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables135
Total number of constraints11
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 constraints11
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3462629-1307181517.opb
0.00/0.01	c File size is 7079 bytes.
0.00/0.01	c Highest Coefficient sum: 523264
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0 s
0.00/0.01	c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117
0.00/0.01	c Obj. Vars: 9 (1.66667 % of total variables)
0.00/0.01	c Pre-processing Time: 0.003 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    540      826     3456    4     2973    4616      0      0 0.00
0.00/0.01	c Switching off lower bounding mode.
54.19/54.20	c      100    540     1019    14219   13     3443    5078    193   4545 0.02
54.19/54.20	c      250    540     1302    33492   25     4121    5586    476   5102 0.05
54.19/54.20	c      477    540     1742    60789   34     5261    6145    916   5021 0.10
54.19/54.20	c      815    540     2394   105006   43     7131    6760   1568   5361 0.15
54.19/54.20	c     1323    540     3333   156703   47     9638    7437   2507   4936 0.27
54.19/54.20	c     2087    540     4799   257520   53    13280    8181   3973   4347 0.48
54.19/54.20	c     3233    540     6967   411786   59    18763    9000   6141   3871 0.83
54.19/54.20	c     4955    540     5703   320839   56    15239    9901   4877   3219 1.54
54.19/54.20	c     7540    540     5777   306515   53    15566   10892   4951   2795 2.70
54.19/54.20	c    11419    540     7059   469836   66    17265   11982   6233   2822 4.04
54.19/54.20	c    17241    540    11970   714542   59    31590   13181  11144   2704 6.38
54.19/54.20	c    25978    540     8923   502508   56    23742   14500   8097   2289 11.35
54.19/54.20	c    39089    540    12299   724229   58    32249   15951  11473   2048 19.08
54.19/54.20	c    58761    540    15509  1132671   73    38019   17547  14683   1805 32.55
54.19/54.21	c    88272    540    10327   613532   59    26721   19302   9501   1754 50.32
54.19/54.21	o 103
254.19/254.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
254.19/254.29	c    96674    540    16170  1099119   67    40865    4635  15344   1783 54.20
254.19/254.29	c    96774    530     3338   197740   59     8706    5099   2512   1782 54.28
254.19/254.29	c    97027    530     3816   229239   60     9930    5609   2990   1785 54.33
254.19/254.29	c    97502    530     4738   288522   60    12380    6170   3912   1790 54.45
254.19/254.29	c    98315    530     6320   388926   61    16539    6788   5494   1797 54.68
254.19/254.29	c    99636    530     5362   293978   54    14448    7467   4536   1806 55.15
254.19/254.29	c   101718    530     5603   302716   54    15326    8214   4777   1813 56.08
254.19/254.29	c   104942    518     6813   421128   61    18207    9036   5987   1838 57.08
254.19/254.29	c   109879    518     6447   418931   64    16236    9940   5621   1846 59.51
254.19/254.29	c   117385    518    10260   647604   63    26683   10935   9434   1869 62.79
254.19/254.29	c   128747    518     8906   613685   68    21206   12029   8080   1873 68.72
254.19/254.29	c   145892    518    11248   646561   57    29854   13232  10422   1902 76.68
254.19/254.29	c   171712    518    11399   765152   67    29615   14556  10573   1826 94.01
254.19/254.29	c   210544    518    11594   768174   66    30668   16012  10768   1767 119.14
254.19/254.29	c   268896    518     9993   622205   62    25567   17614   9167   1768 152.06
254.19/254.29	c   356528    518    15281  1245382   81    40248   19376  14455   1660 214.65
254.19/254.29	o 65
256.38/256.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
256.38/256.48	c   414138    518    16238  1128916   69    39027    4631  15412   1628 254.28
256.38/256.48	c   414239    518     3342   173722   51     8995    5095   2516   1627 254.47
256.38/256.48	c   414490    518     3826   210295   54    10301    5605   3000   1628 254.52
256.38/256.48	c   414965    518     4734   263518   55    12849    6166   3908   1629 254.61
256.38/256.48	c   415780    518     6324   367321   58    17156    6783   5498   1631 254.80
256.38/256.48	c   417101    518     5364   295277   55    14724    7462   4538   1634 255.24
256.38/256.48	c   419182    518     5464   324995   59    14793    8209   4638   1637 255.97
256.38/256.48	o 3
1797.99/1798.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.00	c   420978    518     8958   563106   62    24252    4684   8132   1641 256.48
1797.99/1798.00	c   421080    507     3373   191129   56     9232    5153   2547   1641 256.53
1797.99/1798.00	c   421331    451     3828   219829   57    10408    5669   3002   1642 256.58
1797.99/1798.00	c   421806    451     4739   283168   59    12633    6236   3913   1643 256.69
1797.99/1798.00	c   422619    451     6319   385214   60    16694    6860   5493   1644 256.98
1797.99/1798.00	c   423939    451     5275   282992   53    14277    7547   4449   1646 257.49
1797.99/1798.00	c   426020    451     5341   270557   50    14499    8302   4515   1648 258.36
1797.99/1798.00	c   429244    451     7233   380760   52    19558    9133   6407   1652 259.68
1797.99/1798.00	c   434180    451     7366   427098   57    19741   10047   6540   1657 261.94
1797.99/1798.00	c   441687    451    10881   762545   70    27942   11052  10055   1661 265.89
1797.99/1798.00	c   453048    451     9892   558618   56    26284   12158   9066   1669 271.37
1797.99/1798.00	c   470193    451    10118   693483   68    25403   13374   9292   1673 280.98
1797.99/1798.00	c   496012    451     9209   618720   67    22549   14712   8383   1671 296.67
1797.99/1798.00	c   534846    451    13197   806823   61    33725   16184  12371   1690 316.42
1797.99/1798.00	c   593198    451    16960  1128722   66    44558   17803  16134   1695 349.88
1797.99/1798.00	c   680831    451    15171   995457   65    39834   19584  14345   1687 403.55
1797.99/1798.00	c   812384    451    13800   930408   67    35366   21543  12974   1710 474.87
1797.99/1798.00	c  1009817    451    20002  1450003   72    51989   23698  19176   1680 600.99
1797.99/1798.00	c  1306070    451    23571  1461764   62    61769   26068  22745   1579 826.90
1797.99/1798.00	c  1750552    451    18965  1255294   66    47820   28675  18139   1419 1232.94
1797.99/1798.00	c Resources Exceeded
1797.99/1798.00	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 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x64 x65 -x66 x67 x68 -x69 -x70 -x71 -x72 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x73 -x74 x75 -x76 -x77 -x78 x79 x80 -x81 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 
1797.99/1798.00	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.00	c   58  2396996  21082  2456353    24190  1699261  23364   1333 1798.00
1797.99/1798.00	c Objective: 3
1797.99/1798.00	s SATISFIABLE
1797.99/1798.00	c Total time: 1798 s

Verifier Data 

OK	3

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-3462629-1307181517/watcher-3462629-1307181517 -o /tmp/evaluation-result-3462629-1307181517/solver-3462629-1307181517 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462629-1307181517.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.06 2.02 2.00 3/443 26218
/proc/meminfo: memFree=29818080/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 354 0 0 0 0 0 0 0 25 0 1 0 908382364 11186176 307 33554432000 134512640 137138936 4293900672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 2731 307 192 642 0 2087 0

[startup+0.085597 s]
/proc/loadavg: 2.06 2.02 2.00 3/443 26218
/proc/meminfo: memFree=29818080/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=11568 CPUtime=0.07 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 512 0 0 0 7 0 0 0 25 0 1 0 908382364 11845632 465 33554432000 134512640 137138936 4293900672 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 2892 465 192 642 0 2248 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11568

[startup+0.100592 s]
/proc/loadavg: 2.06 2.02 2.00 3/443 26218
/proc/meminfo: memFree=29818080/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=11696 CPUtime=0.09 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 547 0 0 0 9 0 0 0 25 0 1 0 908382364 11976704 500 33554432000 134512640 137138936 4293900672 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 2924 500 192 642 0 2280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11696

[startup+0.300545 s]
/proc/loadavg: 2.06 2.02 2.00 3/443 26218
/proc/meminfo: memFree=29818080/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=13360 CPUtime=0.29 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 950 0 0 0 29 0 0 0 25 0 1 0 908382364 13680640 903 33554432000 134512640 137138936 4293900672 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 3340 903 192 642 0 2696 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13360

[startup+0.700483 s]
/proc/loadavg: 2.06 2.02 2.00 3/443 26218
/proc/meminfo: memFree=29818080/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=16060 CPUtime=0.68 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 1632 0 0 0 68 0 0 0 25 0 1 0 908382364 16445440 1585 33554432000 134512640 137138936 4293900672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 4015 1585 192 642 0 3371 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16060

[startup+1.50034 s]
/proc/loadavg: 2.06 2.02 2.00 3/444 26219
/proc/meminfo: memFree=29810864/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=19668 CPUtime=1.49 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 2532 0 0 0 148 1 0 0 25 0 1 0 908382364 20140032 2485 33554432000 134512640 137138936 4293900672 18446744073709551615 134606677 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 4917 2485 192 642 0 4273 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19668

[startup+3.10103 s]
/proc/loadavg: 2.06 2.02 2.00 3/444 26219
/proc/meminfo: memFree=29807764/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=20164 CPUtime=3.08 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 2641 0 0 0 307 1 0 0 25 0 1 0 908382364 20647936 2594 33554432000 134512640 137138936 4293900672 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 5041 2594 192 642 0 4397 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20164

[startup+6.30044 s]
/proc/loadavg: 2.05 2.02 2.00 3/444 26219
/proc/meminfo: memFree=29803868/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=23504 CPUtime=6.29 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 3498 0 0 0 627 2 0 0 25 0 1 0 908382364 24068096 3451 33554432000 134512640 137138936 4293900672 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 5876 3451 192 642 0 5232 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23504

[startup+12.7002 s]
/proc/loadavg: 2.05 2.02 2.00 3/444 26219
/proc/meminfo: memFree=29802900/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=23712 CPUtime=12.68 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 3532 0 0 0 1266 2 0 0 25 0 1 0 908382364 24281088 3485 33554432000 134512640 137138936 4293900672 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 5928 3485 192 642 0 5284 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23712

[startup+25.5008 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 26219
/proc/meminfo: memFree=29799188/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=27960 CPUtime=25.49 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 4602 0 0 0 2544 5 0 0 25 0 1 0 908382364 28631040 4555 33554432000 134512640 137138936 4293900672 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 6990 4555 192 642 0 6346 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27960

[startup+51.101 s]
/proc/loadavg: 2.02 2.01 2.00 3/444 26220
/proc/meminfo: memFree=29796800/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=30004 CPUtime=51.08 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 5122 0 0 0 5101 7 0 0 25 0 1 0 908382364 30724096 5075 33554432000 134512640 137138936 4293900672 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 7501 5075 192 642 0 6857 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30004

[startup+102.316 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 26221
/proc/meminfo: memFree=29795168/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=30192 CPUtime=102.3 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 5167 0 0 0 10215 15 0 0 25 0 1 0 908382364 30916608 5120 33554432000 134512640 137138936 4293900672 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 7548 5120 192 642 0 6904 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 30192

[startup+162.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/444 26233
/proc/meminfo: memFree=29790788/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=33340 CPUtime=162.29 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 5943 0 0 0 16206 23 0 0 25 0 1 0 908382364 34140160 5896 33554432000 134512640 137138936 4293900672 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 8335 5896 192 642 0 7691 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 33340

[startup+222.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/444 26235
/proc/meminfo: memFree=29788232/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=33688 CPUtime=222.29 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 6044 0 0 0 22199 30 0 0 25 0 1 0 908382364 34496512 5997 33554432000 134512640 137138936 4293900672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 8422 5997 192 642 0 7778 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 33688

[startup+282.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/444 26236
/proc/meminfo: memFree=29788080/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=33688 CPUtime=282.28 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 6045 0 0 0 28190 38 0 0 25 0 1 0 908382364 34496512 5998 33554432000 134512640 137138936 4293900672 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26218/statm: 8422 5998 192 642 0 7778 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 33688

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26238
/proc/meminfo: memFree=29788172/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=33688 CPUtime=342.24 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 6045 0 0 0 34178 46 0 0 25 0 1 0 908382364 34496512 5998 33554432000 134512640 137138936 4293900672 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 8422 5998 192 642 0 7778 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 33688

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26239
/proc/meminfo: memFree=29788008/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=33688 CPUtime=402.24 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 6045 0 0 0 40172 52 0 0 25 0 1 0 908382364 34496512 5998 33554432000 134512640 137138936 4293900672 18446744073709551615 134606999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 8422 5998 192 642 0 7778 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 33688

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26241
/proc/meminfo: memFree=29788108/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=33688 CPUtime=462.24 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 6045 0 0 0 46163 61 0 0 25 0 1 0 908382364 34496512 5998 33554432000 134512640 137138936 4293900672 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 8422 5998 192 642 0 7778 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 33688

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26243
/proc/meminfo: memFree=29786104/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=35832 CPUtime=522.24 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 6572 0 0 0 52157 67 0 0 25 0 1 0 908382364 36691968 6525 33554432000 134512640 137138936 4293900672 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 8958 6525 192 642 0 8314 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 35832

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26245
/proc/meminfo: memFree=29784964/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=36804 CPUtime=582.25 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 6819 0 0 0 58152 73 0 0 25 0 1 0 908382364 37687296 6772 33554432000 134512640 137138936 4293900672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 9201 6772 192 642 0 8557 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 36804

[startup+642.301 s]

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

/proc/meminfo: memFree=29363148/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=40872 CPUtime=1122.27 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 7840 0 0 0 112105 122 0 0 25 0 1 0 908382364 41852928 7793 33554432000 134512640 137138936 4293900672 18446744073709551615 134599769 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10218 7793 192 642 0 9574 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 40872

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 26289
/proc/meminfo: memFree=29330380/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=40860 CPUtime=1182.27 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 7840 0 0 0 118100 127 0 0 25 0 1 0 908382364 41840640 7791 33554432000 134512640 137138936 4293900672 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10215 7791 192 642 0 9571 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 40860

[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 26292
/proc/meminfo: memFree=29298116/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=41256 CPUtime=1242.27 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 7936 0 0 0 124094 133 0 0 25 0 1 0 908382364 42246144 7887 33554432000 134512640 137138936 4293900672 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10314 7887 192 642 0 9670 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 41256

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 26293
/proc/meminfo: memFree=29265716/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43020 CPUtime=1302.29 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 130091 138 0 0 25 0 1 0 908382364 44052480 8330 33554432000 134512640 137138936 4293900672 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10755 8330 192 642 0 10111 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 43020

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26295
/proc/meminfo: memFree=29238904/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43012 CPUtime=1362.27 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 136085 142 0 0 25 0 1 0 908382364 44044288 8329 33554432000 134512640 137138936 4293900672 18446744073709551615 134542840 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10753 8329 192 642 0 10109 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 43012

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26297
/proc/meminfo: memFree=29216920/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43008 CPUtime=1422.29 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 142082 147 0 0 25 0 1 0 908382364 44040192 8328 33554432000 134512640 137138936 4293900672 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10752 8328 192 642 0 10108 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 43008

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26298
/proc/meminfo: memFree=29197792/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1482.28 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 148076 152 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 43004

[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/444 26300
/proc/meminfo: memFree=29179148/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1542.28 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 154072 156 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 134552221 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 43004

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 26301
/proc/meminfo: memFree=29159144/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1602.28 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 160068 160 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 136504105 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 43004

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26303
/proc/meminfo: memFree=29140752/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1662.28 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 166062 166 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 43004

[startup+1722.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/444 26305
/proc/meminfo: memFree=29138252/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1722.29 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 172058 171 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 43004

[startup+1782.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/444 26306
/proc/meminfo: memFree=29137348/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1782.29 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 178052 177 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 43004

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

[startup+1785.5 s]
/proc/loadavg: 2.10 2.04 2.01 3/444 26306
/proc/meminfo: memFree=29138216/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1785.49 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 178372 177 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (KiB) 43004

[startup+1791.92 s]
/proc/loadavg: 2.09 2.04 2.01 3/444 26306
/proc/meminfo: memFree=29138204/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1791.91 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 179013 178 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1791.91
Current children cumulated vsize (KiB) 43004

[startup+1795.1 s]
/proc/loadavg: 2.08 2.04 2.01 3/444 26306
/proc/meminfo: memFree=29138204/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1795.1 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 179332 178 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1795.1
Current children cumulated vsize (KiB) 43004

[startup+1796.7 s]
/proc/loadavg: 2.08 2.04 2.01 3/444 26306
/proc/meminfo: memFree=29138204/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1796.69 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 179491 178 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 134539454 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 43004

[startup+1797.5 s]
/proc/loadavg: 2.08 2.04 2.01 3/444 26307
/proc/meminfo: memFree=29138080/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1797.49 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 179571 178 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 43004

[startup+1797.9 s]
/proc/loadavg: 2.08 2.04 2.01 3/444 26307
/proc/meminfo: memFree=29138080/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1797.89 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 179611 178 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 43004

[startup+1798 s]
/proc/loadavg: 2.08 2.04 2.01 3/444 26307
/proc/meminfo: memFree=29138080/32950928 swapFree=52246700/67111528
[pid=26218] ppid=26216 vsize=43004 CPUtime=1797.99 cores=0,2,4,6
/proc/26218/stat : 26218 (bsolo) R 26216 26218 23545 0 -1 4202496 8379 0 0 0 179621 178 0 0 25 0 1 0 908382364 44036096 8327 33554432000 134512640 137138936 4293900672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26218/statm: 10751 8327 192 642 0 10107 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 43004

Child status: 0
Real time (s): 1798.01
CPU time (s): 1798
CPU user time (s): 1796.21
CPU system time (s): 1.78873
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 43028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.21
system time used= 1.78873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8380
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= 5
involuntary context switches= 3667

runsolver used 8.32073 second user time and 17.8023 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-04 11:58:37
IDJOB=3462629
IDBENCH=48045
IDSOLVER=1955
FILE ID=node114/3462629-1307181517
RUNJOBID= node114-1307174967-25430
PBS_JOBID= 13508824
Free space on /tmp= 73936 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462629-1307181517/watcher-3462629-1307181517 -o /tmp/evaluation-result-3462629-1307181517/solver-3462629-1307181517 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462629-1307181517.opb

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

MD5SUM BENCH= 55e3096e9013fd2f39f8572a635bf07d
RANDOM SEED=552949799

node114.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.848
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.848
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	: 5226.15
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.848
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.74
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.848
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.73
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.848
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.848
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.75
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.848
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.74
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.848
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29818120 kB
Buffers:        321700 kB
Cached:         480452 kB
SwapCached:      10712 kB
Active:        2378624 kB
Inactive:       481444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29818120 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:            3920 kB
Writeback:           0 kB
AnonPages:     2055208 kB
Mapped:          22000 kB
Slab:           141988 kB
PageTables:      62248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108208688 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= 73932 MiB
End job on node114 at 2011-06-04 12:28:35