Trace number 3732373

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
PB07: bsolo 3.0.17SAT (TO)50 1800.03 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
MD5SUM9c27419d6022516b3a8580fda3ca43ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark50
Best CPU time to get the best result obtained on this benchmark1.46878
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50
Optimality of the best value was proved NO
Number of variables807
Total number of constraints1823
Number of constraints which are clauses1823
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 constraint1
Maximum length of a constraint98
Number of terms in the objective function 807
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 807
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 807
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.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 15500 MB
0.00/0.00	c Instance file HOME/instance-3732373-1338689825.opb
0.00/0.00	c File size is 302882 bytes.
0.00/0.02	c Highest Coefficient sum: 807
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.025 s
0.00/0.02	c Var: 807 Constr: 1823 1823/0/0 Lit: 36250 Watch. Lit: 3626
0.00/0.02	c Obj. Vars: 807 (100 % of total variables)
0.00/0.07	c Formula reductions applied at preprocessing
0.00/0.07	c Pre-processing Time: 0.067 s
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0    506      639    14285   22     1278     212      0      0 0.07
0.09/0.10	c Initial Lower Bound: 47
0.09/0.10	c Initial Path Cost: 18
0.09/0.10	o 65	0.102
0.38/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.44	c        0    506      640    14791   23     1739    1212      1      0 0.10
0.38/0.44	o 54	0.444 * 
0.69/0.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.73	c        0    506      641    15297   23     2211    2212      2      0 0.44
0.69/0.73	o 53	0.731 * 
1.59/1.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.69	c        3    506      648    16081   24     2696    2212      9      4 0.73
1.59/1.69	c      105    506      852    25563   30     3104    2434    213     79 1.33
1.59/1.69	o 52	1.694 * 
1.98/2.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.98/2.03	c      122    506      887    27908   31     3646    2212    248     72 1.69
1.98/2.03	o 51	2.03 * 
91.88/91.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
91.88/91.95	c      136    506      916    30172   32     4177    2212    277     66 2.03
91.88/91.95	c      237    506     1118    42061   37     4581    2434    479     79 2.97
91.88/91.95	c      491    506     1626    61172   37     5597    2678    987    109 4.50
91.88/91.95	c      967    506     2578    97190   37     7501    2946   1939    125 7.71
91.88/91.95	c     1782    506     2379    91787   38     5231    3241   1740    141 12.55
91.88/91.95	c     3102    506     3029   129893   42     6531    3566   2390    155 19.91
91.88/91.95	c     5189    506     2948    94841   32     6369    3923   2309    161 32.13
91.88/91.95	c     8412    506     4784   175761   36    10041    4316   4145    154 54.59
91.88/91.95	c    13349    506     4634   180280   38     9741    4748   3995    159 83.53
91.88/91.95	o 50	91.938 * 
1800.02/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.30	c    14564    506     4331   174081   40     9609    1212   3692    158 91.94
1800.02/1800.30	c    14665    506     1448    49775   34     3370    1334    809    157 93.11
1800.02/1800.30	c    14916    506     1950    66128   33     4374    1468   1311    156 95.56
1800.02/1800.30	c    15392    506     1838    55738   30     4150    1615   1199    155 99.28
1800.02/1800.30	c    16206    506     2314    69639   30     5102    1777   1675    154 104.87
1800.02/1800.30	c    17526    506     2491    79093   31     5456    1955   1852    152 115.18
1800.02/1800.30	c    19608    506     2683   101670   37     5840    2151   2044    151 129.82
1800.02/1800.30	c    22831    506     2069    61836   29     4612    2367   1430    152 149.87
1800.02/1800.30	c    27769    506     2729   111561   40     5932    2604   2090    148 186.90
1800.02/1800.30	c    35277    506     2909   110589   38     6292    2865   2270    143 245.36
1800.02/1800.30	c    46639    506     2686    68057   25     5846    3152   2047    142 328.44
1800.02/1800.30	c    63784    506     2520    84659   33     5514    3468   1881    136 466.77
1800.02/1800.30	c    89607    506     4397   149254   33     9268    3815   3758    136 655.34
1800.02/1800.30	c   128439    506     3623   113651   31     7720    4197   2984    134 955.23
1800.02/1800.30	c   186793    506     3694   104922   28     7862    4617   3055    128 1454.60
1800.02/1800.30	c Caught signal: 15
1800.02/1800.30	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -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 -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 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 x736 -x737 x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 x767 x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 x807 
1800.02/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.30	c   29   234483   2658   239897     4018   121710   3379    130 1800.03
1800.02/1800.30	c Objective: 50
1800.02/1800.30	s SATISFIABLE
1800.02/1800.30	c Total time: 1800.03 s

Verifier Data 

OK	50

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732373-1338689825/watcher-3732373-1338689825 -o /tmp/evaluation-result-3732373-1338689825/solver-3732373-1338689825 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3732373-1338689825.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 26080
/proc/meminfo: memFree=27027016/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=4984 CPUtime=0 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 470 0 0 0 0 0 0 0 20 0 1 0 335111053 5103616 406 33554432000 134512640 135840783 4291789872 4291788476 7898160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 1246 406 329 325 0 108 0

[startup+0.0999211 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 26080
/proc/meminfo: memFree=27027016/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=7036 CPUtime=0.09 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 1667 0 0 0 9 0 0 0 20 0 1 0 335111053 7204864 920 33554432000 134512640 135840783 4291789872 4291788096 135315574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 1759 920 426 325 0 695 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7036

[startup+0.10031 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 26080
/proc/meminfo: memFree=27027016/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=7036 CPUtime=0.09 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 1667 0 0 0 9 0 0 0 20 0 1 0 335111053 7204864 920 33554432000 134512640 135840783 4291789872 4291787984 134700406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 1759 920 426 325 0 695 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7036

[startup+0.300216 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 26080
/proc/meminfo: memFree=27027016/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=7180 CPUtime=0.29 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 8329 0 0 0 28 1 0 0 20 0 1 0 335111053 7352320 857 33554432000 134512640 135840783 4291789872 4291788528 7898160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 1407 765 430 325 0 343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7180

[startup+0.700224 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 26080
/proc/meminfo: memFree=27027016/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=5640 CPUtime=0.69 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 23168 0 0 0 66 3 0 0 20 0 1 0 335111053 5775360 768 33554432000 134512640 135840783 4291789872 4291788528 7898160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 1410 768 430 325 0 346 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5640

[startup+1.50023 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26081
/proc/meminfo: memFree=27024752/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=7132 CPUtime=1.49 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 53988 0 0 0 142 7 0 0 20 0 1 0 335111053 7303168 866 33554432000 134512640 135840783 4291789872 4291788040 135306417 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 1783 866 431 325 0 719 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7132

[startup+3.10022 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26081
/proc/meminfo: memFree=27024008/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=7260 CPUtime=3.09 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 94798 0 0 0 296 13 0 0 20 0 1 0 335111053 7434240 1070 33554432000 134512640 135840783 4291789872 4291788376 135311327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 1815 1070 431 325 0 751 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7260

[startup+6.30023 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26081
/proc/meminfo: memFree=27021156/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=8108 CPUtime=6.29 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 142836 0 0 0 609 20 0 0 20 0 1 0 335111053 8302592 1320 33554432000 134512640 135840783 4291789872 4291788172 135331645 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2027 1320 431 325 0 963 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8108

[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26081
/proc/meminfo: memFree=27016832/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=9656 CPUtime=12.69 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 143214 0 0 0 1249 20 0 0 20 0 1 0 335111053 9887744 1696 33554432000 134512640 135840783 4291789872 4291788172 135331588 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2414 1696 431 325 0 1350 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9656

[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26081
/proc/meminfo: memFree=27011620/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=9660 CPUtime=25.48 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 143282 0 0 0 2528 20 0 0 20 0 1 0 335111053 9891840 1763 33554432000 134512640 135840783 4291789872 4291788736 134781582 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2415 1763 431 325 0 1351 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9660

[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26081
/proc/meminfo: memFree=27002444/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=9948 CPUtime=51.08 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 147315 0 0 0 5087 21 0 0 20 0 1 0 335111053 10186752 1780 33554432000 134512640 135840783 4291789872 4291787024 134792319 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2487 1780 431 325 0 1423 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9948

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26082
/proc/meminfo: memFree=26979504/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10236 CPUtime=102.28 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 192159 0 0 0 10194 34 0 0 20 0 1 0 335111053 10481664 1794 33554432000 134512640 135840783 4291789872 4291788096 134700376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2559 1794 431 325 0 1495 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 10236

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26082
/proc/meminfo: memFree=26956316/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10240 CPUtime=162.26 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 279133 0 0 0 16172 54 0 0 20 0 1 0 335111053 10485760 1797 33554432000 134512640 135840783 4291789872 4291788112 135315566 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2560 1797 431 325 0 1496 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 10240

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 26085
/proc/meminfo: memFree=26935476/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10180 CPUtime=222.26 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 394495 0 0 0 22142 84 0 0 20 0 1 0 335111053 10424320 1811 33554432000 134512640 135840783 4291789872 4291788192 134694631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2545 1811 431 325 0 1481 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 10180

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26085
/proc/meminfo: memFree=26914652/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10164 CPUtime=282.24 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 459888 0 0 0 28124 100 0 0 20 0 1 0 335111053 10407936 1836 33554432000 134512640 135840783 4291789872 4291788528 135153477 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2541 1836 431 325 0 1477 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 10164

[startup+342.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 26124
/proc/meminfo: memFree=27823176/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10284 CPUtime=342.24 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 580298 0 0 0 34091 133 0 0 20 0 1 0 335111053 10530816 1794 33554432000 134512640 135840783 4291789872 4291787088 135336313 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2571 1794 431 325 0 1507 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 10284

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 26125
/proc/meminfo: memFree=27796916/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10188 CPUtime=402.23 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 616194 0 0 0 40080 143 0 0 20 0 1 0 335111053 10432512 1844 33554432000 134512640 135840783 4291789872 4291788192 135281851 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2547 1844 431 325 0 1483 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 10188

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 26125
/proc/meminfo: memFree=27772764/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10184 CPUtime=462.21 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 618576 0 0 0 46078 143 0 0 20 0 1 0 335111053 10428416 1841 33554432000 134512640 135840783 4291789872 4291788112 135317031 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2546 1841 431 325 0 1482 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 10184

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 26125
/proc/meminfo: memFree=27762128/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10200 CPUtime=522.2 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 619467 0 0 0 52077 143 0 0 20 0 1 0 335111053 10444800 1848 33554432000 134512640 135840783 4291789872 4291788232 135308729 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2550 1848 431 325 0 1486 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 10200

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 26125
/proc/meminfo: memFree=27728056/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10196 CPUtime=582.2 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 619955 0 0 0 58076 144 0 0 20 0 1 0 335111053 10440704 1844 33554432000 134512640 135840783 4291789872 4291788000 134700404 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2549 1844 431 325 0 1485 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 10196

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26129
/proc/meminfo: memFree=27643228/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10180 CPUtime=882.16 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 627732 0 0 0 88070 146 0 0 20 0 1 0 335111053 10424320 1858 33554432000 134512640 135840783 4291789872 4291788172 135331669 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2545 1858 431 325 0 1481 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 10180

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26129
/proc/meminfo: memFree=27596356/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10200 CPUtime=942.15 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 680420 0 0 0 94054 161 0 0 20 0 1 0 335111053 10444800 1860 33554432000 134512640 135840783 4291789872 4291789256 134765471 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2550 1860 431 325 0 1486 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 10200

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26130
/proc/meminfo: memFree=27643084/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10316 CPUtime=1002.13 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 912935 0 0 0 99991 222 0 0 20 0 1 0 335111053 10563584 1798 33554432000 134512640 135840783 4291789872 4291788040 135306433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2579 1798 431 325 0 1515 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 10316

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26130
/proc/meminfo: memFree=27608984/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10308 CPUtime=1062.13 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 1172945 0 0 0 105921 292 0 0 20 0 1 0 335111053 10555392 1795 33554432000 134512640 135840783 4291789872 4291788040 135306433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2577 1795 431 325 0 1513 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 10308

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26130
/proc/meminfo: memFree=27609232/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10336 CPUtime=1122.12 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 1419886 0 0 0 111856 356 0 0 20 0 1 0 335111053 10584064 1791 33554432000 134512640 135840783 4291789872 4291788384 10249393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2584 1791 431 325 0 1520 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 10336

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26130
/proc/meminfo: memFree=27607372/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10340 CPUtime=1182.11 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 1668074 0 0 0 117786 425 0 0 20 0 1 0 335111053 10588160 1793 33554432000 134512640 135840783 4291789872 4291788044 135313361 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2585 1793 431 325 0 1521 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 10340

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26130
/proc/meminfo: memFree=27607000/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10336 CPUtime=1242.1 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 1911984 0 0 0 123724 486 0 0 20 0 1 0 335111053 10584064 1792 33554432000 134512640 135840783 4291789872 4291788044 135313361 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2584 1792 431 325 0 1520 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 10336

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26131
/proc/meminfo: memFree=27607124/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10476 CPUtime=1302.1 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 2164176 0 0 0 129657 553 0 0 20 0 1 0 335111053 10727424 1803 33554432000 134512640 135840783 4291789872 4291788040 135306433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2619 1803 431 325 0 1555 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 10476

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26131
/proc/meminfo: memFree=27607088/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10296 CPUtime=1362.08 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 2474731 0 0 0 135580 628 0 0 20 0 1 0 335111053 10543104 1798 33554432000 134512640 135840783 4291789872 4291788112 135315574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2574 1798 431 325 0 1510 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 10296

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26134
/proc/meminfo: memFree=27606956/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10472 CPUtime=1422.08 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 2787265 0 0 0 141503 705 0 0 20 0 1 0 335111053 10723328 1794 33554432000 134512640 135840783 4291789872 4291788160 134694618 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2618 1796 431 325 0 1554 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 10472

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26134
/proc/meminfo: memFree=27606964/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10132 CPUtime=1482.06 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 3075749 0 0 0 147432 774 0 0 20 0 1 0 335111053 10375168 1794 33554432000 134512640 135840783 4291789872 4291786832 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2533 1794 431 325 0 1469 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 10132

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26134
/proc/meminfo: memFree=27602872/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10428 CPUtime=1542.05 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 3410686 0 0 0 153355 850 0 0 20 0 1 0 335111053 10678272 1803 33554432000 134512640 135840783 4291789872 4291788044 135313361 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2607 1803 431 325 0 1543 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 10428

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26135
/proc/meminfo: memFree=27603244/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10148 CPUtime=1602.04 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 3760890 0 0 0 159269 935 0 0 20 0 1 0 335111053 10391552 1787 33554432000 134512640 135840783 4291789872 4291788240 10249393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2537 1788 431 325 0 1473 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 10148

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26135
/proc/meminfo: memFree=27603244/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10440 CPUtime=1662.03 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 4127256 0 0 0 165181 1022 0 0 20 0 1 0 335111053 10690560 1805 33554432000 134512640 135840783 4291789872 4291788044 135313324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2610 1805 431 325 0 1546 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 10440

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26135
/proc/meminfo: memFree=27606592/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10436 CPUtime=1722.03 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 4523582 0 0 0 171092 1111 0 0 20 0 1 0 335111053 10686464 1793 33554432000 134512640 135840783 4291789872 4291788044 135313361 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2609 1794 431 325 0 1545 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 10436

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26135
/proc/meminfo: memFree=27549676/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10476 CPUtime=1782.02 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 4897675 0 0 0 177002 1200 0 0 20 0 1 0 335111053 10727424 1805 33554432000 134512640 135840783 4291789872 4291788044 135313324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2619 1805 431 325 0 1555 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 10476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26135
/proc/meminfo: memFree=27549924/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10268 CPUtime=1800.02 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 5011992 0 0 0 178776 1226 0 0 20 0 1 0 335111053 10514432 1797 33554432000 134512640 135840783 4291789872 4291788044 135313361 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2567 1798 431 325 0 1503 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10268

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26135
/proc/meminfo: memFree=27549924/32873844 swapFree=7116/7116
[pid=26080] ppid=26078 vsize=10268 CPUtime=1800.02 cores=1,3,5,7
/proc/26080/stat : 26080 (bsolo3.0.17) R 26078 26080 24661 0 -1 4202496 5011992 0 0 0 178776 1226 0 0 20 0 1 0 335111053 10514432 1797 33554432000 134512640 135840783 4291789872 4291788044 135313361 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26080/statm: 2567 1798 431 325 0 1503 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10268

Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1787.76
CPU system time (s): 12.2691
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 10732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.76
system time used= 12.2691
maximum resident set size= 7572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5011995
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= 9
involuntary context switches= 1854

runsolver used 2.82157 second user time and 8.33473 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-03 04:17:05
IDJOB=3732373
IDBENCH=2052
IDSOLVER=2318
FILE ID=node108/3732373-1338689825
RUNJOBID= node108-1338678627-24681
PBS_JOBID= 14636705
Free space on /tmp= 71464 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732373-1338689825/watcher-3732373-1338689825 -o /tmp/evaluation-result-3732373-1338689825/solver-3732373-1338689825 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3732373-1338689825.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee
RANDOM SEED=606513883

node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27027016 kB
Buffers:          320844 kB
Cached:          3546308 kB
SwapCached:          112 kB
Active:          3055236 kB
Inactive:        1984796 kB
Active(anon):    1159928 kB
Inactive(anon):    13084 kB
Active(file):    1895308 kB
Inactive(file):  1971712 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              6640 kB
Writeback:             0 kB
AnonPages:       1181676 kB
Mapped:            15640 kB
Shmem:               172 kB
Slab:             663232 kB
SReclaimable:     105452 kB
SUnreclaim:       557780 kB
KernelStack:        1456 kB
PageTables:         6308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1286832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1138688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71460 MiB
End job on node108 at 2012-06-03 04:47:07