Trace number 3737155

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)-34 1800.02 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_1.opb
MD5SUM5c1211f8aed9d33c9f0c9019d9cd9874
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-37
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -37
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint60
Maximum length of a constraint103
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37366
Sum of products size (including duplicates)74732
Number of different products18683
Sum of products size37366

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-3737155-1338713847.opb
0.00/0.00	c File size is 473539 bytes.
0.08/0.10	c Highest Coefficient sum: 500
0.08/0.10	c Parsing was ok!!
0.08/0.10	c Total parsing time: 0.099 s
0.08/0.13	c Var: 37866 Constr: 75732 37866/500/37366 Lit: 298928 Watch. Lit: 224196
0.08/0.13	c Obj. Vars: 500 (1.32045 % of total variables)
1.18/1.20	c Pre-processing Time: 1.199 s
1.18/1.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.18/1.20	c        0    500    18683    56049    3    37366    6227      0      0 1.20
1.18/1.20	c Switching off LPR mode.
1.18/1.21	o -32	1.202
8.39/8.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.39/8.42	c        0    500    18684    56549    3    37400    7227      1      0 1.20
8.39/8.42	c      100    500    18784   103058    5    37600    7950    101     81 1.22
8.39/8.42	c      350    500    19034   219035   11    38100    8746    351    276 1.27
8.39/8.42	c      826    500    19510   439978   22    39052    9621    827    599 1.38
8.39/8.42	c     1639    500    20323   817325   40    40678   10584   1640   1005 1.63
8.39/8.42	c     2960    500    21644  1430201   66    43320   11643   2961   1414 2.09
8.39/8.42	c     5041    500    23725  2396028  100    47482   12808   5042   1748 2.88
8.39/8.42	c     8265    500    26949  3891551  144    53930   14089   8266   1663 4.97
8.39/8.42	c    13201    500    31885  6181239  193    63802   15498  13202   1646 8.02
8.39/8.42	o -33	8.413
245.66/245.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
245.66/245.89	c    13934    500    32619  6522058  199    65303    7227  13936   1656 8.41
245.66/245.89	c    14034    500    32719  6568411  200    65503    7950  14036   1661 8.45
245.66/245.89	c    14285    500    32970  6684806  202    66005    8746  14287   1678 8.51
245.66/245.89	c    14761    500    33446  6905309  206    66957    9621  14763   1711 8.62
245.66/245.89	c    15574    500    34259  7281736  212    68583   10584  15576   1738 8.96
245.66/245.89	c    16894    500    35579  7893159  221    71223   11643  16896   1774 9.52
245.66/245.89	c    18976    500    37661  8857344  235    75387   12808  18978   1685 11.26
245.66/245.89	c    22199    500    40884 10348014  253    81833   14089  22201   1609 13.79
245.66/245.89	c    27135    500    45820 12634422  275    91705   15498  27137   1510 17.97
245.66/245.89	c    34641    500    53326 16109254  302   106717   17048  34643   1471 23.55
245.66/245.89	c    46002    500    64687 21364134  330   129439   18753  46004   1357 33.89
245.66/245.89	c    63146    500    34616  7432256  214    69265   20629  15933    823 76.68
245.66/245.89	c    88965    500    60435 19394261  320   120903   22692  41752    622 142.85
245.66/245.89	c   127799    500    50087 14597869  291   100207   24962  31404    529 241.40
245.66/245.89	o -34	245.753
1800.01/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.40	c   130409    500    52698 15807270  299   105463    7227  34015    530 245.75
1800.01/1800.40	c   130509    500    52798 15853466  300   105663    7950  34115    530 245.80
1800.01/1800.40	c   130760    500    53049 15969485  301   106165    8746  34366    531 245.98
1800.01/1800.40	c   131236    500    53525 16189331  302   107117    9621  34842    531 246.89
1800.01/1800.40	c   132049    500    54338 16565196  304   108743   10584  35655    534 247.17
1800.01/1800.40	c   133369    500    55658 17174811  308   111383   11643  36975    536 248.69
1800.01/1800.40	c   135450    500    57739 18136138  314   115545   12808  39056    542 249.51
1800.01/1800.40	c   138674    500    60963 19625338  321   121993   14089  42280    550 252.12
1800.01/1800.40	c   143611    500    65900 21904809  332   131867   15498  47217    562 255.27
1800.01/1800.40	c   151117    500    27813  4271828  153    55660   17048   9130    567 266.45
1800.01/1800.40	c   162478    500    39174  9518225  242    78382   18753  20491    586 276.96
1800.01/1800.40	c   179623    500    56319 17440912  309   112672   20629  37636    557 322.39
1800.01/1800.40	c   205442    500    33989  7121430  209    68012   22692  15306    527 389.12
1800.01/1800.40	c   244274    500    72821 25052425  344   145676   24962  54138    448 544.25
1800.01/1800.40	c   302626    500    80233 28493045  355   160500   27459  61550    379 797.69
1800.01/1800.40	c   390258    500    61353 19760043  322   122740   30205  42670    313 1246.45
1800.01/1800.40	c Caught signal: 15
1800.01/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 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 x500 
1800.01/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.40	c   39   491910  35887   536459    51126 15037460  32443    273 1800.01
1800.01/1800.40	c Objective: -34
1800.01/1800.40	s SATISFIABLE
1800.01/1800.40	c Total time: 1800.01 s

Verifier Data 

OK	-34

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-3737155-1338713847/watcher-3737155-1338713847 -o /tmp/evaluation-result-3737155-1338713847/solver-3737155-1338713847 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737155-1338713847.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: 1.92 1.98 1.99 3/176 11095
/proc/meminfo: memFree=27361780/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=4472 CPUtime=0 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4194304 116 0 0 0 0 0 0 0 20 0 1 0 337509086 4579328 67 33554432000 134512640 135840783 4294456320 4294455764 12289344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 1119 74 57 325 0 39 0

[startup+0.0446641 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11095
/proc/meminfo: memFree=27361780/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=9624 CPUtime=0.03 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 1654 0 0 0 3 0 0 0 20 0 1 0 337509086 9854976 1590 33554432000 134512640 135840783 4294456320 4294454800 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 2407 1591 374 325 0 1227 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9624

[startup+0.100325 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11095
/proc/meminfo: memFree=27361780/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=16156 CPUtime=0.08 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 3363 0 0 0 8 0 0 0 20 0 1 0 337509086 16543744 3259 33554432000 134512640 135840783 4294456320 4294454800 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 4039 3262 437 325 0 2859 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16156

[startup+0.30033 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11095
/proc/meminfo: memFree=27361780/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=25392 CPUtime=0.29 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 5690 0 0 0 28 1 0 0 20 0 1 0 337509086 26001408 5470 33554432000 134512640 135840783 4294456320 4294001020 1381424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 6348 5470 343 325 0 5284 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25392

[startup+0.700329 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11095
/proc/meminfo: memFree=27361780/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=25392 CPUtime=0.69 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 5690 0 0 0 68 1 0 0 20 0 1 0 337509086 26001408 5470 33554432000 134512640 135840783 4294456320 4294000880 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 6348 5470 343 325 0 5284 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25392

[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27340180/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=30836 CPUtime=1.49 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 7575 0 0 0 146 3 0 0 20 0 1 0 337509086 31576064 6837 33554432000 134512640 135840783 4294456320 4294449648 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 7709 6837 349 325 0 6645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30836

[startup+3.10024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27326664/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=54128 CPUtime=3.09 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 13410 0 0 0 305 4 0 0 20 0 1 0 337509086 55427072 12672 33554432000 134512640 135840783 4294456320 4294449552 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 13532 12672 349 325 0 12468 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54128

[startup+6.30032 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27287976/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=88184 CPUtime=6.28 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 21913 0 0 0 623 5 0 0 20 0 1 0 337509086 90300416 21175 33554432000 134512640 135840783 4294456320 4294455680 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 22046 21175 349 325 0 20982 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 88184

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27224388/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=145736 CPUtime=12.68 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 36313 0 0 0 1260 8 0 0 20 0 1 0 337509086 149233664 35575 33554432000 134512640 135840783 4294456320 4294449552 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 36434 35575 349 325 0 35370 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 145736

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27122460/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=245528 CPUtime=25.48 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 61237 0 0 0 2534 14 0 0 20 0 1 0 337509086 251420672 60499 33554432000 134512640 135840783 4294456320 4294455680 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 61382 60499 349 325 0 60318 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 245528

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27023072/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=342944 CPUtime=51.08 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 85606 0 0 0 5087 21 0 0 20 0 1 0 337509086 351174656 84868 33554432000 134512640 135840783 4294456320 4294455680 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 85736 84868 349 325 0 84672 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 342944

[startup+102.307 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 11096
/proc/meminfo: memFree=27009428/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=355372 CPUtime=102.25 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 88726 0 0 0 10203 22 0 0 20 0 1 0 337509086 363900928 87959 33554432000 134512640 135840783 4294456320 4294455680 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 88843 87959 349 325 0 87779 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 355372

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 11099
/proc/meminfo: memFree=26999900/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=355372 CPUtime=162.2 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 88761 0 0 0 16198 22 0 0 20 0 1 0 337509086 363900928 87959 33554432000 134512640 135840783 4294456320 4294455680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 88843 87959 349 325 0 87779 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 355372

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11124
/proc/meminfo: memFree=26971608/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=383036 CPUtime=222.17 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 95707 0 0 0 22192 25 0 0 20 0 1 0 337509086 392228864 94876 33554432000 134512640 135840783 4294456320 4294455680 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 95759 94876 349 325 0 94695 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 383036

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11124
/proc/meminfo: memFree=27041808/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=312888 CPUtime=282.15 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 95715 0 0 0 28190 25 0 0 20 0 1 0 337509086 320397312 77371 33554432000 134512640 135840783 4294456320 4294455680 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 78222 77371 349 325 0 77158 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 312888

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11124
/proc/meminfo: memFree=27041436/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=314736 CPUtime=342.14 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 96153 0 0 0 34189 25 0 0 20 0 1 0 337509086 322289664 77809 33554432000 134512640 135840783 4294456320 4294455680 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 78684 77809 349 325 0 77620 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 314736

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11124
/proc/meminfo: memFree=26985376/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=370256 CPUtime=402.12 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 110025 0 0 0 40182 30 0 0 20 0 1 0 337509086 379142144 91681 33554432000 134512640 135840783 4294456320 4294455680 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 92564 91681 349 325 0 91500 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 370256

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11124
/proc/meminfo: memFree=26985252/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=370256 CPUtime=462.11 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 110025 0 0 0 46181 30 0 0 20 0 1 0 337509086 379142144 91681 33554432000 134512640 135840783 4294456320 4294455680 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 92564 91681 349 325 0 91500 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 370256

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11125
/proc/meminfo: memFree=26985252/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=370256 CPUtime=522.11 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 110025 0 0 0 52181 30 0 0 20 0 1 0 337509086 379142144 91681 33554432000 134512640 135840783 4294456320 4294455680 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 92564 91681 349 325 0 91500 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 370256

[startup+582.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11240
/proc/meminfo: memFree=27147700/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=395600 CPUtime=582.1 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 116361 0 0 0 58177 33 0 0 20 0 1 0 337509086 405094400 98017 33554432000 134512640 135840783 4294456320 4294455680 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 98900 98017 349 325 0 97836 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 395600

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11244
/proc/meminfo: memFree=27121932/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411228 CPUtime=822.06 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120278 0 0 0 82172 34 0 0 20 0 1 0 337509086 421097472 101924 33554432000 134512640 135840783 4294456320 4294453744 134573224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102807 101924 349 325 0 101743 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 411228

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11244
/proc/meminfo: memFree=27120196/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411228 CPUtime=882.05 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120278 0 0 0 88171 34 0 0 20 0 1 0 337509086 421097472 101924 33554432000 134512640 135840783 4294456320 4294449840 2076657 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102807 101924 349 325 0 101743 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 411228

[startup+942.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11244
/proc/meminfo: memFree=27118384/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411228 CPUtime=942.04 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120285 0 0 0 94170 34 0 0 20 0 1 0 337509086 421097472 101924 33554432000 134512640 135840783 4294456320 4294455680 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102807 101924 349 325 0 101743 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 411228

[startup+1002.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11244
/proc/meminfo: memFree=27118192/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411228 CPUtime=1002.03 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120285 0 0 0 100169 34 0 0 20 0 1 0 337509086 421097472 101924 33554432000 134512640 135840783 4294456320 4294455680 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102807 101924 349 325 0 101743 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 411228

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11244
/proc/meminfo: memFree=27118316/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411228 CPUtime=1062.02 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120285 0 0 0 106168 34 0 0 20 0 1 0 337509086 421097472 101924 33554432000 134512640 135840783 4294456320 4294455680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102807 101924 349 325 0 101743 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 411228

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11245
/proc/meminfo: memFree=27116456/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411360 CPUtime=1122.01 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120318 0 0 0 112167 34 0 0 20 0 1 0 337509086 421232640 101957 33554432000 134512640 135840783 4294456320 4294455680 134550791 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102840 101957 349 325 0 101776 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 411360

[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 11245
/proc/meminfo: memFree=27116208/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411360 CPUtime=1182 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120318 0 0 0 118166 34 0 0 20 0 1 0 337509086 421232640 101957 33554432000 134512640 135840783 4294456320 4294455632 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102840 101957 349 325 0 101776 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 411360

[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 11245
/proc/meminfo: memFree=27115648/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411360 CPUtime=1241.99 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120318 0 0 0 124165 34 0 0 20 0 1 0 337509086 421232640 101957 33554432000 134512640 135840783 4294456320 4294455632 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102840 101957 349 325 0 101776 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 411360

[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 11245
/proc/meminfo: memFree=27113292/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411360 CPUtime=1301.99 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120318 0 0 0 130165 34 0 0 20 0 1 0 337509086 421232640 101957 33554432000 134512640 135840783 4294456320 4294455680 134550916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102840 101957 349 325 0 101776 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 411360

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 11248
/proc/meminfo: memFree=27096900/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=427888 CPUtime=1361.97 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124450 0 0 0 136161 36 0 0 20 0 1 0 337509086 438157312 106089 33554432000 134512640 135840783 4294456320 4294455680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 106972 106089 349 325 0 105908 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 427888

[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 11249
/proc/meminfo: memFree=27097048/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=427888 CPUtime=1421.97 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124450 0 0 0 142161 36 0 0 20 0 1 0 337509086 438157312 106089 33554432000 134512640 135840783 4294456320 4294455680 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 106972 106089 349 325 0 105908 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 427888

[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 11249
/proc/meminfo: memFree=27097172/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=427888 CPUtime=1481.95 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124450 0 0 0 148159 36 0 0 20 0 1 0 337509086 438157312 106089 33554432000 134512640 135840783 4294456320 4294455680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 106972 106089 349 325 0 105908 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 427888

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11249
/proc/meminfo: memFree=27097216/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=427888 CPUtime=1541.94 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124456 0 0 0 154158 36 0 0 20 0 1 0 337509086 438157312 106089 33554432000 134512640 135840783 4294456320 4294455680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 106972 106089 349 325 0 105908 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 427888

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11249
/proc/meminfo: memFree=27097216/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=427888 CPUtime=1601.93 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124456 0 0 0 160157 36 0 0 20 0 1 0 337509086 438157312 106089 33554432000 134512640 135840783 4294456320 4294455680 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 106972 106089 349 325 0 105908 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 427888

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11249
/proc/meminfo: memFree=27094736/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=427888 CPUtime=1661.92 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124456 0 0 0 166156 36 0 0 20 0 1 0 337509086 438157312 106089 33554432000 134512640 135840783 4294456320 4294455680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 106972 106089 349 325 0 105908 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 427888

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11250
/proc/meminfo: memFree=27094488/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=428304 CPUtime=1721.91 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124560 0 0 0 172155 36 0 0 20 0 1 0 337509086 438583296 106193 33554432000 134512640 135840783 4294456320 4294455680 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 107076 106193 349 325 0 106012 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 428304

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11250
/proc/meminfo: memFree=27094240/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=428304 CPUtime=1781.9 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124560 0 0 0 178154 36 0 0 20 0 1 0 337509086 438583296 106193 33554432000 134512640 135840783 4294456320 4294455680 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 107076 106193 349 325 0 106012 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 428304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11250
/proc/meminfo: memFree=27094116/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=428304 CPUtime=1800.01 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124560 0 0 0 179965 36 0 0 20 0 1 0 337509086 438583296 106193 33554432000 134512640 135840783 4294456320 4294455680 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 107076 106193 349 325 0 106012 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 428304

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.02
CPU user time (s): 1799.65
CPU system time (s): 0.365944
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 428304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.365944
maximum resident set size= 424772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124563
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= 140
involuntary context switches= 1845

runsolver used 3.07053 second user time and 10.8134 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 10:57:27
IDJOB=3737155
IDBENCH=48188
IDSOLVER=2318
FILE ID=node143/3737155-1338713847
RUNJOBID= node143-1338680527-7480
PBS_JOBID= 14636712
Free space on /tmp= 68460 MiB

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

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

MD5SUM BENCH= 5c1211f8aed9d33c9f0c9019d9cd9874
RANDOM SEED=1988529472

node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5298.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27362424 kB
Buffers:          454892 kB
Cached:          3909852 kB
SwapCached:          188 kB
Active:          2442692 kB
Inactive:        2136508 kB
Active(anon):     205660 kB
Inactive(anon):    10992 kB
Active(file):    2237032 kB
Inactive(file):  2125516 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              7004 kB
Writeback:             0 kB
AnonPages:        221284 kB
Mapped:            11844 kB
Shmem:               160 kB
Slab:             791576 kB
SReclaimable:     233688 kB
SUnreclaim:       557888 kB
KernelStack:        1464 kB
PageTables:         4480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     328864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 68456 MiB
End job on node143 at 2012-06-03 11:27:30