Trace number 3735377

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)-1 1800.07 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb
MD5SUM2533454829254b6bcc39aa8d9b25219b
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-18535
Best CPU time to get the best result obtained on this benchmark886.746
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -18535
Optimality of the best value was proved NO
Number of variables901
Total number of constraints2521
Number of constraints which are clauses2520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint840
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 576460752303423488
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2305842614989581580
Number of bits of the biggest sum of numbers61
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-3735377-1338704659.opb
0.00/0.00	c File size is 75474 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Highest Coefficient sum: 2.30584e+18
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.006 s
0.00/0.01	c Var: 901 Constr: 2522 2520/0/2 Lit: 7560 Watch. Lit: 5882
0.00/0.01	c Obj. Vars: 21 (2.33074 % of total variables)
0.00/0.05	c Pre-processing Time: 0.052 s
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0    687     2075     6220    2     4300    3202      0      0 0.05
0.00/0.05	o -1	0.053
1800.07/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.40	c        0    687     2076     6241    3     4854    3244      1      0 0.05
1800.07/1800.40	c      100    686     2176    58620   26     5086    3569    101   1333 0.07
1800.07/1800.40	c      351    686     2427   188415   77     5537    3926    352   2140 0.16
1800.07/1800.40	c      826    686     2902   435042  149     6512    4319    827   2451 0.34
1800.07/1800.40	c     1640    686     3716   860021  231     8095    4751   1641   2519 0.65
1800.07/1800.40	c     2961    686     5037  1612200  320    10715    5227   2962   2629 1.13
1800.07/1800.40	c     5042    686     7118  2820664  396    14883    5750   5043   2710 1.86
1800.07/1800.40	c     8265    686     6622  2659810  401    13960    6326   4547   2817 2.93
1800.07/1800.40	c    13202    686     7688  3062420  398    16102    6959   5613   2524 5.23
1800.07/1800.40	c    20708    686     6717  2429111  361    14168    7655   4642   2315 8.94
1800.07/1800.40	c    32076    686     9110  3596060  394    19041    8421   7035   2267 14.14
1800.07/1800.40	c    49221    686     6406  2333473  364    13599    9264   4331   2248 21.89
1800.07/1800.40	c    75041    686    10755  4489479  417    22296   10191   8680   2218 33.82
1800.07/1800.40	c   113873    686     8879  3749338  422    18671   11211   6804   2165 52.60
1800.07/1800.40	c   172226    686    10515  4288068  407    21882   12333   8440   2081 82.75
1800.07/1800.40	c   259858    686     8479  3359649  396    17668   13567   6404   1997 130.08
1800.07/1800.40	c   391411    686    12423  5389890  433    25678   14924  10348   1953 200.40
1800.07/1800.40	c   588843    686    13696  6080346  443    28119   16417  11621   1889 311.69
1800.07/1800.40	c   885096    686    14806  6481097  437    30364   18059  12731   1787 495.24
1800.07/1800.40	c  1329578    686    17843  9609458  538    36376   19865  15768   1140 1165.72
1800.07/1800.40	c  1996406    686    14037  6517873  464    28783   21852  11962   1263 1580.54
1800.07/1800.40	c Caught signal: 15
1800.07/1800.40	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x62 x22 x63 x23 -x64 -x24 x65 x25 -x66 -x26 -x67 -x27 -x68 -x28 -x69 -x29 x70 x30 -x71 -x31 x72 x32 x73 x33 -x74 -x34 x75 x35 x76 x36 -x77 -x37 x78 x38 -x79 -x39 -x80 -x40 x81 x41 -x82 -x42 -x83 -x43 -x84 -x44 x85 x45 -x86 -x46 x87 x47 x88 x48 -x89 -x49 x90 x50 x91 x51 -x92 -x52 -x93 -x53 -x94 -x54 -x95 -x55 x96 x56 -x97 -x57 -x98 -x58 x99 x59 -x100 -x60 x101 x61 -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 -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 -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 -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 
1800.07/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.40	c   21  2322554  17697  2395721    24523 12161006  22448   1290 1800.07
1800.07/1800.40	c Objective: -1
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	c Total time: 1800.07 s

Verifier Data

OK	-1

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-3735377-1338704659/watcher-3735377-1338704659 -o /tmp/evaluation-result-3735377-1338704659/solver-3735377-1338704659 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3735377-1338704659.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.00 2.00 2.00 3/174 28746
/proc/meminfo: memFree=28100004/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=4764 CPUtime=0 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 460 0 0 0 0 0 0 0 20 0 1 0 336591381 4878336 397 33554432000 134512640 135840783 4287055968 4287054800 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 1191 398 326 325 0 108 0

[startup+0.00637891 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28746
/proc/meminfo: memFree=28100004/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=4764 CPUtime=0 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 467 0 0 0 0 0 0 0 20 0 1 0 336591381 4878336 404 33554432000 134512640 135840783 4287055968 4287054800 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 1191 404 327 325 0 108 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4764

[startup+0.100237 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28746
/proc/meminfo: memFree=28100004/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=6224 CPUtime=0.09 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 894 0 0 0 9 0 0 0 20 0 1 0 336591381 6373376 812 33554432000 134512640 135840783 4287055968 4287047976 134584966 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 1556 812 350 325 0 492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6224

[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28746
/proc/meminfo: memFree=28100004/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=9768 CPUtime=0.28 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 1784 0 0 0 28 0 0 0 20 0 1 0 336591381 10002432 1702 33554432000 134512640 135840783 4287055968 4287048112 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 2442 1702 350 325 0 1378 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9768

[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28746
/proc/meminfo: memFree=28100004/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=17116 CPUtime=0.68 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 3628 0 0 0 68 0 0 0 20 0 1 0 336591381 17526784 3546 33554432000 134512640 135840783 4287055968 4287047600 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 4279 3546 350 325 0 3215 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17116

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=28081420/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=34104 CPUtime=1.48 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 7879 0 0 0 147 1 0 0 20 0 1 0 336591381 34922496 7797 33554432000 134512640 135840783 4287055968 4287048112 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 8526 7797 350 325 0 7462 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34104

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=28057612/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=53112 CPUtime=3.08 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 12618 0 0 0 306 2 0 0 20 0 1 0 336591381 54386688 12536 33554432000 134512640 135840783 4287055968 4287055328 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 13278 12536 350 325 0 12214 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 53112

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=28046328/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=56912 CPUtime=6.28 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 13583 0 0 0 626 2 0 0 20 0 1 0 336591381 58277888 13501 33554432000 134512640 135840783 4287055968 4287048224 134547770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 14228 13501 350 325 0 13164 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56912

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=28041636/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=60432 CPUtime=12.68 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 14624 0 0 0 1266 2 0 0 20 0 1 0 336591381 61882368 14374 33554432000 134512640 135840783 4287055968 4287048544 134586550 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 15108 14374 350 325 0 14044 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60432

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=28028524/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=71872 CPUtime=25.48 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 19234 0 0 0 2545 3 0 0 20 0 1 0 336591381 73596928 17245 33554432000 134512640 135840783 4287055968 4287049796 11862097 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 17968 17245 350 325 0 16904 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71872

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=28014140/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=81636 CPUtime=51.08 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 21672 0 0 0 5104 4 0 0 20 0 1 0 336591381 83595264 19677 33554432000 134512640 135840783 4287055968 4287055328 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 20409 19677 350 325 0 19345 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81636

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 28747
/proc/meminfo: memFree=27987480/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=94388 CPUtime=102.28 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 24954 0 0 0 10224 4 0 0 20 0 1 0 336591381 96653312 22874 33554432000 134512640 135840783 4287055968 4287055280 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 23597 22874 350 325 0 22533 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 94388

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=27966060/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=101856 CPUtime=162.26 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 27536 0 0 0 16222 4 0 0 20 0 1 0 336591381 104300544 24744 33554432000 134512640 135840783 4287055968 4287055320 10266832 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 25464 24744 350 325 0 24400 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 101856

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28748
/proc/meminfo: memFree=27946504/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=109980 CPUtime=222.24 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 29698 0 0 0 22219 5 0 0 20 0 1 0 336591381 112619520 26775 33554432000 134512640 135840783 4287055968 4287055328 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 27495 26775 350 325 0 26431 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 109980

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28749
/proc/meminfo: memFree=27927896/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=114284 CPUtime=282.2 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 30867 0 0 0 28215 5 0 0 20 0 1 0 336591381 117026816 27851 33554432000 134512640 135840783 4287055968 4287055328 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 28571 27851 350 325 0 27507 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 114284

[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 28752
/proc/meminfo: memFree=27901716/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=130300 CPUtime=342.19 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 34869 0 0 0 34213 6 0 0 20 0 1 0 336591381 133427200 31849 33554432000 134512640 135840783 4287055968 4287055264 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 32575 31849 350 325 0 31511 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 130300

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 28752
/proc/meminfo: memFree=27890936/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=131160 CPUtime=402.17 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 37099 0 0 0 40210 7 0 0 20 0 1 0 336591381 134307840 32070 33554432000 134512640 135840783 4287055968 4287055280 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 32790 32070 350 325 0 31726 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 131160

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28752
/proc/meminfo: memFree=27880900/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=132456 CPUtime=462.17 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 39172 0 0 0 46208 9 0 0 20 0 1 0 336591381 135634944 32394 33554432000 134512640 135840783 4287055968 4287048816 134573434 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 33114 32394 350 325 0 32050 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 132456

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28753
/proc/meminfo: memFree=27871176/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=132116 CPUtime=522.17 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 39174 0 0 0 52208 9 0 0 20 0 1 0 336591381 135286784 32309 33554432000 134512640 135840783 4287055968 4287055216 10662422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 33029 32309 350 325 0 31965 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 132116

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28753
/proc/meminfo: memFree=27852240/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=142596 CPUtime=582.14 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 43222 0 0 0 58205 9 0 0 20 0 1 0 336591381 146018304 34917 33554432000 134512640 135840783 4287055968 4287055280 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 35649 34917 350 325 0 34585 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 142596

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 28754
/proc/meminfo: memFree=27787932/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=152512 CPUtime=822.11 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 55097 0 0 0 82198 13 0 0 20 0 1 0 336591381 156172288 37408 33554432000 134512640 135840783 4287055968 4287047440 11866865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 38128 37408 350 325 0 37064 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 152512

[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 28754
/proc/meminfo: memFree=27773304/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=153788 CPUtime=882.1 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 55408 0 0 0 88197 13 0 0 20 0 1 0 336591381 157478912 37719 33554432000 134512640 135840783 4287055968 4287055328 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 38447 37719 350 325 0 37383 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 153788

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28754
/proc/meminfo: memFree=27757120/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=153896 CPUtime=942.09 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 55451 0 0 0 94196 13 0 0 20 0 1 0 336591381 157589504 37754 33554432000 134512640 135840783 4287055968 4287055280 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 38474 37754 350 325 0 37410 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 153896

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28796
/proc/meminfo: memFree=28230424/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=153788 CPUtime=1002.08 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 55451 0 0 0 100195 13 0 0 20 0 1 0 336591381 157478912 37727 33554432000 134512640 135840783 4287055968 4287055280 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 38447 37727 350 325 0 37383 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 153788

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28796
/proc/meminfo: memFree=28223240/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=154140 CPUtime=1062.07 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 55535 0 0 0 106194 13 0 0 20 0 1 0 336591381 157839360 37811 33554432000 134512640 135840783 4287055968 4287055328 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 38535 37811 350 325 0 37471 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 154140

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28797
/proc/meminfo: memFree=28216584/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=154236 CPUtime=1122.06 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 55551 0 0 0 112193 13 0 0 20 0 1 0 336591381 157937664 37827 33554432000 134512640 135840783 4287055968 4287055280 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 38559 37827 350 325 0 37495 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 154236

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28797
/proc/meminfo: memFree=28209636/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=161056 CPUtime=1182.05 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57292 0 0 0 118192 13 0 0 20 0 1 0 336591381 164921344 39544 33554432000 134512640 135840783 4287055968 4287055328 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40264 39544 350 325 0 39200 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 161056

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28797
/proc/meminfo: memFree=28203548/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=161052 CPUtime=1242.04 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57292 0 0 0 124191 13 0 0 20 0 1 0 336591381 164917248 39543 33554432000 134512640 135840783 4287055968 4287055328 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40263 39543 350 325 0 39199 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 161052

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28797
/proc/meminfo: memFree=28203236/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=161012 CPUtime=1302.03 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57293 0 0 0 130190 13 0 0 20 0 1 0 336591381 164876288 39533 33554432000 134512640 135840783 4287055968 4287055328 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40253 39533 350 325 0 39189 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 161012

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 28797
/proc/meminfo: memFree=28203856/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=160960 CPUtime=1362.02 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57293 0 0 0 136189 13 0 0 20 0 1 0 336591381 164823040 39520 33554432000 134512640 135840783 4287055968 4287055328 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40240 39520 350 325 0 39176 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 160960

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 4/175 28798
/proc/meminfo: memFree=28203856/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=160960 CPUtime=1422.02 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57293 0 0 0 142189 13 0 0 20 0 1 0 336591381 164823040 39520 33554432000 134512640 135840783 4287055968 4287055272 10266832 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40240 39520 350 325 0 39176 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 160960

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28798
/proc/meminfo: memFree=28203732/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=160960 CPUtime=1482 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57293 0 0 0 148187 13 0 0 20 0 1 0 336591381 164823040 39520 33554432000 134512640 135840783 4287055968 4287055328 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40240 39520 350 325 0 39176 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 160960

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28801
/proc/meminfo: memFree=28203460/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=160960 CPUtime=1541.99 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57293 0 0 0 154186 13 0 0 20 0 1 0 336591381 164823040 39520 33554432000 134512640 135840783 4287055968 4287055280 134551365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40240 39520 350 325 0 39176 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 160960

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28801
/proc/meminfo: memFree=28203352/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=161528 CPUtime=1601.98 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57455 0 0 0 160185 13 0 0 20 0 1 0 336591381 165404672 39662 33554432000 134512640 135840783 4287055968 4287055328 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40382 39662 350 325 0 39318 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 161528

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28801
/proc/meminfo: memFree=28202056/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=162308 CPUtime=1661.97 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 58016 0 0 0 166184 13 0 0 20 0 1 0 336591381 166203392 39857 33554432000 134512640 135840783 4287055968 4287055328 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40577 39857 350 325 0 39513 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 162308

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28802
/proc/meminfo: memFree=28202304/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=162244 CPUtime=1721.96 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 58016 0 0 0 172183 13 0 0 20 0 1 0 336591381 166137856 39841 33554432000 134512640 135840783 4287055968 4287055328 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40561 39841 350 325 0 39497 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 162244

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28802
/proc/meminfo: memFree=28201932/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=162244 CPUtime=1781.96 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 58198 0 0 0 178182 14 0 0 20 0 1 0 336591381 166137856 39841 33554432000 134512640 135840783 4287055968 4287055328 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40561 39841 350 325 0 39497 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 162244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28802
/proc/meminfo: memFree=28202180/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=162244 CPUtime=1800.07 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 58198 0 0 0 179993 14 0 0 20 0 1 0 336591381 166137856 39841 33554432000 134512640 135840783 4287055968 4287055328 134551368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40561 39841 350 325 0 39497 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 162244

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.07
CPU user time (s): 1799.93
CPU system time (s): 0.141978
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 163772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.141978
maximum resident set size= 160888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58201
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= 76
involuntary context switches= 1850

runsolver used 3.55246 second user time and 9.52355 second system time

The end

Launcher Data

Begin job on node131 at 2012-06-03 08:24:19
IDJOB=3735377
IDBENCH=3007
IDSOLVER=2318
FILE ID=node131/3735377-1338704659
RUNJOBID= node131-1338678620-25249
PBS_JOBID= 14636682
Free space on /tmp= 71392 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735377-1338704659/watcher-3735377-1338704659 -o /tmp/evaluation-result-3735377-1338704659/solver-3735377-1338704659 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3735377-1338704659.opb            

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

MD5SUM BENCH= 2533454829254b6bcc39aa8d9b25219b
RANDOM SEED=284447741

node131.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.805
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	: 5333.61
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.805
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.805
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.805
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.805
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.805
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		: 2666.805
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.92
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.805
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:       32873852 kB
MemFree:        28100532 kB
Buffers:          554752 kB
Cached:          3051172 kB
SwapCached:         2348 kB
Active:          1707024 kB
Inactive:        2197696 kB
Active(anon):     294984 kB
Inactive(anon):     3664 kB
Active(file):    1412040 kB
Inactive(file):  2194032 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              6736 kB
Writeback:             0 kB
AnonPages:        303188 kB
Mapped:            15552 kB
Shmem:                 0 kB
Slab:             729048 kB
SReclaimable:     170168 kB
SUnreclaim:       558880 kB
KernelStack:        1432 kB
PageTables:         4552 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     417500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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= 71392 MiB
End job on node131 at 2012-06-03 08:54:22