Trace number 3731471

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)217 1800.07 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
MD5SUM80b0f13939656efa52b7dd958ee28431
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark184
Best CPU time to get the best result obtained on this benchmark1796.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 180
Optimality of the best value was proved NO
Number of variables467
Total number of constraints466
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 constraints466
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 467
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 467
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 467
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-3731471-1338684511.opb
0.00/0.00	c File size is 42827 bytes.
0.00/0.01	c Highest Coefficient sum: 467
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.003 s
0.00/0.01	c Var: 467 Constr: 466 0/0/466 Lit: 4219 Watch. Lit: 1473
0.00/0.01	c Obj. Vars: 467 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.005 s
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0    467      466     4219    9     1879    8438      0      0 0.01
0.19/0.25	c Initial Lower Bound: 139
0.19/0.25	c Initial Path Cost: 0
0.19/0.25	o 223	0.244
3.78/3.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.85	c        0    467      467     4686   10     2353    9438      1      0 0.24
3.78/3.85	o 222	3.844 * 
114.37/114.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
114.37/114.43	c        0    467      468     5153   11     2632   10438      2      0 3.84
114.37/114.43	c      100    467      668    51542   77     3037   11482    202     11 8.62
114.37/114.43	c      350    467     1168   166148  142     4040   12631    702     26 12.98
114.37/114.43	c      827    467     2060   383758  186     5823   13895   1594     45 18.32
114.37/114.43	c     1641    467     3688   801599  217     9103   15285   3222     66 24.66
114.37/114.43	c     2962    467     6330  1451860  229    14387   16814   5864     91 32.29
114.37/114.43	c     5046    467    10498  2440411  232    22708   18496  10032    120 41.87
114.37/114.43	c     8270    467    13776  3173546  230    29227   20346  13310    160 51.63
114.37/114.43	c    13207    467    13048  2953741  226    27550   22381  12582    189 69.64
114.37/114.43	c    20713    467    16271  3714671  228    34040   24620  15805    217 95.41
114.37/114.43	o 221	114.405 * 
190.25/190.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
190.25/190.37	c    25758    467    12902  2932532  227    27503    9438  12436    225 114.41
190.25/190.37	c    25860    467     5390  1167329  216    12247   10382   4924    217 118.87
190.25/190.37	c    26111    467     5892  1292960  219    13252   11421   5426    210 124.17
190.25/190.37	c    26587    467     6844  1513948  221    15138   12564   6378    205 129.32
190.25/190.37	c    27402    467     8474  1908352  225    18417   13821   8008    202 135.57
190.25/190.37	c    28722    467    11114  2540678  228    23722   15204  10648    199 144.08
190.25/190.37	c    30803    467    13345  3045672  228    28179   16725  12879    202 151.83
190.25/190.37	c    34026    467    11092  2602184  234    23652   18398  10626    205 165.54
190.25/190.37	c    38963    467    11436  2746965  240    24364   20238  10970    209 186.24
190.25/190.37	o 220	190.326 * 
209.53/209.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
209.53/209.63	c    38963    467    11437  2747432  240    24509    9438  10971    204 190.33
209.53/209.63	c    39064    467     5388  1249378  231    12231   10382   4922    200 194.54
209.53/209.63	c    39314    467     5888  1368648  232    13237   11421   5422    197 199.39
209.53/209.63	c    39789    467     6838  1591977  232    15120   12564   6372    193 205.25
209.53/209.63	o 219	209.568 * 
398.90/399.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
398.90/399.01	c    39877    467     6959  1620019  232    15561    9438   6493    190 209.57
398.90/399.01	c    39978    467     7161  1669665  233    16002   10382   6695    186 213.93
398.90/399.01	c    40229    467     7663  1794138  234    17022   11421   7197    183 219.25
398.90/399.01	c    40705    467     8597  2021842  235    18896   12564   8131    180 224.94
398.90/399.01	c    41518    467    10223  2426354  237    22139   13821   9757    179 231.92
398.90/399.01	c    42839    467    12861  3031482  235    27404   15204  12395    178 239.56
398.90/399.01	c    44920    467     9085  2094542  230    19593   16725   8619    179 249.90
398.90/399.01	c    48143    467    13660  3150435  230    28741   18398  13194    184 260.85
398.90/399.01	c    53080    467    13990  3189089  227    29444   20238  13524    190 278.73
398.90/399.01	c    60587    467    18552  4495288  242    38566   22262  18086    198 305.04
398.90/399.01	c    71951    467    17945  4155422  231    37376   24489  17479    210 341.72
398.90/399.01	c    89095    467    24306  5767454  237    50081   26938  23840    225 394.85
398.90/399.01	o 218	398.917 * 
460.99/461.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
460.99/461.16	c    89104    467    24325  5772099  237    50376    9438  23859    223 398.92
460.99/461.16	c    89205    467     5388  1197398  222    12233   10382   4922    220 404.12
460.99/461.16	c    89456    467     5858  1305643  222    13150   11421   5392    218 408.93
460.99/461.16	c    89931    467     6798  1524635  224    15027   12564   6332    217 413.95
460.99/461.16	c    90744    467     8424  1917323  227    18285   13821   7958    215 420.36
460.99/461.16	c    92064    467    11063  2602974  235    23613   15204  10597    215 428.07
460.99/461.16	c    94146    467    15227  3664712  240    31913   16725  14761    215 437.86
460.99/461.16	c    97369    467    12995  3119610  240    27459   18398  12529    216 450.70
460.99/461.16	o 217	461.054 * 
1800.06/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.40	c    99542    467    17342  4111453  237    36391    9438  16876    215 461.05
1800.06/1800.40	c    99644    467     5390  1184736  219    12270   10382   4924    213 466.01
1800.06/1800.40	c    99894    467     5890  1305566  221    13249   11421   5424    212 470.86
1800.06/1800.40	c   100369    467     6840  1536379  224    15142   12564   6374    210 476.31
1800.06/1800.40	c   101182    467     8450  1914813  226    18361   13821   7984    209 482.13
1800.06/1800.40	c   102502    467    11090  2532170  228    23668   15204  10624    209 489.39
1800.06/1800.40	c   104584    467    15028  3427201  228    31488   16725  14562    209 498.96
1800.06/1800.40	c   107807    467    12782  2985336  233    27017   18398  12316    210 512.43
1800.06/1800.40	c   112746    467    13136  3123252  237    27730   20238  12670    211 532.18
1800.06/1800.40	c   120253    467    17700  4430208  250    36888   22262  17234    215 559.13
1800.06/1800.40	c   131615    467    16766  3889596  231    34977   24489  16300    220 597.81
1800.06/1800.40	c   148759    467    12911  2894212  224    27269   26938  12445    233 638.08
1800.06/1800.40	c   174578    467    17060  3984156  233    35594   29632  16594    241 723.73
1800.06/1800.40	c   213410    467    20019  4949115  247    41509   32596  19553    250 850.37
1800.06/1800.40	c   271762    467    14328  3034850  211    30098   35856  13862    275 984.87
1800.06/1800.40	c   359396    467    15315  3702957  241    32080   39442  14849    276 1301.74
1800.06/1800.40	c   490948    467    22758  5519542  242    46965   43387  22292    284 1727.76
1800.06/1800.40	c Caught signal: 15
1800.06/1800.40	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 x101 x102 -x103 x104 -x105 x106 x107 -x108 x109 x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 -x127 x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 x139 -x140 x141 -x142 -x143 x144 -x145 x146 x147 -x148 -x149 x150 -x151 -x152 -x153 x154 x155 x156 -x157 -x158 -x159 x160 -x161 x162 x163 -x164 x165 x166 -x167 x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 x176 -x177 -x178 x179 -x180 x181 -x182 x183 -x184 -x185 -x186 x187 x188 x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 -x206 -x207 -x208 x209 x210 x211 -x212 x213 -x214 -x215 x216 x217 -x218 -x219 x220 -x221 x222 -x223 -x224 x225 -x226 -x227 -x228 x229 -x230 -x231 x232 x233 x234 x235 -x236 x237 x238 -x239 -x240 -x241 -x242 -x243 x244 x245 x246 -x247 -x248 x249 -x250 -x251 -x252 x253 -x254 -x255 x256 x257 -x258 -x259 -x260 x261 x262 -x263 -x264 x265 -x266 -x267 x268 x269 x270 x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 x279 x280 x281 x282 x283 x284 x285 -x286 x287 x288 x289 x290 -x291 x292 x293 -x294 -x295 x296 x297 -x298 x299 -x300 x301 x302 -x303 x304 x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 x316 x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 x328 x329 -x330 -x331 x332 -x333 x334 x335 -x336 x337 x338 -x339 -x340 x341 x342 x343 x344 x345 x346 x347 -x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 x357 x358 x359 x360 x361 x362 -x363 x364 x365 -x366 -x367 -x368 x369 -x370 x371 -x372 x373 x374 -x375 -x376 -x377 -x378 x379 x380 x381 -x382 -x383 -x384 -x385 x386 x387 -x388 x389 x390 x391 x392 -x393 x394 x395 -x396 -x397 -x398 -x399 -x400 x401 x402 -x403 x404 -x405 x406 -x407 -x408 -x409 x410 x411 -x412 x413 -x414 -x415 x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 x426 x427 x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 x452 -x453 x454 -x455 -x456 -x457 x458 x459 -x460 x461 -x462 x463 x464 x465 -x466 -x467 
1800.06/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.40	c   61   512756  69414   623474    34248  8107028  33782    284 1800.07
1800.06/1800.40	c Objective: 217
1800.06/1800.40	s SATISFIABLE
1800.06/1800.40	c Total time: 1800.07 s

Verifier Data 

OK	217

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-3731471-1338684511/watcher-3731471-1338684511 -o /tmp/evaluation-result-3731471-1338684511/solver-3731471-1338684511 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3731471-1338684511.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: 1.92 1.98 1.93 3/178 28314
/proc/meminfo: memFree=27984212/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) D 28312 28314 27204 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 334576476 2723840 47 33554432000 134512640 135840783 4288921456 4288919492 8250308 0 0 4096 0 18446744072100748580 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 665 47 37 325 0 32 0

[startup+0.030838 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 28314
/proc/meminfo: memFree=27984212/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=6180 CPUtime=0.02 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 769 0 0 0 2 0 0 0 20 0 1 0 334576476 6328320 688 33554432000 134512640 135840783 4288921456 4288919936 135221909 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 1545 688 425 325 0 481 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6180

[startup+0.100252 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 28314
/proc/meminfo: memFree=27984212/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=6492 CPUtime=0.09 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 958 0 0 0 9 0 0 0 20 0 1 0 334576476 6647808 806 33554432000 134512640 135840783 4288921456 4288919612 135313324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 1623 806 425 325 0 559 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6492

[startup+0.300219 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 28314
/proc/meminfo: memFree=27984212/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=7028 CPUtime=0.29 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 1848 0 0 0 29 0 0 0 20 0 1 0 334576476 7196672 756 33554432000 134512640 135840783 4288921456 4288919624 135306433 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 1757 756 429 325 0 693 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7028

[startup+0.700219 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 28314
/proc/meminfo: memFree=27984212/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=7004 CPUtime=0.68 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 3668 0 0 0 68 0 0 0 20 0 1 0 334576476 7172096 808 33554432000 134512640 135840783 4288921456 4288919680 135325323 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 1751 808 429 325 0 687 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7004

[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 1.93 3/179 28315
/proc/meminfo: memFree=27982732/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=6952 CPUtime=1.48 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 8123 0 0 0 147 1 0 0 20 0 1 0 334576476 7118848 763 33554432000 134512640 135840783 4288921456 4288919628 135313324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 1738 763 429 325 0 674 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6952

[startup+3.1002 s]
/proc/loadavg: 1.92 1.98 1.93 3/179 28315
/proc/meminfo: memFree=27981972/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=6792 CPUtime=3.08 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 17277 0 0 0 306 2 0 0 20 0 1 0 334576476 6955008 691 33554432000 134512640 135840783 4288921456 4288919624 135306417 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 1698 691 429 325 0 634 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6792

[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 28315
/proc/meminfo: memFree=27980608/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=7464 CPUtime=6.29 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 40065 0 0 0 622 7 0 0 20 0 1 0 334576476 7643136 713 33554432000 134512640 135840783 4288921456 4288919624 135306417 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 1866 713 429 325 0 802 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7464

[startup+12.7002 s]
/proc/loadavg: 1.94 1.98 1.93 3/179 28315
/proc/meminfo: memFree=27976524/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=7452 CPUtime=12.68 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 82888 0 0 0 1256 12 0 0 20 0 1 0 334576476 7630848 1201 33554432000 134512640 135840783 4288921456 4288920112 15471664 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 1863 1201 430 325 0 799 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7452

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.93 3/179 28315
/proc/meminfo: memFree=27962264/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=19080 CPUtime=25.48 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 168720 0 0 0 2521 27 0 0 20 0 1 0 334576476 19537920 3700 33554432000 134512640 135840783 4288921456 4288919800 135324390 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 4770 3700 430 325 0 3706 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19080

[startup+51.1002 s]
/proc/loadavg: 1.97 1.98 1.93 3/179 28315
/proc/meminfo: memFree=27927544/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=48308 CPUtime=51.08 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 461496 0 0 0 5032 76 0 0 20 0 1 0 334576476 49467392 10875 33554432000 134512640 135840783 4288921456 4288919960 135311259 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 12077 10880 430 325 0 11013 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48308

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.93 3/180 28318
/proc/meminfo: memFree=27881124/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=75068 CPUtime=102.28 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 924539 0 0 0 10064 164 0 0 20 0 1 0 334576476 76869632 18123 33554432000 134512640 135840783 4288921456 4288920112 15471664 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 18767 18123 430 325 0 17703 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 75068

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 28318
/proc/meminfo: memFree=27854748/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=82492 CPUtime=162.26 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 1561254 0 0 0 15931 295 0 0 20 0 1 0 334576476 84471808 19979 33554432000 134512640 135840783 4288921456 4288920112 15471664 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 20623 19979 430 325 0 19559 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 82492

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 28319
/proc/meminfo: memFree=27838116/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=85268 CPUtime=222.22 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 2034981 0 0 0 21811 411 0 0 20 0 1 0 334576476 87314432 20125 33554432000 134512640 135840783 4288921456 4288919628 135313324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 21317 20125 430 325 0 20253 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 85268

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 28319
/proc/meminfo: memFree=27817284/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=84788 CPUtime=282.21 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 2480347 0 0 0 27688 533 0 0 20 0 1 0 334576476 86822912 20007 33554432000 134512640 135840783 4288921456 4288919696 135315574 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 21197 20007 430 325 0 20133 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 84788

[startup+342.3 s]
/proc/loadavg: 2.04 2.00 1.94 3/179 28319
/proc/meminfo: memFree=27802776/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=85580 CPUtime=342.2 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 3036398 0 0 0 33530 690 0 0 20 0 1 0 334576476 87633920 20099 33554432000 134512640 135840783 4288921456 4288919796 135322765 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 21395 20099 430 325 0 20331 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 85580

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 28319
/proc/meminfo: memFree=27779748/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=90388 CPUtime=402.19 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 3776176 0 0 0 39361 858 0 0 20 0 1 0 334576476 92557312 21348 33554432000 134512640 135840783 4288921456 4288919628 135313324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 22597 21348 430 325 0 21533 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 90388

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 28319
/proc/meminfo: memFree=27763148/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=90092 CPUtime=462.19 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 4165261 0 0 0 45254 965 0 0 20 0 1 0 334576476 92254208 21341 33554432000 134512640 135840783 4288921456 4288920144 135235227 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 22523 21341 430 325 0 21459 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 90092

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 28320
/proc/meminfo: memFree=27748572/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=88272 CPUtime=522.17 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 4342148 0 0 0 51206 1011 0 0 20 0 1 0 334576476 90390528 21262 33554432000 134512640 135840783 4288921456 4288918000 8762663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 22068 21262 430 325 0 21004 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 88272

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 28320
/proc/meminfo: memFree=27729848/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=88260 CPUtime=582.17 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 4587745 0 0 0 57116 1101 0 0 20 0 1 0 334576476 90378240 21262 33554432000 134512640 135840783 4288921456 4288918480 134689037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 22065 21262 430 325 0 21001 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 88260

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/180 28347
/proc/meminfo: memFree=27642192/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=116940 CPUtime=822.11 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 7285861 0 0 0 80444 1767 0 0 20 0 1 0 334576476 119746560 27925 33554432000 134512640 135840783 4288921456 4288919968 8762545 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 29235 27925 430 325 0 28171 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 116940

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 28347
/proc/meminfo: memFree=27628424/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=114236 CPUtime=882.1 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 8021437 0 0 0 86260 1950 0 0 20 0 1 0 334576476 116977664 27915 33554432000 134512640 135840783 4288921456 4288920816 134550840 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 28559 27915 430 325 0 27495 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 114236

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 28347
/proc/meminfo: memFree=27611560/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=116152 CPUtime=942.1 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 8595490 0 0 0 92092 2118 0 0 20 0 1 0 334576476 118939648 27918 33554432000 134512640 135840783 4288921456 4288919968 8762545 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 28877 27917 430 325 0 27813 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 116152

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 28347
/proc/meminfo: memFree=27596184/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=114224 CPUtime=1002.08 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 9050668 0 0 0 97948 2260 0 0 20 0 1 0 334576476 116965376 27912 33554432000 134512640 135840783 4288921456 4288920112 15471664 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 28556 27912 430 325 0 27492 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 114224

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 28347
/proc/meminfo: memFree=27582048/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=120212 CPUtime=1062.07 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 9772727 0 0 0 103764 2443 0 0 20 0 1 0 334576476 123097088 28954 33554432000 134512640 135840783 4288921456 4288920020 134690253 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 30137 28955 430 325 0 29073 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 120212

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 28348
/proc/meminfo: memFree=27562768/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=126104 CPUtime=1122.07 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 10654359 0 0 0 109554 2653 0 0 20 0 1 0 334576476 129130496 30882 33554432000 134512640 135840783 4288921456 4288917552 134547699 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 31986 30888 430 325 0 30922 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 126104

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 28348
/proc/meminfo: memFree=27549532/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=126808 CPUtime=1182.06 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 11461258 0 0 0 115359 2847 0 0 20 0 1 0 334576476 129851392 31058 33554432000 134512640 135840783 4288921456 4288920768 134551081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 32161 31064 430 325 0 31097 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 126808

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 28348
/proc/meminfo: memFree=27537120/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=126788 CPUtime=1242.05 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 12237339 0 0 0 121171 3034 0 0 20 0 1 0 334576476 129830912 31053 33554432000 134512640 135840783 4288921456 4288920112 15471664 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 31697 31053 430 325 0 30633 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 126788

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 28351
/proc/meminfo: memFree=27517016/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=131840 CPUtime=1302.04 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 13022099 0 0 0 126967 3237 0 0 20 0 1 0 334576476 135004160 31467 33554432000 134512640 135840783 4288921456 4288919624 135306433 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 32960 31467 430 325 0 31896 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 131840

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 1.94 3/180 28390
/proc/meminfo: memFree=27876640/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=138648 CPUtime=1362.03 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 13861758 0 0 0 132765 3438 0 0 20 0 1 0 334576476 141975552 33365 33554432000 134512640 135840783 4288921456 4288919968 8762545 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 34662 33365 430 325 0 33598 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 138648

[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 1.94 3/180 28391
/proc/meminfo: memFree=27650452/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=136384 CPUtime=1422.02 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 14473443 0 0 0 138602 3600 0 0 20 0 1 0 334576476 139657216 33452 33554432000 134512640 135840783 4288921456 4288920768 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 34096 33452 430 325 0 33032 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 136384

[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 1.94 3/180 28391
/proc/meminfo: memFree=27479112/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=137608 CPUtime=1482.01 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 15094223 0 0 0 144435 3766 0 0 20 0 1 0 334576476 140910592 33392 33554432000 134512640 135840783 4288921456 4288918468 134690253 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 34607 33395 430 325 0 33543 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 137608

[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 1.94 3/180 28391
/proc/meminfo: memFree=27338152/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=138592 CPUtime=1541.99 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 15741817 0 0 0 150257 3942 0 0 20 0 1 0 334576476 141918208 33395 33554432000 134512640 135840783 4288921456 4288918416 8762545 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 34648 33395 430 325 0 33584 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 138592

[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 1.94 3/180 28391
/proc/meminfo: memFree=27193348/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=141240 CPUtime=1601.98 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 16494247 0 0 0 156062 4136 0 0 20 0 1 0 334576476 144629760 34014 33554432000 134512640 135840783 4288921456 4288918416 8762545 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 35310 34014 430 325 0 34246 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 141240

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/180 28391
/proc/meminfo: memFree=27060076/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=138492 CPUtime=1661.98 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 17139331 0 0 0 161882 4316 0 0 20 0 1 0 334576476 141815808 33979 33554432000 134512640 135840783 4288921456 4288920816 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 34623 33979 430 325 0 33559 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 138492

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/180 28392
/proc/meminfo: memFree=26935732/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=140156 CPUtime=1721.97 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 17769096 0 0 0 167708 4489 0 0 20 0 1 0 334576476 143519744 33985 33554432000 134512640 135840783 4288921456 4288918432 15471664 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 35040 33984 430 325 0 33976 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 140156

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/180 28392
/proc/meminfo: memFree=26800724/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=146312 CPUtime=1781.95 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 18569148 0 0 0 173519 4676 0 0 20 0 1 0 334576476 149823488 35934 33554432000 134512640 135840783 4288921456 4288920592 8760766 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 37037 35939 430 325 0 35973 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 146312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 28392
/proc/meminfo: memFree=26768452/32873844 swapFree=7124/7124
[pid=28314] ppid=28312 vsize=148976 CPUtime=1800.06 cores=0,2,4,6
/proc/28314/stat : 28314 (bsolo3.0.17) R 28312 28314 27204 0 -1 4202496 18815090 0 0 0 175269 4737 0 0 20 0 1 0 334576476 152551424 35943 33554432000 134512640 135840783 4288921456 4288918416 8762545 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28314/statm: 37244 35943 430 325 0 36180 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 148976

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

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1752.69
CPU system time (s): 47.3798
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 149040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1752.69
system time used= 47.3798
maximum resident set size= 143932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18815092
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= 86
involuntary context switches= 1973

runsolver used 3.39048 second user time and 8.5247 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-03 02:48:31
IDJOB=3731471
IDBENCH=1957
IDSOLVER=2318
FILE ID=node134/3731471-1338684511
RUNJOBID= node134-1338678625-27223
PBS_JOBID= 14636679
Free space on /tmp= 70352 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731471-1338684511/watcher-3731471-1338684511 -o /tmp/evaluation-result-3731471-1338684511/solver-3731471-1338684511 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3731471-1338684511.opb            

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

MD5SUM BENCH= 80b0f13939656efa52b7dd958ee28431
RANDOM SEED=993018440

node134.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		: 2667.278
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	: 5334.55
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		: 2667.278
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	: 5332.56
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.59
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.57
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		: 2667.278
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27984940 kB
Buffers:          464092 kB
Cached:          3301964 kB
SwapCached:           76 kB
Active:          1965692 kB
Inactive:        2031140 kB
Active(anon):     222488 kB
Inactive(anon):    10508 kB
Active(file):    1743204 kB
Inactive(file):  2020632 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:              6600 kB
Writeback:            12 kB
AnonPages:        237368 kB
Mapped:            12356 kB
Shmem:                96 kB
Slab:             754544 kB
SReclaimable:     196316 kB
SUnreclaim:       558228 kB
KernelStack:        1472 kB
PageTables:         4252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     345364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 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= 70332 MiB
End job on node134 at 2012-06-03 03:18:33