Trace number 2670764

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 ClSAT257 1798.01 1798.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb
MD5SUM901fa4df755866cb23bdcc769669d554
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark9.02663
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints15
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 constraints15
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)567
Sum of products size (including duplicates)1134
Number of different products567
Sum of products size1134

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-2670764-1276705953.opb
0.00/0.00	c File size is 42576 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.007 s
0.00/0.00	c Var: 756 Constr: 1156 567/0/589 Lit: 4842 Watch. Lit: 2963
0.00/0.00	c Obj. Vars: 9 (1.19048 % of total variables)
0.00/0.01	c Pre-processing Time: 0.016 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    756     1156     4842    4     4165    6471      0      0 0.02
0.00/0.01	c Switching off lower bounding mode.
821.56/821.97	c      100    756     1256    12072    9     4294    7119    100   3571 0.03
821.56/821.97	c      251    756     1407    30281   21     4598    7831    251   5020 0.05
821.56/821.97	c      477    756     1633    50715   31     5011    8615    477   5611 0.09
821.56/821.97	c      815    756     1971    81198   41     5657    9477    815   6127 0.13
821.56/821.97	c     1323    756     2479   123485   49     6676   10425   1323   6330 0.21
821.56/821.97	c     2086    756     3242   186536   57     8222   11468   2086   6398 0.33
821.56/821.97	c     3233    756     4389   273888   62    10510   12615   3233   5488 0.59
821.56/821.97	c     4955    756     6111   399003   65    13956   13877   4955   4439 1.12
821.56/821.97	c     7539    756     8695   605566   69    19131   15265   7539   4455 1.69
821.56/821.97	c    11418    756    12574   984736   78    26837   16792  11418   4556 2.51
821.56/821.97	c    17241    756     9648   779548   80    21073   18472   8492   2652 6.50
821.56/821.97	c    25978    756    18385  1571170   85    38498   20320  17229   2593 10.02
821.56/821.97	c    39088    756    21069  1688955   80    43832   22353  19913   2537 15.40
821.56/821.97	c    58759    756    16603  1332063   80    34795   24589  15447   1949 30.14
821.56/821.97	c    88269    756    18083  1378906   76    37881   27048  16927   1564 56.40
821.56/821.97	c   132539    756    12518   956491   76    26635   29753  11362   1099 120.60
821.56/821.97	c   198949    756    21993  1590278   72    45615   32729  20837    856 232.18
821.56/821.97	c   298570    756    33852  2876589   84    69338   36002  32696    830 359.39
821.56/821.97	c   448005    756    32112  2874258   89    65840   39603  30956    608 736.62
821.56/821.97	o 257
1797.97/1798.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.71	c   503093    756    30385  2373959   78    62352    6489  29229    612 821.64
1797.97/1798.71	c   503196    756     4505   290595   64    10729    7138   3349    612 822.16
1797.97/1798.71	c   503447    756     4756   313817   65    11171    7852   3600    612 822.22
1797.97/1798.71	c   503922    756     5231   352315   67    12198    8638   4075    612 822.32
1797.97/1798.71	c   504735    756     6044   421999   69    13837    9502   4888    613 822.55
1797.97/1798.71	c   506055    756     7364   543911   73    16356   10453   6208    615 822.83
1797.97/1798.71	c   508139    756     9448   735656   77    20566   11499   8292    617 823.41
1797.97/1798.71	c   511362    756     6907   500912   72    15434   12649   5751    620 824.59
1797.97/1798.71	c   516299    756    11844   923620   77    25292   13914  10688    625 825.99
1797.97/1798.71	c   523806    756    12128   864885   71    25880   15306  10972    630 830.49
1797.97/1798.71	c   535167    756    15592  1171211   75    32816   16837  14436    638 837.81
1797.97/1798.71	c   552312    756    15622  1090411   69    32836   18521  14466    647 852.53
1797.97/1798.71	c   578132    756    12989  1073925   82    27531   20374  11833    657 879.09
1797.97/1798.71	c   616965    756    19854  1506564   75    41175   22412  18698    673 915.54
1797.97/1798.71	c   675318    756    18899  1507212   79    39415   24654  17743    681 990.87
1797.97/1798.71	c   762950    756    22188  2062985   92    46012   27120  21032    696 1094.85
1797.97/1798.71	c   894502    756    23724  1958653   82    49158   29833  22568    698 1280.12
1797.97/1798.71	c  1091935    756    30407  2232200   73    62532   32817  29251    684 1595.81
1797.97/1798.71	c Resources Exceeded
1797.97/1798.71	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 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 x73 x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x127 x128 -x129 x130 -x131 -x132 -x133 x134 -x135 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 x82 x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 x91 x92 -x93 x94 x95 -x96 x97 -x98 x99 x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 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 x100 -x101 x102 -x103 -x104 -x105 x106 x107 -x108 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 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 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 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 x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 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 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x181 x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 
1797.97/1798.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.71	c   37  1224013  12911  1270432    30294  2486420  29138    680 1798.00
1797.97/1798.71	c Objective: 257
1797.97/1798.71	s SATISFIABLE
1797.97/1798.71	c Total time: 1798 s

Verifier Data 

OK	257

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670764-1276705953/watcher-2670764-1276705953 -o /tmp/evaluation-result-2670764-1276705953/solver-2670764-1276705953 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670764-1276705953.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: 1.00 1.01 1.00 3/106 13173
/proc/meminfo: memFree=1726028/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=10840 CPUtime=0
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 336 0 0 0 0 0 0 0 18 0 1 0 46198747 11100160 255 1992294400 134512640 137138936 4291777504 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 2710 255 175 642 0 2055 0

[startup+0.0784071 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 13173
/proc/meminfo: memFree=1726028/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=11572 CPUtime=0.07
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 552 0 0 0 7 0 0 0 20 0 1 0 46198747 11849728 460 1992294400 134512640 137138936 4291777504 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 2893 460 190 642 0 2249 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11572

[startup+0.10141 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 13173
/proc/meminfo: memFree=1726028/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=11824 CPUtime=0.09
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 605 0 0 0 9 0 0 0 20 0 1 0 46198747 12107776 513 1992294400 134512640 137138936 4291777504 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 2956 513 190 642 0 2312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11824

[startup+0.301447 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 13173
/proc/meminfo: memFree=1726028/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=13448 CPUtime=0.3
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 1001 0 0 0 29 1 0 0 20 0 1 0 46198747 13770752 909 1992294400 134512640 137138936 4291777504 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 3362 909 190 642 0 2718 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13448

[startup+0.701521 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 13173
/proc/meminfo: memFree=1726028/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=15204 CPUtime=0.69
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 1455 0 0 0 68 1 0 0 20 0 1 0 46198747 15568896 1363 1992294400 134512640 137138936 4291777504 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 3801 1363 190 642 0 3157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15204

[startup+1.50167 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13174
/proc/meminfo: memFree=1720564/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=18584 CPUtime=1.49
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 2292 0 0 0 147 2 0 0 23 0 1 0 46198747 19030016 2200 1992294400 134512640 137138936 4291777504 18446744073709551615 134603210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 4646 2200 190 642 0 4002 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18584

[startup+3.10097 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13174
/proc/meminfo: memFree=1714240/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=26592 CPUtime=3.09
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 4297 0 0 0 305 4 0 0 25 0 1 0 46198747 27230208 4205 1992294400 134512640 137138936 4291777504 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 6648 4205 190 642 0 6004 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26592

[startup+6.30156 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13174
/proc/meminfo: memFree=1706056/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=31700 CPUtime=6.29
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 5568 0 0 0 624 5 0 0 25 0 1 0 46198747 32460800 5476 1992294400 134512640 137138936 4291777504 18446744073709551615 135984564 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 7925 5476 190 642 0 7281 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31700

[startup+12.7007 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13174
/proc/meminfo: memFree=1699608/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=36836 CPUtime=12.69
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 6869 0 0 0 1260 9 0 0 25 0 1 0 46198747 37720064 6777 1992294400 134512640 137138936 4291777504 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 9209 6777 190 642 0 8565 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36836

[startup+25.5011 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13176
/proc/meminfo: memFree=1697996/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=38452 CPUtime=25.48
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 7271 0 0 0 2534 14 0 0 25 0 1 0 46198747 39374848 7179 1992294400 134512640 137138936 4291777504 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 9613 7179 190 642 0 8969 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38452

[startup+51.1008 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13176
/proc/meminfo: memFree=1696384/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=40064 CPUtime=51.07
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 7676 0 0 0 5087 20 0 0 25 0 1 0 46198747 41025536 7584 1992294400 134512640 137138936 4291777504 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 10016 7584 190 642 0 9372 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40064

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13178
/proc/meminfo: memFree=1692416/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=43904 CPUtime=102.26
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 8638 0 0 0 10195 31 0 0 25 0 1 0 46198747 44957696 8546 1992294400 134512640 137138936 4291777504 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 10976 8546 190 642 0 10332 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 43904

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13178
/proc/meminfo: memFree=1689688/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=46508 CPUtime=162.22
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 9291 0 0 0 16177 45 0 0 25 0 1 0 46198747 47624192 9199 1992294400 134512640 137138936 4291777504 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 11627 9199 190 642 0 10983 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 46508

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13180
/proc/meminfo: memFree=1689688/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=46488 CPUtime=222.2
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 9291 0 0 0 22165 55 0 0 25 0 1 0 46198747 47603712 9197 1992294400 134512640 137138936 4291777504 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 11622 9197 190 642 0 10978 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 46488

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13182
/proc/meminfo: memFree=1684728/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=51508 CPUtime=282.17
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 10547 0 0 0 28148 69 0 0 25 0 1 0 46198747 52744192 10420 1992294400 134512640 137138936 4291777504 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 12877 10420 190 642 0 12233 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 51508

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13184
/proc/meminfo: memFree=1684728/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=51508 CPUtime=342.16
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 10547 0 0 0 34134 82 0 0 25 0 1 0 46198747 52744192 10420 1992294400 134512640 137138936 4291777504 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 12877 10420 190 642 0 12233 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 51508

[startup+402.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 13186
/proc/meminfo: memFree=1677536/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=58652 CPUtime=402.13
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 12373 0 0 0 40118 95 0 0 25 0 1 0 46198747 60059648 12206 1992294400 134512640 137138936 4291777504 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 14663 12206 190 642 0 14019 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 58652

[startup+462.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 13186
/proc/meminfo: memFree=1677536/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=58652 CPUtime=462.11
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 12373 0 0 0 46107 104 0 0 25 0 1 0 46198747 60059648 12206 1992294400 134512640 137138936 4291777504 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 14663 12206 190 642 0 14019 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 58652

[startup+522.301 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 13188
/proc/meminfo: memFree=1677536/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=58652 CPUtime=522.08
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 12373 0 0 0 52097 111 0 0 25 0 1 0 46198747 60059648 12206 1992294400 134512640 137138936 4291777504 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 14663 12206 190 642 0 14019 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 58652

[startup+582.301 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 13190
/proc/meminfo: memFree=1677412/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=58652 CPUtime=582.06
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 12384 0 0 0 58088 118 0 0 25 0 1 0 46198747 60059648 12217 1992294400 134512640 137138936 4291777504 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 14663 12217 190 642 0 14019 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 58652

[startup+642.301 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 13192
/proc/meminfo: memFree=1677288/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=58652 CPUtime=642.05
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 12386 0 0 0 64078 127 0 0 25 0 1 0 46198747 60059648 12219 1992294400 134512640 137138936 4291777504 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 14663 12219 190 642 0 14019 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 58652

[startup+702.301 s]

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

/proc/meminfo: memFree=1674684/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1061.87
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 105975 212 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 136501708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 60928

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13204
/proc/meminfo: memFree=1674684/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1121.84
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 111961 223 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 60928

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13206
/proc/meminfo: memFree=1674684/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1181.83
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 117949 234 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 60928

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13208
/proc/meminfo: memFree=1674560/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1241.8
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 123936 244 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 60928

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13210
/proc/meminfo: memFree=1674436/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1301.79
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 129922 257 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 136501682 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 60928

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13210
/proc/meminfo: memFree=1674436/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1361.76
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 135910 266 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 60928

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13212
/proc/meminfo: memFree=1674436/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1421.74
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 141895 279 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 60928

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13214
/proc/meminfo: memFree=1674436/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1481.71
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 147879 292 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 60928

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13216
/proc/meminfo: memFree=1674312/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1541.69
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 153867 302 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 60928

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13218
/proc/meminfo: memFree=1674312/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1601.67
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 159855 312 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 60928

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13218
/proc/meminfo: memFree=1674312/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1661.65
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 165841 324 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 60928

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13229
/proc/meminfo: memFree=1673320/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1721.6
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 171825 335 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 60928

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13231
/proc/meminfo: memFree=1673320/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1781.58
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 177812 346 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 60928

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 13231
/proc/meminfo: memFree=1673320/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1791.19
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 178771 348 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1791.19
Current children cumulated vsize (KiB) 60928

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13231
/proc/meminfo: memFree=1673320/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1794.38
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 179090 348 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1794.38
Current children cumulated vsize (KiB) 60928

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13231
/proc/meminfo: memFree=1673320/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1795.98
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 179249 349 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1795.98
Current children cumulated vsize (KiB) 60928

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13231
/proc/meminfo: memFree=1673320/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1796.77
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 179328 349 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 60928

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13231
/proc/meminfo: memFree=1673320/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1797.57
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 179408 349 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 60928

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13231
/proc/meminfo: memFree=1673320/2059040 swapFree=4140132/4192956
[pid=13173] ppid=13171 vsize=60928 CPUtime=1797.97
/proc/13173/stat : 13173 (bsolo_pb10) R 13171 13173 12490 0 -1 4202496 13030 0 0 0 179448 349 0 0 25 0 1 0 46198747 62390272 12807 1992294400 134512640 137138936 4291777504 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13173/statm: 15232 12807 191 642 0 14588 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 60928

Child status: 0
Real time (s): 1798.72
CPU time (s): 1798.01
CPU user time (s): 1794.5
CPU system time (s): 3.50447
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (KiB): 61124

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

runsolver used 2.79157 second user time and 8.66768 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-16 18:32:33
IDJOB=2670764
IDBENCH=48098
IDSOLVER=1163
FILE ID=node007/2670764-1276705953
PBS_JOBID= 11174126
Free space on /tmp= 62488 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670764-1276705953/watcher-2670764-1276705953 -o /tmp/evaluation-result-2670764-1276705953/solver-2670764-1276705953 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2670764-1276705953.opb

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

MD5SUM BENCH= 901fa4df755866cb23bdcc769669d554
RANDOM SEED=582932620

node007.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.264
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.52
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.264
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1727052 kB
Buffers:         98484 kB
Cached:         139452 kB
SwapCached:       7044 kB
Active:         113200 kB
Inactive:       138856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1727052 kB
SwapTotal:     4192956 kB
SwapFree:      4140132 kB
Dirty:            4012 kB
Writeback:           0 kB
AnonPages:       12120 kB
Mapped:          12984 kB
Slab:            58072 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182488 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-2670764-1276705953.opb

Free space on /tmp at the end= 62484 MiB
End job on node007 at 2010-06-16 19:02:32