Trace number 3733143

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.11 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-2.opb
MD5SUMaabc023158e10c9511062af8ac97c515
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
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 constraints58624
Number of constraints which are clauses58624
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-3733143-1338693432.opb
0.00/0.00	c File size is 1400677 bytes.
0.09/0.10	c Highest Coefficient sum: 945
0.09/0.10	c Parsing was ok!!
0.09/0.10	c Total parsing time: 0.1 s
0.09/0.11	c Var: 945 Constr: 58624 58624/0/0 Lit: 117248 Watch. Lit: 117248
0.09/0.11	c Obj. Vars: 945 (100 % of total variables)
0.38/0.49	c Pre-processing Time: 0.484 s
0.38/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.49	c        0    945    58624   117248    2   117248   19541      0      0 0.48
0.38/0.49	c Switching off LPR mode.
0.38/0.49	o -31	0.488
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c        0    945    58625   118193    2   117281   20541      1      0 0.49
0.49/0.52	c      101    945    58726   210147    3   117483   22596    102    194 0.52
0.49/0.52	o -32	0.52
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c      104    945    58730   213823    3   117523   20541    106    200 0.52
0.49/0.53	o -33	0.532
8.38/8.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.38/8.47	c      142    945    58769   249351    4   117634   20541    145    266 0.53
8.38/8.47	c      242    945    58869   340195    5   117834   22596    245    427 0.57
8.38/8.47	c      492    945    59119   567114    9   118334   24856    495    751 0.66
8.38/8.47	c      967    945    59594   998812   16   119284   27342    970   1125 0.86
8.38/8.47	c     1781    945    60408  1738506   28   120912   30077   1784   1413 1.26
8.38/8.47	c     3101    945    61728  2937313   47   123552   33085   3104   1480 2.09
8.38/8.47	c     5183    945    63810  4827796   75   127716   36394   5186   1353 3.83
8.38/8.47	c     8406    945    67033  7754372  115   134162   40034   8409   1021 8.23
8.38/8.47	o -34	8.466
10.68/10.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.68/10.70	c     8952    945    67580  8251493  122   135290   20541   8956   1057 8.47
10.68/10.70	c     9053    945    67681  8343154  123   135492   22596   9057   1062 8.52
10.68/10.70	c     9304    945    67932  8570972  126   135994   24856   9308   1077 8.63
10.68/10.70	c     9780    945    68408  9002872  131   136946   27342   9784   1088 8.99
10.68/10.70	c    10593    945    69221  9740400  140   138572   30077  10597   1103 9.60
10.68/10.70	c    11914    945    70542 10937466  155   141214   33085  11918   1119 10.64
10.68/10.70	o -35	10.697
11.78/11.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.78/11.87	c    12012    945    70641 11027360  156   141447   20541  12017   1122 10.70
11.78/11.87	c    12112    945    70741 11117992  157   141647   22596  12117   1124 10.77
11.78/11.87	c    12362    945    70991 11344353  159   142147   24856  12367   1134 10.90
11.78/11.87	c    12838    945    71467 11775950  164   143099   27342  12843   1141 11.25
11.78/11.87	c    13653    945    72282 12513933  173   144729   30077  13658   1154 11.83
11.78/11.87	o -36	11.87
1800.08/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.50	c    13716    945    72346 12571977  173   144893   20541  13722   1155 11.87
1800.08/1800.50	c    13816    945    72446 12662560  174   145093   22596  13822   1158 11.93
1800.08/1800.50	c    14066    945    72696 12888823  177   145593   24856  14072   1145 12.28
1800.08/1800.50	c    14541    945    73171 13318497  182   146543   27342  14547   1137 12.78
1800.08/1800.50	c    15354    945    73984 14054095  189   148169   30077  15360   1162 13.21
1800.08/1800.50	c    16674    945    75304 15248600  202   150809   33085  16680   1180 14.13
1800.08/1800.50	c    18755    945    77385 17132041  221   154971   36394  18761    818 22.91
1800.08/1800.50	c    21978    945    80608 20046807  248   161417   40034  21984    826 26.61
1800.08/1800.50	c    26914    945    85544 24515742  286   171289   44038  26920    682 39.45
1800.08/1800.50	c    34421    945    93051 31301629  336   186303   48442  34427    672 51.19
1800.08/1800.50	c    45782    945   104412 41578199  398   209025   53287  45788    591 77.35
1800.08/1800.50	c    62926    945    79119 18652209  235   158274   58616  20495    328 191.34
1800.08/1800.50	c    88745    945   104938 42017560  400   209912   64478  46314    313 283.38
1800.08/1800.50	c   127579    945    90419 28874994  319   180874   70926  31795    309 412.11
1800.08/1800.50	c   185933    945    89031 27640115  310   178098   78019  30407    220 842.81
1800.08/1800.50	c   273565    945   109817 46421524  422   219670   85821  51193    175 1561.56
1800.08/1800.50	c Caught signal: 15
1800.08/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.08/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.50	c   38   301696  26131   334240   137948 71879166  79324    167 1800.09
1800.08/1800.50	c Objective: -36
1800.08/1800.50	s SATISFIABLE
1800.08/1800.50	c Total time: 1800.09 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-3733143-1338693432/watcher-3733143-1338693432 -o /tmp/evaluation-result-3733143-1338693432/solver-3733143-1338693432 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733143-1338693432.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26404
/proc/meminfo: memFree=28006924/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=4472 CPUtime=0 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 335471743 4579328 64 33554432000 134512640 135840783 4287210224 4287208292 9737213 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 1118 69 54 325 0 38 0

[startup+0.100651 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26404
/proc/meminfo: memFree=28006924/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=11284 CPUtime=0.09 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 2103 0 0 0 9 0 0 0 20 0 1 0 335471743 11554816 2040 33554432000 134512640 135840783 4287210224 4287209056 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 2821 2041 640 325 0 1415 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11284

[startup+0.200341 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26404
/proc/meminfo: memFree=28006924/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=15080 CPUtime=0.18 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 3427 0 0 0 18 0 0 0 20 0 1 0 335471743 15441920 3022 33554432000 134512640 135840783 4287210224 4287197788 5682224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 3770 3022 343 325 0 2706 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 15080

[startup+0.300353 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26404
/proc/meminfo: memFree=28006924/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=15080 CPUtime=0.29 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 3427 0 0 0 28 1 0 0 20 0 1 0 335471743 15441920 3022 33554432000 134512640 135840783 4287210224 4287197788 5682224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 3770 3022 343 325 0 2706 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15080

[startup+0.700263 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26404
/proc/meminfo: memFree=28006924/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=20192 CPUtime=0.68 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 5583 0 0 0 66 2 0 0 20 0 1 0 335471743 20676608 4321 33554432000 134512640 135840783 4287210224 4287209584 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 5048 4321 348 325 0 3984 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20192

[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27981032/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=39424 CPUtime=1.48 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 10387 0 0 0 145 3 0 0 20 0 1 0 335471743 40370176 9125 33554432000 134512640 135840783 4287210224 4287198112 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 9856 9125 348 325 0 8792 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39424

[startup+3.10027 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27959200/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=65804 CPUtime=3.09 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 16969 0 0 0 305 4 0 0 20 0 1 0 335471743 67383296 15707 33554432000 134512640 135840783 4287210224 4287209584 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 16451 15707 348 325 0 15387 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65804

[startup+6.30032 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27916660/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=99620 CPUtime=6.29 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 25440 0 0 0 622 7 0 0 20 0 1 0 335471743 102010880 24178 33554432000 134512640 135840783 4287210224 4287198496 134547548 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 24905 24178 348 325 0 23841 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99620

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27835192/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=181188 CPUtime=12.68 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 45823 0 0 0 1257 11 0 0 20 0 1 0 335471743 185536512 44561 33554432000 134512640 135840783 4287210224 4287209584 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 45297 44561 348 325 0 44233 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 181188

[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27752244/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=260168 CPUtime=25.48 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 65569 0 0 0 2533 15 0 0 20 0 1 0 335471743 266412032 64307 33554432000 134512640 135840783 4287210224 4287209576 12593360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 65042 64307 348 325 0 63978 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 260168

[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27600592/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=412592 CPUtime=51.08 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 103674 0 0 0 5084 24 0 0 20 0 1 0 335471743 422494208 102412 33554432000 134512640 135840783 4287210224 4287209536 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 103148 102412 348 325 0 102084 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 412592

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27374292/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=635680 CPUtime=102.28 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 159443 0 0 0 10190 38 0 0 20 0 1 0 335471743 650936320 158181 33554432000 134512640 135840783 4287210224 4287198176 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 158920 158181 348 325 0 157856 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 635680

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26406
/proc/meminfo: memFree=27367236/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=642448 CPUtime=162.25 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 161204 0 0 0 16187 38 0 0 20 0 1 0 335471743 657866752 159873 33554432000 134512640 135840783 4287210224 4287209584 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 160612 159873 348 325 0 159548 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 642448

[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 26409
/proc/meminfo: memFree=27367628/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=642448 CPUtime=222.24 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 161219 0 0 0 22186 38 0 0 20 0 1 0 335471743 657866752 159873 33554432000 134512640 135840783 4287210224 4287209536 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 160612 159873 348 325 0 159548 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 642448

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26409
/proc/meminfo: memFree=27367664/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=642448 CPUtime=282.2 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 161241 0 0 0 28182 38 0 0 20 0 1 0 335471743 657866752 159873 33554432000 134512640 135840783 4287210224 4287209584 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 160612 159873 348 325 0 159548 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 642448

[startup+342.3 s]
/proc/loadavg: 1.96 1.97 1.99 3/177 26448
/proc/meminfo: memFree=26961952/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=771868 CPUtime=342.18 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 193662 0 0 0 34170 48 0 0 20 0 1 0 335471743 790392832 192215 33554432000 134512640 135840783 4287210224 4287209584 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 192967 192215 348 325 0 191903 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 771868

[startup+402.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/177 26448
/proc/meminfo: memFree=26812312/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=771868 CPUtime=402.15 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 193682 0 0 0 40167 48 0 0 20 0 1 0 335471743 790392832 192215 33554432000 134512640 135840783 4287210224 4287209584 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 192967 192215 348 325 0 191903 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 771868

[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 26449
/proc/meminfo: memFree=26666516/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=771868 CPUtime=462.11 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 193722 0 0 0 46163 48 0 0 20 0 1 0 335471743 790392832 192215 33554432000 134512640 135840783 4287210224 4287209584 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 192967 192215 348 325 0 191903 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 771868

[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 26449
/proc/meminfo: memFree=26472236/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=771868 CPUtime=522.09 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 193734 0 0 0 52161 48 0 0 20 0 1 0 335471743 790392832 192215 33554432000 134512640 135840783 4287210224 4287209584 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 192967 192215 348 325 0 191903 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 771868

[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 26449
/proc/meminfo: memFree=26352604/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=771868 CPUtime=582.07 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 193752 0 0 0 58159 48 0 0 20 0 1 0 335471743 790392832 192215 33554432000 134512640 135840783 4287210224 4287209584 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 192967 192215 348 325 0 191903 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 771868

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 26454
/proc/meminfo: memFree=26078064/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=822.03 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 82147 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209584 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 846620

[startup+882.307 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 26454
/proc/meminfo: memFree=26078224/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=882.02 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 88146 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209584 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 846620

[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 26454
/proc/meminfo: memFree=26078128/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=942.01 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 94145 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209584 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 846620

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 26454
/proc/meminfo: memFree=25958496/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=1002 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 100144 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209584 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 846620

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 26455
/proc/meminfo: memFree=25958400/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=1061.99 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 106143 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209584 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 846620

[startup+1122.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 26455
/proc/meminfo: memFree=25958428/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=1121.98 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 112142 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209536 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 846620

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26455
/proc/meminfo: memFree=25958456/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=1181.97 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 118141 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209584 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 846620

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26455
/proc/meminfo: memFree=25952284/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=855156 CPUtime=1241.96 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 214667 0 0 0 124140 56 0 0 20 0 1 0 335471743 875679744 213053 33554432000 134512640 135840783 4287210224 4287209584 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 213789 213053 348 325 0 212725 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 855156

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26455
/proc/meminfo: memFree=25903580/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=906360 CPUtime=1301.95 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 227465 0 0 0 130134 61 0 0 20 0 1 0 335471743 928112640 225851 33554432000 134512640 135840783 4287210224 4287209584 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 226590 225851 348 325 0 225526 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 906360

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26456
/proc/meminfo: memFree=25880048/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1361.94 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 136131 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209584 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 928876

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26459
/proc/meminfo: memFree=25880192/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1421.94 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 142131 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209584 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 928876

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26459
/proc/meminfo: memFree=25880100/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1481.92 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 148129 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209460 10244258 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 928876

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26459
/proc/meminfo: memFree=25879852/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1541.92 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 154129 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209584 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 928876

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26459
/proc/meminfo: memFree=25879852/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1601.91 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 160128 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287198396 12563559 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 928876

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26460
/proc/meminfo: memFree=25879728/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1661.9 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 166127 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209536 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 928876

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26460
/proc/meminfo: memFree=25879852/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1721.89 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 172126 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209584 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 928876

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26460
/proc/meminfo: memFree=25872908/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1781.88 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 178125 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209584 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 928876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26460
/proc/meminfo: memFree=25869312/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=933280 CPUtime=1800.08 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 234264 0 0 0 179945 63 0 0 20 0 1 0 335471743 955678720 232572 33554432000 134512640 135840783 4287210224 4287209584 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 233320 232572 348 325 0 232256 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 933280

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.52
CPU time (s): 1800.11
CPU user time (s): 1799.46
CPU system time (s): 0.6539
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 933280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.6539
maximum resident set size= 930288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234267
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= 196
involuntary context switches= 1841

runsolver used 4.48232 second user time and 9.30158 second system time

The end

Launcher Data

Begin job on node108 at 2012-06-03 05:17:12
IDJOB=3733143
IDBENCH=2251
IDSOLVER=2318
FILE ID=node108/3733143-1338693432
RUNJOBID= node108-1338678627-24681
PBS_JOBID= 14636705
Free space on /tmp= 71464 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-2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733143-1338693432/watcher-3733143-1338693432 -o /tmp/evaluation-result-3733143-1338693432/solver-3733143-1338693432 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733143-1338693432.opb            

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

MD5SUM BENCH= aabc023158e10c9511062af8ac97c515
RANDOM SEED=1326587064

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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:        28007832 kB
Buffers:          321616 kB
Cached:          3547144 kB
SwapCached:          112 kB
Active:          2079460 kB
Inactive:        1985540 kB
Active(anon):     183304 kB
Inactive(anon):    13084 kB
Active(file):    1896156 kB
Inactive(file):  1972456 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              7836 kB
Writeback:             0 kB
AnonPages:        200208 kB
Mapped:            15636 kB
Shmem:               172 kB
Slab:             663392 kB
SReclaimable:     105548 kB
SUnreclaim:       557844 kB
KernelStack:        1464 kB
PageTables:         4428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     306068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71456 MiB
End job on node108 at 2012-06-03 05:47:14