Trace number 2656587

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 CardSAT-32 1798.07 1798.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM9984e76947bf9addca42277d72ff7107
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-36
Best CPU time to get the best result obtained on this benchmark1789.94
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved YES
Number of variables760
Total number of constraints41314
Number of constraints which are clauses41314
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
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 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.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: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656587-1276492210.opb
0.00/0.00	c File size is 987647 bytes.
0.09/0.15	c Highest Coefficient sum: 760
0.09/0.15	c Parsing was ok!!
0.09/0.15	c Total parsing time: 0.156 s
0.09/0.17	c Var: 760 Constr: 41314 41314/0/0 Lit: 82628 Watch. Lit: 82628
0.09/0.17	c Obj. Vars: 760 (100 % of total variables)
0.79/0.87	c Pre-processing Time: 0.875 s
0.79/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.87	c        0    760    41314    82628    2    82628   13771      0      0 0.88
0.79/0.87	c Switching off lower bounding mode.
0.79/0.88	o -30
207.92/208.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
207.92/208.10	c        0    760    41315    83388    2    82660   14771      1      0 0.88
207.92/208.10	c      100    760    41429   166165    4    82888   16249    115     98 1.01
207.92/208.10	c      351    760    41711   370688    8    83452   17874    397    258 1.36
207.92/208.10	c      826    760    42246   758529   17    84522   19662    932    410 2.01
207.92/208.10	c     1640    760    43119  1392836   32    86268   21629   1805    475 3.45
207.92/208.10	c     2961    760    44553  2434043   54    89136   23792   3239    523 5.66
207.92/208.10	c     5044    760    46893  4131055   88    93816   26172   5579    486 10.36
207.92/208.10	c     8268    760    50487  6738843  133   101004   28790   9173    446 18.54
207.92/208.10	c    13204    760    56083 10797129  192   112196   31670  14769    391 33.72
207.92/208.10	c    20710    760    64694 17033295  263   129418   34838  23380    309 66.95
207.92/208.10	c    32071    760    54847  9896140  180   109751   38322  13533    254 125.83
207.92/208.10	c    49215    760    74577 24178407  324   149211   42155  33263    238 206.65
207.92/208.10	o -31
606.18/606.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
606.18/606.47	c    49449    760    74845 24372778  325   149778   14771  33531    237 208.03
606.18/606.47	c    49550    760    48814  5516335  113    97659   16249   7500    234 211.13
606.18/606.47	c    49801    760    49091  5717026  116    98213   17874   7777    235 211.74
606.18/606.47	c    50276    760    49620  6100574  122    99271   19662   8306    236 212.81
606.18/606.47	c    51089    760    50539  6766240  133   101109   21629   9225    237 214.97
606.18/606.47	c    52409    760    52048  7857997  150   104127   23792  10734    240 217.94
606.18/606.47	c    54490    760    54454  9597604  176   108939   26172  13140    244 223.18
606.18/606.47	c    57714    760    58133 12261661  210   116297   28790  16819    247 232.89
606.18/606.47	c    62653    760    63803 16363057  256   127666   31670  22489    251 248.74
606.18/606.47	c    70161    760    72292 22512319  311   144644   34838  30978    250 280.62
606.18/606.47	c    81523    760    62611 15501737  247   125282   38322  21297    238 342.42
606.18/606.47	c    98667    760    56033 10734901  191   112097   42155  14719    225 436.72
606.18/606.47	c   124487    760    55226 10155829  183   110483   46371  13912    210 591.18
606.18/606.47	o -32
1797.98/1798.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.63	c   129428    760    60786 14183587  233   121635   14771  19472    213 606.27
1797.98/1798.63	c   129528    760    48814  5514049  112    97660   16249   7500    213 607.32
1797.98/1798.63	c   129778    760    49100  5720799  116    98232   17874   7786    213 607.96
1797.98/1798.63	c   130254    760    49635  6107798  123    99302   19662   8321    213 609.21
1797.98/1798.63	c   131068    760    50570  6783207  134   101172   21629   9256    214 611.16
1797.98/1798.63	c   132388    760    52104  7892144  151   104240   23792  10790    215 613.93
1797.98/1798.63	c   134469    760    54495  9619178  176   109022   26172  13181    217 618.87
1797.98/1798.63	c   137692    760    58186 12286430  211   116404   28790  16872    219 628.73
1797.98/1798.63	c   142629    760    63898 16414304  256   127828   31670  22584    220 645.65
1797.98/1798.63	c   150135    760    72464 22603155  311   144990   34838  31150    220 681.16
1797.98/1798.63	c   161496    760    62524 15402988  246   125139   38322  21210    216 745.67
1797.98/1798.63	c   178640    760    56091 10760283  191   112214   42155  14777    209 851.90
1797.98/1798.63	c   204460    760    55496 10339324  186   111024   46371  14182    195 1043.96
1797.98/1798.63	c   243292    760    65984 17908129  271   132029   51009  24670    183 1325.86
1797.98/1798.63	c Resources Exceeded
1797.98/1798.63	v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1797.98/1798.63	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.63	c   39   292279  28093   327627    82618 29943875  41304    162 1798.02
1797.98/1798.63	c Objective: -32
1797.98/1798.63	s SATISFIABLE
1797.98/1798.63	c Total time: 1798.02 s

Verifier Data 

OK	-32

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656587-1276492210/watcher-2656587-1276492210 -o /tmp/evaluation-result-2656587-1276492210/solver-2656587-1276492210 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656587-1276492210.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.00 1.00 3/106 29717
/proc/meminfo: memFree=1782904/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=11896 CPUtime=0
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 350 0 0 0 0 0 0 0 17 0 1 0 22877319 12181504 268 1992294400 134512640 137138936 4292018032 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 2974 268 176 642 0 2088 0

[startup+0.028477 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29717
/proc/meminfo: memFree=1782904/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=12448 CPUtime=0.02
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 519 0 0 0 2 0 0 0 17 0 1 0 22877319 12746752 437 1992294400 134512640 137138936 4292018032 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 3112 437 207 642 0 2226 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12448

[startup+0.10149 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29717
/proc/meminfo: memFree=1782904/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=14236 CPUtime=0.09
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 1096 0 0 0 9 0 0 0 17 0 1 0 22877319 14577664 1014 1992294400 134512640 137138936 4292018032 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 3559 1014 319 642 0 2673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14236

[startup+0.301527 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29717
/proc/meminfo: memFree=1782904/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=18080 CPUtime=0.29
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 2402 0 0 0 28 1 0 0 17 0 1 0 22877319 18513920 2078 1992294400 134512640 137138936 4292018032 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 4520 2078 185 642 0 3876 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18080

[startup+0.701602 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29717
/proc/meminfo: memFree=1782904/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=18080 CPUtime=0.69
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 2402 0 0 0 66 3 0 0 17 0 1 0 22877319 18513920 2078 1992294400 134512640 137138936 4292018032 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 4520 2078 185 642 0 3876 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18080

[startup+1.50175 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29718
/proc/meminfo: memFree=1775456/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=21668 CPUtime=1.49
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 3885 0 0 0 144 5 0 0 18 0 1 0 22877319 22188032 2976 1992294400 134512640 137138936 4292018032 18446744073709551615 136500286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 5417 2976 192 642 0 4773 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21668

[startup+3.10105 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29718
/proc/meminfo: memFree=1766900/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=32116 CPUtime=3.09
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 6510 0 0 0 303 6 0 0 21 0 1 0 22877319 32886784 5601 1992294400 134512640 137138936 4292018032 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 8029 5601 192 642 0 7385 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32116

[startup+6.30165 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29718
/proc/meminfo: memFree=1747184/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=51056 CPUtime=6.29
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 11221 0 0 0 620 9 0 0 25 0 1 0 22877319 52281344 10312 1992294400 134512640 137138936 4292018032 18446744073709551615 134550933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 12753 10312 192 642 0 12109 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51056

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29718
/proc/meminfo: memFree=1715440/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=80348 CPUtime=12.69
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 18548 0 0 0 1256 13 0 0 25 0 1 0 22877319 82276352 17639 1992294400 134512640 137138936 4292018032 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 20087 17639 192 642 0 19443 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 80348

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29718
/proc/meminfo: memFree=1660508/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=133156 CPUtime=25.48
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 31767 0 0 0 2528 20 0 0 25 0 1 0 22877319 136351744 30858 1992294400 134512640 137138936 4292018032 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 33289 30858 192 642 0 32645 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 133156

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29720
/proc/meminfo: memFree=1590076/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=203844 CPUtime=51.08
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 49436 0 0 0 5076 32 0 0 25 0 1 0 22877319 208736256 48527 1992294400 134512640 137138936 4292018032 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 50961 48527 192 642 0 50317 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 203844

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29720
/proc/meminfo: memFree=1473516/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=318728 CPUtime=102.26
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 78160 0 0 0 10171 55 0 0 25 0 1 0 22877319 326377472 77251 1992294400 134512640 137138936 4292018032 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 79682 77251 192 642 0 79038 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 318728

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29722
/proc/meminfo: memFree=1443384/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=348552 CPUtime=162.23
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 85640 0 0 0 16158 65 0 0 25 0 1 0 22877319 356917248 84696 1992294400 134512640 137138936 4292018032 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 87138 84696 192 642 0 86494 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 348552

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29724
/proc/meminfo: memFree=1443384/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=348552 CPUtime=222.22
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 85640 0 0 0 22150 72 0 0 25 0 1 0 22877319 356917248 84696 1992294400 134512640 137138936 4292018032 18446744073709551615 134551390 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 87138 84696 192 642 0 86494 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 348552

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29726
/proc/meminfo: memFree=1443384/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=348552 CPUtime=282.19
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 85640 0 0 0 28141 78 0 0 25 0 1 0 22877319 356917248 84696 1992294400 134512640 137138936 4292018032 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 87138 84696 192 642 0 86494 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 348552

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29728
/proc/meminfo: memFree=1443260/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=348552 CPUtime=342.18
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 85640 0 0 0 34135 83 0 0 25 0 1 0 22877319 356917248 84696 1992294400 134512640 137138936 4292018032 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 87138 84696 192 642 0 86494 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 348552

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29728
/proc/meminfo: memFree=1443260/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=348552 CPUtime=402.16
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 85640 0 0 0 40127 89 0 0 25 0 1 0 22877319 356917248 84696 1992294400 134512640 137138936 4292018032 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 87138 84696 192 642 0 86494 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 348552

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29730
/proc/meminfo: memFree=1410896/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=380660 CPUtime=462.13
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 93719 0 0 0 46115 98 0 0 25 0 1 0 22877319 389795840 92736 1992294400 134512640 137138936 4292018032 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 95165 92736 192 642 0 94521 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 380660

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29732
/proc/meminfo: memFree=1410896/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=380660 CPUtime=522.11
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 93719 0 0 0 52108 103 0 0 25 0 1 0 22877319 389795840 92736 1992294400 134512640 137138936 4292018032 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 95165 92736 192 642 0 94521 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 380660

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29734
/proc/meminfo: memFree=1376920/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=415188 CPUtime=582.1
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 102337 0 0 0 58097 113 0 0 25 0 1 0 22877319 425152512 101354 1992294400 134512640 137138936 4292018032 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 103797 101354 192 642 0 103153 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 415188

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29736
/proc/meminfo: memFree=1375184/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=416256 CPUtime=642.08
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 102640 0 0 0 64088 120 0 0 25 0 1 0 22877319 426246144 101615 1992294400 134512640 137138936 4292018032 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 104064 101615 192 642 0 103420 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 416256

[startup+702.302 s]

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

/proc/meminfo: memFree=1374812/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=416256 CPUtime=1121.91
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 102640 0 0 0 112032 159 0 0 25 0 1 0 22877319 426246144 101615 1992294400 134512640 137138936 4292018032 18446744073709551615 136511221 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 104064 101615 192 642 0 103420 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 416256

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29750
/proc/meminfo: memFree=1374812/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=416256 CPUtime=1181.89
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 102640 0 0 0 118025 164 0 0 25 0 1 0 22877319 426246144 101615 1992294400 134512640 137138936 4292018032 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 104064 101615 192 642 0 103420 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 416256

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29752
/proc/meminfo: memFree=1342076/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=449312 CPUtime=1241.87
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 110907 0 0 0 124016 171 0 0 25 0 1 0 22877319 460095488 109882 1992294400 134512640 137138936 4292018032 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 112328 109882 192 642 0 111684 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 449312

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29752
/proc/meminfo: memFree=1335504/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=455196 CPUtime=1301.86
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 112429 0 0 0 130009 177 0 0 25 0 1 0 22877319 466120704 111357 1992294400 134512640 137138936 4292018032 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 113799 111357 192 642 0 113155 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 455196

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29754
/proc/meminfo: memFree=1335504/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=455196 CPUtime=1361.82
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 112429 0 0 0 135998 184 0 0 25 0 1 0 22877319 466120704 111357 1992294400 134512640 137138936 4292018032 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 113799 111357 192 642 0 113155 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 455196

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29756
/proc/meminfo: memFree=1335504/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=455196 CPUtime=1421.81
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 112429 0 0 0 141992 189 0 0 25 0 1 0 22877319 466120704 111357 1992294400 134512640 137138936 4292018032 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 113799 111357 192 642 0 113155 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 455196

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29758
/proc/meminfo: memFree=1314300/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=477184 CPUtime=1481.79
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 117930 0 0 0 147984 195 0 0 25 0 1 0 22877319 488636416 116858 1992294400 134512640 137138936 4292018032 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 119296 116858 192 642 0 118652 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 477184

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29760
/proc/meminfo: memFree=1292352/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=498224 CPUtime=1541.77
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 123235 0 0 0 153975 202 0 0 25 0 1 0 22877319 510181376 122112 1992294400 134512640 137138936 4292018032 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 124556 122112 192 642 0 123912 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 498224

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29760
/proc/meminfo: memFree=1292352/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=498224 CPUtime=1601.74
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 123235 0 0 0 159968 206 0 0 25 0 1 0 22877319 510181376 122112 1992294400 134512640 137138936 4292018032 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 124556 122112 192 642 0 123912 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 498224

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29762
/proc/meminfo: memFree=1292352/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=498224 CPUtime=1661.72
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 123235 0 0 0 165963 209 0 0 25 0 1 0 22877319 510181376 122112 1992294400 134512640 137138936 4292018032 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 124556 122112 192 642 0 123912 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 498224

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29767
/proc/meminfo: memFree=1292104/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=498224 CPUtime=1721.7
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 123235 0 0 0 171959 211 0 0 25 0 1 0 22877319 510181376 122112 1992294400 134512640 137138936 4292018032 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 124556 122112 192 642 0 123912 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 498224

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29769
/proc/meminfo: memFree=1292104/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=498224 CPUtime=1781.68
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 123235 0 0 0 177955 213 0 0 25 0 1 0 22877319 510181376 122112 1992294400 134512640 137138936 4292018032 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 124556 122112 192 642 0 123912 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 498224

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 29769
/proc/meminfo: memFree=1292104/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=498224 CPUtime=1791.29
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 123235 0 0 0 178915 214 0 0 25 0 1 0 22877319 510181376 122112 1992294400 134512640 137138936 4292018032 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 124556 122112 192 642 0 123912 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 498224

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29769
/proc/meminfo: memFree=1292104/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=498224 CPUtime=1794.49
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 123235 0 0 0 179235 214 0 0 25 0 1 0 22877319 510181376 122112 1992294400 134512640 137138936 4292018032 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 124556 122112 192 642 0 123912 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (KiB) 498224

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29769
/proc/meminfo: memFree=1292104/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=498224 CPUtime=1796.08
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 123235 0 0 0 179394 214 0 0 25 0 1 0 22877319 510181376 122112 1992294400 134512640 137138936 4292018032 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 124556 122112 192 642 0 123912 0
Current children cumulated CPU time (s) 1796.08
Current children cumulated vsize (KiB) 498224

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29769
/proc/meminfo: memFree=1292104/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=498224 CPUtime=1796.88
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 123235 0 0 0 179474 214 0 0 25 0 1 0 22877319 510181376 122112 1992294400 134512640 137138936 4292018032 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 124556 122112 192 642 0 123912 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 498224

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29769
/proc/meminfo: memFree=1292104/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=498224 CPUtime=1797.68
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 123235 0 0 0 179554 214 0 0 25 0 1 0 22877319 510181376 122112 1992294400 134512640 137138936 4292018032 18446744073709551615 134544869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 124556 122112 192 642 0 123912 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 498224

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29769
/proc/meminfo: memFree=1292104/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=498224 CPUtime=1797.89
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 123235 0 0 0 179575 214 0 0 25 0 1 0 22877319 510181376 122112 1992294400 134512640 137138936 4292018032 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 124556 122112 192 642 0 123912 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 498224

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29769
/proc/meminfo: memFree=1292104/2059040 swapFree=4142408/4192956
[pid=29717] ppid=29715 vsize=498224 CPUtime=1797.98
/proc/29717/stat : 29717 (bsolo_pb10) R 29715 29717 29573 0 -1 4202496 123235 0 0 0 179584 214 0 0 25 0 1 0 22877319 510181376 122112 1992294400 134512640 137138936 4292018032 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29717/statm: 124556 122112 192 642 0 123912 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 498224

Child status: 0
Real time (s): 1798.69
CPU time (s): 1798.07
CPU user time (s): 1795.88
CPU system time (s): 2.19067
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 498428

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

runsolver used 3.07053 second user time and 8.38472 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-14 07:10:10
IDJOB=2656587
IDBENCH=2243
IDSOLVER=1162
FILE ID=node019/2656587-1276492210
PBS_JOBID= 11173398
Free space on /tmp= 62380 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656587-1276492210/watcher-2656587-1276492210 -o /tmp/evaluation-result-2656587-1276492210/solver-2656587-1276492210 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656587-1276492210.opb

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

MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107
RANDOM SEED=1446334643

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1783308 kB
Buffers:         77104 kB
Cached:         107204 kB
SwapCached:       4636 kB
Active:         102952 kB
Inactive:        94652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1783308 kB
SwapTotal:     4192956 kB
SwapFree:      4142408 kB
Dirty:            4852 kB
Writeback:           0 kB
AnonPages:       11616 kB
Mapped:          13636 kB
Slab:            56420 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180456 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62376 MiB
End job on node019 at 2010-06-14 07:40:09