Trace number 3737089

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)-118 1800.05 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_4.opb
MD5SUMd847cf1d914db0ec942abd195c5092c7
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.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -124
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)31592
Sum of products size (including duplicates)63184
Number of different products15796
Sum of products size31592

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3737089-1338712308.opb
0.00/0.00	c File size is 416286 bytes.
0.04/0.09	c Highest Coefficient sum: 1000
0.04/0.09	c Parsing was ok!!
0.04/0.09	c Total parsing time: 0.087 s
0.08/0.11	c Var: 32592 Constr: 65184 32592/1000/31592 Lit: 252736 Watch. Lit: 189552
0.08/0.11	c Obj. Vars: 1000 (3.06824 % of total variables)
0.38/0.48	c Pre-processing Time: 0.473 s
0.38/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.48	c        0   1000    15796    47388    3    31592    5265      0      0 0.47
0.38/0.48	c Switching off LPR mode.
0.38/0.48	o -117	0.476
0.38/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.48	c        0   1000    15797    48388    3    31711    6265      1      0 0.48
0.38/0.48	o -118	0.477
1800.04/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.40	c        1   1000    15799    50269    3    31833    6265      3      2 0.48
1800.04/1800.40	c      101   1000    15899   138188    8    32033    6892    103    197 0.51
1800.04/1800.40	c      352   1000    16150   358794   22    32535    7582    354    581 0.60
1800.04/1800.40	c      828   1000    16626   777082   46    33487    8341    830   1027 0.81
1800.04/1800.40	c     1641   1000    17439  1491852   85    35113    9176   1643   1368 1.20
1800.04/1800.40	c     2961   1000    18759  2651952  141    37753   10094   2963   1645 1.80
1800.04/1800.40	c     5043   1000    20841  4483068  215    41917   11104   5045   1782 2.83
1800.04/1800.40	c     8267   1000    24065  7317594  304    48365   12215   8269   1582 5.22
1800.04/1800.40	c    13203   1000    29001 11656782  401    58237   13437  13205   1508 8.75
1800.04/1800.40	c    20711   1000    36509 18258160  500    73253   14781  20713   1454 14.24
1800.04/1800.40	c    32072   1000    47870 28243211  589    95975   16260  32074   1173 27.34
1800.04/1800.40	c    49217   1000    24344  7560411  310    48806   17887   8548    996 49.39
1800.04/1800.40	c    75036   1000    50163 30255980  603   100444   19676  34367    618 121.28
1800.04/1800.40	c   113868   1000    46615 27120132  581    93348   21644  30819    501 227.20
1800.04/1800.40	c   172220   1000    61596 40304910  654   123310   23809  45800    511 336.76
1800.04/1800.40	c   259852   1000    59937 38844740  648   119992   26190  44141    500 519.21
1800.04/1800.40	c   391405   1000    50729 30738574  605   101576   28810  34933    460 850.72
1800.04/1800.40	c   588838   1000    50206 30292330  603   100530   31692  34410    406 1447.46
1800.04/1800.40	c Caught signal: 15
1800.04/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.04/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.40	c   19   716689 131748   931231    73372 50654710  57576    398 1800.04
1800.04/1800.40	c Objective: -118
1800.04/1800.40	s SATISFIABLE
1800.04/1800.40	c Total time: 1800.04 s

Verifier Data 

OK	-118

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-3737089-1338712308/watcher-3737089-1338712308 -o /tmp/evaluation-result-3737089-1338712308/solver-3737089-1338712308 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737089-1338712308.opb 

running on 4 cores: 0,2,4,6

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.99 3/176 2364
/proc/meminfo: memFree=27987576/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 337356528 2723840 47 33554432000 134512640 135840783 4288447280 4288445316 5489604 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2364/statm: 665 47 37 325 0 32 0

[startup+0.0528469 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 2364
/proc/meminfo: memFree=27987576/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=10428 CPUtime=0.04 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 1850 0 0 0 4 0 0 0 20 0 1 0 337356528 10678272 1787 33554432000 134512640 135840783 4288447280 4288446016 6001959 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2364/statm: 2607 1788 384 325 0 1441 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10428

[startup+0.100249 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 2364
/proc/meminfo: memFree=27987576/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=16644 CPUtime=0.08 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 3447 0 0 0 8 0 0 0 20 0 1 0 337356528 17043456 3242 33554432000 134512640 135840783 4288447280 4288446720 134561011 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2364/statm: 4161 3265 338 325 0 3097 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16644

[startup+0.30025 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 2364
/proc/meminfo: memFree=27987576/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=22336 CPUtime=0.28 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 4950 0 0 0 28 0 0 0 20 0 1 0 337356528 22872064 4745 33554432000 134512640 135840783 4288447280 4288055152 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2364/statm: 5584 4745 343 325 0 4520 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22336

[startup+0.700229 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 2364
/proc/meminfo: memFree=27987576/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=28272 CPUtime=0.69 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 6876 0 0 0 67 2 0 0 20 0 1 0 337356528 28950528 6223 33554432000 134512640 135840783 4288447280 4288446640 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2364/statm: 7068 6223 349 325 0 6004 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28272

[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 2365
/proc/meminfo: memFree=27956452/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=46636 CPUtime=1.48 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 11465 0 0 0 146 2 0 0 20 0 1 0 337356528 47755264 10812 33554432000 134512640 135840783 4288447280 4288446640 134551093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2364/statm: 11659 10812 349 325 0 10595 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46636

[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 2365
/proc/meminfo: memFree=27930396/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=80976 CPUtime=3.08 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 20037 0 0 0 305 3 0 0 20 0 1 0 337356528 82919424 19384 33554432000 134512640 135840783 4288447280 4288446352 5999340 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2364/statm: 20244 19387 349 325 0 19180 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 80976

[startup+6.30029 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 2365
/proc/meminfo: memFree=27868388/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=136512 CPUtime=6.29 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 33930 0 0 0 623 6 0 0 20 0 1 0 337356528 139788288 33277 33554432000 134512640 135840783 4288447280 4288446640 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 34128 33277 349 325 0 33064 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 136512

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 2365
/proc/meminfo: memFree=27758036/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=234176 CPUtime=12.68 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 58345 0 0 0 1258 10 0 0 20 0 1 0 337356528 239796224 57692 33554432000 134512640 135840783 4288447280 4288435552 6001959 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 58544 57692 349 325 0 57480 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 234176

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 2365
/proc/meminfo: memFree=27612692/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=363460 CPUtime=25.48 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 90658 0 0 0 2532 16 0 0 20 0 1 0 337356528 372183040 90005 33554432000 134512640 135840783 4288447280 4288435804 5996730 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 90865 90005 349 325 0 89801 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 363460

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 2365
/proc/meminfo: memFree=27380780/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=565216 CPUtime=51.07 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 141097 0 0 0 5083 24 0 0 20 0 1 0 337356528 578781184 140444 33554432000 134512640 135840783 4288447280 4288435624 134584999 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 141304 140444 349 325 0 140240 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 565216

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 2365
/proc/meminfo: memFree=27312252/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=565216 CPUtime=102.27 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 141097 0 0 0 10203 24 0 0 20 0 1 0 337356528 578781184 140444 33554432000 134512640 135840783 4288447280 4288446640 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 141304 140444 349 325 0 140240 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 565216

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2366
/proc/meminfo: memFree=27235400/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=586272 CPUtime=162.26 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 146363 0 0 0 16201 25 0 0 20 0 1 0 337356528 600342528 145710 33554432000 134512640 135840783 4288447280 4288446640 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 146568 145710 349 325 0 145504 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 586272

[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2366
/proc/meminfo: memFree=27169584/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=603324 CPUtime=222.25 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 150624 0 0 0 22199 26 0 0 20 0 1 0 337356528 617803776 149971 33554432000 134512640 135840783 4288447280 4288446640 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 150831 149971 349 325 0 149767 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 603324

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2366
/proc/meminfo: memFree=27100916/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=625300 CPUtime=282.24 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 156118 0 0 0 28197 27 0 0 20 0 1 0 337356528 640307200 155465 33554432000 134512640 135840783 4288447280 4288446640 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 156325 155465 349 325 0 155261 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 625300

[startup+342.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 2366
/proc/meminfo: memFree=27064364/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=625300 CPUtime=342.23 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 156118 0 0 0 34196 27 0 0 20 0 1 0 337356528 640307200 155465 33554432000 134512640 135840783 4288447280 4288446640 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 156325 155465 349 325 0 155261 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 625300

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 2366
/proc/meminfo: memFree=27007476/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=649724 CPUtime=402.22 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 162224 0 0 0 40193 29 0 0 20 0 1 0 337356528 665317376 161571 33554432000 134512640 135840783 4288447280 4288446640 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 162431 161571 349 325 0 161367 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 649724

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2367
/proc/meminfo: memFree=27032072/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=595404 CPUtime=462.21 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 162234 0 0 0 46192 29 0 0 20 0 1 0 337356528 609693696 148023 33554432000 134512640 135840783 4288447280 4288446640 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 148851 148023 349 325 0 147787 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 595404

[startup+522.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 2370
/proc/meminfo: memFree=27000224/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=595404 CPUtime=522.2 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 162234 0 0 0 52191 29 0 0 20 0 1 0 337356528 609693696 148023 33554432000 134512640 135840783 4288447280 4288446416 5999306 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 148851 148023 349 325 0 147787 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 595404

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2370
/proc/meminfo: memFree=26868944/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=676088 CPUtime=582.18 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 182379 0 0 0 58185 33 0 0 20 0 1 0 337356528 692314112 168162 33554432000 134512640 135840783 4288447280 4288446640 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 169022 168162 349 325 0 167958 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 676088

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2371
/proc/meminfo: memFree=26568132/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=675808 CPUtime=882.07 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 202660 0 0 0 88169 38 0 0 20 0 1 0 337356528 692027392 168092 33554432000 134512640 135840783 4288447280 4288446592 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 168952 168092 349 325 0 167888 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 675808

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2371
/proc/meminfo: memFree=26517540/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=705428 CPUtime=942.06 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 210065 0 0 0 94166 40 0 0 20 0 1 0 337356528 722358272 175497 33554432000 134512640 135840783 4288447280 4288446640 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 176357 175497 349 325 0 175293 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 705428

[startup+1002.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2371
/proc/meminfo: memFree=26492244/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=705428 CPUtime=1002.05 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 210065 0 0 0 100165 40 0 0 20 0 1 0 337356528 722358272 175497 33554432000 134512640 135840783 4288447280 4288446640 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 176357 175497 349 325 0 175293 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 705428

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 2371
/proc/meminfo: memFree=26461500/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=705600 CPUtime=1062.04 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 210108 0 0 0 106164 40 0 0 20 0 1 0 337356528 722534400 175540 33554432000 134512640 135840783 4288447280 4288446640 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 176400 175540 349 325 0 175336 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 705600

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 2375
/proc/meminfo: memFree=26433336/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=705600 CPUtime=1122.03 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 210108 0 0 0 112163 40 0 0 20 0 1 0 337356528 722534400 175540 33554432000 134512640 135840783 4288447280 4288446640 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 176400 175540 349 325 0 175336 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 705600

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2375
/proc/meminfo: memFree=26409908/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=705600 CPUtime=1182.02 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 210108 0 0 0 118162 40 0 0 20 0 1 0 337356528 722534400 175540 33554432000 134512640 135840783 4288447280 4288446560 6004302 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 176400 175540 349 325 0 175336 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 705600

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2375
/proc/meminfo: memFree=26373452/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=705600 CPUtime=1242.01 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 210111 0 0 0 124161 40 0 0 20 0 1 0 337356528 722534400 175543 33554432000 134512640 135840783 4288447280 4288446592 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 176400 175543 349 325 0 175336 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 705600

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2375
/proc/meminfo: memFree=26344188/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=705600 CPUtime=1302.01 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 210111 0 0 0 130161 40 0 0 20 0 1 0 337356528 722534400 175543 33554432000 134512640 135840783 4288447280 4288446592 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 176400 175543 349 325 0 175336 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 705600

[startup+1362.3 s]
/proc/loadavg: 1.85 1.97 1.99 2/171 2400
/proc/meminfo: memFree=27986180/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=705600 CPUtime=1361.99 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 210111 0 0 0 136159 40 0 0 20 0 1 0 337356528 722534400 175543 33554432000 134512640 135840783 4288447280 4288446640 134551200 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 176400 175543 349 325 0 175336 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 705600

[startup+1422.3 s]
/proc/loadavg: 1.31 1.79 1.92 2/171 2401
/proc/meminfo: memFree=28001820/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=689952 CPUtime=1421.99 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 210111 0 0 0 142159 40 0 0 20 0 1 0 337356528 706510848 171660 33554432000 134512640 135840783 4288447280 4288446640 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 172488 171660 349 325 0 171424 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 689952

[startup+1482.3 s]
/proc/loadavg: 1.11 1.64 1.86 2/171 2401
/proc/meminfo: memFree=28001572/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=689952 CPUtime=1481.98 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 210111 0 0 0 148158 40 0 0 20 0 1 0 337356528 706510848 171660 33554432000 134512640 135840783 4288447280 4288446640 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 172488 171660 349 325 0 171424 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 689952

[startup+1542.31 s]
/proc/loadavg: 1.04 1.52 1.81 2/171 2401
/proc/meminfo: memFree=27954452/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=737888 CPUtime=1541.97 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 222063 0 0 0 154155 42 0 0 20 0 1 0 337356528 755597312 183612 33554432000 134512640 135840783 4288447280 4288446640 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 184472 183612 349 325 0 183408 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 737888

[startup+1602.3 s]
/proc/loadavg: 1.01 1.42 1.75 2/171 2401
/proc/meminfo: memFree=27954452/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=737888 CPUtime=1601.96 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 222063 0 0 0 160154 42 0 0 20 0 1 0 337356528 755597312 183612 33554432000 134512640 135840783 4288447280 4288446640 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 184472 183612 349 325 0 183408 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 737888

[startup+1662.3 s]
/proc/loadavg: 1.00 1.34 1.70 2/171 2401
/proc/meminfo: memFree=28001944/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=689784 CPUtime=1661.95 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 222063 0 0 0 166152 43 0 0 20 0 1 0 337356528 706338816 171618 33554432000 134512640 135840783 4288447280 4288446704 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 172446 171618 349 325 0 171382 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 689784

[startup+1722.3 s]
/proc/loadavg: 1.00 1.28 1.66 2/172 2405
/proc/meminfo: memFree=28021900/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=670332 CPUtime=1721.94 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 222063 0 0 0 172151 43 0 0 20 0 1 0 337356528 686419968 166755 33554432000 134512640 135840783 4288447280 4288446576 134572560 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 167583 166755 349 325 0 166519 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 670332

[startup+1782.3 s]
/proc/loadavg: 1.00 1.23 1.61 2/172 2428
/proc/meminfo: memFree=28021652/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=670332 CPUtime=1781.93 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 222063 0 0 0 178150 43 0 0 20 0 1 0 337356528 686419968 166755 33554432000 134512640 135840783 4288447280 4288446640 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 167583 166755 349 325 0 166519 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 670332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.21 1.60 2/172 2428
/proc/meminfo: memFree=28021776/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=670332 CPUtime=1800.04 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 222063 0 0 0 179961 43 0 0 20 0 1 0 337356528 686419968 166755 33554432000 134512640 135840783 4288447280 4288446640 134551482 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 167583 166755 349 325 0 166519 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 670332

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

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

[startup+1800.4 s]
/proc/loadavg: 1.00 1.21 1.60 2/172 2428
/proc/meminfo: memFree=28021776/32873844 swapFree=7112/7112
[pid=2364] ppid=2362 vsize=670332 CPUtime=1800.04 cores=0,2,4,6
/proc/2364/stat : 2364 (bsolo3.0.17) R 2362 2364 31541 0 -1 4202496 222063 0 0 0 179961 43 0 0 20 0 1 0 337356528 686419968 166755 33554432000 134512640 135840783 4288447280 4288446640 134551482 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2364/statm: 167583 166755 349 325 0 166519 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 670332

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.61
CPU system time (s): 0.436933
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 737888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.436933
maximum resident set size= 734448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222066
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= 152
involuntary context switches= 2104

runsolver used 3.33149 second user time and 9.09462 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-03 10:31:48
IDJOB=3737089
IDBENCH=48177
IDSOLVER=2318
FILE ID=node119/3737089-1338712308
RUNJOBID= node119-1338678620-31560
PBS_JOBID= 14636694
Free space on /tmp= 70892 MiB

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

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

MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7
RANDOM SEED=145389298

node119.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.943
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.88
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.943
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.943
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.93
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.943
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.943
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.93
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.943
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.92
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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27987948 kB
Buffers:          403096 kB
Cached:          2953456 kB
SwapCached:         1936 kB
Active:          2161916 kB
Inactive:        1895468 kB
Active(anon):     696484 kB
Inactive(anon):     6624 kB
Active(file):    1465432 kB
Inactive(file):  1888844 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              6996 kB
Writeback:             0 kB
AnonPages:        706092 kB
Mapped:            13112 kB
Shmem:                 0 kB
Slab:             689324 kB
SReclaimable:     131476 kB
SUnreclaim:       557848 kB
KernelStack:        1456 kB
PageTables:         5392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     819616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    333824 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= 70892 MiB
End job on node119 at 2012-06-03 11:01:51