Trace number 3733165

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.13 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
MD5SUMdadfd792215a2bce735ffb7b3e25dcc5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-43
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58579
Number of constraints which are clauses58579
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-3733165-1338693455.opb
0.00/0.00	c File size is 1399605 bytes.
0.08/0.10	c Highest Coefficient sum: 945
0.08/0.10	c Parsing was ok!!
0.08/0.10	c Total parsing time: 0.102 s
0.08/0.12	c Var: 945 Constr: 58579 58579/0/0 Lit: 117158 Watch. Lit: 117158
0.08/0.12	c Obj. Vars: 945 (100 % of total variables)
0.38/0.48	c Pre-processing Time: 0.478 s
0.38/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.48	c        0    945    58579   117158    2   117158   19526      0      0 0.48
0.38/0.48	c Switching off LPR mode.
0.38/0.48	o -33	0.481
13.28/13.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.28/13.36	c        0    945    58580   118103    2   117193   20526      1      0 0.48
13.28/13.36	c      100    945    58680   208934    3   117393   22579    101    196 0.51
13.28/13.36	c      350    945    58930   435979    7   117893   24837    351    588 0.59
13.28/13.36	c      825    945    59405   867511   14   118843   27321    826   1104 0.75
13.28/13.36	c     1638    945    60218  1605373   26   120469   30054   1639   1465 1.12
13.28/13.36	c     2958    945    61538  2803785   45   123109   33060   2959   1604 1.84
13.28/13.36	c     5040    945    63620  4694728   73   127273   36367   5041   1613 3.12
13.28/13.36	c     8263    945    66843  7622211  114   133719   40004   8264   1304 6.34
13.28/13.36	c    13199    945    71779 12104410  168   143591   44005  13200    989 13.34
13.28/13.36	o -34	13.358
48.39/48.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.39/48.44	c    13199    945    71780 12105355  168   143627   20526  13201    988 13.36
48.39/48.44	c    13300    945    71881 12197020  169   143829   22579  13302    992 13.40
48.39/48.44	c    13551    945    72132 12424916  172   144331   24837  13553   1002 13.52
48.39/48.44	c    14027    945    72608 12856449  177   145283   27321  14029   1022 13.72
48.39/48.44	c    14840    945    73421 13593412  185   146909   30054  14842   1047 14.16
48.39/48.44	c    16161    945    74742 14792122  197   149551   33060  16163   1073 15.05
48.39/48.44	c    18242    945    76823 16679754  217   153713   36367  18244   1025 17.79
48.39/48.44	c    21465    945    80046 19604282  244   160159   40004  21467    861 24.93
48.39/48.44	c    26402    945    84983 24081586  283   170033   44005  26404    875 30.14
48.39/48.44	c    33908    945    92489 30891847  334   185045   48406  33910    782 43.31
48.39/48.44	o -35	48.431
1772.20/1772.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1772.20/1772.70	c    35516    945    94098 32351420  343   188298   20526  35519    733 48.43
1772.20/1772.70	c    35616    945    68943  9518784  138   137921   22579  10364    689 51.63
1772.20/1772.70	c    35866    945    69193  9745404  140   138421   24837  10614    690 51.91
1772.20/1772.70	c    36341    945    69668 10175938  146   139371   27321  11089    693 52.44
1772.20/1772.70	c    37154    945    70481 10912876  154   140997   30054  11902    703 52.81
1772.20/1772.70	c    38474    945    71801 12109335  168   143637   33060  13222    717 53.62
1772.20/1772.70	c    40555    945    73882 13994752  189   147799   36367  15303    727 55.72
1772.20/1772.70	c    43779    945    77106 16916913  219   154247   40004  18527    718 60.95
1772.20/1772.70	c    48716    945    82043 21386509  260   164121   44005  23464    727 66.97
1772.20/1772.70	c    56222    945    89549 28183479  314   179133   48406  30970    636 88.32
1772.20/1772.70	c    67583    945   100910 38474517  381   201855   53247  42331    531 127.08
1772.20/1772.70	c    84727    945    75571 15512670  205   151177   58572  16992    349 242.34
1772.20/1772.70	c   110546    945   101390 38892289  383   202815   64430  42811    290 380.36
1772.20/1772.70	c   149379    945    86793 25644271  295   173621   70874  28214    257 579.34
1772.20/1772.70	c   207731    945    85414 24427499  285   170863   77962  26835    207 1002.08
1772.20/1772.70	o -36	1772.2
1800.11/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.11/1800.61	c   294636    945   105564 42684911  404   211199   20526  46985    166 1772.20
1800.11/1800.61	c   294736    945    68943  9504488  137   137922   22579  10364    166 1774.27
1800.11/1800.61	c   294986    945    69193  9730534  140   138422   24837  10614    166 1774.44
1800.11/1800.61	c   295461    945    69668 10160213  145   139372   27321  11089    166 1774.63
1800.11/1800.61	c   296274    945    70481 10895735  154   140998   30054  11902    166 1775.24
1800.11/1800.61	c   297594    945    71801 12090745  168   143638   33060  13222    167 1776.22
1800.11/1800.61	c   299675    945    73882 13973893  189   147800   36367  15303    168 1777.53
1800.11/1800.61	c   302900    945    77107 16892481  219   154250   40004  18528    170 1779.88
1800.11/1800.61	c   307836    945    82043 21360401  260   164122   44005  23464    172 1787.97
1800.11/1800.61	c   315343    945    89550 28152805  314   179136   48406  30971    175 1797.69
1800.11/1800.61	c Caught signal: 15
1800.11/1800.61	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.11/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.11/1800.61	c   44   316181  29072   352919    90388 28911183  31809    175 1800.11
1800.11/1800.61	c Objective: -36
1800.11/1800.61	s SATISFIABLE
1800.11/1800.61	c Total time: 1800.11 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-3733165-1338693455/watcher-3733165-1338693455 -o /tmp/evaluation-result-3733165-1338693455/solver-3733165-1338693455 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733165-1338693455.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27312
/proc/meminfo: memFree=28227772/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) D 27310 27312 25229 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 335470916 2723840 47 33554432000 134512640 135840783 4289617440 4289615476 11355076 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 665 47 37 325 0 32 0

[startup+0.0582021 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27312
/proc/meminfo: memFree=28227772/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=8808 CPUtime=0.04 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 1329 0 0 0 4 0 0 0 20 0 1 0 335470916 9019392 1265 33554432000 134512640 135840783 4289617440 4289616144 2688295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 2202 1265 491 325 0 796 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8808

[startup+0.100287 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27312
/proc/meminfo: memFree=28227772/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=11144 CPUtime=0.08 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 2065 0 0 0 8 0 0 0 20 0 1 0 335470916 11411456 2001 33554432000 134512640 135840783 4289617440 4289616144 2688295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 2787 2001 634 325 0 1381 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11144

[startup+0.300307 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27312
/proc/meminfo: memFree=28227772/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=15076 CPUtime=0.29 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 3429 0 0 0 28 1 0 0 20 0 1 0 335470916 15437824 3023 33554432000 134512640 135840783 4289617440 4289605004 2217008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 3769 3023 345 325 0 2705 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15076

[startup+0.70025 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27312
/proc/meminfo: memFree=28227772/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=21080 CPUtime=0.68 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 5795 0 0 0 66 2 0 0 20 0 1 0 335470916 21585920 4530 33554432000 134512640 135840783 4289617440 4289605584 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 5270 4533 350 325 0 4206 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21080

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27313
/proc/meminfo: memFree=28202708/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=41440 CPUtime=1.48 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 10877 0 0 0 145 3 0 0 20 0 1 0 335470916 42434560 9612 33554432000 134512640 135840783 4289617440 4289605600 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 10360 9612 350 325 0 9296 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41440

[startup+3.1003 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 27313
/proc/meminfo: memFree=28177024/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=71548 CPUtime=3.09 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 18407 0 0 0 303 6 0 0 20 0 1 0 335470916 73265152 17142 33554432000 134512640 135840783 4289617440 4289605600 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 17887 17142 350 325 0 16823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71548

[startup+6.3003 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 27313
/proc/meminfo: memFree=28130772/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=109088 CPUtime=6.28 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 27806 0 0 0 621 7 0 0 20 0 1 0 335470916 111706112 26541 33554432000 134512640 135840783 4289617440 4289605600 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 27272 26541 350 325 0 26208 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 109088

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 27313
/proc/meminfo: memFree=28077600/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=159040 CPUtime=12.68 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 40274 0 0 0 1258 10 0 0 20 0 1 0 335470916 162856960 39009 33554432000 134512640 135840783 4289617440 4289605360 2217008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 39760 39009 350 325 0 38696 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 159040

[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 27313
/proc/meminfo: memFree=27962528/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=275604 CPUtime=25.48 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 69415 0 0 0 2532 16 0 0 20 0 1 0 335470916 282218496 68150 33554432000 134512640 135840783 4289617440 4289605376 2217008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 68901 68150 350 325 0 67837 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 275604

[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 27313
/proc/meminfo: memFree=27805048/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=426580 CPUtime=51.08 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 107200 0 0 0 5083 25 0 0 20 0 1 0 335470916 436817920 105900 33554432000 134512640 135840783 4289617440 4289616864 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 106645 105900 350 325 0 105581 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 426580

[startup+102.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 27314
/proc/meminfo: memFree=27791340/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=440208 CPUtime=102.25 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 110634 0 0 0 10199 26 0 0 20 0 1 0 335470916 450772992 109303 33554432000 134512640 135840783 4289617440 4289616800 134550907 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 110052 109303 350 325 0 108988 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 440208

[startup+162.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/176 27356
/proc/meminfo: memFree=27553780/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=594440 CPUtime=162.2 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 149224 0 0 0 16183 37 0 0 20 0 1 0 335470916 608706560 147862 33554432000 134512640 135840783 4289617440 4289616800 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 148610 147862 350 325 0 147546 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 594440

[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/175 27356
/proc/meminfo: memFree=27095016/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=642664 CPUtime=222.19 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 161356 0 0 0 22178 41 0 0 20 0 1 0 335470916 658087936 159927 33554432000 134512640 135840783 4289617440 4289616800 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 160666 159927 350 325 0 159602 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 642664

[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/175 27356
/proc/meminfo: memFree=26795336/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=642664 CPUtime=282.14 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 161401 0 0 0 28173 41 0 0 20 0 1 0 335470916 658087936 159927 33554432000 134512640 135840783 4289617440 4289616752 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 160666 159927 350 325 0 159602 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 642664

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 27356
/proc/meminfo: memFree=26587168/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=642664 CPUtime=342.09 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 161448 0 0 0 34168 41 0 0 20 0 1 0 335470916 658087936 159927 33554432000 134512640 135840783 4289617440 4289616800 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 160666 159927 350 325 0 159602 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 642664

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 27357
/proc/meminfo: memFree=26551484/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=642664 CPUtime=402.06 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 161477 0 0 0 40165 41 0 0 20 0 1 0 335470916 658087936 159927 33554432000 134512640 135840783 4289617440 4289616576 2685627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 160666 159927 350 325 0 159602 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 642664

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 27357
/proc/meminfo: memFree=26428504/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=766632 CPUtime=462.03 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 192472 0 0 0 46151 52 0 0 20 0 1 0 335470916 785031168 190913 33554432000 134512640 135840783 4289617440 4289616752 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 191658 190913 350 325 0 190594 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 766632

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 27357
/proc/meminfo: memFree=26422084/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=771972 CPUtime=521.98 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 193911 0 0 0 52146 52 0 0 20 0 1 0 335470916 790499328 192241 33554432000 134512640 135840783 4289617440 4289616800 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 192993 192241 350 325 0 191929 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 771972

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27357
/proc/meminfo: memFree=26422004/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=771972 CPUtime=581.97 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 193914 0 0 0 58145 52 0 0 20 0 1 0 335470916 790499328 192241 33554432000 134512640 135840783 4289617440 4289616800 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 192993 192241 350 325 0 191929 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 771972

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27361
/proc/meminfo: memFree=26421868/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=771972 CPUtime=821.93 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 193914 0 0 0 82141 52 0 0 20 0 1 0 335470916 790499328 192241 33554432000 134512640 135840783 4289617440 4289616800 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 192993 192241 350 325 0 191929 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 771972

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27361
/proc/meminfo: memFree=26361880/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=832744 CPUtime=881.93 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 209108 0 0 0 88135 58 0 0 20 0 1 0 335470916 852729856 207435 33554432000 134512640 135840783 4289617440 4289616800 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 208186 207435 350 325 0 207122 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 832744

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27361
/proc/meminfo: memFree=26346904/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=846764 CPUtime=941.92 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 212684 0 0 0 94133 59 0 0 20 0 1 0 335470916 867086336 210940 33554432000 134512640 135840783 4289617440 4289616800 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 211691 210940 350 325 0 210627 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 846764

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27361
/proc/meminfo: memFree=26250708/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=846764 CPUtime=1001.91 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 212684 0 0 0 100132 59 0 0 20 0 1 0 335470916 867086336 210940 33554432000 134512640 135840783 4289617440 4289616752 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 211691 210940 350 325 0 210627 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 846764

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27362
/proc/meminfo: memFree=26193324/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=846764 CPUtime=1061.9 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 212684 0 0 0 106131 59 0 0 20 0 1 0 335470916 867086336 210940 33554432000 134512640 135840783 4289617440 4289616800 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 211691 210940 350 325 0 210627 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 846764

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27362
/proc/meminfo: memFree=26193352/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=846764 CPUtime=1121.89 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 212684 0 0 0 112130 59 0 0 20 0 1 0 335470916 867086336 210940 33554432000 134512640 135840783 4289617440 4289616752 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 211691 210940 350 325 0 210627 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 846764

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27362
/proc/meminfo: memFree=26193380/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=846764 CPUtime=1181.88 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 212684 0 0 0 118129 59 0 0 20 0 1 0 335470916 867086336 210940 33554432000 134512640 135840783 4289617440 4289616800 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 211691 210940 350 325 0 210627 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 846764

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27362
/proc/meminfo: memFree=26193408/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=846764 CPUtime=1241.87 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 212684 0 0 0 124128 59 0 0 20 0 1 0 335470916 867086336 210940 33554432000 134512640 135840783 4289617440 4289616800 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 211691 210940 350 325 0 210627 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 846764

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27362
/proc/meminfo: memFree=26193312/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=846764 CPUtime=1301.87 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 212684 0 0 0 130128 59 0 0 20 0 1 0 335470916 867086336 210940 33554432000 134512640 135840783 4289617440 4289616800 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 211691 210940 350 325 0 210627 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 846764

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27366
/proc/meminfo: memFree=26132324/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=908028 CPUtime=1361.86 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 228010 0 0 0 136122 64 0 0 20 0 1 0 335470916 929820672 226266 33554432000 134512640 135840783 4289617440 4289616800 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 227007 226266 350 325 0 225943 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 908028

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27366
/proc/meminfo: memFree=26110296/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=929532 CPUtime=1421.86 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 233453 0 0 0 142120 66 0 0 20 0 1 0 335470916 951840768 231631 33554432000 134512640 135840783 4289617440 4289616800 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 232383 231631 350 325 0 231319 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 929532

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27366
/proc/meminfo: memFree=26110420/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=929532 CPUtime=1481.84 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 233453 0 0 0 148118 66 0 0 20 0 1 0 335470916 951840768 231631 33554432000 134512640 135840783 4289617440 4289616800 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 232383 231631 350 325 0 231319 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 929532

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27366
/proc/meminfo: memFree=26035028/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=929532 CPUtime=1541.83 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 233453 0 0 0 154117 66 0 0 20 0 1 0 335470916 951840768 231631 33554432000 134512640 135840783 4289617440 4289616800 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 232383 231631 350 325 0 231319 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 929532

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27366
/proc/meminfo: memFree=25974516/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=929532 CPUtime=1601.82 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 233453 0 0 0 160116 66 0 0 20 0 1 0 335470916 951840768 231631 33554432000 134512640 135840783 4289617440 4289616796 12527808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 232383 231631 350 325 0 231319 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 929532

[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 27367
/proc/meminfo: memFree=25974516/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=929532 CPUtime=1661.81 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 233453 0 0 0 166115 66 0 0 20 0 1 0 335470916 951840768 231631 33554432000 134512640 135840783 4289617440 4289616800 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 232383 231631 350 325 0 231319 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 929532

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 27367
/proc/meminfo: memFree=25974640/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=929532 CPUtime=1721.81 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 233453 0 0 0 172115 66 0 0 20 0 1 0 335470916 951840768 231631 33554432000 134512640 135840783 4289617440 4289616800 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 232383 231631 350 325 0 231319 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 929532

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 27367
/proc/meminfo: memFree=25974516/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=929532 CPUtime=1781.8 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 233453 0 0 0 178114 66 0 0 20 0 1 0 335470916 951840768 231631 33554432000 134512640 135840783 4289617440 4289616800 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 232383 231631 350 325 0 231319 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 929532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 27367
/proc/meminfo: memFree=25974640/32873852 swapFree=7624/7624
[pid=27312] ppid=27310 vsize=929532 CPUtime=1800.11 cores=1,3,5,7
/proc/27312/stat : 27312 (bsolo3.0.17) R 27310 27312 25229 0 -1 4202496 233453 0 0 0 179945 66 0 0 20 0 1 0 335470916 951840768 231631 33554432000 134512640 135840783 4289617440 4289616800 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27312/statm: 232383 231631 350 325 0 231319 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 929532

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

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

Child status: 15
Real time (s): 1800.63
CPU time (s): 1800.13
CPU user time (s): 1799.45
CPU system time (s): 0.677896
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 929532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.677896
maximum resident set size= 926836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233456
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= 298
involuntary context switches= 1841

runsolver used 3.19051 second user time and 10.5044 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-03 05:17:35
IDJOB=3733165
IDBENCH=2254
IDSOLVER=2318
FILE ID=node131/3733165-1338693455
RUNJOBID= node131-1338678620-25249
PBS_JOBID= 14636682
Free space on /tmp= 71396 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-5.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733165-1338693455/watcher-3733165-1338693455 -o /tmp/evaluation-result-3733165-1338693455/solver-3733165-1338693455 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733165-1338693455.opb            

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

MD5SUM BENCH= dadfd792215a2bce735ffb7b3e25dcc5
RANDOM SEED=1506328361

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28228524 kB
Buffers:          545284 kB
Cached:          3035872 kB
SwapCached:         2348 kB
Active:          1599020 kB
Inactive:        2186780 kB
Active(anon):     200720 kB
Inactive(anon):     3664 kB
Active(file):    1398300 kB
Inactive(file):  2183116 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              7788 kB
Writeback:             0 kB
AnonPages:        208464 kB
Mapped:            15580 kB
Shmem:                 0 kB
Slab:             720032 kB
SReclaimable:     162568 kB
SUnreclaim:       557464 kB
KernelStack:        1440 kB
PageTables:         4396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     323256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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= 71388 MiB
End job on node131 at 2012-06-03 05:47:37