Trace number 432701

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, and are wall clock time (not CPU 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
bsolo 3.0.17SAT (TO)-15 1800.06 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-afiro.opb
MD5SUMd412dc68829850bad6555fa34c6ad801
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-65
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -65
Optimality of the best value was proved NO
Number of variables960
Total number of constraints27
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints27
Minimum length of a constraint30
Maximum length of a constraint270
Number of terms in the objective function 150
Biggest coefficient in the objective function 222156
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524394
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262125
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524468
Number of bits of the biggest sum of numbers20
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 (download as text)

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 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432701-1177948039/instance-432701-1177948039.opb
0.00/0.00	c File size is 24246 bytes.
0.00/0.00	c Highest Coefficient sum: 524468
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 960 Constr: 35 0/0/35 Lit: 3510 Watch. Lit: 714
0.00/0.00	c Obj. Vars: 150 (15.625 % of total variables)
0.00/0.03	c Pre-processing Time: 0.029 s
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    621       35     3510  100     3238    7020      0      0 0.03
0.00/0.03	c Switching off LPR mode.
0.00/0.04	o 3	0.04
0.59/0.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.67	c       79    621      115     6145   53     3491    7210     80   1975 0.04
0.59/0.67	c      179    621      215    17891   83     3691    7932    180   2671 0.07
0.59/0.67	c      429    621      465    26133   56     4191    8726    430   4422 0.10
0.59/0.67	c      905    621      941    99076  105     5143    9599    906   5386 0.17
0.59/0.67	c     1718    621     1754   212618  121     6769   10559   1719   5488 0.31
0.59/0.67	c     3039    621     3075   242177   78     9411   11615   3040   6479 0.47
0.59/0.67	c     5122    621     5158   302748   58    13577   12777   5123   7679 0.67
0.59/0.67	o 2	0.676
5.09/5.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.12	c     5138    621     5175   303456   58    13704    7210   5140   7600 0.68
5.09/5.12	c     5238    621     5275   306575   58    13904    7932   5240   7613 0.69
5.09/5.12	c     5491    621     5528   316522   57    14410    8726   5493   7573 0.72
5.09/5.12	c     5967    621     6004   331001   55    15362    9599   5969   7640 0.78
5.09/5.12	c     6780    621     6817   384657   56    16988   10559   6782   7290 0.93
5.09/5.12	c     8100    621     8137   452806   55    19628   11615   8102   6495 1.25
5.09/5.12	c    10181    621    10218   518052   50    23790   12777  10183   6367 1.60
5.09/5.12	c    13404    621     6605   289406   43    16471   14055   6570   6037 2.22
5.09/5.12	c    18341    621    11542   511123   44    26345   15461  11507   5197 3.53
5.09/5.12	o -3	5.121
12.49/12.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.49/12.53	c    22499    621    15701   747368   47    34756    7210  15666   4393 5.12
12.49/12.53	c    22599    621     3745   226679   60    10751    7932   3710   4255 5.31
12.49/12.53	c    22849    621     3995   240054   60    11251    8726   3960   4225 5.41
12.49/12.53	c    23324    621     4470   260320   58    12201    9599   4435   4162 5.60
12.49/12.53	c    24137    621     5283   300531   56    13827   10559   5248   4132 5.84
12.49/12.53	c    25459    621     6605   355703   53    16471   11615   6570   4063 6.26
12.49/12.53	c    27540    621     8686   467450   53    20633   12777   8651   3952 6.97
12.49/12.53	c    30763    621    11909   554420   46    27079   14055  11874   4172 7.37
12.49/12.53	c    35703    621     9426   396162   42    22113   15461   9391   4151 8.60
12.49/12.53	o -15	12.526
1800.04/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.60	c    41871    621    15595   734968   47    34544    7210  15560   3342 12.53
1800.04/1800.60	c    41971    621     3745   212320   56    10751    7932   3710   3309 12.68
1800.04/1800.60	c    42221    621     3995   218079   54    11251    8726   3960   3323 12.71
1800.04/1800.60	c    42696    621     4470   246960   55    12201    9599   4435   3346 12.76
1800.04/1800.60	c    43509    621     5283   281183   53    13827   10559   5248   3371 12.91
1800.04/1800.60	c    44829    621     6603   333650   50    16467   11615   6568   3392 13.21
1800.04/1800.60	c    46910    621     8684   442913   51    20629   12777   8649   3377 13.89
1800.04/1800.60	c    50135    621    11909   585157   49    27079   14055  11874   3368 14.88
1800.04/1800.60	c    55072    621     9045   461181   50    21351   15461   9010   3296 16.71
1800.04/1800.60	c    62578    621     8372   387237   46    20005   17008   8337   3403 18.39
1800.04/1800.60	c    73939    621    10766   488166   45    24793   18709  10731   3187 23.19
1800.04/1800.60	c    91083    621    18058  1134972   62    39377   20580  18023   2601 35.02
1800.04/1800.60	c   116903    621    11698   541691   46    26657   22639  11663   2168 53.92
1800.04/1800.60	c   155735    621    13437   798204   59    30135   24903  13402   1800 86.50
1800.04/1800.60	c   214087    621    13967   681540   48    31195   27394  13932   1564 136.81
1800.04/1800.60	c   301719    621    18172   648943   35    39605   30134  18137   1099 274.44
1800.04/1800.60	c   433272    621    20605  2809225  136    44471   33148  20570    745 581.06
1800.04/1800.60	c   630705    621    27984  1386264   49    59229   36463  27949    661 954.09
1800.04/1800.60	c   926957    621    17306  1039294   60    37873   40110  17271    531 1745.12
1800.04/1800.60	c Caught signal: 15
1800.04/1800.60	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56
1800.04/1800.60	v -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.04/1800.60	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488
1800.04/1800.60	v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509
1800.04/1800.60	v -x510 x841 -x842 x843 -x844 x845 x846 -x847 -x848 -x849 -x850 x851 -x852 x853 x854 -x855 x856 -x857 -x858 -x859 -x860 -x861
1800.04/1800.60	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
1800.04/1800.60	v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x1 -x2 -x3 -x4
1800.04/1800.60	v -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x61 -x62
1800.04/1800.60	v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88
1800.04/1800.60	v -x89 -x90 x91 -x92 -x93 x94 -x95 x96 x97 x98 x99 -x100 -x101 x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112
1800.04/1800.60	v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133
1800.04/1800.60	v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154
1800.04/1800.60	v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175
1800.04/1800.60	v -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196
1800.04/1800.60	v -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217
1800.04/1800.60	v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238
1800.04/1800.60	v -x239 -x240 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409
1800.04/1800.60	v -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
1800.04/1800.60	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451
1800.04/1800.60	v x452 x453 -x454 -x455 x456 -x457 x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473
1800.04/1800.60	v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x511 -x512 -x513 x514 x515 x516 x517 x518 -x519 x520 -x521 -x522 -x523 -x524 -x525
1800.04/1800.60	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.04/1800.60	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.04/1800.60	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588
1800.04/1800.60	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.04/1800.60	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.04/1800.60	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.04/1800.60	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.04/1800.60	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.04/1800.60	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.04/1800.60	v -x715 -x716 -x717 -x718 -x719 -x720 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915
1800.04/1800.60	v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x871 -x872 -x873 -x874 -x875 x876
1800.04/1800.60	v -x877 -x878 -x879 -x880 -x881 x882 x883 x884 x885 x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898
1800.04/1800.60	v -x899 -x900 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259
1800.04/1800.60	v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
1800.04/1800.60	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301
1800.04/1800.60	v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322
1800.04/1800.60	v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343
1800.04/1800.60	v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x721 -x722 -x723 -x724
1800.04/1800.60	v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745
1800.04/1800.60	v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766
1800.04/1800.60	v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787
1800.04/1800.60	v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808
1800.04/1800.60	v -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829
1800.04/1800.60	v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.04/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.61	c   44   984667  59788  1170427    20337   877490  20302    547 1800.05
1800.04/1800.61	c Objective: -15
1800.04/1800.61	s SATISFIABLE
1800.04/1800.61	c Total time: 1800.05 s

Verifier Data (download as text)

OK	-15

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node14/watcher-432701-1177948039 -o ROOT/results/node14/solver-432701-1177948039 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432701-1177948039/instance-432701-1177948039.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.92 3/77 4920
/proc/meminfo: memFree=1550144/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=11760 CPUtime=0
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 242721667 12042240 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 2940 336 281 324 0 2004 0

[startup+0.0794311 s]
/proc/loadavg: 0.92 0.98 0.92 3/77 4920
/proc/meminfo: memFree=1550144/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=4452 CPUtime=0.07
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 521 0 0 0 7 0 0 0 18 0 1 0 242721667 4558848 485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 1113 485 311 324 0 183 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4452

[startup+0.102434 s]
/proc/loadavg: 0.92 0.98 0.92 3/77 4920
/proc/meminfo: memFree=1550144/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=4580 CPUtime=0.09
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 551 0 0 0 9 0 0 0 18 0 1 0 242721667 4689920 515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 1145 515 311 324 0 215 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4580

[startup+0.301452 s]
/proc/loadavg: 0.92 0.98 0.92 3/77 4920
/proc/meminfo: memFree=1550144/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=6896 CPUtime=0.29
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 1131 0 0 0 29 0 0 0 19 0 1 0 242721667 7061504 1095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 1724 1095 311 324 0 794 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6896

[startup+0.70249 s]
/proc/loadavg: 0.92 0.98 0.92 3/77 4920
/proc/meminfo: memFree=1550144/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=8732 CPUtime=0.69
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 1589 0 0 0 68 1 0 0 23 0 1 0 242721667 8941568 1553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 2183 1553 311 324 0 1253 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8732

[startup+1.50157 s]
/proc/loadavg: 0.92 0.98 0.92 2/78 4921
/proc/meminfo: memFree=1543864/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=11612 CPUtime=1.49
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 2312 0 0 0 148 1 0 0 25 0 1 0 242721667 11890688 2276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 2903 2276 311 324 0 1973 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11612

[startup+3.10172 s]
/proc/loadavg: 0.92 0.98 0.92 2/78 4921
/proc/meminfo: memFree=1539576/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=14080 CPUtime=3.09
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 2945 0 0 0 307 2 0 0 25 0 1 0 242721667 14417920 2909 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 3520 2909 311 324 0 2590 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14080

[startup+6.30202 s]
/proc/loadavg: 0.93 0.98 0.92 2/78 4921
/proc/meminfo: memFree=1537912/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=15508 CPUtime=6.29
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 3302 0 0 0 626 3 0 0 25 0 1 0 242721667 15880192 3266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7360040 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 3877 3266 311 324 0 2947 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15508

[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.92 2/78 4921
/proc/meminfo: memFree=1537912/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=15508 CPUtime=12.69
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 3302 0 0 0 1266 3 0 0 25 0 1 0 242721667 15880192 3266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 3877 3266 311 324 0 2947 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15508

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.92 2/78 4921
/proc/meminfo: memFree=1536888/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=16628 CPUtime=25.48
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 3571 0 0 0 2545 3 0 0 25 0 1 0 242721667 17027072 3535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 4157 3535 311 324 0 3227 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16628

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.92 2/78 4921
/proc/meminfo: memFree=1530936/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=22648 CPUtime=51.06
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 5078 0 0 0 5102 4 0 0 25 0 1 0 242721667 23191552 5042 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 5662 5042 311 324 0 4732 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 22648

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.92 2/78 4921
/proc/meminfo: memFree=1528888/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=24684 CPUtime=102.26
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 5590 0 0 0 10221 5 0 0 25 0 1 0 242721667 25276416 5554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7356493 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 6171 5554 311 324 0 5241 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 24684

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 4921
/proc/meminfo: memFree=1528888/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=24688 CPUtime=162.24
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 5593 0 0 0 16218 6 0 0 25 0 1 0 242721667 25280512 5557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 6172 5557 311 324 0 5242 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24688

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 4921
/proc/meminfo: memFree=1528888/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=24688 CPUtime=222.22
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 5593 0 0 0 22216 6 0 0 25 0 1 0 242721667 25280512 5557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 6172 5557 311 324 0 5242 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 24688

[startup+282.301 s]
/proc/loadavg: 1.04 1.00 0.93 2/78 4921
/proc/meminfo: memFree=1523960/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=29596 CPUtime=282.21
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 6826 0 0 0 28213 8 0 0 25 0 1 0 242721667 30306304 6790 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551778 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 7399 6790 311 324 0 6469 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 29596

[startup+342.302 s]
/proc/loadavg: 1.09 1.03 0.94 2/78 4921
/proc/meminfo: memFree=1510456/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=43036 CPUtime=342.2
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 10185 0 0 0 34208 12 0 0 25 0 1 0 242721667 44068864 10149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 10759 10149 311 324 0 9829 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 43036

[startup+402.301 s]
/proc/loadavg: 1.11 1.05 0.95 2/78 4921
/proc/meminfo: memFree=1499832/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=53636 CPUtime=402.18
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 12836 0 0 0 40203 15 0 0 25 0 1 0 242721667 54923264 12800 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 13409 12800 311 324 0 12479 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 53636

[startup+462.302 s]
/proc/loadavg: 1.04 1.04 0.95 2/78 4921
/proc/meminfo: memFree=1489784/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=63696 CPUtime=462.16
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15350 0 0 0 46199 17 0 0 25 0 1 0 242721667 65224704 15314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15924 15314 311 324 0 14994 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 63696

[startup+522.302 s]
/proc/loadavg: 1.01 1.03 0.95 2/78 4921
/proc/meminfo: memFree=1489784/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=63680 CPUtime=522.15
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15350 0 0 0 52197 18 0 0 25 0 1 0 242721667 65208320 15312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15920 15312 311 324 0 14990 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 63680

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 0.95 2/78 4921
/proc/meminfo: memFree=1489720/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=63680 CPUtime=582.14
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15350 0 0 0 58196 18 0 0 25 0 1 0 242721667 65208320 15312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15920 15312 311 324 0 14990 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 63680

[startup+642.303 s]
/proc/loadavg: 1.00 1.02 0.95 2/78 4921
/proc/meminfo: memFree=1489976/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=63264 CPUtime=642.12
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15352 0 0 0 64194 18 0 0 25 0 1 0 242721667 64782336 15207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15816 15207 311 324 0 14886 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 63264


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 4921
/proc/meminfo: memFree=1492088/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61212 CPUtime=822.07
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15352 0 0 0 82187 20 0 0 25 0 1 0 242721667 62681088 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4920/statm: 15303 14694 311 324 0 14373 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 61212

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.95 3/78 5119
/proc/meminfo: memFree=1492024/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61212 CPUtime=881.97
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15352 0 0 0 88176 21 0 0 25 0 1 0 242721667 62681088 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15303 14694 311 324 0 14373 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 61212

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492088/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61212 CPUtime=941.95
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15352 0 0 0 94174 21 0 0 25 0 1 0 242721667 62681088 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15303 14694 311 324 0 14373 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 61212

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492024/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61224 CPUtime=1001.93
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15356 0 0 0 100172 21 0 0 25 0 1 0 242721667 62693376 14698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15306 14698 311 324 0 14376 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 61224

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492088/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61220 CPUtime=1061.92
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15356 0 0 0 106170 22 0 0 25 0 1 0 242721667 62689280 14697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15305 14697 311 324 0 14375 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 61220

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492088/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61220 CPUtime=1121.9
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15356 0 0 0 112168 22 0 0 25 0 1 0 242721667 62689280 14697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15305 14697 311 324 0 14375 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 61220

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61220 CPUtime=1181.89
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15356 0 0 0 118166 23 0 0 25 0 1 0 242721667 62689280 14697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15305 14697 311 324 0 14375 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 61220

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61220 CPUtime=1241.87
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15356 0 0 0 124164 23 0 0 25 0 1 0 242721667 62689280 14697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547788 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15305 14697 311 324 0 14375 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 61220

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61220 CPUtime=1301.87
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15356 0 0 0 130163 24 0 0 25 0 1 0 242721667 62689280 14697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15305 14697 311 324 0 14375 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 61220

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61204 CPUtime=1361.84
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 136160 24 0 0 25 0 1 0 242721667 62672896 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15301 14694 311 324 0 14371 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 61204

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492088/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61204 CPUtime=1421.83
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 142159 24 0 0 25 0 1 0 242721667 62672896 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15301 14694 311 324 0 14371 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 61204

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492088/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61204 CPUtime=1481.81
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 148156 25 0 0 25 0 1 0 242721667 62672896 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15301 14694 311 324 0 14371 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 61204

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61204 CPUtime=1541.8
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 154155 25 0 0 25 0 1 0 242721667 62672896 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15301 14694 311 324 0 14371 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 61204

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61180 CPUtime=1601.79
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 160153 26 0 0 25 0 1 0 242721667 62648320 14688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15295 14688 311 324 0 14365 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 61180

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61180 CPUtime=1661.76
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 166150 26 0 0 25 0 1 0 242721667 62648320 14688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15295 14688 311 324 0 14365 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 61180

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61180 CPUtime=1721.76
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 172149 27 0 0 25 0 1 0 242721667 62648320 14688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15295 14688 311 324 0 14365 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 61180

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61188 CPUtime=1781.74
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15360 0 0 0 178147 27 0 0 25 0 1 0 242721667 62656512 14690 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15297 14690 311 324 0 14367 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 61188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 5119
/proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956
[pid=4920] ppid=4918 vsize=61188 CPUtime=1800.04
/proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15360 0 0 0 179977 27 0 0 25 0 1 0 242721667 62656512 14690 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4920/statm: 15297 14690 311 324 0 14367 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 61188

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.62
CPU time (s): 1800.06
CPU user time (s): 1799.78
CPU system time (s): 0.287956
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 63696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.287956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15364
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= 12
involuntary context switches= 3145

runsolver used 1.40379 second user time and 3.99539 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Mon Apr 30 15:47:19 UTC 2007

IDJOB= 432701
IDBENCH= 1700
IDSOLVER= 199
FILE ID= node14/432701-1177948039

PBS_JOBID= 4727667

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-afiro.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432701-1177948039/instance-432701-1177948039.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-432701-1177948039 -o ROOT/results/node14/solver-432701-1177948039 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432701-1177948039/instance-432701-1177948039.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  d412dc68829850bad6555fa34c6ad801

RANDOM SEED= 490856012

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1550552 kB
Buffers:         46644 kB
Cached:         365960 kB
SwapCached:      12124 kB
Active:         296088 kB
Inactive:       141528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1550552 kB
SwapTotal:     4192956 kB
SwapFree:      4148856 kB
Dirty:            6624 kB
Writeback:           0 kB
Mapped:          31484 kB
Slab:            53292 kB
Committed_AS:  7948388 kB
PageTables:       1788 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node14 on Mon Apr 30 16:17:22 UTC 2007