Trace number 3462559

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.2SAT129 1798.01 1797.95

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb
MD5SUM1d88cb7e119c66203d260e6c8e2ab364
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 benchmark3.56246
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 variables216
Total number of constraints17
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 constraints17
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)648
Sum of products size (including duplicates)1296
Number of different products648
Sum of products size1296

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-3462559-1307181218.opb
0.00/0.00	c File size is 11660 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 864 Constr: 1321 648/0/673 Lit: 5535 Watch. Lit: 3386
0.00/0.00	c Obj. Vars: 9 (1.04167 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    864     1321     5535    4     4761    7398      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
1404.75/1404.77	c      100    864     1514    15132    9     5293    8138    193   5263 0.02
1404.75/1404.77	c      250    864     1800    38784   21     5918    8952    479   5000 0.05
1404.75/1404.77	c      475    864     2210    67246   30     6932    9848    889   3740 0.13
1404.75/1404.77	c      813    864     2849   115977   40     8707   10833   1528   4169 0.20
1404.75/1404.77	c     1321    864     3833   185161   48    11164   11917   2512   4233 0.31
1404.75/1404.77	c     2085    864     5292   293734   55    15033   13109   3971   4352 0.48
1404.75/1404.77	c     3231    864     7532   454582   60    20968   14420   6211   4229 0.76
1404.75/1404.77	c     4953    864    10668   680351   63    28488   15863   9347   3918 1.26
1404.75/1404.77	c     7537    864    15615  1012695   64    41158   17450  14294   3294 2.29
1404.75/1404.77	c    11416    864    14304   862513   60    37662   19196  12983   2512 4.54
1404.75/1404.77	c    17238    864    15829   931731   58    41234   21116  14508   1964 8.78
1404.75/1404.77	c    25977    864    22013  1344664   61    56143   23228  20692   1659 15.66
1404.75/1404.77	c    39087    864    23035  1563683   67    56581   25551  21714   1592 24.55
1404.75/1404.77	c    58757    864    22374  1426908   63    58395   28107  21053   1628 36.09
1404.75/1404.77	c    88267    864    22540  1340546   59    58975   30918  21219   1449 60.88
1404.75/1404.77	c   132537    864    29989  1966327   65    76502   34010  28668   1318 100.51
1404.75/1404.77	c   198948    864    32017  2480921   77    79206   37412  30696   1185 167.78
1404.75/1404.77	c   298569    864    28928  2241036   77    76049   41154  27607   1027 290.55
1404.75/1404.77	c   448005    864    42057  3173616   75   106960   45270  40736    987 453.46
1404.75/1404.77	c   672164    864    40494  2471181   61   110093   49798  39173    895 750.27
1404.75/1404.77	c  1008407    864    30950  2091979   67    82438   54778  29629    860 1172.29
1404.75/1404.77	o 141
1754.84/1754.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1754.84/1754.86	c  1194222    863    55599  3594716   64   146237    7416  54278    850 1404.82
1754.84/1754.86	c  1194323    863     5233   305372   58    14622    8158   3912    849 1406.21
1754.84/1754.86	c  1194573    863     5722   344322   60    15743    8974   4401    849 1406.26
1754.84/1754.86	c  1195048    863     6535   410437   62    17453    9872   5214    849 1406.37
1754.84/1754.86	c  1195862    863     8080   512797   63    21520   10860   6759    850 1406.57
1754.84/1754.86	c  1197183    863    10519   684436   65    27753   11947   9198    850 1407.02
1754.84/1754.86	c  1199264    863     8209   483519   58    22359   13142   6888    851 1408.06
1754.84/1754.86	c  1202487    863    14176   877186   61    38160   14457  12855    852 1410.10
1754.84/1754.86	c  1207424    863     8631   496091   57    23391   15903   7310    854 1413.54
1754.84/1754.86	c  1214931    863    14462   862438   59    39449   17494  13141    856 1418.48
1754.84/1754.86	c  1226293    863    17803  1119705   62    47614   19244  16482    859 1426.27
1754.84/1754.86	c  1243437    863    10992   629777   57    30429   21169   9671    865 1435.89
1754.84/1754.86	c  1269257    863    17049  1108314   65    45668   23286  15728    874 1452.10
1754.84/1754.86	c  1308089    863    19207  1324457   68    51286   25615  17886    882 1482.17
1754.84/1754.86	c  1366441    863    26671  1621015   60    74003   28177  25350    895 1526.28
1754.84/1754.86	c  1454073    852    19576  1351900   69    51312   30995  18255    911 1595.10
1754.84/1754.86	c  1585626    852    16915  1026502   60    45300   34095  15594    913 1735.09
1754.84/1754.86	o 129
1797.94/1797.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.94	c  1612996    852    34008  2362196   69    89692    7414  32687    919 1754.91
1797.94/1797.94	c  1613096    852     5217   278012   53    13825    8156   3896    919 1755.20
1797.94/1797.94	c  1613347    852     5658   305728   54    14867    8972   4337    919 1755.24
1797.94/1797.94	c  1613823    852     6561   387086   58    17069    9870   5240    919 1755.36
1797.94/1797.94	c  1614639    852     8140   511060   62    21304   10858   6819    919 1755.56
1797.94/1797.94	c  1615959    852    10663   711590   66    27807   11944   9342    920 1756.05
1797.94/1797.94	c  1618040    852     8460   578372   68    23015   13139   7139    920 1756.95
1797.94/1797.94	c  1621265    852     7947   509351   64    21828   14453   6626    921 1758.54
1797.94/1797.94	c  1626202    852    10169   542824   53    29606   15899   8848    923 1761.83
1797.94/1797.94	c  1633708    852    16398  1061365   64    43877   17489  15077    925 1765.96
1797.94/1797.94	c  1645070    852    11471   624626   54    32881   19238  10150    928 1771.50
1797.94/1797.94	c  1662215    852    13794   868465   62    35219   21162  12473    933 1779.85
1797.94/1797.94	c Resources Exceeded
1797.94/1797.94	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 x145 -x146 -x147 -x148 -x149 x150 x151 -x152 -x153 x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x163 x164 x165 x166 x167 -x168 -x169 -x170 -x171 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 
1797.94/1797.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.94	c   50  1685338  13206  1731488    13685  1052255  12364    937 1798.00
1797.94/1797.94	c Objective: 129
1797.94/1797.94	s SATISFIABLE
1797.94/1797.94	c Total time: 1798 s

Verifier Data 

OK	129

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-3462559-1307181218/watcher-3462559-1307181218 -o /tmp/evaluation-result-3462559-1307181218/solver-3462559-1307181218 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462559-1307181218.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.02 2.00 2/483 25253
/proc/meminfo: memFree=24527584/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=11192 CPUtime=0 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 404 0 0 0 0 0 0 0 25 0 1 0 908352476 11460608 355 33554432000 134512640 137138936 4291142400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 2798 355 192 642 0 2154 0

[startup+0.027201 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 25253
/proc/meminfo: memFree=24527584/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=11316 CPUtime=0.02 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 429 0 0 0 2 0 0 0 25 0 1 0 908352476 11587584 380 33554432000 134512640 137138936 4291142400 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 2829 380 192 642 0 2185 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11316

[startup+0.100246 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 25253
/proc/meminfo: memFree=24527584/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=11812 CPUtime=0.09 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 556 0 0 0 9 0 0 0 25 0 1 0 908352476 12095488 507 33554432000 134512640 137138936 4291142400 18446744073709551615 134618120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 2953 507 192 642 0 2309 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11812

[startup+0.300218 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 25253
/proc/meminfo: memFree=24527584/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=13592 CPUtime=0.29 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 1006 0 0 0 29 0 0 0 25 0 1 0 908352476 13918208 957 33554432000 134512640 137138936 4291142400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 3398 957 192 642 0 2754 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13592

[startup+0.700141 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 25253
/proc/meminfo: memFree=24527584/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=17292 CPUtime=0.69 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 1927 0 0 0 69 0 0 0 25 0 1 0 908352476 17707008 1878 33554432000 134512640 137138936 4291142400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 4323 1878 192 642 0 3679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17292

[startup+1.501 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25254
/proc/meminfo: memFree=24518028/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=22156 CPUtime=1.49 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 3149 0 0 0 149 0 0 0 25 0 1 0 908352476 22687744 3100 33554432000 134512640 137138936 4291142400 18446744073709551615 136500432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 5539 3100 192 642 0 4895 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22156

[startup+3.1007 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25254
/proc/meminfo: memFree=24510392/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=28292 CPUtime=3.09 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 4684 0 0 0 308 1 0 0 25 0 1 0 908352476 28971008 4635 33554432000 134512640 137138936 4291142400 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 7073 4635 192 642 0 6429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28292

[startup+6.30111 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25255
/proc/meminfo: memFree=24505436/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=28940 CPUtime=6.29 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 4850 0 0 0 628 1 0 0 25 0 1 0 908352476 29634560 4801 33554432000 134512640 137138936 4291142400 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 7235 4801 192 642 0 6591 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28940

[startup+12.7009 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25255
/proc/meminfo: memFree=24501364/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=31308 CPUtime=12.69 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 5440 0 0 0 1267 2 0 0 25 0 1 0 908352476 32059392 5391 33554432000 134512640 137138936 4291142400 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 7827 5391 192 642 0 7183 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31308

[startup+25.5006 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25255
/proc/meminfo: memFree=24492320/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=37540 CPUtime=25.49 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 7003 0 0 0 2545 4 0 0 25 0 1 0 908352476 38440960 6954 33554432000 134512640 137138936 4291142400 18446744073709551615 134575867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 9385 6954 192 642 0 8741 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37540

[startup+51.1009 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 25256
/proc/meminfo: memFree=24485464/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=38920 CPUtime=51.09 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 7351 0 0 0 5101 8 0 0 25 0 1 0 908352476 39854080 7302 33554432000 134512640 137138936 4291142400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 9730 7302 192 642 0 9086 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38920

[startup+102.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 25257
/proc/meminfo: memFree=24466208/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=45584 CPUtime=102.31 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 9051 0 0 0 10216 15 0 0 25 0 1 0 908352476 46678016 8968 33554432000 134512640 137138936 4291142400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 11396 8968 192 642 0 10752 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 45584

[startup+162.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/484 25259
/proc/meminfo: memFree=24446064/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=52912 CPUtime=162.3 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 10890 0 0 0 16210 20 0 0 25 0 1 0 908352476 54181888 10772 33554432000 134512640 137138936 4291142400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 13228 10772 192 642 0 12584 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 52912

[startup+222.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/484 25260
/proc/meminfo: memFree=24430144/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=56700 CPUtime=222.3 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 11875 0 0 0 22204 26 0 0 25 0 1 0 908352476 58060800 11719 33554432000 134512640 137138936 4291142400 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 14175 11719 192 642 0 13531 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 56700

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/484 25262
/proc/meminfo: memFree=24419672/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=57632 CPUtime=282.3 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 12108 0 0 0 28200 30 0 0 25 0 1 0 908352476 59015168 11952 33554432000 134512640 137138936 4291142400 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 14408 11952 192 642 0 13764 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 57632

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 25264
/proc/meminfo: memFree=24412920/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=63972 CPUtime=342.3 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 13734 0 0 0 34192 38 0 0 25 0 1 0 908352476 65507328 13537 33554432000 134512640 137138936 4291142400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 15993 13537 192 642 0 15349 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 63972

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 25265
/proc/meminfo: memFree=24412876/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=63972 CPUtime=402.31 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 13734 0 0 0 40187 44 0 0 25 0 1 0 908352476 65507328 13537 33554432000 134512640 137138936 4291142400 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 15993 13537 192 642 0 15349 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 63972

[startup+462.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/484 25330
/proc/meminfo: memFree=24726568/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=63984 CPUtime=462.3 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 13737 0 0 0 46180 50 0 0 25 0 1 0 908352476 65519616 13540 33554432000 134512640 137138936 4291142400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 15996 13540 192 642 0 15352 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 63984

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/484 25439
/proc/meminfo: memFree=24728056/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=63984 CPUtime=522.3 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 13737 0 0 0 52177 53 0 0 25 0 1 0 908352476 65519616 13540 33554432000 134512640 137138936 4291142400 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 15996 13540 192 642 0 15352 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 63984

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 2.00 4/484 25468
/proc/meminfo: memFree=24721064/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=63984 CPUtime=582.31 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 13737 0 0 0 58174 57 0 0 25 0 1 0 908352476 65519616 13540 33554432000 134512640 137138936 4291142400 18446744073709551615 136520996 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 15996 13540 192 642 0 15352 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 63984

[startup+642.301 s]

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

/proc/meminfo: memFree=24321964/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=67484 CPUtime=1062.32 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 14680 0 0 0 106138 94 0 0 25 0 1 0 908352476 69103616 14415 33554432000 134512640 137138936 4291142400 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 16871 14415 192 642 0 16227 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 67484

[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/484 25509
/proc/meminfo: memFree=24287956/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=67484 CPUtime=1122.32 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 14680 0 0 0 112134 98 0 0 25 0 1 0 908352476 69103616 14415 33554432000 134512640 137138936 4291142400 18446744073709551615 134542217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 16871 14415 192 642 0 16227 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 67484

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 25511
/proc/meminfo: memFree=24255176/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=69896 CPUtime=1182.33 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15341 0 0 0 118130 103 0 0 25 0 1 0 908352476 71573504 15021 33554432000 134512640 137138936 4291142400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17474 15021 192 642 0 16830 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 69896

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25513
/proc/meminfo: memFree=24228348/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71132 CPUtime=1242.33 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15647 0 0 0 124127 106 0 0 25 0 1 0 908352476 72839168 15327 33554432000 134512640 137138936 4291142400 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17783 15327 192 642 0 17139 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 71132

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 25514
/proc/meminfo: memFree=24198812/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71132 CPUtime=1302.34 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15647 0 0 0 130123 111 0 0 25 0 1 0 908352476 72839168 15327 33554432000 134512640 137138936 4291142400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17783 15327 192 642 0 17139 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 71132

[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/484 25516
/proc/meminfo: memFree=24151776/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1362.33 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 136118 115 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 71024

[startup+1422.32 s]
/proc/loadavg: 2.02 2.02 2.00 3/484 25517
/proc/meminfo: memFree=24106480/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1422.36 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 142114 122 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 71024

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 25519
/proc/meminfo: memFree=24063896/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1482.33 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 148104 129 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 136504608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 71024

[startup+1542.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/484 25521
/proc/meminfo: memFree=24033856/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1542.34 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 154098 136 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 71024

[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/484 25522
/proc/meminfo: memFree=24002704/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1602.34 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 160091 143 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 71024

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/484 25524
/proc/meminfo: memFree=23969316/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1662.34 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 166087 147 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 71024

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 25525
/proc/meminfo: memFree=23927852/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1722.35 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 172083 152 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 71024

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23896064/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1782.34 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 178074 160 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 71024

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23894576/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1785.55 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 178394 161 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 71024

[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23891212/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1791.97 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 179036 161 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 71024

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23889476/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1795.15 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 179354 161 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 71024

[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23888348/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1796.74 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 179513 161 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 71024

[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23888100/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1797.54 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 179593 161 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 71024

[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23888100/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1797.94 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 179633 161 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 71024

Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.01
CPU user time (s): 1796.38
CPU system time (s): 1.62275
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 71132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.38
system time used= 1.62275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15668
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= 3666

runsolver used 8.5377 second user time and 19.571 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-04 11:53:38
IDJOB=3462559
IDBENCH=47975
IDSOLVER=1955
FILE ID=node116/3462559-1307181218
RUNJOBID= node116-1307173957-24165
PBS_JOBID= 13508818
Free space on /tmp= 73880 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462559-1307181218/watcher-3462559-1307181218 -o /tmp/evaluation-result-3462559-1307181218/solver-3462559-1307181218 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462559-1307181218.opb

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

MD5SUM BENCH= 1d88cb7e119c66203d260e6c8e2ab364
RANDOM SEED=1522022507

node116.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.826
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.65
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.826
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.826
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.826
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.75
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.826
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.77
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.826
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.826
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.75
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.826
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:      24527880 kB
Buffers:        274912 kB
Cached:         511532 kB
SwapCached:      12580 kB
Active:        7761112 kB
Inactive:       391468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24527880 kB
SwapTotal:    67111528 kB
SwapFree:     61542356 kB
Dirty:            4224 kB
Writeback:           0 kB
AnonPages:     7364388 kB
Mapped:          23380 kB
Slab:           140672 kB
PageTables:      62868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 139863276 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= 73880 MiB
End job on node116 at 2011-06-04 12:23:36