Trace number 2671122

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 ClSAT-11 1797.9 1798.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM3258ae2375db1ca5a9ce9d305f00baf0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1275.94
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2671122-1276719620.opb
0.00/0.00	c File size is 50240 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.009 s
0.00/0.01	c Var: 714 Constr: 1380 664/102/614 Lit: 5212 Watch. Lit: 4500
0.00/0.01	c Obj. Vars: 50 (7.0028 % of total variables)
0.09/0.13	c Pre-processing Time: 0.134 s
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0    714     1380     5212    3     4500   10651      0      0 0.13
0.09/0.13	c Switching off lower bounding mode.
0.09/0.13	o -1
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0    714     1381     5262    3     4503   10685      1      0 0.14
0.09/0.13	o -2
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        2    714     1384     5429    3     4511   10701      4     14 0.14
0.09/0.15	c      102    714     1484    12034    8     4711   11772    104    684 0.15
0.09/0.15	o -3
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      130    714     1513    13535    8     4772   10718    133    855 0.15
0.09/0.16	c      230    714     1613    20398   12     4972   11790    233   1393 0.17
0.09/0.16	o -4
1.90/1.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.90/1.95	c      230    714     1614    20448   12     4978   10735    234   1393 0.17
1.90/1.95	c      330    714     1714    28468   16     5178   11809    334   1853 0.18
1.90/1.95	c      580    714     1964    49479   25     5678   12990    584   2815 0.21
1.90/1.95	c     1055    714     2439    88789   36     6628   14290   1059   3951 0.27
1.90/1.95	c     1868    714     3252   155398   47     8254   15720   1872   4877 0.38
1.90/1.95	c     3188    714     4572   258125   56    10894   17293   3192   5269 0.60
1.90/1.95	c     5269    714     6653   426704   64    15056   19023   5273   5090 1.03
1.90/1.95	c     8493    714     9877   693587   70    21504   20926   8497   4444 1.91
1.90/1.95	o -9
1.99/2.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.04	c     8560    714     9945   695087   69    21649   10818   8565   4391 1.95
1.99/2.04	c     8660    714    10045   701110   69    21849   11900   8665   4360 1.99
1.99/2.04	o -10
603.16/603.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
603.16/603.39	c     8883    714    10269   715184   69    22307   10835   8889   4339 2.05
603.16/603.39	c     8983    714    10369   721200   69    22507   11919   8989   4331 2.07
603.16/603.39	c     9233    714    10619   736624   69    23007   13111   9239   4328 2.13
603.16/603.39	c     9708    714    11094   770304   69    23957   14423   9714   4261 2.28
603.16/603.39	c    10521    714    11907   829594   69    25583   15866  10527   4161 2.53
603.16/603.39	c    11841    714    13227   921875   69    28223   17453  11847   4042 2.93
603.16/603.39	c    13922    714    15308  1077139   70    32385   19199  13928   3747 3.71
603.16/603.39	c    17145    714    18531  1304942   70    38831   21119  17151   3119 5.50
603.16/603.39	c    22081    714    12253   746884   60    26256   23231  10873   2383 9.26
603.16/603.39	c    29588    714    19760  1274216   64    41270   25555  18380   2337 12.66
603.16/603.39	c    40949    714    15835   980322   61    33420   28111  14455   1841 22.24
603.16/603.39	c    58093    714    15185   984067   64    32120   30923  13805   1661 34.95
603.16/603.39	c    83912    714    20552  1275213   62    42854   34016  19172   1504 55.77
603.16/603.39	c   122744    714    12607   692866   54    26964   37418  11227   1415 86.72
603.16/603.39	c   181096    714    17466   990189   56    36682   41160  16086   1325 136.63
603.16/603.39	c   268728    714    13902   868847   62    29554   45277  12522   1158 231.90
603.16/603.39	c   400281    714    41963  2776470   66    85676   49805  40583   1086 368.43
603.16/603.39	c   597713    714    45226  2892387   63    92202   54786  43846   1041 573.73
603.16/603.39	o -11
1797.90/1798.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.90/1798.39	c   611355    714    15042   889922   59    31845   10851  13662   1013 603.26
1797.90/1798.39	c   611455    714     6907   363484   52    15565   11937   5527   1013 603.55
1797.90/1798.39	c   611705    714     7157   377712   52    16065   13131   5777   1013 603.62
1797.90/1798.39	c   612181    714     7633   404077   52    17017   14445   6253   1013 603.75
1797.90/1798.39	c   612994    714     8446   453141   53    18643   15890   7066   1014 603.96
1797.90/1798.39	c   614314    714     9766   543122   55    21283   17480   8386   1016 604.27
1797.90/1798.39	c   616395    714    11847   679360   57    25445   19229  10467   1018 605.05
1797.90/1798.39	c   619618    714    15070   883139   58    31891   21152  13690   1021 606.59
1797.90/1798.39	c   624554    714    20006  1204118   60    41763   23268  18626   1023 609.95
1797.90/1798.39	c   632060    714    14468   883731   61    30687   25595  13088   1024 617.02
1797.90/1798.39	c   643421    714    25829  1663366   64    53409   28155  24449   1031 623.72
1797.90/1798.39	c   660566    714    25253  1753336   69    52257   30971  23873   1035 637.68
1797.90/1798.39	c   686385    714    30555  1815098   59    62861   34069  29175   1039 660.42
1797.90/1798.39	c   725217    714    22369  1568896   70    46489   37476  20989   1034 701.05
1797.90/1798.39	c   783569    714    27092  1883729   69    55935   41224  25712   1034 757.64
1797.90/1798.39	c   871201    714    23210  1453960   62    48171   45347  21830   1001 869.95
1797.90/1798.39	c  1002753    714    16753  1136456   67    35257   49882  15373    974 1029.28
1797.90/1798.39	c  1200185    714    19473  1234449   63    40697   54871  18093    929 1290.53
1797.90/1798.39	c  1496437    714    52824  3499369   66   107399   60359  51444    891 1678.46
1797.90/1798.39	c Resources Exceeded
1797.90/1798.39	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 -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 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -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 
1797.90/1798.39	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1798.39	c   52  1577943   1608  1583522    35820  2475028  34440    877 1798.01
1797.90/1798.39	c Objective: -11
1797.90/1798.39	s SATISFIABLE
1797.90/1798.39	c Total time: 1798.01 s

Verifier Data 

OK	-11

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671122-1276719620/watcher-2671122-1276719620 -o /tmp/evaluation-result-2671122-1276719620/solver-2671122-1276719620 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671122-1276719620.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 18860
/proc/meminfo: memFree=1850028/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=10848 CPUtime=0
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 13257385 11108352 253 1992294400 134512640 137138936 4290193072 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 2712 253 175 642 0 2055 0

[startup+0.0313171 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 18860
/proc/meminfo: memFree=1850028/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=11060 CPUtime=0.02
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 413 0 0 0 2 0 0 0 20 0 1 0 13257385 11325440 318 1992294400 134512640 137138936 4290193072 18446744073709551615 136500398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 2765 318 184 642 0 2121 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11060

[startup+0.101321 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 18860
/proc/meminfo: memFree=1850028/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=11060 CPUtime=0.09
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 413 0 0 0 9 0 0 0 20 0 1 0 13257385 11325440 318 1992294400 134512640 137138936 4290193072 18446744073709551615 136504438 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 2765 318 184 642 0 2121 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11060

[startup+0.301332 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 18860
/proc/meminfo: memFree=1850028/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=12572 CPUtime=0.29
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 786 0 0 0 29 0 0 0 20 0 1 0 13257385 12873728 691 1992294400 134512640 137138936 4290193072 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 3143 691 191 642 0 2499 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12572

[startup+0.701357 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 18860
/proc/meminfo: memFree=1850028/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=15320 CPUtime=0.69
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 1471 0 0 0 68 1 0 0 21 0 1 0 13257385 15687680 1376 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 3830 1376 191 642 0 3186 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15320

[startup+1.50141 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 18861
/proc/meminfo: memFree=1843572/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=19072 CPUtime=1.49
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 2430 0 0 0 147 2 0 0 23 0 1 0 13257385 19529728 2335 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 4768 2335 191 642 0 4124 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19072

[startup+3.10151 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 18861
/proc/meminfo: memFree=1839108/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=24472 CPUtime=3.09
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 3761 0 0 0 305 4 0 0 25 0 1 0 13257385 25059328 3666 1992294400 134512640 137138936 4290193072 18446744073709551615 135984577 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 6118 3667 191 642 0 5474 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24472

[startup+6.3007 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 18861
/proc/meminfo: memFree=1830676/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=30616 CPUtime=6.29
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 5324 0 0 0 623 6 0 0 25 0 1 0 13257385 31350784 5229 1992294400 134512640 137138936 4290193072 18446744073709551615 134599815 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 7654 5229 191 642 0 7010 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30616

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 18861
/proc/meminfo: memFree=1826212/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=33944 CPUtime=12.69
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 6146 0 0 0 1260 9 0 0 25 0 1 0 13257385 34758656 6051 1992294400 134512640 137138936 4290193072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 8486 6051 191 642 0 7842 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33944

[startup+25.5009 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 18861
/proc/meminfo: memFree=1823112/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=37116 CPUtime=25.49
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 6944 0 0 0 2534 15 0 0 25 0 1 0 13257385 38006784 6849 1992294400 134512640 137138936 4290193072 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 9279 6849 191 642 0 8635 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37116

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 18863
/proc/meminfo: memFree=1818152/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=41952 CPUtime=51.07
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 8158 0 0 0 5086 21 0 0 25 0 1 0 13257385 42958848 8063 1992294400 134512640 137138936 4290193072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 10488 8063 191 642 0 9844 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41952

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 18863
/proc/meminfo: memFree=1815052/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=44940 CPUtime=102.27
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 8937 0 0 0 10191 36 0 0 25 0 1 0 13257385 46018560 8808 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 11235 8808 191 642 0 10591 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 44940

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 18865
/proc/meminfo: memFree=1810464/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=49440 CPUtime=162.25
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 10125 0 0 0 16174 51 0 0 25 0 1 0 13257385 50626560 9917 1992294400 134512640 137138936 4290193072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 12360 9917 191 642 0 11716 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49440

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 18867
/proc/meminfo: memFree=1807860/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=52136 CPUtime=222.24
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 10786 0 0 0 22159 65 0 0 25 0 1 0 13257385 53387264 10578 1992294400 134512640 137138936 4290193072 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 13034 10578 191 642 0 12390 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 52136

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 18869
/proc/meminfo: memFree=1805008/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=54744 CPUtime=282.23
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 11510 0 0 0 28143 80 0 0 25 0 1 0 13257385 56057856 11257 1992294400 134512640 137138936 4290193072 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 13686 11257 191 642 0 13042 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 54744

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 18871
/proc/meminfo: memFree=1804760/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=55188 CPUtime=342.21
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 11594 0 0 0 34127 94 0 0 25 0 1 0 13257385 56512512 11341 1992294400 134512640 137138936 4290193072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 13797 11341 191 642 0 13153 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 55188

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 18871
/proc/meminfo: memFree=1799552/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=60228 CPUtime=402.2
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 12906 0 0 0 40112 108 0 0 25 0 1 0 13257385 61673472 12603 1992294400 134512640 137138936 4290193072 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 15057 12603 191 642 0 14413 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 60228

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 18873
/proc/meminfo: memFree=1799428/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=60424 CPUtime=462.19
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 12953 0 0 0 46096 123 0 0 25 0 1 0 13257385 61874176 12650 1992294400 134512640 137138936 4290193072 18446744073709551615 134540742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 15106 12650 191 642 0 14462 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 60424

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 18875
/proc/meminfo: memFree=1799304/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=60144 CPUtime=522.17
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 12953 0 0 0 52080 137 0 0 25 0 1 0 13257385 61587456 12612 1992294400 134512640 137138936 4290193072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 15036 12612 191 642 0 14392 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 60144

[startup+582.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 18877
/proc/meminfo: memFree=1799304/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=60144 CPUtime=582.16
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 12953 0 0 0 58065 151 0 0 25 0 1 0 13257385 61587456 12612 1992294400 134512640 137138936 4290193072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 15036 12612 191 642 0 14392 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 60144

[startup+642.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 18879
/proc/meminfo: memFree=1795708/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=63728 CPUtime=642.15
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 13889 0 0 0 64050 165 0 0 25 0 1 0 13257385 65257472 13493 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 15932 13493 191 642 0 15288 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 63728

[startup+702.301 s]

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

[pid=18860] ppid=18858 vsize=68328 CPUtime=1421.98
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 15022 0 0 0 141878 320 0 0 25 0 1 0 13257385 69967872 14626 1992294400 134512640 137138936 4290193072 18446744073709551615 134573345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 17082 14626 191 642 0 16438 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 68328

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18904
/proc/meminfo: memFree=1790748/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=68328 CPUtime=1481.97
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 15022 0 0 0 147866 331 0 0 25 0 1 0 13257385 69967872 14626 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 17082 14626 191 642 0 16438 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 68328

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18906
/proc/meminfo: memFree=1790748/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=68328 CPUtime=1541.95
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 15022 0 0 0 153852 343 0 0 25 0 1 0 13257385 69967872 14626 1992294400 134512640 137138936 4290193072 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 17082 14626 191 642 0 16438 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 68328

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18906
/proc/meminfo: memFree=1790624/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=68328 CPUtime=1601.94
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 15022 0 0 0 159837 357 0 0 25 0 1 0 13257385 69967872 14626 1992294400 134512640 137138936 4290193072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 17082 14626 191 642 0 16438 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 68328

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 18908
/proc/meminfo: memFree=1790624/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=68328 CPUtime=1661.93
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 15022 0 0 0 165823 370 0 0 25 0 1 0 13257385 69967872 14626 1992294400 134512640 137138936 4290193072 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 17082 14626 191 642 0 16438 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 68328

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18910
/proc/meminfo: memFree=1788516/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=70200 CPUtime=1721.92
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 15568 0 0 0 171814 378 0 0 25 0 1 0 13257385 71884800 15112 1992294400 134512640 137138936 4290193072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 17550 15112 191 642 0 16906 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 70200

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18912
/proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=72432 CPUtime=1781.9
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 177800 390 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 18108 15651 191 642 0 17464 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 72432

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1797.9 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1797.9 s) to the 'lost time'.

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18912
/proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=72432 CPUtime=1797.9
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 179396 394 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 18108 15651 191 642 0 17464 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 72432

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18912
/proc/meminfo: memFree=1805008/2059040 swapFree=4139272/4192956
[pid=18860] ppid=-1 vsize=0 CPUtime=0
/proc/18860/stat : -- couldn't open stat file --/proc/18860/statm: }HCurrent children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18912
/proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=72432 CPUtime=1791.51
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 178759 392 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 18108 15651 191 642 0 17464 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 72432

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18912
/proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=72432 CPUtime=1794.7
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 179077 393 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 18108 15651 191 642 0 17464 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 72432

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18912
/proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=72432 CPUtime=1796.3
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 179237 393 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 18108 15651 191 642 0 17464 0
Current children cumulated CPU time (s) 1796.3
Current children cumulated vsize (KiB) 72432

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18912
/proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=72432 CPUtime=1797.1
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 179316 394 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 18108 15651 191 642 0 17464 0
Current children cumulated CPU time (s) 1797.1
Current children cumulated vsize (KiB) 72432

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18912
/proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=72432 CPUtime=1797.5
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 179356 394 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 18108 15651 191 642 0 17464 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 72432

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18912
/proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956
[pid=18860] ppid=18858 vsize=72432 CPUtime=1797.9
/proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 179396 394 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18860/statm: 18108 15651 191 642 0 17464 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 72432

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18912
/proc/meminfo: memFree=1805008/2059040 swapFree=4139272/4192956
[pid=18860] ppid=-1 vsize=0 CPUtime=0
/proc/18860/stat : -- couldn't open stat file --/proc/18860/statm: }HCurrent children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18860 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=63260
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=950399
# CPU time returned by wait4() is 1798.01
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1797.9
#  lost CPU user time (s): 1793.96
#  lost CPU system time (s): 3.94

Real time (s): 1798.41
CPU time (s): 1797.9
CPU user time (s): 1793.96
CPU system time (s): 3.94
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 72432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.06
system time used= 3.9504
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16108
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= 1
involuntary context switches= 6384

runsolver used 2.90656 second user time and 8.5527 second system time

The end

Launcher Data 

Begin job on node029 at 2010-06-16 22:20:20
IDJOB=2671122
IDBENCH=48277
IDSOLVER=1163
FILE ID=node029/2671122-1276719620
PBS_JOBID= 11174182
Free space on /tmp= 62576 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671122-1276719620/watcher-2671122-1276719620 -o /tmp/evaluation-result-2671122-1276719620/solver-2671122-1276719620 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2671122-1276719620.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0
RANDOM SEED=950311507

node029.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.221
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.221
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1850680 kB
Buffers:         28664 kB
Cached:          99652 kB
SwapCached:       7080 kB
Active:          85640 kB
Inactive:        56708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1850680 kB
SwapTotal:     4192956 kB
SwapFree:      4139272 kB
Dirty:            4004 kB
Writeback:           0 kB
AnonPages:       11720 kB
Mapped:          12880 kB
Slab:            44184 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183308 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671122-1276719620.opb

Free space on /tmp at the end= 62572 MiB
End job on node029 at 2010-06-16 22:50:18