Trace number 1879712

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT-12 1798.02 1798.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_2.opb
MD5SUM2468d4642d986af58e932976ec0c4f0e
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 benchmark1716.62
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)1232
Sum of products size (including duplicates)2464
Number of different products616
Sum of products size1232

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.1 - 13/04/2009 : 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 Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879712-1245247361.opb
0.00/0.00	c File size is 50402 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 716 Constr: 1384 666/102/616 Lit: 5228 Watch. Lit: 4514
0.00/0.00	c Obj. Vars: 50 (6.98324 % of total variables)
0.09/0.13	c Pre-processing Time: 0.128 s
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0    716     1384     5228    3     4514   10700      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    716     1385     5278    3     4517   10733      1      0 0.13
0.09/0.13	o -2
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        1    716     1388     5428    3     4526   10750      4      7 0.13
0.09/0.13	o -3
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        2    716     1391     5591    4     4537   10767      7     15 0.13
0.09/0.13	o -4
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        3    716     1394     5754    4     4550   10783     10     22 0.13
0.09/0.13	o -5
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        5    716     1399     5950    4     4577   10800     15     37 0.13
0.09/0.13	o -6
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c       15    716     1420     6804    4     4737   10817     36    110 0.14
0.09/0.14	o -7
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c       29    716     1449     7196    4     4929   10833     65    211 0.14
0.09/0.14	o -8
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c       30    716     1452     7384    5     4955   10850     68    217 0.14
0.09/0.14	o -9
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c       33    716     1459     7607    5     5008   10867     75    237 0.14
0.09/0.16	c      133    716     1657    14192    8     7125   11954    273    852 0.16
0.09/0.16	o -10
0.49/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.51	c      152    716     1696    16222    9     7744   10883    312    932 0.16
0.49/0.51	c      253    716     1897    27269   14    10660   11972    513   1246 0.20
0.49/0.51	c      503    716     2396    60376   25    19791   13170   1012   1428 0.35
0.49/0.51	o -11
78.86/78.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.86/78.90	c      677    716     2744    84837   30    26219   10900   1360   1335 0.51
78.86/78.90	c      777    716     2944   100250   34    30486   11991   1560   1312 0.59
78.86/78.90	c     1028    716     3443   134765   39    39098   13191   2059   1173 0.88
78.86/78.90	c     1503    716     4391   202540   46    57288   14511   3007    974 1.54
78.86/78.90	c     2316    716     6011   321592   53    88906   15963   4627    723 3.20
78.86/78.90	c     3637    716     8651   528367   61   141522   17560   7267    484 7.50
78.86/78.90	c     5719    716    12811   849045   66   228859   19317  11427    316 18.08
78.86/78.90	c     8942    716    19246  1366655   71   365185   21249  17862    218 40.91
78.86/78.90	o -12
1797.99/1798.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.61	c    11466    716    13089   890230   68   256751   10917  11705    145 78.87
1797.99/1798.61	c    11567    716     7045   401366   56   126212   12009   5661    138 83.53
1797.99/1798.61	c    11817    716     7545   438234   58   136744   13210   6161    139 84.55
1797.99/1798.61	c    12293    716     8497   521893   61   161707   14532   7113    142 86.53
1797.99/1798.61	c    13107    716    10119   668218   66   198146   15986   8735    144 90.76
1797.99/1798.61	c    14427    716    12758   870309   68   250767   17585  11374    144 100.09
1797.99/1798.61	c    16508    716    16916  1200505   70   331280   19344  15532    141 116.32
1797.99/1798.61	c    19731    716    13067   915460   70   284185   21279  11683    130 151.67
1797.99/1798.61	c    24668    716    12025   827483   68   257270   23407  10641    117 209.93
1797.99/1798.61	c    32174    716    14691  1037918   70   316011   25748  13307    108 297.46
1797.99/1798.61	c    43535    716    23890  1701233   71   475298   28323  22506    100 433.50
1797.99/1798.61	c    60679    716    28447  2146395   75   568332   31156  27063     92 653.70
1797.99/1798.61	c    86498    716    30997  2440516   78   583991   34272  29613     84 1029.56
1797.99/1798.61	c   125330    716    33808  2732966   80   616727   37700  32424     74 1678.22
1797.99/1798.61	c Resources Exceeded
1797.99/1798.61	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 -x715 -x716 -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.99/1798.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.62	c   35   131174  11635   147519    25767  1993706  24383     72 1798.01
1797.99/1798.62	c Objective: -12
1797.99/1798.62	s SATISFIABLE
1797.99/1798.62	c Total time: 1798.01 s

Verifier Data 

OK	-12

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879712-1245247361/watcher-1879712-1245247361 -o /tmp/evaluation-result-1879712-1245247361/solver-1879712-1245247361 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879712-1245247361.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 0.95 3/64 21235
/proc/meminfo: memFree=1293088/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=10756 CPUtime=0
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 192337079 11014144 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 2689 242 177 640 0 2032 0

[startup+0.0296199 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 21235
/proc/meminfo: memFree=1293088/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=10980 CPUtime=0.02
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 351 0 0 0 2 0 0 0 18 0 1 0 192337079 11243520 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 2745 322 189 640 0 2101 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10980

[startup+0.101632 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 21235
/proc/meminfo: memFree=1293088/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=10980 CPUtime=0.09
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 351 0 0 0 9 0 0 0 18 0 1 0 192337079 11243520 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 2745 322 189 640 0 2101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10980

[startup+0.301667 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 21235
/proc/meminfo: memFree=1293088/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=12008 CPUtime=0.29
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 600 0 0 0 29 0 0 0 19 0 1 0 192337079 12296192 571 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 3002 571 197 640 0 2358 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12008

[startup+0.701737 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 21235
/proc/meminfo: memFree=1293088/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=13164 CPUtime=0.68
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 916 0 0 0 68 0 0 0 23 0 1 0 192337079 13479936 887 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 3291 887 198 640 0 2647 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13164

[startup+1.50188 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 21236
/proc/meminfo: memFree=1289688/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=14952 CPUtime=1.49
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 1341 0 0 0 148 1 0 0 25 0 1 0 192337079 15310848 1312 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 3738 1312 198 640 0 3094 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14952

[startup+3.10116 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 21236
/proc/meminfo: memFree=1287448/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=17260 CPUtime=3.09
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 1917 0 0 0 308 1 0 0 25 0 1 0 192337079 17674240 1888 1992294400 134512640 137136520 4294956256 18446744073709551615 134571495 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 4315 1888 198 640 0 3671 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17260

[startup+6.30172 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 21236
/proc/meminfo: memFree=1283288/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=20784 CPUtime=6.28
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 2796 0 0 0 626 2 0 0 25 0 1 0 192337079 21282816 2767 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 5196 2767 198 640 0 4552 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20784

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 21236
/proc/meminfo: memFree=1278872/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=24932 CPUtime=12.69
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 3834 0 0 0 1265 4 0 0 25 0 1 0 192337079 25530368 3805 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 6233 3805 198 640 0 5589 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24932

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 21236
/proc/meminfo: memFree=1272472/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=31160 CPUtime=25.47
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 5412 0 0 0 2542 5 0 0 25 0 1 0 192337079 31907840 5383 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 7790 5383 198 640 0 7146 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 31160

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 21236
/proc/meminfo: memFree=1263064/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=40588 CPUtime=51.07
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 7758 0 0 0 5098 9 0 0 25 0 1 0 192337079 41562112 7729 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 10147 7729 198 640 0 9503 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40588

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 21236
/proc/meminfo: memFree=1259224/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=44072 CPUtime=102.24
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 8643 0 0 0 10214 10 0 0 25 0 1 0 192337079 45129728 8614 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 11018 8614 198 640 0 10374 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 44072

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 21236
/proc/meminfo: memFree=1259160/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=44072 CPUtime=162.22
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 8643 0 0 0 16210 12 0 0 25 0 1 0 192337079 45129728 8614 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 11018 8614 198 640 0 10374 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 44072

[startup+222.302 s]
/proc/loadavg: 1.07 1.02 0.95 2/65 21236
/proc/meminfo: memFree=1257304/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=46008 CPUtime=222.2
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 9122 0 0 0 22205 15 0 0 25 0 1 0 192337079 47112192 9093 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 11502 9093 198 640 0 10858 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 46008

[startup+282.301 s]
/proc/loadavg: 1.09 1.03 0.96 2/65 21236
/proc/meminfo: memFree=1253336/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=49992 CPUtime=282.18
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 10118 0 0 0 28200 18 0 0 25 0 1 0 192337079 51191808 10089 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 12498 10089 198 640 0 11854 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 49992

[startup+342.302 s]
/proc/loadavg: 1.09 1.04 0.96 2/65 21236
/proc/meminfo: memFree=1253336/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=49992 CPUtime=342.16
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 10118 0 0 0 34198 18 0 0 25 0 1 0 192337079 51191808 10089 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 12498 10089 198 640 0 11854 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 49992

[startup+402.301 s]
/proc/loadavg: 1.03 1.03 0.96 2/65 21236
/proc/meminfo: memFree=1250520/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=52840 CPUtime=402.14
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 10836 0 0 0 40195 19 0 0 25 0 1 0 192337079 54108160 10807 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 13210 10807 198 640 0 12566 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 52840

[startup+462.302 s]
/proc/loadavg: 1.01 1.02 0.96 2/65 21236
/proc/meminfo: memFree=1250456/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=52844 CPUtime=462.12
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 10836 0 0 0 46190 22 0 0 25 0 1 0 192337079 54112256 10807 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 13211 10807 198 640 0 12567 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 52844

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 0.96 2/65 21236
/proc/meminfo: memFree=1247704/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=55684 CPUtime=522.1
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 11546 0 0 0 52187 23 0 0 25 0 1 0 192337079 57020416 11517 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 13921 11517 198 640 0 13277 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 55684

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 21236
/proc/meminfo: memFree=1247640/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=55680 CPUtime=582.08
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 11546 0 0 0 58183 25 0 0 25 0 1 0 192337079 57016320 11517 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 13920 11517 198 640 0 13276 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 55680

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1247640/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=55680 CPUtime=642.07
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 11546 0 0 0 64179 28 0 0 25 0 1 0 192337079 57016320 11517 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 13920 11517 198 640 0 13276 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 55680

[startup+702.302 s]

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

/proc/meminfo: memFree=1236568/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=66628 CPUtime=1121.91
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14305 0 0 0 112150 41 0 0 25 0 1 0 192337079 68227072 14241 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 16657 14241 198 640 0 16013 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 66628

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1236504/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=66628 CPUtime=1181.89
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14305 0 0 0 118146 43 0 0 25 0 1 0 192337079 68227072 14241 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 16657 14241 198 640 0 16013 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 66628

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1236376/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=66828 CPUtime=1241.87
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14339 0 0 0 124143 44 0 0 25 0 1 0 192337079 68431872 14275 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 16707 14275 198 640 0 16063 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 66828

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1236312/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=66828 CPUtime=1301.86
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14339 0 0 0 130140 46 0 0 25 0 1 0 192337079 68431872 14275 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 16707 14275 198 640 0 16063 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 66828

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1236312/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=66828 CPUtime=1361.83
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14339 0 0 0 136136 47 0 0 25 0 1 0 192337079 68431872 14275 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 16707 14275 198 640 0 16063 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 66828

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1236312/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=66828 CPUtime=1421.82
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14339 0 0 0 142134 48 0 0 25 0 1 0 192337079 68431872 14275 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 16707 14275 198 640 0 16063 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 66828

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1236248/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=66828 CPUtime=1481.79
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14339 0 0 0 148129 50 0 0 25 0 1 0 192337079 68431872 14275 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 16707 14275 198 640 0 16063 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 66828

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1235800/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=67476 CPUtime=1541.77
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14501 0 0 0 154126 51 0 0 25 0 1 0 192337079 69095424 14437 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 16869 14437 198 640 0 16225 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 67476

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1235800/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=67476 CPUtime=1601.75
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14501 0 0 0 160123 52 0 0 25 0 1 0 192337079 69095424 14437 1992294400 134512640 137136520 4294956256 18446744073709551615 134544288 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 16869 14437 198 640 0 16225 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 67476

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1235800/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=67476 CPUtime=1661.73
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14501 0 0 0 166120 53 0 0 25 0 1 0 192337079 69095424 14437 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 16869 14437 198 640 0 16225 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 67476

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1233176/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=70260 CPUtime=1721.71
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15201 0 0 0 172115 56 0 0 25 0 1 0 192337079 71946240 15137 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 17565 15137 198 640 0 16921 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 70260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=71052 CPUtime=1781.69
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 178113 56 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 17763 15356 198 640 0 17119 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 71052

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=71052 CPUtime=1791.29
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179072 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 17763 15356 198 640 0 17119 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 71052

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=71052 CPUtime=1794.49
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179392 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 17763 15356 198 640 0 17119 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (KiB) 71052

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=71052 CPUtime=1796.09
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179552 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 17763 15356 198 640 0 17119 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 71052

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=71052 CPUtime=1796.89
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179632 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 17763 15356 198 640 0 17119 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 71052

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=71052 CPUtime=1797.69
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179712 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 17763 15356 198 640 0 17119 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 71052

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=71052 CPUtime=1797.89
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179732 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 17763 15356 198 640 0 17119 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 71052

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 21236
/proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956
[pid=21235] ppid=21233 vsize=71052 CPUtime=1797.99
/proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179742 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21235/statm: 17763 15356 198 640 0 17119 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 71052

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798.02
CPU user time (s): 1797.44
CPU system time (s): 0.582911
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 71052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.44
system time used= 0.582911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15460
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= 4
involuntary context switches= 4117

runsolver used 1.76773 second user time and 4.77927 second system time

The end

Launcher Data 

Begin job on node4 at 2009-06-17 16:02:41
IDJOB=1879712
IDBENCH=48262
IDSOLVER=701
FILE ID=node4/1879712-1245247361
PBS_JOBID= 9372332
Free space on /tmp= 66408 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_2.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879712-1245247361/watcher-1879712-1245247361 -o /tmp/evaluation-result-1879712-1245247361/solver-1879712-1245247361 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879712-1245247361.opb

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

MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e
RANDOM SEED=1822807535

node4.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.259
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.259
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1293632 kB
Buffers:         74692 kB
Cached:         588932 kB
SwapCached:        260 kB
Active:         104816 kB
Inactive:       572148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1293632 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3956 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            71240 kB
Committed_AS:   162332 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879712-1245247361.opb

Free space on /tmp at the end= 66404 MiB
End job on node4 at 2009-06-17 16:32:40