Trace number 3737100

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)-62 1800.04 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_5.opb
MD5SUM40141f2f083fa5e1f8a41aa043de0b1b
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-69
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -69
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 constraint25
Maximum length of a constraint47
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)15706
Sum of products size (including duplicates)31412
Number of different products7853
Sum of products size15706

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-3737100-1338712622.opb
0.00/0.00	c File size is 203060 bytes.
0.00/0.04	c Highest Coefficient sum: 500
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.039 s
0.00/0.05	c Var: 16206 Constr: 32412 16206/500/15706 Lit: 125648 Watch. Lit: 94236
0.00/0.05	c Obj. Vars: 500 (3.08528 % of total variables)
0.08/0.18	c Pre-processing Time: 0.175 s
0.08/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.18	c        0    500     7853    23559    3    15706    2617      0      0 0.17
0.08/0.18	c Switching off LPR mode.
0.08/0.18	o -61	0.176
0.08/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.18	c        0    500     7854    24059    3    15769    3617      1      0 0.18
0.08/0.18	o -62	0.178
1800.02/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.40	c       11    500     7866    29361    3    15855    3617     13     61 0.18
1800.02/1800.40	c      111    500     7966    72823    9    16055    3979    113    575 0.19
1800.02/1800.40	c      361    500     8216   181447   22    16555    4377    363   1529 0.24
1800.02/1800.40	c      836    500     8691   387633   44    17505    4815    838   2596 0.32
1800.02/1800.40	c     1651    500     9506   741880   78    19135    5297   1653   3342 0.49
1800.02/1800.40	c     2971    500    10826  1315275  121    21775    5827   2973   3751 0.79
1800.02/1800.40	c     5052    500    12907  2219768  171    25937    6410   5054   3510 1.44
1800.02/1800.40	c     8276    500    16131  3621145  224    32385    7052   8278   3422 2.42
1800.02/1800.40	c    13213    500    21068  5768304  273    42259    7758  13215   2977 4.44
1800.02/1800.40	c    20719    500    28574  9031403  316    57271    8534  20721   2458 8.43
1800.02/1800.40	c    32080    500    19502  5084138  260    39066    9388  11649   1640 19.56
1800.02/1800.40	c    49224    500    15784  3468428  219    31630   10327   7931   1494 32.93
1800.02/1800.40	c    75044    500    20266  5417074  267    40594   11360  12413   1274 58.86
1800.02/1800.40	c   113876    500    15388  3297530  214    30838   12497   7535   1086 104.81
1800.02/1800.40	c   172228    500    28920  9175132  317    57902   13747  21067    997 172.66
1800.02/1800.40	c   259860    500    24391  7209282  295    48844   15122  16538    822 316.08
1800.02/1800.40	c   391412    500    37286 12818337  343    74634   16635  29433    773 505.99
1800.02/1800.40	c   588845    500    38827 13489037  347    77716   18299  30974    730 806.54
1800.02/1800.40	c   885098    500    31282 10205280  326    62626   20129  23429    670 1319.08
1800.02/1800.40	c Caught signal: 15
1800.02/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.02/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.40	c   20  1229904 181186  1491892    35097 11864955  27244    683 1800.03
1800.02/1800.40	c Objective: -62
1800.02/1800.40	s SATISFIABLE
1800.02/1800.40	c Total time: 1800.03 s

Verifier Data 

OK	-62

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-3737100-1338712622/watcher-3737100-1338712622 -o /tmp/evaluation-result-3737100-1338712622/solver-3737100-1338712622 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737100-1338712622.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.94 2.01 1.99 3/176 11046
/proc/meminfo: memFree=27555852/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 337386589 4583424 157 33554432000 134512640 135840783 4289103568 4289102908 12268888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 1119 158 136 325 0 39 0

[startup+0.0769591 s]
/proc/loadavg: 1.94 2.01 1.99 3/176 11046
/proc/meminfo: memFree=27555852/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=13396 CPUtime=0.06 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 2666 0 0 0 6 0 0 0 20 0 1 0 337386589 13717504 2552 33554432000 134512640 135840783 4289103568 4288908188 12551216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 3349 2552 345 325 0 2285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13396

[startup+0.100321 s]
/proc/loadavg: 1.94 2.01 1.99 3/176 11046
/proc/meminfo: memFree=27555852/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=13396 CPUtime=0.08 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 2666 0 0 0 8 0 0 0 20 0 1 0 337386589 13717504 2552 33554432000 134512640 135840783 4289103568 4288908188 12551216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 3349 2552 345 325 0 2285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13396

[startup+0.300264 s]
/proc/loadavg: 1.94 2.01 1.99 3/176 11046
/proc/meminfo: memFree=27555852/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=16728 CPUtime=0.28 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 3638 0 0 0 28 0 0 0 20 0 1 0 337386589 17129472 3396 33554432000 134512640 135840783 4289103568 4289097264 5391655 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 4182 3398 351 325 0 3118 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 16728

[startup+0.700262 s]
/proc/loadavg: 1.94 2.01 1.99 3/176 11046
/proc/meminfo: memFree=27555852/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=26548 CPUtime=0.68 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 6102 0 0 0 67 1 0 0 20 0 1 0 337386589 27185152 5860 33554432000 134512640 135840783 4289103568 4289097440 134586899 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 6637 5860 351 325 0 5573 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 26548

[startup+1.50028 s]
/proc/loadavg: 1.94 2.01 1.99 3/177 11047
/proc/meminfo: memFree=27527696/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=41220 CPUtime=1.48 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 9753 0 0 0 147 1 0 0 20 0 1 0 337386589 42209280 9511 33554432000 134512640 135840783 4289103568 4289097136 5391655 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 10305 9511 351 325 0 9241 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41220

[startup+3.10028 s]
/proc/loadavg: 1.94 2.01 1.99 3/177 11047
/proc/meminfo: memFree=27506848/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=69072 CPUtime=3.08 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 16747 0 0 0 305 3 0 0 20 0 1 0 337386589 70729728 16505 33554432000 134512640 135840783 4289103568 4289102928 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 17268 16505 351 325 0 16204 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 69072

[startup+6.30028 s]
/proc/loadavg: 1.94 2.00 1.99 3/177 11047
/proc/meminfo: memFree=27459728/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=109068 CPUtime=6.28 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 26730 0 0 0 623 5 0 0 20 0 1 0 337386589 111685632 26488 33554432000 134512640 135840783 4289103568 4289097312 5391655 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 27267 26488 351 325 0 26203 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 109068

[startup+12.7003 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 11047
/proc/meminfo: memFree=27410640/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=148616 CPUtime=12.68 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 36601 0 0 0 1261 7 0 0 20 0 1 0 337386589 152182784 36359 33554432000 134512640 135840783 4289103568 4289102928 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 37154 36359 351 325 0 36090 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 148616

[startup+25.5003 s]
/proc/loadavg: 1.96 2.00 1.99 3/177 11047
/proc/meminfo: memFree=27410924/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=148616 CPUtime=25.46 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 36613 0 0 0 2539 7 0 0 20 0 1 0 337386589 152182784 36389 33554432000 134512640 135840783 4289103568 4289102928 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 37154 36389 351 325 0 36090 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 148616

[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 11047
/proc/meminfo: memFree=27404568/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=154976 CPUtime=51.05 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 38219 0 0 0 5097 8 0 0 20 0 1 0 337386589 158695424 37979 33554432000 134512640 135840783 4289103568 4289102928 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 38744 37979 351 325 0 37680 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 154976

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 11047
/proc/meminfo: memFree=27392584/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=166408 CPUtime=102.21 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 41115 0 0 0 10212 9 0 0 20 0 1 0 337386589 170401792 40837 33554432000 134512640 135840783 4289103568 4289097508 5397014 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 41602 40837 351 325 0 40538 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 166408

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 11047
/proc/meminfo: memFree=27385252/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=173092 CPUtime=162.18 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 42954 0 0 0 16209 9 0 0 20 0 1 0 337386589 177246208 42508 33554432000 134512640 135840783 4289103568 4289097508 5397043 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 43273 42508 351 325 0 42209 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 173092

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 11051
/proc/meminfo: memFree=27378796/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=180024 CPUtime=222.18 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 44687 0 0 0 22208 10 0 0 20 0 1 0 337386589 184344576 44241 33554432000 134512640 135840783 4289103568 4289102928 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 45006 44241 351 325 0 43942 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 180024

[startup+282.3 s]
/proc/loadavg: 2.14 2.03 2.00 3/177 11051
/proc/meminfo: memFree=27378232/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=180024 CPUtime=282.17 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 44692 0 0 0 28207 10 0 0 20 0 1 0 337386589 184344576 44241 33554432000 134512640 135840783 4289103568 4289102928 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 45006 44241 351 325 0 43942 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 180024

[startup+342.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 11051
/proc/meminfo: memFree=27370792/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=187452 CPUtime=342.16 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 46638 0 0 0 34205 11 0 0 20 0 1 0 337386589 191950848 46098 33554432000 134512640 135840783 4289103568 4289102928 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 46863 46098 351 325 0 45799 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 187452

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11051
/proc/meminfo: memFree=27370472/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=187336 CPUtime=402.15 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 46740 0 0 0 40204 11 0 0 20 0 1 0 337386589 191832064 46101 33554432000 134512640 135840783 4289103568 4289102928 134551065 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 46834 46101 351 325 0 45770 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 187336

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11051
/proc/meminfo: memFree=27370596/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=187652 CPUtime=462.14 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 46787 0 0 0 46203 11 0 0 20 0 1 0 337386589 192155648 46148 33554432000 134512640 135840783 4289103568 4289102928 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 46913 46148 351 325 0 45849 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 187652

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11052
/proc/meminfo: memFree=27361544/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=196032 CPUtime=522.13 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 48882 0 0 0 52201 12 0 0 20 0 1 0 337386589 200736768 48243 33554432000 134512640 135840783 4289103568 4289097240 134584956 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 49008 48243 351 325 0 47944 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 196032

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11052
/proc/meminfo: memFree=27369480/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=187548 CPUtime=582.12 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 48882 0 0 0 58200 12 0 0 20 0 1 0 337386589 192049152 46154 33554432000 134512640 135840783 4289103568 4289102928 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 46887 46154 351 325 0 45823 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 187548

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 11056
/proc/meminfo: memFree=27351856/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=205172 CPUtime=822.07 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 54305 0 0 0 82194 13 0 0 20 0 1 0 337386589 210096128 50560 33554432000 134512640 135840783 4289103568 4289102928 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 51293 50560 351 325 0 50229 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 205172

[startup+882.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11056
/proc/meminfo: memFree=27353404/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=203240 CPUtime=882.06 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 54307 0 0 0 88193 13 0 0 20 0 1 0 337386589 208117760 50077 33554432000 134512640 135840783 4289103568 4289102928 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 50810 50077 351 325 0 49746 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 203240

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11056
/proc/meminfo: memFree=27351048/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=205508 CPUtime=942.06 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 54842 0 0 0 94192 14 0 0 20 0 1 0 337386589 210440192 50612 33554432000 134512640 135840783 4289103568 4289097424 134547392 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 51377 50612 351 325 0 50313 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 205508

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11056
/proc/meminfo: memFree=27351048/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=205460 CPUtime=1002.05 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 55379 0 0 0 100191 14 0 0 20 0 1 0 337386589 210391040 50600 33554432000 134512640 135840783 4289103568 4289102880 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 51365 50600 351 325 0 50301 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 205460

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11056
/proc/meminfo: memFree=27352844/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=203148 CPUtime=1062.04 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 55380 0 0 0 106190 14 0 0 20 0 1 0 337386589 208023552 50054 33554432000 134512640 135840783 4289103568 4289102928 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 50787 50054 351 325 0 49723 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 203148

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11057
/proc/meminfo: memFree=27351232/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=205108 CPUtime=1122.03 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 55934 0 0 0 112189 14 0 0 20 0 1 0 337386589 210030592 50544 33554432000 134512640 135840783 4289103568 4289102928 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 51277 50544 351 325 0 50213 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 205108

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11057
/proc/meminfo: memFree=27350984/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=205540 CPUtime=1182.02 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 56010 0 0 0 118188 14 0 0 20 0 1 0 337386589 210472960 50620 33554432000 134512640 135840783 4289103568 4289102928 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 51385 50620 351 325 0 50321 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 205540

[startup+1242.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27191652/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=205156 CPUtime=1242.01 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 56010 0 0 0 124187 14 0 0 20 0 1 0 337386589 210079744 50556 33554432000 134512640 135840783 4289103568 4289102928 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 51289 50556 351 325 0 50225 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 205156

[startup+1302.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 11096
/proc/meminfo: memFree=27009724/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=205140 CPUtime=1302.01 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 56070 0 0 0 130187 14 0 0 20 0 1 0 337386589 210063360 50552 33554432000 134512640 135840783 4289103568 4289102928 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 51285 50552 351 325 0 50221 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 205140

[startup+1362.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/176 11096
/proc/meminfo: memFree=27000584/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=215608 CPUtime=1361.99 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 58655 0 0 0 136184 15 0 0 20 0 1 0 337386589 220782592 53137 33554432000 134512640 135840783 4289103568 4289102928 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 53902 53137 351 325 0 52838 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 215608

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11101
/proc/meminfo: memFree=26971580/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=215496 CPUtime=1421.99 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 58724 0 0 0 142184 15 0 0 20 0 1 0 337386589 220667904 53141 33554432000 134512640 135840783 4289103568 4289097392 134586558 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 53874 53141 351 325 0 52810 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 215496

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11124
/proc/meminfo: memFree=26971732/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=215672 CPUtime=1481.97 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 58736 0 0 0 148182 15 0 0 20 0 1 0 337386589 220848128 53153 33554432000 134512640 135840783 4289103568 4289102928 134551383 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 53918 53153 351 325 0 52854 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 215672

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11124
/proc/meminfo: memFree=27042180/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=215828 CPUtime=1541.96 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 58775 0 0 0 154181 15 0 0 20 0 1 0 337386589 221007872 53192 33554432000 134512640 135840783 4289103568 4289102928 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 53957 53192 351 325 0 52893 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 215828

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11124
/proc/meminfo: memFree=26985512/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=215828 CPUtime=1601.95 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 58775 0 0 0 160180 15 0 0 20 0 1 0 337386589 221007872 53192 33554432000 134512640 135840783 4289103568 4289102992 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 53957 53192 351 325 0 52893 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 215828

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11124
/proc/meminfo: memFree=26985252/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=215828 CPUtime=1661.94 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 58781 0 0 0 166179 15 0 0 20 0 1 0 337386589 221007872 53192 33554432000 134512640 135840783 4289103568 4289102848 5394018 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 53957 53192 351 325 0 52893 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 215828

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11125
/proc/meminfo: memFree=26985252/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=215828 CPUtime=1721.93 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 58781 0 0 0 172178 15 0 0 20 0 1 0 337386589 221007872 53192 33554432000 134512640 135840783 4289103568 4289102928 134550777 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 53957 53192 351 325 0 52893 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 215828

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11125
/proc/meminfo: memFree=26959460/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=215828 CPUtime=1781.92 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 58781 0 0 0 178177 15 0 0 20 0 1 0 337386589 221007872 53192 33554432000 134512640 135840783 4289103568 4289102928 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 53957 53192 351 325 0 52893 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 215828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11125
/proc/meminfo: memFree=26959584/32873844 swapFree=7628/7628
[pid=11046] ppid=11044 vsize=215828 CPUtime=1800.02 cores=0,2,4,6
/proc/11046/stat : 11046 (bsolo3.0.17) R 11044 11046 7463 0 -1 4202496 58781 0 0 0 179987 15 0 0 20 0 1 0 337386589 221007872 53192 33554432000 134512640 135840783 4289103568 4289102928 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11046/statm: 53957 53192 351 325 0 52893 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 215828

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.04
CPU user time (s): 1799.88
CPU system time (s): 0.155976
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 215884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.155976
maximum resident set size= 212824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58784
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= 109
involuntary context switches= 1871

runsolver used 2.94155 second user time and 9.93349 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 10:37:02
IDJOB=3737100
IDBENCH=48182
IDSOLVER=2318
FILE ID=node143/3737100-1338712622
RUNJOBID= node143-1338680527-7479
PBS_JOBID= 14636712
Free space on /tmp= 68464 MiB

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

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

MD5SUM BENCH= 40141f2f083fa5e1f8a41aa043de0b1b
RANDOM SEED=971557308

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:        27555852 kB
Buffers:          454664 kB
Cached:          3908924 kB
SwapCached:          188 kB
Active:          2249436 kB
Inactive:        2136484 kB
Active(anon):      13020 kB
Inactive(anon):    10992 kB
Active(file):    2236416 kB
Inactive(file):  2125492 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              6612 kB
Writeback:             0 kB
AnonPages:         28748 kB
Mapped:            11836 kB
Shmem:               160 kB
Slab:             791584 kB
SReclaimable:     233684 kB
SUnreclaim:       557900 kB
KernelStack:        1464 kB
PageTables:         4124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     136012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:07:05