Trace number 3708043

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT7 1798.01 1798.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd84.b.opb
MD5SUM6560abb26f607ef952ebe1a74dd5dae1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark5.70713
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables1009
Total number of constraints3773
Number of constraints which are clauses3773
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 constraint5
Maximum length of a constraint446
Number of terms in the objective function 1009
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 1009
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 1009
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708043-1338155969.opb
0.00/0.00	c File size is 2094194 bytes.
0.09/0.14	c Highest Coefficient sum: 1009
0.09/0.14	c Parsing was ok!!
0.09/0.14	c Total parsing time: 0.145 s
0.09/0.14	c Var: 1009 Constr: 3773 3773/0/0 Lit: 262156 Watch. Lit: 7546
0.09/0.14	c Obj. Vars: 1009 (100 % of total variables)
2.69/2.71	c Formula reductions applied at preprocessing
2.69/2.71	c Pre-processing Time: 2.715 s
2.89/2.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.99	c        0    970     3342   203711   60     6684    1113      0      0 2.71
2.89/2.99	c Initial Lower Bound: 5
2.89/2.99	c Initial Path Cost: 0
2.89/2.99	o 9
5.88/5.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.88/5.94	c        1    970     3345   204975   61     7651    2114      3      0 2.99
5.88/5.94	o 7
1797.99/1798.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.30	c        1    970     3346   205945   61     8616    2114      4      0 5.94
1797.99/1798.30	c      112    970     3652   426955  116     9228    2326    310      9 12.43
1797.99/1798.30	c      367    970     4381  1002204  228    10686    2559   1039     11 31.16
1797.99/1798.30	c      842    970     5783  2033932  351    13490    2815   2441     12 66.87
1797.99/1798.30	c     1655    970     5934  2050793  345    12831    3097   2592     13 122.93
1797.99/1798.30	c     2975    970     4892  1126717  230    10747    3407   1550     13 226.36
1797.99/1798.30	c     5060    970     5630  1398473  248    12223    3748   2288     11 442.45
1797.99/1798.30	c     8283    970     6805  1995067  293    14573    4123   3463     12 681.78
1797.99/1798.30	c    13219    970     6881  1852500  269    14725    4536   3539     13 995.27
1797.99/1798.30	c    20727    970     5917   989374  167    12797    4990   2575     13 1509.38
1797.99/1798.30	c Resources Exceeded
1797.99/1798.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 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 
1797.99/1798.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.30	c   11    25030  10319    89466     7243  1941284   3901     13 1798.01
1797.99/1798.30	c Objective: 7
1797.99/1798.30	s SATISFIABLE
1797.99/1798.30	c Total time: 1798.01 s

Verifier Data 

OK	7

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-3708043-1338155969/watcher-3708043-1338155969 -o /tmp/evaluation-result-3708043-1338155969/solver-3708043-1338155969 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708043-1338155969.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: 1.85 1.97 1.99 3/176 19738
/proc/meminfo: memFree=30803300/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=20660 CPUtime=0 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 302 0 0 0 0 0 0 0 20 0 1 0 281725543 21155840 255 33554432000 134512640 137138936 4289526496 4289523688 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 5165 255 180 642 0 4009 0

[startup+0.101135 s]
/proc/loadavg: 1.85 1.97 1.99 3/176 19738
/proc/meminfo: memFree=30803300/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=15184 CPUtime=0.09 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 1223 0 0 0 9 0 0 0 20 0 1 0 281725543 15548416 1176 33554432000 134512640 137138936 4289526496 4289522840 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 3796 1176 512 642 0 2640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15184

[startup+0.200365 s]
/proc/loadavg: 1.85 1.97 1.99 3/176 19738
/proc/meminfo: memFree=30803300/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=18660 CPUtime=0.19 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 2785 0 0 0 19 0 0 0 20 0 1 0 281725543 19107840 2226 33554432000 134512640 137138936 4289526496 4289512860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 4665 2226 185 642 0 4021 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18660

[startup+0.300372 s]
/proc/loadavg: 1.85 1.97 1.99 3/176 19738
/proc/meminfo: memFree=30803300/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=18660 CPUtime=0.29 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 2785 0 0 0 29 0 0 0 20 0 1 0 281725543 19107840 2226 33554432000 134512640 137138936 4289526496 4289512860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 4665 2226 185 642 0 4021 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18660

[startup+0.70027 s]
/proc/loadavg: 1.85 1.97 1.99 3/176 19738
/proc/meminfo: memFree=30803300/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=18660 CPUtime=0.69 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 2785 0 0 0 69 0 0 0 20 0 1 0 281725543 19107840 2226 33554432000 134512640 137138936 4289526496 4289512844 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 4665 2226 185 642 0 4021 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18660

[startup+1.50028 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 19739
/proc/meminfo: memFree=30795224/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=18660 CPUtime=1.49 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 2785 0 0 0 149 0 0 0 20 0 1 0 281725543 19107840 2226 33554432000 134512640 137138936 4289526496 4289512816 134540164 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 4665 2226 185 642 0 4021 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18660

[startup+3.10035 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 19739
/proc/meminfo: memFree=30794860/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=19068 CPUtime=3.09 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 70653 0 0 0 301 8 0 0 20 0 1 0 281725543 19525632 2436 33554432000 134512640 137138936 4289526496 4289524384 134750212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 4767 2436 286 642 0 4123 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19068

[startup+6.30033 s]
/proc/loadavg: 1.86 1.97 1.99 3/177 19739
/proc/meminfo: memFree=30793248/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=20660 CPUtime=6.29 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 241585 0 0 0 594 35 0 0 20 0 1 0 281725543 21155840 2835 33554432000 134512640 137138936 4289526496 4289524480 135783815 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 5165 2835 287 642 0 4521 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20660

[startup+12.7003 s]
/proc/loadavg: 1.87 1.97 1.99 3/177 19739
/proc/meminfo: memFree=30791788/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=22960 CPUtime=12.68 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 631164 0 0 0 1173 95 0 0 20 0 1 0 281725543 23511040 3410 33554432000 134512640 137138936 4289526496 4289524480 135783853 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 5740 3410 287 642 0 5096 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22960

[startup+25.5004 s]
/proc/loadavg: 1.90 1.97 1.99 3/177 19739
/proc/meminfo: memFree=30788032/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=30404 CPUtime=25.48 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 1677165 0 0 0 2301 247 0 0 20 0 1 0 281725543 31133696 4456 33554432000 134512640 137138936 4289526496 4289524432 135251832 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 7601 4456 287 642 0 6957 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30404

[startup+51.1004 s]
/proc/loadavg: 1.93 1.97 1.99 3/178 19742
/proc/meminfo: memFree=30778484/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=40468 CPUtime=51.08 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 3713522 0 0 0 4550 558 0 0 20 0 1 0 281725543 41439232 6928 33554432000 134512640 137138936 4289526496 4289524224 135457642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 10117 6928 287 642 0 9473 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40468

[startup+102.3 s]
/proc/loadavg: 1.97 1.97 1.99 3/178 19765
/proc/meminfo: memFree=30760952/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=53912 CPUtime=102.28 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 7530769 0 0 0 9091 1137 0 0 20 0 1 0 281725543 55205888 11094 33554432000 134512640 137138936 4289526496 4289524480 135783829 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 13478 11108 287 642 0 12834 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 53912

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 19765
/proc/meminfo: memFree=30759148/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=51524 CPUtime=162.26 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 10722159 0 0 0 14593 1633 0 0 20 0 1 0 281725543 52760576 10551 33554432000 134512640 137138936 4289526496 4289524480 135782995 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 12881 10551 287 642 0 12237 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 51524

[startup+222.307 s]
/proc/loadavg: 2.20 2.02 2.01 3/177 19993
/proc/meminfo: memFree=31807164/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=58676 CPUtime=222.25 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 13691523 0 0 0 20109 2116 0 0 20 0 1 0 281725543 60084224 11349 33554432000 134512640 137138936 4289526496 4289524432 134840726 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14669 11349 287 642 0 14025 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 58676

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 19994
/proc/meminfo: memFree=31808180/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=54452 CPUtime=282.23 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 16986599 0 0 0 25570 2653 0 0 20 0 1 0 281725543 55758848 11282 33554432000 134512640 137138936 4289526496 4289524480 135783826 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 13613 11282 287 642 0 12969 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 54452

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19994
/proc/meminfo: memFree=31808612/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=58516 CPUtime=342.22 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 20576338 0 0 0 30987 3235 0 0 20 0 1 0 281725543 59920384 11412 33554432000 134512640 137138936 4289526496 4289524288 134734928 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14629 11412 287 642 0 13985 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 58516

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19994
/proc/meminfo: memFree=31799184/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=58544 CPUtime=402.21 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 23858239 0 0 0 36459 3762 0 0 20 0 1 0 281725543 59949056 11371 33554432000 134512640 137138936 4289526496 4289524288 134734948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14636 11371 287 642 0 13992 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 58544

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19994
/proc/meminfo: memFree=31763388/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=52376 CPUtime=462.2 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 27214649 0 0 0 41909 4311 0 0 20 0 1 0 281725543 53633024 10686 33554432000 134512640 137138936 4289526496 4289524384 134750212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 13094 10686 287 642 0 12450 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 52376

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 19994
/proc/meminfo: memFree=31762992/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=54712 CPUtime=522.2 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 29705762 0 0 0 47509 4711 0 0 20 0 1 0 281725543 56025088 11283 33554432000 134512640 137138936 4289526496 4289524480 135783832 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 13678 11283 287 642 0 13034 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 54712

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19995
/proc/meminfo: memFree=31763796/32873844 swapFree=7376/7376
[pid=19738] ppid=19736 vsize=54444 CPUtime=582.18 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 32210007 0 0 0 53098 5120 0 0 20 0 1 0 281725543 55750656 11281 33554432000 134512640 137138936 4289526496 4289524480 135783853 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 13611 11281 287 642 0 12967 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 54444

[startup+642.3 s]

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

/proc/meminfo: memFree=31795812/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=60652 CPUtime=1122.1 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 54219433 0 0 0 103472 8738 0 0 20 0 1 0 281725543 62107648 11737 33554432000 134512640 137138936 4289526496 4289524288 134734948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 15163 11737 287 642 0 14519 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 60652

[startup+1182.3 s]
/proc/loadavg: 2.11 2.05 2.00 3/176 20037
/proc/meminfo: memFree=31795568/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=59336 CPUtime=1182.09 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 56051181 0 0 0 109159 9050 0 0 20 0 1 0 281725543 60760064 11395 33554432000 134512640 137138936 4289526496 4289524368 134730894 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14834 11395 287 642 0 14190 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 59336

[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 20041
/proc/meminfo: memFree=31797512/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=58756 CPUtime=1242.08 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 57748520 0 0 0 114863 9345 0 0 20 0 1 0 281725543 60166144 11453 33554432000 134512640 137138936 4289526496 4289524464 135447430 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14689 11453 287 642 0 14045 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 58756

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 20041
/proc/meminfo: memFree=31794688/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=54420 CPUtime=1302.07 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 59719011 0 0 0 120530 9677 0 0 20 0 1 0 281725543 55726080 11275 33554432000 134512640 137138936 4289526496 4289524480 135783846 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 13605 11275 287 642 0 12961 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 54420

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20041
/proc/meminfo: memFree=31793756/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=58900 CPUtime=1362.06 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 61804882 0 0 0 126183 10023 0 0 20 0 1 0 281725543 60313600 11466 33554432000 134512640 137138936 4289526496 4289524448 135070985 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14725 11466 287 642 0 14081 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 58900

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20041
/proc/meminfo: memFree=31793940/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=58012 CPUtime=1422.06 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 64009243 0 0 0 131825 10381 0 0 20 0 1 0 281725543 59404288 11314 33554432000 134512640 137138936 4289526496 4289524344 134733978 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14503 11322 287 642 0 13859 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 58012

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20041
/proc/meminfo: memFree=31794560/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=55276 CPUtime=1482.05 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 66029805 0 0 0 137493 10712 0 0 20 0 1 0 281725543 56602624 10704 33554432000 134512640 137138936 4289526496 4289524696 136574033 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 13008 10678 287 642 0 12364 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 55276

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20042
/proc/meminfo: memFree=31795180/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=52032 CPUtime=1542.04 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 68107446 0 0 0 143149 11055 0 0 20 0 1 0 281725543 53280768 10678 33554432000 134512640 137138936 4289526496 4289525168 134587455 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 13008 10678 287 642 0 12364 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 52032

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 20042
/proc/meminfo: memFree=31792696/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=57592 CPUtime=1602.03 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 70600348 0 0 0 148748 11455 0 0 20 0 1 0 281725543 58974208 11330 33554432000 134512640 137138936 4289526496 4289524592 135470705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14398 11330 287 642 0 13754 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 57592

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20042
/proc/meminfo: memFree=31793004/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=54420 CPUtime=1662.02 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 74326643 0 0 0 154158 12044 0 0 20 0 1 0 281725543 55726080 11275 33554432000 134512640 137138936 4289526496 4289524480 135783850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 13605 11275 287 642 0 12961 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 54420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20042
/proc/meminfo: memFree=31786804/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=63216 CPUtime=1722.01 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 77930560 0 0 0 159593 12608 0 0 20 0 1 0 281725543 64733184 12664 33554432000 134512640 137138936 4289526496 4289524640 134730901 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 15804 12664 287 642 0 15160 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 63216

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 20042
/proc/meminfo: memFree=31786672/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=59764 CPUtime=1781.99 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 80903814 0 0 0 165115 13084 0 0 20 0 1 0 281725543 61198336 12611 33554432000 134512640 137138936 4289526496 4289524480 135783792 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14941 12611 287 642 0 14297 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 59764

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

[startup+1792.01 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 20042
/proc/meminfo: memFree=31788532/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=63012 CPUtime=1791.69 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 81549407 0 0 0 165982 13187 0 0 20 0 1 0 281725543 64524288 12656 33554432000 134512640 137138936 4289526496 4289524688 134849315 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 15753 12656 287 642 0 15109 0
Current children cumulated CPU time (s) 1791.69
Current children cumulated vsize (KiB) 63012

[startup+1795.2 s]
/proc/loadavg: 2.10 2.03 2.00 3/176 20042
/proc/meminfo: memFree=31788160/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=59764 CPUtime=1794.9 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 81764722 0 0 0 166267 13223 0 0 20 0 1 0 281725543 61198336 12611 33554432000 134512640 137138936 4289526496 4289524480 135783808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14941 12611 287 642 0 14297 0
Current children cumulated CPU time (s) 1794.9
Current children cumulated vsize (KiB) 59764

[startup+1796.8 s]
/proc/loadavg: 2.10 2.03 2.00 3/176 20042
/proc/meminfo: memFree=31788168/32873844 swapFree=7368/7368
[pid=19738] ppid=19736 vsize=59764 CPUtime=1796.49 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 81848304 0 0 0 166414 13235 0 0 20 0 1 0 281725543 61198336 12611 33554432000 134512640 137138936 4289526496 4289524480 135783832 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14941 12611 287 642 0 14297 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (KiB) 59764

[startup+1797.6 s]
/proc/loadavg: 2.10 2.03 2.00 3/176 20042
/proc/meminfo: memFree=31788788/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=59764 CPUtime=1797.29 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 81906599 0 0 0 166485 13244 0 0 20 0 1 0 281725543 61198336 12611 33554432000 134512640 137138936 4289526496 4289524368 134745067 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14941 12611 287 642 0 14297 0
Current children cumulated CPU time (s) 1797.29
Current children cumulated vsize (KiB) 59764

[startup+1798 s]
/proc/loadavg: 2.10 2.03 2.00 3/176 20042
/proc/meminfo: memFree=31788788/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=59764 CPUtime=1797.69 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 81934981 0 0 0 166521 13248 0 0 20 0 1 0 281725543 61198336 12610 33554432000 134512640 137138936 4289526496 4289524480 135783829 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14941 12610 287 642 0 14297 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 59764

[startup+1798.2 s]
/proc/loadavg: 2.10 2.03 2.00 3/176 20042
/proc/meminfo: memFree=31788788/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=63444 CPUtime=1797.89 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 81949404 0 0 0 166539 13250 0 0 20 0 1 0 281725543 64966656 12667 33554432000 134512640 137138936 4289526496 4289524368 134730880 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 15861 12667 287 642 0 15217 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 63444

[startup+1798.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/176 20042
/proc/meminfo: memFree=31788788/32873844 swapFree=7372/7372
[pid=19738] ppid=19736 vsize=59764 CPUtime=1797.99 cores=1,3,5,7
/proc/19738/stat : 19738 (bsolo) R 19736 19738 15469 0 -1 4202496 81957126 0 0 0 166548 13251 0 0 20 0 1 0 281725543 61198336 12554 33554432000 134512640 137138936 4289526496 4289524480 135783850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19738/statm: 14941 12583 287 642 0 14297 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 59764

Child status: 0
Real time (s): 1798.31
CPU time (s): 1798.01
CPU user time (s): 1665.49
CPU system time (s): 132.522
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 64992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1665.49
system time used= 132.522
maximum resident set size= 52092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81957240
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= 40
involuntary context switches= 1995

runsolver used 8.39372 second user time and 16.4785 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-27 23:59:30
IDJOB=3708043
IDBENCH=2838
IDSOLVER=2286
FILE ID=node109/3708043-1338155969
RUNJOBID= node109-1338140213-16699
PBS_JOBID= 14624511
Free space on /tmp= 71296 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708043-1338155969/watcher-3708043-1338155969 -o /tmp/evaluation-result-3708043-1338155969/solver-3708043-1338155969 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708043-1338155969.opb

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

MD5SUM BENCH= 6560abb26f607ef952ebe1a74dd5dae1
RANDOM SEED=1380219830

node109.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		: 2667.264
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	: 5334.52
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		: 2667.264
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		: 2667.264
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		: 2667.264
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		: 2667.264
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		: 2667.264
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	: 5331.91
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		: 2667.264
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.91
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		: 2667.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30803572 kB
Buffers:           87576 kB
Cached:           156072 kB
SwapCached:          588 kB
Active:          1199364 kB
Inactive:         100536 kB
Active(anon):    1051236 kB
Inactive(anon):     7668 kB
Active(file):     148128 kB
Inactive(file):    92868 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67106292 kB
Dirty:              6856 kB
Writeback:             0 kB
AnonPages:       1062716 kB
Mapped:            11204 kB
Shmem:                 8 kB
Slab:             626960 kB
SReclaimable:      68440 kB
SUnreclaim:       558520 kB
KernelStack:        1464 kB
PageTables:         6100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1179492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1044480 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= 71296 MiB
End job on node109 at 2012-05-28 00:29:28