Trace number 433091

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, and are wall clock time (not CPU 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.0.17SAT (TO)-32 1800.14 1800.7

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 benchmarkOPT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark785.031
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433091-1177954279/instance-433091-1177954279.opb
0.00/0.00	c File size is 987647 bytes.
0.09/0.17	c Highest Coefficient sum: 760
0.09/0.17	c Parsing was ok!!
0.09/0.17	c Total parsing time: 0.168 s
0.09/0.19	c Var: 760 Constr: 41314 41314/0/0 Lit: 82628 Watch. Lit: 82628
0.09/0.19	c Obj. Vars: 760 (100 % of total variables)
0.88/0.91	c Pre-processing Time: 0.913 s
0.88/0.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.88/0.92	c        0    760    41314    82628    2    82628   13771      0      0 0.91
0.88/0.92	c Switching off LPR mode.
0.88/0.92	o -30	0.92
2.10/2.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.14	c        0    760    41315    83388    2    82660   14771      1      0 0.92
2.10/2.14	c      100    760    41415   156073    3    82860   16249    101    104 0.96
2.10/2.14	c      350    760    41665   337705    8    83360   17874    351    324 1.08
2.10/2.14	c      825    760    42140   682842   16    84310   19662    826    607 1.36
2.10/2.14	c     1639    760    42954  1273727   29    85938   21629   1640    841 1.95
2.10/2.14	o -31	2.137
125.95/126.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
125.95/126.01	c     1987    760    43303  1527496   35    86667   14771   1989    928 2.14
125.95/126.01	c     2087    760    43403  1600002   36    86867   16249   2089    955 2.19
125.95/126.01	c     2337    760    43653  1781302   40    87367   17874   2339   1013 2.31
125.95/126.01	c     2815    760    44131  2127656   48    88323   19662   2817   1088 2.59
125.95/126.01	c     3629    760    44945  2718787   60    89951   21629   3631   1126 3.22
125.95/126.01	c     4949    760    46265  3675872   79    92591   23792   4951   1182 4.19
125.95/126.01	c     7030    760    48346  5186057  107    96753   26172   7032    944 7.45
125.95/126.01	c    10253    760    51569  7522709  145   103199   28790  10255    775 13.22
125.95/126.01	c    15189    760    56505 11100621  196   113071   31670  15191    610 24.90
125.95/126.01	c    22696    760    64012 16546669  258   128085   34838  22698    378 59.94
125.95/126.01	c    34057    760    75373 24779655  328   150807   38322  34059    291 116.67
125.95/126.01	o -32	125.972
1800.05/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.61	c    37508    760    78825 27283358  346   157743   14771  37511    297 125.97
1800.05/1800.61	c    37609    760    48802  5510226  112    97636   16249   7488    271 138.40
1800.05/1800.61	c    37859    760    49052  5691318  116    98136   17874   7738    273 138.64
1800.05/1800.61	c    38335    760    49528  6036068  121    99088   19662   8214    275 138.97
1800.05/1800.61	c    39148    760    50341  6625161  131   100714   21629   9027    280 139.62
1800.05/1800.61	c    40470    760    51663  7581503  146   103358   23792  10349    287 140.89
1800.05/1800.61	c    42551    760    53744  9088480  169   107520   26172  12430    296 143.70
1800.05/1800.61	c    45774    760    56967 11422910  200   113966   28790  15653    307 149.03
1800.05/1800.61	c    50710    760    61903 14996316  242   123838   31670  20589    313 161.69
1800.05/1800.61	c    58217    760    69410 20432141  294   138852   34838  28096    311 186.62
1800.05/1800.61	c    69578    760    56526 11095398  196   113084   38322  15212    292 238.18
1800.05/1800.61	c    86723    760    73671 23501865  319   147374   42155  32357    253 341.57
1800.05/1800.61	c   112542    760    68093 19466082  285   136218   46371  26779    221 507.21
1800.05/1800.61	c   151375    760    71430 21888166  306   142892   51009  30116    178 848.53
1800.05/1800.61	c   209728    760    90033 35320894  392   180098   56110  48719    125 1666.59
1800.05/1800.61	c Caught signal: 15
1800.05/1800.61	v -x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
1800.05/1800.61	v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719
1800.05/1800.61	v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
1800.05/1800.61	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677
1800.05/1800.61	v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
1800.05/1800.61	v -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635
1800.05/1800.61	v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614
1800.05/1800.61	v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
1800.05/1800.61	v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572
1800.05/1800.61	v -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551
1800.05/1800.61	v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530
1800.05/1800.61	v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509
1800.05/1800.61	v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488
1800.05/1800.61	v -x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467
1800.05/1800.61	v -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446
1800.05/1800.61	v -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425
1800.05/1800.61	v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404
1800.05/1800.61	v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383
1800.05/1800.61	v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362
1800.05/1800.61	v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344 -x343 -x342 x341
1800.05/1800.61	v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
1800.05/1800.61	v -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
1800.05/1800.61	v -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278
1800.05/1800.61	v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257
1800.05/1800.61	v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236
1800.05/1800.61	v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215
1800.05/1800.61	v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
1800.05/1800.61	v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173
1800.05/1800.61	v x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152
1800.05/1800.61	v x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131
1800.05/1800.61	v -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110
1800.05/1800.61	v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87
1800.05/1800.61	v -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
1800.05/1800.61	v -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
1800.05/1800.61	v -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
1800.05/1800.61	v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.61	c   31   230140  25589   263609    65354 17490472  24040    127 1800.05
1800.05/1800.61	c Objective: -32
1800.05/1800.61	s SATISFIABLE
1800.05/1800.61	c Total time: 1800.05 s

Verifier Data (download as text)

OK	-32

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node6/watcher-433091-1177954279 -o ROOT/results/node6/solver-433091-1177954279 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433091-1177954279/instance-433091-1177954279.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 2614
/proc/meminfo: memFree=1851640/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=3828 CPUtime=0
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 271465629 3919872 140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2157432 0 0 4096 0 0 0 0 17 1 0 0
/proc/2614/statm: 957 143 120 324 0 15 0

[startup+0.0622881 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 2614
/proc/meminfo: memFree=1851640/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=6272 CPUtime=0.05
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 794 0 0 0 5 0 0 0 18 0 1 0 271465629 6422528 764 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2568338 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 1568 765 360 324 0 396 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6272

[startup+0.101291 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 2614
/proc/meminfo: memFree=1851640/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=7236 CPUtime=0.09
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 1087 0 0 0 9 0 0 0 18 0 1 0 271465629 7409664 1057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 1809 1058 417 324 0 637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7236

[startup+0.301315 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 2614
/proc/meminfo: memFree=1851640/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=11352 CPUtime=0.28
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 2482 0 0 0 28 0 0 0 19 0 1 0 271465629 11624448 2210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 2838 2210 305 324 0 1908 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11352

[startup+0.701362 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 2614
/proc/meminfo: memFree=1851640/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=11352 CPUtime=0.68
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 2482 0 0 0 67 1 0 0 22 0 1 0 271465629 11624448 2210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 2838 2210 305 324 0 1908 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11352

[startup+1.50145 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 2615
/proc/meminfo: memFree=1843440/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=20460 CPUtime=1.48
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 5333 0 0 0 145 3 0 0 25 0 1 0 271465629 20951040 4475 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 5114 4475 310 324 0 4184 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20460

[startup+3.10164 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 2615
/proc/meminfo: memFree=1827120/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=42644 CPUtime=3.08
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 10906 0 0 0 303 5 0 0 25 0 1 0 271465629 43667456 10048 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 10661 10048 310 324 0 9731 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 42644

[startup+6.30202 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 2615
/proc/meminfo: memFree=1788912/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=70304 CPUtime=6.29
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 17798 0 0 0 621 8 0 0 25 0 1 0 271465629 71991296 16940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 17576 16940 310 324 0 16646 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70304

[startup+12.7018 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 2615
/proc/meminfo: memFree=1753392/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=104048 CPUtime=12.69
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 26245 0 0 0 1257 12 0 0 25 0 1 0 271465629 106545152 25387 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 26012 25387 310 324 0 25082 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104048

[startup+25.5013 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 2615
/proc/meminfo: memFree=1701552/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=154924 CPUtime=25.48
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 38952 0 0 0 2530 18 0 0 25 0 1 0 271465629 158642176 38094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 38731 38096 310 324 0 37801 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 154924

[startup+51.1013 s]
/proc/loadavg: 0.96 0.97 0.91 2/78 2615
/proc/meminfo: memFree=1647664/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=207880 CPUtime=51.07
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 52215 0 0 0 5083 24 0 0 25 0 1 0 271465629 212869120 51357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 51970 51357 310 324 0 51040 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 207880

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 2615
/proc/meminfo: memFree=1551472/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=303276 CPUtime=102.26
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 76050 0 0 0 10190 36 0 0 25 0 1 0 271465629 310554624 75192 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 75819 75192 310 324 0 74889 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 303276

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2615
/proc/meminfo: memFree=1494576/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=359700 CPUtime=162.24
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 90197 0 0 0 16181 43 0 0 25 0 1 0 271465629 368332800 89302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2621172 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 89925 89302 310 324 0 88995 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 359700

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 2617
/proc/meminfo: memFree=1494512/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=359700 CPUtime=222.22
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 90197 0 0 0 22179 43 0 0 25 0 1 0 271465629 368332800 89302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 89925 89302 310 324 0 88995 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 359700

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1494512/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=359700 CPUtime=282.21
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 90197 0 0 0 28177 44 0 0 25 0 1 0 271465629 368332800 89302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 89925 89302 310 324 0 88995 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 359700

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1494512/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=359700 CPUtime=342.19
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 90197 0 0 0 34175 44 0 0 25 0 1 0 271465629 368332800 89302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 89925 89302 310 324 0 88995 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 359700

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1444976/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=409180 CPUtime=402.17
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 102593 0 0 0 40166 51 0 0 25 0 1 0 271465629 419000320 101656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 102295 101656 310 324 0 101365 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 409180

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1444976/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=409180 CPUtime=462.16
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 102593 0 0 0 46164 52 0 0 25 0 1 0 271465629 419000320 101656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 102295 101656 310 324 0 101365 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 409180

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1445168/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=409180 CPUtime=522.14
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 102593 0 0 0 52162 52 0 0 25 0 1 0 271465629 419000320 101656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 102295 101656 310 324 0 101365 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 409180

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1445168/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=409180 CPUtime=582.13
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 102593 0 0 0 58160 53 0 0 25 0 1 0 271465629 419000320 101656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2621349 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 102295 101656 310 324 0 101365 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 409180

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1422768/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=431580 CPUtime=642.12
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 108214 0 0 0 64155 57 0 0 25 0 1 0 271465629 441937920 107277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 107895 107277 310 324 0 106965 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 431580


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1405744/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=448464 CPUtime=822.06
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 112471 0 0 0 82145 61 0 0 25 0 1 0 271465629 459227136 111487 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 112116 111487 310 324 0 111186 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 448464

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1405744/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=448464 CPUtime=882.05
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 112471 0 0 0 88143 62 0 0 25 0 1 0 271465629 459227136 111487 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 112116 111487 310 324 0 111186 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 448464

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1405744/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=448464 CPUtime=942.03
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 112471 0 0 0 94141 62 0 0 25 0 1 0 271465629 459227136 111487 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 112116 111487 310 324 0 111186 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 448464

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1375216/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=479248 CPUtime=1002.01
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 120178 0 0 0 100135 66 0 0 25 0 1 0 271465629 490749952 119194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 119812 119194 310 324 0 118882 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 479248

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1362544/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=491532 CPUtime=1062
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 123302 0 0 0 106132 68 0 0 25 0 1 0 271465629 503328768 122267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 122883 122267 310 324 0 121953 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 491532

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1362544/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=491532 CPUtime=1121.98
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 123302 0 0 0 112130 68 0 0 25 0 1 0 271465629 503328768 122267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 122883 122267 310 324 0 121953 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 491532

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1362544/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=491532 CPUtime=1181.97
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 123302 0 0 0 118128 69 0 0 25 0 1 0 271465629 503328768 122267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 122883 122267 310 324 0 121953 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 491532

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1362480/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=491532 CPUtime=1241.95
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 123302 0 0 0 124126 69 0 0 25 0 1 0 271465629 503328768 122267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547668 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 122883 122267 310 324 0 121953 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 491532

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1362480/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=491532 CPUtime=1301.94
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 123302 0 0 0 130124 70 0 0 25 0 1 0 271465629 503328768 122267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 122883 122267 310 324 0 121953 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 491532

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1362480/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=491532 CPUtime=1361.91
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 123302 0 0 0 136121 70 0 0 25 0 1 0 271465629 503328768 122267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 122883 122267 310 324 0 121953 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 491532

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1362480/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=491532 CPUtime=1421.91
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 123302 0 0 0 142120 71 0 0 25 0 1 0 271465629 503328768 122267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 122883 122267 310 324 0 121953 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 491532

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1362480/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=491532 CPUtime=1481.88
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 123302 0 0 0 148117 71 0 0 25 0 1 0 271465629 503328768 122267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 122883 122267 310 324 0 121953 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 491532

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1362480/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=491532 CPUtime=1541.87
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 123302 0 0 0 154115 72 0 0 25 0 1 0 271465629 503328768 122267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 122883 122267 310 324 0 121953 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 491532

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1362480/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=491532 CPUtime=1601.85
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 123302 0 0 0 160113 72 0 0 25 0 1 0 271465629 503328768 122267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 122883 122267 310 324 0 121953 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 491532

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1362544/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=491532 CPUtime=1661.84
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 123302 0 0 0 166111 73 0 0 25 0 1 0 271465629 503328768 122267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 122883 122267 310 324 0 121953 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 491532

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2617
/proc/meminfo: memFree=1315120/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=538780 CPUtime=1721.82
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 135158 0 0 0 172101 81 0 0 25 0 1 0 271465629 551710720 134067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 134695 134067 310 324 0 133765 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 538780

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/80 2619
/proc/meminfo: memFree=1314784/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=538780 CPUtime=1781.79
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 135158 0 0 0 178097 82 0 0 25 0 1 0 271465629 551710720 134067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 134695 134067 310 324 0 133765 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 538780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/84 2733
/proc/meminfo: memFree=1313920/2055924 swapFree=4143484/4192956
[pid=2614] ppid=2612 vsize=538780 CPUtime=1800.05
/proc/2614/stat : 2614 (bsolo3.0.17) R 2612 2614 1227 0 -1 4194304 135158 0 0 0 179923 82 0 0 25 0 1 0 271465629 551710720 134067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2614/statm: 134695 134067 310 324 0 133765 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 538780

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.7
CPU time (s): 1800.14
CPU user time (s): 1799.23
CPU system time (s): 0.908861
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 539004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 0.908861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135162
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= 11
involuntary context switches= 2498

runsolver used 1.41778 second user time and 3.85241 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Mon Apr 30 17:31:20 UTC 2007

IDJOB= 433091
IDBENCH= 2243
IDSOLVER= 199
FILE ID= node6/433091-1177954279

PBS_JOBID= 4727834

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433091-1177954279/instance-433091-1177954279.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-433091-1177954279 -o ROOT/results/node6/solver-433091-1177954279 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433091-1177954279/instance-433091-1177954279.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  9984e76947bf9addca42277d72ff7107

RANDOM SEED= 706852204

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.232
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.232
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:      2055924 kB
MemFree:       1852048 kB
Buffers:         34528 kB
Cached:          96928 kB
SwapCached:      17056 kB
Active:          57236 kB
Inactive:       101624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1852048 kB
SwapTotal:     4192956 kB
SwapFree:      4143484 kB
Dirty:            7636 kB
Writeback:           0 kB
Mapped:          31196 kB
Slab:            30616 kB
Committed_AS:  7230384 kB
PageTables:       1788 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node6 on Mon Apr 30 18:01:22 UTC 2007