Trace number 351213

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.16SAT (TO)-15 1800.07 1800.72

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.02	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.02	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.02	c type "bsolo -h" for help
0.00/0.02	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.02	c Time Limit set to 1800
0.00/0.02	c Memory Limit set to 1800 MB
0.00/0.02	c Instance file /tmp/evaluation/351213-1176589425/instance-351213-1176589425.opb
0.00/0.02	c File size is 24246 bytes.
0.00/0.03	c Highest Coefficient sum: 524468
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.005 s
0.00/0.03	c Var: 960 Constr: 35 0/0/35 Lit: 3510 Watch. Lit: 714
0.00/0.03	c Obj. Vars: 150 (15.625 % of total variables)
0.00/0.05	c Pre-processing Time: 0.028 s
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0    621       35     3510  100     3238    7020      0      0 0.03
0.00/0.05	c Switching off LPR mode.
0.00/0.06	o 3	0.038
0.57/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.57/0.66	c       79    621      115     6145   53     3491    7210     80   2078 0.04
0.57/0.66	c      179    621      215    17891   83     3691    7932    180   2796 0.06
0.57/0.66	c      429    621      465    26133   56     4191    8726    430   4663 0.09
0.57/0.66	c      905    621      941    99076  105     5143    9599    906   5656 0.16
0.57/0.66	c     1718    621     1754   212618  121     6769   10559   1719   5804 0.30
0.57/0.66	c     3039    621     3075   242177   78     9411   11615   3040   6829 0.45
0.57/0.66	c     5122    621     5158   302748   58    13577   12777   5123   8104 0.63
0.57/0.66	o 2	0.641
5.06/5.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.06/5.13	c     5138    621     5175   303456   58    13704    7210   5140   8015 0.64
5.06/5.13	c     5238    621     5275   306575   58    13904    7932   5240   8033 0.65
5.06/5.13	c     5491    621     5528   316522   57    14410    8726   5493   7992 0.69
5.06/5.13	c     5967    621     6004   331001   55    15362    9599   5969   8074 0.74
5.06/5.13	c     6780    621     6817   384657   56    16988   10559   6782   7669 0.88
5.06/5.13	c     8100    621     8137   452806   55    19628   11615   8102   6733 1.20
5.06/5.13	c    10181    621    10218   518052   50    23790   12777  10183   6522 1.56
5.06/5.13	c    13404    621     6605   289406   43    16471   14055   6570   6109 2.19
5.06/5.13	c    18341    621    11542   511123   44    26345   15461  11507   5229 3.51
5.06/5.13	o -3	5.101
12.46/12.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.46/12.54	c    22499    621    15701   747368   47    34756    7210  15666   4409 5.10
12.46/12.54	c    22599    621     3745   226679   60    10751    7932   3710   4271 5.29
12.46/12.54	c    22849    621     3995   240054   60    11251    8726   3960   4239 5.39
12.46/12.54	c    23324    621     4470   260320   58    12201    9599   4435   4174 5.59
12.46/12.54	c    24137    621     5283   300531   56    13827   10559   5248   4145 5.82
12.46/12.54	c    25459    621     6605   355703   53    16471   11615   6570   4076 6.25
12.46/12.54	c    27540    621     8686   467450   53    20633   12777   8651   3960 6.95
12.46/12.54	c    30763    621    11909   554420   46    27079   14055  11874   4176 7.37
12.46/12.54	c    35703    621     9426   396162   42    22113   15461   9391   4151 8.60
12.46/12.54	o -15	12.516
1800.04/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.70	c    41871    621    15595   734968   47    34544    7210  15560   3345 12.52
1800.04/1800.70	c    41971    621     3745   212320   56    10751    7932   3710   3312 12.67
1800.04/1800.70	c    42221    621     3995   218079   54    11251    8726   3960   3326 12.69
1800.04/1800.70	c    42696    621     4470   246960   55    12201    9599   4435   3349 12.75
1800.04/1800.70	c    43509    621     5283   281183   53    13827   10559   5248   3373 12.90
1800.04/1800.70	c    44829    621     6603   333650   50    16467   11615   6568   3394 13.21
1800.04/1800.70	c    46910    621     8684   442913   51    20629   12777   8649   3378 13.88
1800.04/1800.70	c    50135    621    11909   585157   49    27079   14055  11874   3368 14.88
1800.04/1800.70	c    55072    621     9045   461181   50    21351   15461   9010   3294 16.72
1800.04/1800.70	c    62578    621     8372   387237   46    20005   17008   8337   3395 18.43
1800.04/1800.70	c    73939    621    10766   488166   45    24793   18709  10731   3173 23.30
1800.04/1800.70	c    91083    621    18058  1134972   62    39377   20580  18023   2586 35.22
1800.04/1800.70	c   116903    621    11698   541691   46    26657   22639  11663   2154 54.26
1800.04/1800.71	c   155735    621    13437   798204   59    30135   24903  13402   1790 86.97
1800.04/1800.71	c   214087    621    13967   681540   48    31195   27394  13932   1555 137.59
1800.04/1800.71	c   301719    621    18172   648943   35    39605   30134  18137   1093 275.90
1800.04/1800.71	c   433272    621    20605  2809225  136    44471   33148  20570    742 583.76
1800.04/1800.71	c   630705    621    27984  1386264   49    59229   36463  27949    658 957.98
1800.04/1800.71	c   926957    621    17306  1039294   60    37873   40110  17271    529 1750.31
1800.04/1800.71	c Caught signal: 15
1800.04/1800.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	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.71	v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.04/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.71	c   44   979494  59338  1164670    34252  1563305  34217    544 1800.05
1800.04/1800.71	c Objective: -15
1800.04/1800.71	s SATISFIABLE
1800.04/1800.71	c Total time: 1800.05 s

Verifier Data (download as text)

OK	-15

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node62/watcher-351213-1176589425 -o ROOT/results/node62/solver-351213-1176589425 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351213-1176589425/instance-351213-1176589425.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: 1.00 1.00 1.00 3/64 17000
/proc/meminfo: memFree=1750824/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=3780 CPUtime=0
/proc/17000/stat : 17000 (bsolo3.0.16) D 16998 17000 15997 0 -1 4194304 215 0 3 0 0 0 0 0 18 0 1 0 91108030 3870720 186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8237744 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/17000/statm: 945 186 159 324 0 14 0

[startup+0.0950369 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17000
/proc/meminfo: memFree=1750824/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=4456 CPUtime=0.06
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 519 0 7 0 6 0 0 0 18 0 1 0 91108030 4562944 488 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 0 0 0
/proc/17000/statm: 1114 488 313 324 0 183 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4456

[startup+0.101034 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17000
/proc/meminfo: memFree=1750824/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=4456 CPUtime=0.07
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 519 0 7 0 7 0 0 0 18 0 1 0 91108030 4562944 488 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 0 0 0
/proc/17000/statm: 1114 488 313 324 0 183 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4456

[startup+0.301079 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17000
/proc/meminfo: memFree=1750824/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=6772 CPUtime=0.26
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 1100 0 7 0 26 0 0 0 19 0 1 0 91108030 6934528 1069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134587024 0 0 4096 16384 0 0 0 17 0 0 0
/proc/17000/statm: 1693 1069 313 324 0 762 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 6772

[startup+0.701161 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17000
/proc/meminfo: memFree=1750824/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=8736 CPUtime=0.67
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 1600 0 7 0 66 1 0 0 23 0 1 0 91108030 8945664 1569 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0
/proc/17000/statm: 2184 1569 313 324 0 1253 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8736

[startup+1.50131 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1743648/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=11616 CPUtime=1.47
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 2321 0 7 0 144 3 0 0 25 0 1 0 91108030 11894784 2290 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 2904 2290 313 324 0 1973 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11616

[startup+3.10163 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1739168/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=14084 CPUtime=3.07
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 2943 0 7 0 303 4 0 0 25 0 1 0 91108030 14422016 2912 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 3521 2912 313 324 0 2590 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14084

[startup+6.30126 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1737632/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=15512 CPUtime=6.26
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 3300 0 7 0 622 4 0 0 25 0 1 0 91108030 15884288 3269 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 3878 3269 313 324 0 2947 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15512

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1737696/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=15512 CPUtime=12.66
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 3300 0 7 0 1260 6 0 0 25 0 1 0 91108030 15884288 3269 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 3878 3269 313 324 0 2947 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 15512

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1736672/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=16632 CPUtime=25.46
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 3569 0 7 0 2536 10 0 0 25 0 1 0 91108030 17031168 3538 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 4158 3538 313 324 0 3227 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 16632

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1730720/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=22652 CPUtime=51.05
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 5076 0 7 0 5090 15 0 0 25 0 1 0 91108030 23195648 5045 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 5663 5045 313 324 0 4732 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 22652

[startup+102.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1728672/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=24688 CPUtime=102.23
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 5588 0 7 0 10200 23 0 0 25 0 1 0 91108030 25280512 5557 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 6172 5557 313 324 0 5241 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 24688

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1728608/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=24692 CPUtime=162.21
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 5591 0 7 0 16191 30 0 0 25 0 1 0 91108030 25284608 5560 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 6173 5560 313 324 0 5242 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 24692

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1728608/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=24692 CPUtime=222.19
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 5591 0 7 0 22183 36 0 0 25 0 1 0 91108030 25284608 5560 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 6173 5560 313 324 0 5242 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 24692

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1723616/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=29600 CPUtime=282.16
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 6824 0 7 0 28172 44 0 0 25 0 1 0 91108030 30310400 6793 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8537431 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 7400 6793 313 324 0 6469 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 29600

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1710176/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=43040 CPUtime=342.14
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 10183 0 7 0 34161 53 0 0 25 0 1 0 91108030 44072960 10152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 10760 10152 313 324 0 9829 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 43040

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1699488/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=53640 CPUtime=402.12
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 12834 0 7 0 40151 61 0 0 25 0 1 0 91108030 54927360 12803 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 13410 12803 313 324 0 12479 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 53640

[startup+462.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 17001
/proc/meminfo: memFree=1689440/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=63700 CPUtime=462.11
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15348 0 7 0 46141 70 0 0 25 0 1 0 91108030 65228800 15317 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15925 15317 313 324 0 14994 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 63700

[startup+522.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 17001
/proc/meminfo: memFree=1689376/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=63684 CPUtime=522.08
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15348 0 7 0 52134 74 0 0 25 0 1 0 91108030 65212416 15315 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15921 15315 313 324 0 14990 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 63684

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1689440/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=63684 CPUtime=582.06
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15348 0 7 0 58129 77 0 0 25 0 1 0 91108030 65212416 15315 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15921 15315 313 324 0 14990 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 63684

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1689632/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=63268 CPUtime=642.05
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15350 0 7 0 64120 85 0 0 25 0 1 0 91108030 64786432 15210 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15817 15210 313 324 0 14886 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 63268


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691744/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61216 CPUtime=881.95
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15350 0 7 0 88093 102 0 0 25 0 1 0 91108030 62685184 14697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15304 14697 313 324 0 14373 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 61216

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691744/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61216 CPUtime=941.93
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15350 0 7 0 94086 107 0 0 25 0 1 0 91108030 62685184 14697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15304 14697 313 324 0 14373 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 61216

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691808/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61228 CPUtime=1001.92
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15354 0 7 0 100080 112 0 0 25 0 1 0 91108030 62697472 14701 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8537941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15307 14701 313 324 0 14376 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 61228

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691744/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61228 CPUtime=1061.9
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15354 0 7 0 106073 117 0 0 25 0 1 0 91108030 62697472 14701 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15307 14701 313 324 0 14376 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 61228

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691808/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61224 CPUtime=1121.88
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15354 0 7 0 112067 121 0 0 25 0 1 0 91108030 62693376 14700 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15306 14700 313 324 0 14375 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 61224

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691744/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61224 CPUtime=1181.85
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15354 0 7 0 118060 125 0 0 25 0 1 0 91108030 62693376 14700 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15306 14700 313 324 0 14375 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 61224

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691680/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61224 CPUtime=1241.83
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15354 0 7 0 124055 128 0 0 25 0 1 0 91108030 62693376 14700 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15306 14700 313 324 0 14375 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 61224

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691680/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61224 CPUtime=1301.82
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15354 0 7 0 130048 134 0 0 25 0 1 0 91108030 62693376 14700 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15306 14700 313 324 0 14375 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 61224

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691744/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61208 CPUtime=1361.79
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 136041 138 0 0 25 0 1 0 91108030 62676992 14697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15302 14697 313 324 0 14371 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 61208

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691680/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61208 CPUtime=1421.77
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 142034 143 0 0 25 0 1 0 91108030 62676992 14697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8537950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15302 14697 313 324 0 14371 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 61208

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691680/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61208 CPUtime=1481.75
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 148029 146 0 0 25 0 1 0 91108030 62676992 14697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15302 14697 313 324 0 14371 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 61208

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691680/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61208 CPUtime=1541.73
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 154023 150 0 0 25 0 1 0 91108030 62676992 14697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15302 14697 313 324 0 14371 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 61208

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691616/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61184 CPUtime=1601.7
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 160017 153 0 0 25 0 1 0 91108030 62652416 14691 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15296 14691 313 324 0 14365 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 61184

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691680/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61184 CPUtime=1661.68
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 166012 156 0 0 25 0 1 0 91108030 62652416 14691 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15296 14691 313 324 0 14365 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 61184

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691616/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61184 CPUtime=1721.67
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 172006 161 0 0 25 0 1 0 91108030 62652416 14691 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15296 14691 313 324 0 14365 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 61184

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691552/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61192 CPUtime=1781.64
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15358 0 7 0 177996 168 0 0 25 0 1 0 91108030 62660608 14693 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15298 14693 313 324 0 14367 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 61192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691552/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61192 CPUtime=1800.04
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15358 0 7 0 179835 169 0 0 25 0 1 0 91108030 62660608 14693 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15298 14693 313 324 0 14367 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 61192

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17001
/proc/meminfo: memFree=1691552/2055920 swapFree=4185932/4192956
[pid=17000] ppid=16998 vsize=61192 CPUtime=1800.04
/proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15358 0 7 0 179835 169 0 0 25 0 1 0 91108030 62660608 14693 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17000/statm: 15298 14693 313 324 0 14367 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 61192

Child status: 15
Real time (s): 1800.72
CPU time (s): 1800.07
CPU user time (s): 1798.36
CPU system time (s): 1.70574
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 63820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.70574
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15359
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 1904

runsolver used 1.13983 second user time and 3.79042 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Sat Apr 14 22:23:45 UTC 2007

IDJOB= 351213
IDBENCH= 1700
IDSOLVER= 163
FILE ID= node62/351213-1176589425

PBS_JOBID= 4556932

Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/351213-1176589425/instance-351213-1176589425.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-351213-1176589425 -o ROOT/results/node62/solver-351213-1176589425 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351213-1176589425/instance-351213-1176589425.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  d412dc68829850bad6555fa34c6ad801

RANDOM SEED= 928522411

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.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.279
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.279
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:       1751168 kB
Buffers:         14196 kB
Cached:         181736 kB
SwapCached:       2356 kB
Active:          57212 kB
Inactive:       150600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751168 kB
SwapTotal:     4192956 kB
SwapFree:      4185932 kB
Dirty:            4400 kB
Writeback:           0 kB
Mapped:          18628 kB
Slab:            82884 kB
Committed_AS:   135972 kB
PageTables:       1468 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= 66560 MiB

End job on node62 on Sat Apr 14 22:53:48 UTC 2007