Trace number 3737254

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)-122 1800.08 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_2.opb
MD5SUM1af848a7208b60f67c27d4022c7b5abe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-128
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -151
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint25
Maximum length of a constraint50
Number of terms in the objective function 1000
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 1000
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 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31544
Sum of products size (including duplicates)63088
Number of different products15772
Sum of products size31544

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-3737254-1338715543.opb
0.00/0.00	c File size is 415716 bytes.
0.00/0.08	c Highest Coefficient sum: 1000
0.00/0.08	c Parsing was ok!!
0.00/0.08	c Total parsing time: 0.082 s
0.09/0.11	c Var: 32544 Constr: 65088 32544/1000/31544 Lit: 252352 Watch. Lit: 189264
0.09/0.11	c Obj. Vars: 1000 (3.07276 % of total variables)
0.39/0.44	c Pre-processing Time: 0.442 s
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c        0   1000    15772    47316    3    31544    5257      0      0 0.44
0.39/0.45	c Switching off LPR mode.
0.39/0.45	o -122	0.444
1800.06/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.40	c        0   1000    15773    48316    3    31668    6257      1      0 0.45
1800.06/1800.40	c      100   1000    15873   135848    8    31868    6883    101    211 0.47
1800.06/1800.40	c      350   1000    16123   354585   21    32368    7572    351    639 0.55
1800.06/1800.40	c      825   1000    16598   769948   46    33318    8330    826   1199 0.69
1800.06/1800.40	c     1639   1000    17412  1481933   85    34946    9164   1640   1686 0.97
1800.06/1800.40	c     2959   1000    18732  2636792  140    37586   10081   2960   1962 1.51
1800.06/1800.40	c     5040   1000    20813  4457207  214    41748   11090   5041   2091 2.41
1800.06/1800.40	c     8263   1000    24036  7276875  302    48194   12200   8264   1750 4.72
1800.06/1800.40	c    13199   1000    28972 11595370  400    58066   13421  13200   1767 7.47
1800.06/1800.40	c    20705   1000    36478 18160781  497    73078   14764  20706   1636 12.65
1800.06/1800.40	c    32066   1000    47839 28100244  587    95800   16241  32067   1318 24.31
1800.06/1800.40	c    49210   1000    24372  7570704  310    48866   17866   8600   1262 38.98
1800.06/1800.40	c    75030   1000    50192 30160195  600   100506   19653  34420    954 78.57
1800.06/1800.40	c   113862   1000    46707 27108876  580    93536   21619  30935    751 151.58
1800.06/1800.40	c   172215   1000    61752 40299259  652   123626   23781  45980    719 239.37
1800.06/1800.40	c   259847   1000    60282 38986931  646   120686   26160  44510    624 416.22
1800.06/1800.40	c   391399   1000    51209 31049813  606   102540   28777  35437    580 673.89
1800.06/1800.40	c   588832   1000    51130 30975214  605   102382   31655  35358    456 1288.53
1800.06/1800.40	c Caught signal: 15
1800.06/1800.40	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 
1800.06/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.40	c   18   748473 152894  1017680    54020 33516669  38248    415 1800.07
1800.06/1800.40	c Objective: -122
1800.06/1800.40	s SATISFIABLE
1800.06/1800.40	c Total time: 1800.07 s

Verifier Data 

OK	-122

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-3737254-1338715543/watcher-3737254-1338715543 -o /tmp/evaluation-result-3737254-1338715543/solver-3737254-1338715543 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737254-1338715543.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.92 1.98 1.92 3/176 18626
/proc/meminfo: memFree=30417132/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 337680154 4583424 155 33554432000 134512640 135840783 4288653888 4288653228 5768536 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 1119 155 134 325 0 39 0

[startup+0.0933001 s]
/proc/loadavg: 1.92 1.98 1.92 3/176 18626
/proc/meminfo: memFree=30417132/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=15540 CPUtime=0.08 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 3335 0 0 0 8 0 0 0 20 0 1 0 337680154 15912960 3129 33554432000 134512640 135840783 4288653888 4288653328 134560778 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 3885 3129 338 325 0 2821 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15540

[startup+0.100286 s]
/proc/loadavg: 1.92 1.98 1.92 3/176 18626
/proc/meminfo: memFree=30417132/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=18856 CPUtime=0.09 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 4110 0 0 0 9 0 0 0 20 0 1 0 337680154 19308544 3904 33554432000 134512640 135840783 4288653888 4288652976 6329639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 4714 3907 339 325 0 3650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18856

[startup+0.300253 s]
/proc/loadavg: 1.92 1.98 1.92 3/176 18626
/proc/meminfo: memFree=30417132/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=22328 CPUtime=0.29 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 4947 0 0 0 29 0 0 0 20 0 1 0 337680154 22863872 4741 33554432000 134512640 135840783 4288653888 4288262476 16004144 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 5582 4741 343 325 0 4518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22328

[startup+0.700213 s]
/proc/loadavg: 1.92 1.98 1.92 3/176 18626
/proc/meminfo: memFree=30417132/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=30892 CPUtime=0.68 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 7531 0 0 0 67 1 0 0 20 0 1 0 337680154 31633408 6877 33554432000 134512640 135840783 4288653888 4288642464 134586918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 7723 6878 349 325 0 6659 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 30892

[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 18627
/proc/meminfo: memFree=30382372/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=52372 CPUtime=1.49 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 12917 0 0 0 147 2 0 0 20 0 1 0 337680154 53628928 12263 33554432000 134512640 135840783 4288653888 4288653248 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 13126 12265 349 325 0 12062 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52372

[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 18627
/proc/meminfo: memFree=30353108/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=91212 CPUtime=3.08 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 22618 0 0 0 305 3 0 0 20 0 1 0 337680154 93401088 21964 33554432000 134512640 135840783 4288653888 4288653248 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 22803 21964 349 325 0 21739 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 91212

[startup+6.3011 s]
/proc/loadavg: 1.93 1.98 1.92 3/177 18627
/proc/meminfo: memFree=30291404/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=146468 CPUtime=6.29 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 36438 0 0 0 623 6 0 0 20 0 1 0 337680154 149983232 35784 33554432000 134512640 135840783 4288653888 4288642528 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 36617 35784 349 325 0 35553 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 146468

[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 1.92 3/177 18627
/proc/meminfo: memFree=30181192/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=250568 CPUtime=12.68 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 62462 0 0 0 1259 9 0 0 20 0 1 0 337680154 256581632 61808 33554432000 134512640 135840783 4288653888 4288642224 6329639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 62642 61811 349 325 0 61578 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 250568

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.92 3/177 18627
/proc/meminfo: memFree=30023844/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=403276 CPUtime=25.48 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 100637 0 0 0 2533 15 0 0 20 0 1 0 337680154 412954624 99983 33554432000 134512640 135840783 4288653888 4288653248 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 100819 99986 349 325 0 99755 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 403276

[startup+51.1011 s]
/proc/loadavg: 1.90 1.97 1.91 3/177 18704
/proc/meminfo: memFree=29951460/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=561820 CPUtime=51.08 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 140248 0 0 0 5088 20 0 0 20 0 1 0 337680154 575303680 139594 33554432000 134512640 135840783 4288653888 4288642464 134586885 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 140455 139594 349 325 0 139391 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 561820

[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 18705
/proc/meminfo: memFree=29932788/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=577836 CPUtime=102.25 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 144288 0 0 0 10205 20 0 0 20 0 1 0 337680154 591704064 143609 33554432000 134512640 135840783 4288653888 4288642464 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 144459 143609 349 325 0 143395 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 577836

[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18705
/proc/meminfo: memFree=29906908/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=599824 CPUtime=162.25 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 149774 0 0 0 16203 22 0 0 20 0 1 0 337680154 614219776 149095 33554432000 134512640 135840783 4288653888 4288653248 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 149956 149095 349 325 0 148892 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 599824

[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18705
/proc/meminfo: memFree=29883256/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=621936 CPUtime=222.23 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 155316 0 0 0 22199 24 0 0 20 0 1 0 337680154 636862464 154623 33554432000 134512640 135840783 4288653888 4288653248 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 155484 154623 349 325 0 154420 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 621936

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 18709
/proc/meminfo: memFree=29859360/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=646120 CPUtime=282.22 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 161368 0 0 0 28197 25 0 0 20 0 1 0 337680154 661626880 160669 33554432000 134512640 135840783 4288653888 4288642496 134548161 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 161530 160669 349 325 0 160466 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 646120

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18709
/proc/meminfo: memFree=29868200/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=635220 CPUtime=342.2 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 161391 0 0 0 34195 25 0 0 20 0 1 0 337680154 650465280 157976 33554432000 134512640 135840783 4288653888 4288653248 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 158805 157976 349 325 0 157741 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 635220

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18709
/proc/meminfo: memFree=29868352/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=635220 CPUtime=402.19 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 161393 0 0 0 40194 25 0 0 20 0 1 0 337680154 650465280 157976 33554432000 134512640 135840783 4288653888 4288653248 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 158805 157976 349 325 0 157741 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 635220

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18709
/proc/meminfo: memFree=29829568/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=672340 CPUtime=462.18 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 170643 0 0 0 46191 27 0 0 20 0 1 0 337680154 688476160 167224 33554432000 134512640 135840783 4288653888 4288653248 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 168085 167224 349 325 0 167021 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 672340

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18709
/proc/meminfo: memFree=29830244/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=672340 CPUtime=522.17 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 170643 0 0 0 52190 27 0 0 20 0 1 0 337680154 688476160 167224 33554432000 134512640 135840783 4288653888 4288653248 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 168085 167224 349 325 0 167021 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 672340

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18710
/proc/meminfo: memFree=29947936/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=552008 CPUtime=582.16 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 170643 0 0 0 58189 27 0 0 20 0 1 0 337680154 565256192 137173 33554432000 134512640 135840783 4288653888 4288653248 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 138002 137173 349 325 0 136938 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 552008

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18710
/proc/meminfo: memFree=29797156/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=701432 CPUtime=822.12 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 207967 0 0 0 82177 35 0 0 20 0 1 0 337680154 718266368 174497 33554432000 134512640 135840783 4288653888 4288653200 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 175358 174497 349 325 0 174294 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 701432

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18714
/proc/meminfo: memFree=29799316/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=701432 CPUtime=882.1 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 207977 0 0 0 88175 35 0 0 20 0 1 0 337680154 718266368 174497 33554432000 134512640 135840783 4288653888 4288653248 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 175358 174497 349 325 0 174294 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 701432

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18714
/proc/meminfo: memFree=29827736/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=672232 CPUtime=942.09 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 207978 0 0 0 94174 35 0 0 20 0 1 0 337680154 688365568 167229 33554432000 134512640 135840783 4288653888 4288642656 134573673 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 168058 167229 349 325 0 166994 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 672232

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18714
/proc/meminfo: memFree=29826064/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=672232 CPUtime=1002.08 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 207978 0 0 0 100173 35 0 0 20 0 1 0 337680154 688365568 167229 33554432000 134512640 135840783 4288653888 4288653248 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 168058 167229 349 325 0 166994 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 672232

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18714
/proc/meminfo: memFree=29806224/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=693448 CPUtime=1062.08 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 213264 0 0 0 106171 37 0 0 20 0 1 0 337680154 710090752 172515 33554432000 134512640 135840783 4288653888 4288653248 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 173362 172515 349 325 0 172298 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 693448

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/177 18714
/proc/meminfo: memFree=29797300/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=701484 CPUtime=1122.07 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 215259 0 0 0 112169 38 0 0 20 0 1 0 337680154 718319616 174510 33554432000 134512640 135840783 4288653888 4288653200 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 175371 174510 349 325 0 174307 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 701484

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 18715
/proc/meminfo: memFree=29797424/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=701484 CPUtime=1182.06 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 215259 0 0 0 118168 38 0 0 20 0 1 0 337680154 718319616 174510 33554432000 134512640 135840783 4288653888 4288653188 6335051 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 175371 174510 349 325 0 174307 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 701484

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18715
/proc/meminfo: memFree=29797052/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=701484 CPUtime=1242.05 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 215259 0 0 0 124167 38 0 0 20 0 1 0 337680154 718319616 174510 33554432000 134512640 135840783 4288653888 4288653248 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 175371 174510 349 325 0 174307 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 701484

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18715
/proc/meminfo: memFree=29805732/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=691760 CPUtime=1302.05 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 215259 0 0 0 130167 38 0 0 20 0 1 0 337680154 708362240 172111 33554432000 134512640 135840783 4288653888 4288653248 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 172940 172111 349 325 0 171876 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 691760

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18715
/proc/meminfo: memFree=29764564/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=733420 CPUtime=1362.03 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 225642 0 0 0 136163 40 0 0 20 0 1 0 337680154 751022080 182494 33554432000 134512640 135840783 4288653888 4288653248 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 183355 182494 349 325 0 182291 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 733420

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18715
/proc/meminfo: memFree=29764192/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=733420 CPUtime=1422.02 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 225656 0 0 0 142162 40 0 0 20 0 1 0 337680154 751022080 182494 33554432000 134512640 135840783 4288653888 4288653248 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 183355 182494 349 325 0 182291 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 733420

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18718
/proc/meminfo: memFree=29764876/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=733420 CPUtime=1482 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 225656 0 0 0 148160 40 0 0 20 0 1 0 337680154 751022080 182494 33554432000 134512640 135840783 4288653888 4288653184 134572558 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 183355 182494 349 325 0 182291 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 733420

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18719
/proc/meminfo: memFree=29763144/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=733420 CPUtime=1541.99 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 225656 0 0 0 154159 40 0 0 20 0 1 0 337680154 751022080 182494 33554432000 134512640 135840783 4288653888 4288653248 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 183355 182494 349 325 0 182291 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 733420

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/177 18719
/proc/meminfo: memFree=29762772/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=733628 CPUtime=1601.99 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 225708 0 0 0 160159 40 0 0 20 0 1 0 337680154 751235072 182546 33554432000 134512640 135840783 4288653888 4288653248 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 183407 182546 349 325 0 182343 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 733628

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 18719
/proc/meminfo: memFree=29763524/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=733628 CPUtime=1661.98 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 225708 0 0 0 166158 40 0 0 20 0 1 0 337680154 751235072 182546 33554432000 134512640 135840783 4288653888 4288653248 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 183407 182546 349 325 0 182343 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 733628

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 18720
/proc/meminfo: memFree=29763164/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=733628 CPUtime=1721.97 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 225708 0 0 0 172157 40 0 0 20 0 1 0 337680154 751235072 182546 33554432000 134512640 135840783 4288653888 4288642608 134573439 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 183407 182546 349 325 0 182343 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 733628

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 18720
/proc/meminfo: memFree=29762792/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=733628 CPUtime=1781.96 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 225713 0 0 0 178156 40 0 0 20 0 1 0 337680154 751235072 182551 33554432000 134512640 135840783 4288653888 4288653248 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 183407 182551 349 325 0 182343 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 733628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 18721
/proc/meminfo: memFree=29762916/32873648 swapFree=6860/6860
[pid=18626] ppid=18624 vsize=733628 CPUtime=1800.06 cores=1,3,5,7
/proc/18626/stat : 18626 (bsolo3.0.17) R 18624 18626 18429 0 -1 4202496 225713 0 0 0 179966 40 0 0 20 0 1 0 337680154 751235072 182551 33554432000 134512640 135840783 4288653888 4288653248 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18626/statm: 183407 182551 349 325 0 182343 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 733628

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.41
CPU time (s): 1800.08
CPU user time (s): 1799.67
CPU system time (s): 0.407937
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 733628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.407937
maximum resident set size= 730204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225716
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= 110
involuntary context switches= 1846

runsolver used 3.55146 second user time and 9.53355 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-03 11:25:43
IDJOB=3737254
IDBENCH=48209
IDSOLVER=2318
FILE ID=node124/3737254-1338715543
RUNJOBID= node124-1338713740-18446
PBS_JOBID= 14636741
Free space on /tmp= 70704 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737254-1338715543/watcher-3737254-1338715543 -o /tmp/evaluation-result-3737254-1338715543/solver-3737254-1338715543 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737254-1338715543.opb            

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

MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe
RANDOM SEED=1101668386

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30417024 kB
Buffers:          193752 kB
Cached:          1376580 kB
SwapCached:         8268 kB
Active:           512216 kB
Inactive:        1177124 kB
Active(anon):     112992 kB
Inactive(anon):     8240 kB
Active(file):     399224 kB
Inactive(file):  1168884 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091596 kB
Dirty:              7004 kB
Writeback:             0 kB
AnonPages:        117652 kB
Mapped:            10376 kB
Shmem:                 0 kB
Slab:             629580 kB
SReclaimable:      74208 kB
SUnreclaim:       555372 kB
KernelStack:        1456 kB
PageTables:         3860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     233516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70696 MiB
End job on node124 at 2012-06-03 11:55:45