Trace number 3733132

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)-36 1800.04 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUM49f1950e042362832bbb830f499dd3e3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark106.029
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58245
Number of constraints which are clauses58245
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
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 945
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 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3733132-1338693335.opb
0.00/0.00	c File size is 1390935 bytes.
0.09/0.11	c Highest Coefficient sum: 945
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.105 s
0.09/0.12	c Var: 945 Constr: 58245 58245/0/0 Lit: 116490 Watch. Lit: 116490
0.09/0.12	c Obj. Vars: 945 (100 % of total variables)
0.39/0.48	c Pre-processing Time: 0.478 s
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c        0    945    58245   116490    2   116490   19414      0      0 0.48
0.39/0.48	c Switching off LPR mode.
0.39/0.49	o -29	0.482
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c        0    945    58246   117435    2   116521   20414      1      0 0.48
0.39/0.49	o -30	0.484
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c        3    945    58250   121122    2   116559   20414      5      6 0.48
0.39/0.49	o -32	0.486
0.68/0.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.79	c        3    945    58251   122067    2   116593   20414      6      6 0.49
0.68/0.79	c      103    945    58351   212978    3   116793   22456    106    198 0.52
0.68/0.79	c      353    945    58601   440352    7   117293   24702    356    579 0.61
0.68/0.79	c      829    945    59077   873346   14   118245   27173    832   1053 0.79
0.68/0.79	o -34	0.789
613.10/613.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
613.10/613.42	c      829    945    59078   874291   14   118281   20414    833   1049 0.79
613.10/613.42	c      929    945    59178   965058   16   118481   22456    933   1126 0.82
613.10/613.42	c     1179    945    59428  1191740   20   118981   24702   1183   1262 0.93
613.10/613.42	c     1654    945    59903  1622524   27   119931   27173   1658   1440 1.15
613.10/613.42	c     2468    945    60717  2360978   38   121559   29891   2472   1562 1.58
613.10/613.42	c     3788    945    62037  3557869   57   124199   32881   3792   1682 2.25
613.10/613.42	c     5869    945    64118  5445774   84   128361   36170   5873   1651 3.55
613.10/613.42	c     9093    945    67342  8370065  124   134809   39788   9097   1325 6.86
613.10/613.42	c    14029    945    72278 12849025  177   144681   43767  14033   1024 13.70
613.10/613.42	c    21535    945    79784 19653978  246   159693   48144  21539    677 31.79
613.10/613.42	c    32896    945    91145 29960580  328   182415   52959  32900    472 69.69
613.10/613.42	c    50041    945   108290 45520242  420   216705   58255  50045    303 165.13
613.10/613.42	c    75860    945    86689 25932268  299   173412   64081  28444    283 267.89
613.10/613.42	c   114693    945    72415 12967809  179   144864   70490  14170    247 463.21
613.10/613.42	o -35	613.13
648.89/649.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
648.89/649.26	c   146263    945   103986 41617902  400   208041   20414  45741    238 613.13
648.89/649.26	c   146363    945    68553  9470483  138   137141   22456  10308    237 615.28
648.89/649.26	c   146613    945    68803  9696933  140   137641   24702  10558    238 615.40
648.89/649.26	c   147088    945    69278 10127443  146   138591   27173  11033    238 615.64
648.89/649.26	c   147901    945    70091 10863669  154   140217   29891  11846    240 616.14
648.89/649.26	c   149221    945    71411 12059171  168   142857   32881  13166    241 616.94
648.89/649.26	c   151304    945    73494 13946118  189   147023   36170  15249    244 618.49
648.89/649.26	c   154528    945    76718 16865977  219   153471   39788  18473    248 621.61
648.89/649.26	c   159464    945    81654 21339633  261   163343   43767  23409    253 629.19
648.89/649.26	c   166970    945    89160 28136435  315   178355   48144  30915    257 648.63
648.89/649.26	o -36	648.96
1800.02/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.50	c   167163    945    89354 28312379  316   178779   20414  31109    257 648.96
1800.02/1800.50	c   167263    945    68553  9452221  137   137142   22456  10308    256 651.55
1800.02/1800.50	c   167513    945    68803  9678515  140   137642   24702  10558    257 651.75
1800.02/1800.50	c   167988    945    69278 10108315  145   138592   27173  11033    257 651.99
1800.02/1800.50	c   168802    945    70092 10844031  154   140220   29891  11847    258 652.35
1800.02/1800.50	c   170122    945    71412 12039400  168   142860   32881  13167    260 653.26
1800.02/1800.50	c   172203    945    73493 13922236  189   147022   36170  15248    262 654.96
1800.02/1800.50	c   175426    945    76716 16839632  219   153468   39788  18471    266 659.20
1800.02/1800.50	c   180363    945    81653 21307677  260   163342   43767  23408    270 667.32
1800.02/1800.50	c   187869    945    89159 28100069  315   178354   48144  30914    274 685.20
1800.02/1800.50	c   199230    945   100520 38376786  381   201076   52959  42275    284 700.32
1800.02/1800.50	c   216374    945    75476 15711472  208   150988   58255  17231    285 757.89
1800.02/1800.50	c   242193    945   101295 39068160  385   202626   64081  43050    285 847.12
1800.02/1800.50	c   281025    945    87024 26156918  300   174084   70490  28779    284 988.54
1800.02/1800.50	c   339377    945    86051 25278178  293   172138   77540  27806    239 1419.29
1800.02/1800.50	c Caught signal: 15
1800.02/1800.50	v -x945 -x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.02/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.50	c   45   382269  40650   434566   128943 64111479  70698    212 1800.03
1800.02/1800.50	c Objective: -36
1800.02/1800.50	s SATISFIABLE
1800.02/1800.50	c Total time: 1800.03 s

Verifier Data 

OK	-36

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 9108
/proc/meminfo: memFree=27419516/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 335457896 2723840 47 33554432000 134512640 135840783 4292772976 4292771012 12317636 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9108/statm: 665 47 37 325 0 32 0

[startup+0.0481691 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 9108
/proc/meminfo: memFree=27419516/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=8112 CPUtime=0.03 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 1115 0 0 0 3 0 0 0 20 0 1 0 335457896 8306688 1051 33554432000 134512640 135840783 4292772976 4292771680 4039975 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9108/statm: 2028 1051 450 325 0 624 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8112

[startup+0.100297 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 9108
/proc/meminfo: memFree=27419516/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=10864 CPUtime=0.09 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 1977 0 0 0 9 0 0 0 20 0 1 0 335457896 11124736 1913 33554432000 134512640 135840783 4292772976 4292772176 134527859 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9108/statm: 2716 1914 617 325 0 1312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10864

[startup+0.300317 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 9108
/proc/meminfo: memFree=27419516/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=14948 CPUtime=0.28 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 3411 0 0 0 28 0 0 0 20 0 1 0 335457896 15306752 3007 33554432000 134512640 135840783 4292772976 4292760540 13820976 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9108/statm: 3737 3007 345 325 0 2673 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14948

[startup+0.700261 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 9108
/proc/meminfo: memFree=27419516/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=20144 CPUtime=0.68 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 5545 0 0 0 67 1 0 0 20 0 1 0 335457896 20627456 4288 33554432000 134512640 135840783 4292772976 4292760936 134585041 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9108/statm: 5036 4288 350 325 0 3972 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20144

[startup+1.50031 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9109
/proc/meminfo: memFree=27394808/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=40488 CPUtime=1.48 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 10636 0 0 0 146 2 0 0 20 0 1 0 335457896 41459712 9379 33554432000 134512640 135840783 4292772976 4292772336 134551084 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9108/statm: 10122 9379 350 325 0 9058 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40488

[startup+3.10033 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9109
/proc/meminfo: memFree=27368644/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=75032 CPUtime=3.08 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 19275 0 0 0 305 3 0 0 20 0 1 0 335457896 76832768 18018 33554432000 134512640 135840783 4292772976 4292772336 134551330 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9108/statm: 18758 18018 350 325 0 17694 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 75032

[startup+6.30032 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9109
/proc/meminfo: memFree=27316796/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=114436 CPUtime=6.28 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 29123 0 0 0 622 6 0 0 20 0 1 0 335457896 117182464 27866 33554432000 134512640 135840783 4292772976 4292761168 134586540 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9108/statm: 28609 27866 350 325 0 27545 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 114436

[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9109
/proc/meminfo: memFree=27257680/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=171384 CPUtime=12.68 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 43375 0 0 0 1258 10 0 0 20 0 1 0 335457896 175497216 42118 33554432000 134512640 135840783 4292772976 4292772336 134551048 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9108/statm: 42846 42118 350 325 0 41782 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 171384

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9109
/proc/meminfo: memFree=27178444/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=245428 CPUtime=25.47 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 61868 0 0 0 2532 15 0 0 20 0 1 0 335457896 251318272 60611 33554432000 134512640 135840783 4292772976 4292772336 134550902 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9108/statm: 61357 60611 350 325 0 60293 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 245428

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9109
/proc/meminfo: memFree=27064984/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=358780 CPUtime=51.07 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 90210 0 0 0 5086 21 0 0 20 0 1 0 335457896 367390720 88953 33554432000 134512640 135840783 4292772976 4292772212 4034722 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9108/statm: 89695 88953 350 325 0 88631 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 358780

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9109
/proc/meminfo: memFree=26928956/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=493676 CPUtime=102.26 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 123936 0 0 0 10195 31 0 0 20 0 1 0 335457896 505524224 122679 33554432000 134512640 135840783 4292772976 4292772336 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 123419 122679 350 325 0 122355 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 493676

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9109
/proc/meminfo: memFree=26833348/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=589172 CPUtime=162.24 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 147835 0 0 0 16184 40 0 0 20 0 1 0 335457896 603312128 146568 33554432000 134512640 135840783 4292772976 4292772336 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 147293 146568 350 325 0 146229 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 589172

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9148
/proc/meminfo: memFree=26708804/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=701552 CPUtime=222.2 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 175985 0 0 0 22173 47 0 0 20 0 1 0 335457896 718389248 174643 33554432000 134512640 135840783 4292772976 4292772336 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 175388 174643 350 325 0 174324 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 701552

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9152
/proc/meminfo: memFree=26271972/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=701552 CPUtime=282.19 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 175990 0 0 0 28172 47 0 0 20 0 1 0 335457896 718389248 174643 33554432000 134512640 135840783 4292772976 4292761248 134547770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 175388 174643 350 325 0 174324 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 701552

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9152
/proc/meminfo: memFree=26130028/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=701552 CPUtime=342.18 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 176006 0 0 0 34170 48 0 0 20 0 1 0 335457896 718389248 174643 33554432000 134512640 135840783 4292772976 4292772336 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 175388 174643 350 325 0 174324 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 701552

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9152
/proc/meminfo: memFree=26005064/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=701552 CPUtime=402.14 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 176042 0 0 0 40166 48 0 0 20 0 1 0 335457896 718389248 174643 33554432000 134512640 135840783 4292772976 4292772336 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 175388 174643 350 325 0 174324 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 701552

[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 9152
/proc/meminfo: memFree=25831492/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=769372 CPUtime=462.1 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 193109 0 0 0 46157 53 0 0 20 0 1 0 335457896 787836928 191605 33554432000 134512640 135840783 4292772976 4292772336 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 192343 191605 350 325 0 191279 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 769372

[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 9152
/proc/meminfo: memFree=25728104/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=769372 CPUtime=522.06 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 193145 0 0 0 52153 53 0 0 20 0 1 0 335457896 787836928 191605 33554432000 134512640 135840783 4292772976 4292772336 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 192343 191605 350 325 0 191279 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 769372

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 9153
/proc/meminfo: memFree=25643812/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=769372 CPUtime=582.01 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 193192 0 0 0 58148 53 0 0 20 0 1 0 335457896 787836928 191605 33554432000 134512640 135840783 4292772976 4292772336 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 192343 191605 350 325 0 191279 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 769372

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9157
/proc/meminfo: memFree=25194568/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=769372 CPUtime=881.96 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 193202 0 0 0 88143 53 0 0 20 0 1 0 335457896 787836928 191605 33554432000 134512640 135840783 4292772976 4292772336 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 192343 191605 350 325 0 191279 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 769372

[startup+942.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9157
/proc/meminfo: memFree=25194728/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=769372 CPUtime=941.95 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 193202 0 0 0 94142 53 0 0 20 0 1 0 335457896 787836928 191605 33554432000 134512640 135840783 4292772976 4292772336 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 192343 191605 350 325 0 191279 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 769372

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9157
/proc/meminfo: memFree=25195252/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=768768 CPUtime=1001.94 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 193202 0 0 0 100141 53 0 0 20 0 1 0 335457896 787218432 191470 33554432000 134512640 135840783 4292772976 4292772336 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 192192 191470 350 325 0 191128 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 768768

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9157
/proc/meminfo: memFree=25195280/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=768768 CPUtime=1061.93 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 193202 0 0 0 106140 53 0 0 20 0 1 0 335457896 787218432 191470 33554432000 134512640 135840783 4292772976 4292772336 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 192192 191470 350 325 0 191128 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 768768

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9158
/proc/meminfo: memFree=25195300/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=768768 CPUtime=1121.92 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 193202 0 0 0 112139 53 0 0 20 0 1 0 335457896 787218432 191470 33554432000 134512640 135840783 4292772976 4292772336 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 192192 191470 350 325 0 191128 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 768768

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9159
/proc/meminfo: memFree=25195584/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=768768 CPUtime=1181.91 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 193202 0 0 0 118138 53 0 0 20 0 1 0 335457896 787218432 191470 33554432000 134512640 135840783 4292772976 4292772288 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 192192 191470 350 325 0 191128 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 768768

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9159
/proc/meminfo: memFree=25195364/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=768768 CPUtime=1241.9 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 193202 0 0 0 124137 53 0 0 20 0 1 0 335457896 787218432 191470 33554432000 134512640 135840783 4292772976 4292772336 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 192192 191470 350 325 0 191128 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 768768

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9159
/proc/meminfo: memFree=25143932/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=820572 CPUtime=1301.9 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 206150 0 0 0 130133 57 0 0 20 0 1 0 335457896 840265728 204418 33554432000 134512640 135840783 4292772976 4292772336 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 205143 204418 350 325 0 204079 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 820572

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9159
/proc/meminfo: memFree=25122384/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=841532 CPUtime=1361.88 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 211456 0 0 0 136129 59 0 0 20 0 1 0 335457896 861728768 209654 33554432000 134512640 135840783 4292772976 4292772336 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 210383 209654 350 325 0 209319 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 841532

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9159
/proc/meminfo: memFree=25122288/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=841532 CPUtime=1421.88 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 211456 0 0 0 142129 59 0 0 20 0 1 0 335457896 861728768 209654 33554432000 134512640 135840783 4292772976 4292772172 4037459 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 210383 209654 350 325 0 209319 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 841532

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9163
/proc/meminfo: memFree=25122432/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=841532 CPUtime=1481.87 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 211456 0 0 0 148128 59 0 0 20 0 1 0 335457896 861728768 209654 33554432000 134512640 135840783 4292772976 4292772336 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 210383 209654 350 325 0 209319 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 841532

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9163
/proc/meminfo: memFree=25118996/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=841532 CPUtime=1541.86 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 211456 0 0 0 154127 59 0 0 20 0 1 0 335457896 861728768 209654 33554432000 134512640 135840783 4292772976 4292772336 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 210383 209654 350 325 0 209319 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 841532

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9163
/proc/meminfo: memFree=25039912/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=841532 CPUtime=1601.85 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 211456 0 0 0 160126 59 0 0 20 0 1 0 335457896 861728768 209654 33554432000 134512640 135840783 4292772976 4292772336 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 210383 209654 350 325 0 209319 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 841532

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9163
/proc/meminfo: memFree=24960828/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=841532 CPUtime=1661.84 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 211456 0 0 0 166125 59 0 0 20 0 1 0 335457896 861728768 209654 33554432000 134512640 135840783 4292772976 4292772336 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 210383 209654 350 325 0 209319 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 841532

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9163
/proc/meminfo: memFree=24904764/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=841532 CPUtime=1721.83 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 211456 0 0 0 172124 59 0 0 20 0 1 0 335457896 861728768 209654 33554432000 134512640 135840783 4292772976 4292772336 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 210383 209654 350 325 0 209319 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 841532

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9164
/proc/meminfo: memFree=24844996/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=841532 CPUtime=1781.82 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 211456 0 0 0 178123 59 0 0 20 0 1 0 335457896 861728768 209654 33554432000 134512640 135840783 4292772976 4292772288 134551383 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 210383 209654 350 325 0 209319 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 841532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9164
/proc/meminfo: memFree=24828504/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=841532 CPUtime=1800.02 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 211456 0 0 0 179943 59 0 0 20 0 1 0 335457896 861728768 209654 33554432000 134512640 135840783 4292772976 4292772336 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 210383 209654 350 325 0 209319 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 841532

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9164
/proc/meminfo: memFree=24828504/32873844 swapFree=7628/7628
[pid=9108] ppid=9106 vsize=841532 CPUtime=1800.02 cores=1,3,5,7
/proc/9108/stat : 9108 (bsolo3.0.17) R 9106 9108 7463 0 -1 4202496 211456 0 0 0 179943 59 0 0 20 0 1 0 335457896 861728768 209654 33554432000 134512640 135840783 4292772976 4292772336 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9108/statm: 210383 209654 350 325 0 209319 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 841532

Child status: 15
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1799.44
CPU system time (s): 0.602908
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 841532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.602908
maximum resident set size= 838896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211459
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= 238
involuntary context switches= 2014

runsolver used 3.9714 second user time and 9.49356 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 05:15:35
IDJOB=3733132
IDBENCH=2250
IDSOLVER=2318
FILE ID=node143/3733132-1338693335
RUNJOBID= node143-1338680527-7480
PBS_JOBID= 14636712
Free space on /tmp= 68460 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733132-1338693335/watcher-3733132-1338693335 -o /tmp/evaluation-result-3733132-1338693335/solver-3733132-1338693335 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733132-1338693335.opb            

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

MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3
RANDOM SEED=1476306352

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
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:        27420268 kB
Buffers:          434996 kB
Cached:          3908844 kB
SwapCached:          188 kB
Active:          2392252 kB
Inactive:        2143580 kB
Active(anon):     183028 kB
Inactive(anon):    10992 kB
Active(file):    2209224 kB
Inactive(file):  2132588 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              7752 kB
Writeback:             0 kB
AnonPages:        199120 kB
Mapped:            11832 kB
Shmem:               160 kB
Slab:             777268 kB
SReclaimable:     219200 kB
SUnreclaim:       558068 kB
KernelStack:        1448 kB
PageTables:         4556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     306396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 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= 68452 MiB
End job on node143 at 2012-06-03 05:45:38