Trace number 455016

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)-16 1800.34 1800.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_2.opb
MD5SUM493eec42e81abed935f584a4e365015a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-84
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -84
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31340
Sum of products size (including duplicates)62680
Number of different products15670
Sum of products size31340

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/455016-1178035456/instance-455016-1178035456.opb
0.00/0.00	c File size is 431169 bytes.
0.29/0.30	c Highest Coefficient sum: 1000
0.29/0.30	c Parsing was ok!!
0.29/0.30	c Total parsing time: 0.3 s
0.29/0.35	c Var: 32340 Constr: 64182 31840/1002/31340 Lit: 222380 Watch. Lit: 190042
0.29/0.35	c Obj. Vars: 500 (1.54607 % of total variables)
179.33/179.43	c Pre-processing Time: 179.361 s
179.33/179.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.33/179.43	c        0  32340    64182   222380    3   190042  525974      0      0 179.36
179.33/179.43	c Switching off LPR mode.
179.33/179.47	o -1	179.403
179.42/179.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.42/179.53	c        0  32340    64183   222880    3   190045  526308      1      0 179.42
179.42/179.53	o -2	179.462
179.42/179.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.42/179.59	c        0  32340    64184   223380    3   190049  526808      2      0 179.48
179.42/179.59	o -3	179.522
179.52/179.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.52/179.65	c        0  32340    64185   223880    3   190054  527474      3      0 179.54
179.52/179.65	o -4	179.582
179.62/179.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.62/179.71	c        0  32340    64186   224380    3   190060  528308      4      0 179.60
179.62/179.71	o -5	179.643
179.62/179.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.62/179.77	c        0  32340    64187   224880    3   190067  529308      5      0 179.66
179.62/179.77	o -6	179.704
179.72/179.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.72/179.83	c        0  32340    64188   225380    3   190075  530308      6      0 179.72
179.72/179.83	o -7	179.766
179.72/179.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.72/179.90	c        0  32340    64189   225880    3   190084  531308      7      0 179.78
179.72/179.90	o -8	179.828
179.82/179.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.82/179.96	c        0  32340    64190   226380    3   190094  532308      8      0 179.84
179.82/179.96	o -9	179.89
179.92/180.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.92/180.02	c        0  32340    64191   226880    3   190105  533308      9      0 179.91
179.92/180.02	o -10	179.952
179.92/180.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.92/180.08	c        0  32340    64192   227380    3   190117  534308     10      0 179.97
179.92/180.08	o -11	180.015
180.02/180.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.02/180.15	c        0  32340    64193   227880    3   190130  535308     11      0 180.03
180.02/180.15	o -12	180.078
180.12/180.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.12/180.21	c        0  32340    64194   228380    3   190144  536308     12      0 180.09
180.12/180.21	o -13	180.141
180.12/180.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.12/180.27	c        0  32340    64195   228880    3   190159  537308     13      0 180.16
180.12/180.27	o -14	180.204
180.23/180.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.23/180.38	c        0  32340    64196   229380    3   190175  538308     14      0 180.22
180.23/180.38	o -15	180.313
197.12/197.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
197.12/197.26	c        4  32340    64201   232205    3   190200  538308     19      0 180.33
197.12/197.26	c      104  32340    64301   291063    4   190400  592139    119      0 181.46
197.12/197.26	c      354  32340    64551   445460    6   190900  651353    369      1 184.02
197.12/197.26	c      829  32340    65026   747127   11   191850  716489    844      4 187.87
197.12/197.26	c     1642  32340    65839  1299004   19   193476  788138   1657      8 194.22
197.12/197.26	o -16	197.186
1800.07/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.71	c     2469  32340    66667  1983728   29   195148  538308   2485     12 197.21
1800.07/1800.71	c     2569  32340    66767  2033231   30   195348  592139   2585     13 197.55
1800.07/1800.71	c     2819  32340    67017  2158231   32   195848  651353   2835     14 197.91
1800.07/1800.71	c     3294  32340    67492  2436455   36   196798  716489   3310     16 202.93
1800.07/1800.71	c     4107  32340    68305  2977748   43   198424  788138   4123     19 211.55
1800.07/1800.71	c     5427  32340    69625  3865348   55   201064  866952   5443     24 224.81
1800.07/1800.71	c     7508  32340    71706  5250852   73   205226  953648   7524     30 247.41
1800.07/1800.71	c    10731  32340    74929  7324319   97   211672  500000  10747     39 274.79
1800.07/1800.71	c    15667  32340    79865 10578231  132   221544  550001  15683     49 318.46
1800.07/1800.71	c    23173  32340    87371 15545148  177   236556  605002  23189     59 389.55
1800.07/1800.71	c    34534  32340    98732 22994177  232   259278  665503  34550     70 487.76
1800.07/1800.71	c    51678  32340   115876 34388148  296   293566  732054  51694     83 620.07
1800.07/1800.71	c    77497  32340   141695 52175720  368   345204  805260  77513     94 821.55
1800.07/1800.71	c   116329  32340   180527 78827124  436   422868  885787 116345    111 1040.71
1800.07/1800.71	c   174681  32340   238879 110788382  463   539572  974366 174697    123 1411.93
1800.07/1800.71	c Caught signal: 15
1800.07/1800.71	v x1 -x2 x3 x4 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 -x31
1800.07/1800.71	v 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 -x57
1800.07/1800.71	v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83
1800.07/1800.71	v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107
1800.07/1800.71	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1800.07/1800.71	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1800.07/1800.71	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1800.07/1800.71	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1800.07/1800.71	v x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
1800.07/1800.71	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1800.07/1800.71	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1800.07/1800.71	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1800.07/1800.71	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1800.07/1800.71	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1800.07/1800.71	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1800.07/1800.71	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1800.07/1800.71	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1800.07/1800.71	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1800.07/1800.71	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1800.07/1800.71	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1800.07/1800.71	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1800.07/1800.71	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1800.07/1800.71	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x791 -x720 -x789 -x576 -x562 -x999
1800.07/1800.71	v -x865 -x778 -x746 -x628 -x843 -x680 -x650 -x594 -x538 -x550 -x655 -x774 -x868 -x731 -x503 -x573 -x570 -x816 -x768 -x519 -x578
1800.07/1800.71	v -x601 -x606 -x610 -x625 -x629 -x644 -x727 -x769 -x796 -x837 -x851 -x888 -x926 -x931 -x945 -x957 -x959 -x501 x892 -x711 x631
1800.07/1800.71	v x797 x564 -x514 x587 x783 x803 x662 -x697 -x653 x878 -x974 x898 -x858 x668 x929 -x507 -x761 -x966 -x557 -x915 x591 -x776 -x512
1800.07/1800.71	v -x541 -x546 x560 x561 -x574 -x588 -x673 -x728 -x738 -x810 -x812 -x828 -x869 -x885 -x947 -x502 -x645 -x946 -x700 -x567 -x967
1800.07/1800.71	v -x824 -x949 -x887 -x963 -x544 -x522 -x617 -x718 -x787 -x691 -x518 -x526 -x589 -x623 -x671 -x683 -x753 -x755 -x798 -x820 -x829
1800.07/1800.71	v -x971 -x763 -x558 -x705 -x686 -x734 -x800 -x704 -x961 -x938 -x652 -x918 -x582 -x870 -x766 -x702 -x656 -x809 -x719 -x551 -x575
1800.07/1800.71	v -x602 -x630 -x712 -x744 -x799 -x891 -x920 -x504 -x516 -x989 -x710 -x983 -x747 -x984 -x598 -x924 -x535 -x690 -x693 -x506 -x907
1800.07/1800.71	v -x875 -x521 -x524 -x532 -x539 -x572 -x595 -x642 -x678 -x839 -x876 -x916 -x505 -x882 -x833 -x861 -x831 -x988 -x638 -x580 -x823
1800.07/1800.71	v -x973 -x542 -x921 -x510 -x817 -x807 -x699 -x517 -x545 -x605 -x681 -x752 -x775 -x813 -x899 -x960 -x706 -x867 -x646 -x741 -x622
1800.07/1800.71	v -x632 -x982 -x835 -x732 -x579 -x792 -x571 -x568 -x723 -x893 -x540 -x548 -x661 -x672 -x679 -x688 -x757 -x836 -x922 -x941 -x969
1800.07/1800.71	v -x665 -x785 -x972 -x600 -x840 -x657 -x615 -x802 -x914 -x725 -x897 -x939 -x729 -x730 -x754 -x748 -x520 -x627 -x651 -x654 -x659
1800.07/1800.71	v -x714 -x759 -x881 -x883 -x993 -x508 -x670 -x709 -x620 -x736 -x902 -x666 -x742 -x758 -x677 -x708 -x911 -x781 -x857 -x586 -x658
1800.07/1800.71	v -x511 -x515 -x649 -x663 -x968 -x509 -x749 -x927 -x841 -x955 -x772 -x827 -x904 -x844 -x513 -x826 -x923 -x640 -x676 -x765 -x793
1800.07/1800.71	v -x852 -x913 -x987 -x767 -x619 -x533 -x788 -x643 -x942 -x950 -x596 -x565 -x863 -x990 -x890 -x534 -x636 -x896 -x930 -x944 -x996
1800.07/1800.71	v -x786 -x994 -x530 -x952 -x853 -x985 -x978 -x722 -x698 -x593 -x599 -x733 -x739 -x856 -x937 -x618 -x777 -x597 -x581 -x818 -x934
1800.07/1800.71	v -x611 -x675 -x674 -x717 -x750 -x773 -x808 -x822 -x928 -x849 -x556 -x981 -x804 -x932 -x590 -x692 -x850 -x624 -x543 -x735 -x647
1800.07/1800.71	v -x847 -x903 -x917 -x737 -x905 -x559 -x694 -x713 -x779 -x900 -x948 -x669 -x616 -x756 -x873 -x609 -x607 -x536 -x577 -x584 -x716
1800.07/1800.71	v -x745 -x687 -x637 -x956 -x626 -x780 -x848 -x919 -x621 -x523 -x547 -x553 -x815 -x721 -x958 -x689 -x814 -x879 -x970 -x954 -x795
1800.07/1800.71	v -x592 -x634 -x529 -x859 -x860 -x936 -x608 -x953 -x855 -x604 -x525 -x528 -x555 -x583 -x790 -x908 -x912 -x874 -x866 -x695 -x554
1800.07/1800.71	v -x975 -x998 -x901 -x527 -x819 -x760 -x794 -x614 -x566 -x740 -x965 -x943 -x549 -x825 -x872 -x933 -x552 -x762 -x877 -x845 -x635
1800.07/1800.71	v -x743 -x830 -x641 -x660 -x806 -x864 -x682 -x801 -x834 -x537 -x648 -x770 -x980 -x986 -x664 -x805 -x862 x880 -x612 -x935 -x696
1800.07/1800.71	v -x979 -x995 -x832 -x784 -x563 -x889 -x940 -x1000 -x925 -x909 -x821 -x685 -x910 -x531 -x846 -x977 -x842 -x639 -x751 -x838
1800.07/1800.71	v -x782 -x569 -x613 -x603 -x726 -x707 -x701 -x684 -x811 -x906 -x633 -x991 -x771 -x964 -x962 -x764 -x997 -x724 -x992 -x884 -x951
1800.07/1800.71	v -x894 -x585 -x667 -x854 -x895 -x715 -x703 -x976 -x871 -x886
1800.07/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.71	c   34   203056    493   646998   267254 130346345 203072    112 1800.08
1800.07/1800.71	c Objective: -16
1800.07/1800.71	s SATISFIABLE
1800.07/1800.71	c Total time: 1800.08 s

Verifier Data (download as text)

OK	-16

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node39/watcher-455016-1178035456 -o ROOT/results/node39/solver-455016-1178035456 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455016-1178035456/instance-455016-1178035456.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.99 3/77 23410
/proc/meminfo: memFree=1836224/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=12160 CPUtime=0
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 251457618 12451840 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 3040 333 279 324 0 2004 0

[startup+0.0692491 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23410
/proc/meminfo: memFree=1836224/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=6548 CPUtime=0.06
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 953 0 0 0 6 0 0 0 18 0 1 0 251457618 6705152 923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 1637 923 312 324 0 601 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6548

[startup+0.102253 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23410
/proc/meminfo: memFree=1836224/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=7800 CPUtime=0.09
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 1257 0 0 0 9 0 0 0 18 0 1 0 251457618 7987200 1227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 1950 1227 324 324 0 914 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7800

[startup+0.301288 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23410
/proc/meminfo: memFree=1836224/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=14000 CPUtime=0.29
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 2937 0 0 0 28 1 0 0 19 0 1 0 251457618 14336000 2867 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 3500 2867 393 324 0 2464 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14000

[startup+0.701355 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23410
/proc/meminfo: memFree=1836224/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=21168 CPUtime=0.69
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4734 0 0 0 67 2 0 0 22 0 1 0 251457618 21676032 4558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 5292 4558 305 324 0 4362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21168

[startup+1.50149 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1819128/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=21168 CPUtime=1.49
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 147 2 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11525971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 5292 4559 305 324 0 4362 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21168

[startup+3.10176 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1819000/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=21168 CPUtime=3.09
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 307 2 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 5292 4559 305 324 0 4362 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21168

[startup+6.3013 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1818744/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=21168 CPUtime=6.29
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 626 3 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 5292 4559 305 324 0 4362 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21168

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1818744/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=21168 CPUtime=12.69
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 1266 3 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583062 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 5292 4559 305 324 0 4362 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21168

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 3/78 23411
/proc/meminfo: memFree=1818808/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=21168 CPUtime=25.49
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 2545 4 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11526231 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 5292 4559 305 324 0 4362 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21168

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1818872/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=21168 CPUtime=51.07
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 5102 5 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 5292 4559 305 324 0 4362 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21168

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1818872/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=21168 CPUtime=102.25
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 10217 8 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11534122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 5292 4559 305 324 0 4362 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 21168

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1818872/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=21168 CPUtime=162.22
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 16212 10 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 5292 4559 305 324 0 4362 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 21168

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1773880/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=66032 CPUtime=222.21
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 16064 0 0 0 22201 20 0 0 25 0 1 0 251457618 67616768 15824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 16508 15824 311 324 0 15578 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 66032

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1720184/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=119780 CPUtime=282.19
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 29515 0 0 0 28190 29 0 0 25 0 1 0 251457618 122654720 29275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 29945 29275 311 324 0 29015 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 119780

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1661560/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=177940 CPUtime=342.17
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 44060 0 0 0 34180 37 0 0 25 0 1 0 251457618 182210560 43820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 44485 43820 311 324 0 43555 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 177940

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1610680/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=229716 CPUtime=402.14
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 56997 0 0 0 40168 46 0 0 25 0 1 0 251457618 235229184 56757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 57429 56757 311 324 0 56499 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 229716

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1550968/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=288536 CPUtime=462.12
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 71682 0 0 0 46155 57 0 0 25 0 1 0 251457618 295460864 71442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 72134 71442 311 324 0 71204 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 288536

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1486328/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=353424 CPUtime=522.11
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 87906 0 0 0 52144 67 0 0 25 0 1 0 251457618 361906176 87666 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 88356 87666 311 324 0 87426 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 353424

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1416952/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=422364 CPUtime=582.08
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 105155 0 0 0 58130 78 0 0 25 0 1 0 251457618 432500736 104915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 105591 104915 311 324 0 104661 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 422364

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=1354360/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=484508 CPUtime=642.06
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 120701 0 0 0 64116 90 0 0 25 0 1 0 251457618 496136192 120461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 121127 120461 311 324 0 120197 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 484508


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=980728/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=858964 CPUtime=941.96
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 214297 0 0 0 94045 151 0 0 25 0 1 0 251457618 879579136 214057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 214741 214057 311 324 0 213811 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 858964

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=883512/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=954876 CPUtime=1001.93
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 238294 0 0 0 100028 165 0 0 25 0 1 0 251457618 977793024 238054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 238719 238054 311 324 0 237789 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 954876

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=756856/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1082776 CPUtime=1061.91
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 270264 0 0 0 106006 185 0 0 25 0 1 0 251457618 1108762624 270024 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 270694 270024 311 324 0 269764 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 1082776

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=617528/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1220944 CPUtime=1121.89
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 304786 0 0 0 111980 209 0 0 25 0 1 0 251457618 1250246656 304546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551297 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 305236 304546 311 324 0 304306 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1220944

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=525368/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1312144 CPUtime=1181.88
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 327582 0 0 0 117963 225 0 0 25 0 1 0 251457618 1343635456 327342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 328036 327342 311 324 0 327106 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1312144

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=492024/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1345220 CPUtime=1241.85
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 335868 0 0 0 123955 230 0 0 25 0 1 0 251457618 1377505280 335628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 336305 335628 311 324 0 335375 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1345220

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=459576/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1377564 CPUtime=1301.83
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 343937 0 0 0 129947 236 0 0 25 0 1 0 251457618 1410625536 343697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 344391 343697 311 324 0 343461 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1377564

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=422328/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1415040 CPUtime=1361.81
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 353307 0 0 0 135936 245 0 0 25 0 1 0 251457618 1449000960 353067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 353760 353067 311 324 0 352830 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1415040

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=385336/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1451452 CPUtime=1421.8
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 362432 0 0 0 141928 252 0 0 25 0 1 0 251457618 1486286848 362192 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 362863 362192 311 324 0 361933 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1451452

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23411
/proc/meminfo: memFree=345720/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1491584 CPUtime=1481.77
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 372457 0 0 0 147918 259 0 0 25 0 1 0 251457618 1527382016 372217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 372896 372217 311 324 0 371966 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1491584

[startup+1542.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 23411
/proc/meminfo: memFree=310712/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1526084 CPUtime=1541.75
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 381095 0 0 0 153910 265 0 0 25 0 1 0 251457618 1562710016 380855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 381521 380855 311 324 0 380591 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1526084

[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 23411
/proc/meminfo: memFree=274296/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1562612 CPUtime=1601.72
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 390214 0 0 0 159903 269 0 0 25 0 1 0 251457618 1600114688 389974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 390653 389974 311 324 0 389723 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1562612

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23411
/proc/meminfo: memFree=234552/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1601956 CPUtime=1661.71
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 400060 0 0 0 165895 276 0 0 25 0 1 0 251457618 1640402944 399820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 400489 399820 311 324 0 399559 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1601956

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23411
/proc/meminfo: memFree=194424/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1643088 CPUtime=1721.69
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 410329 0 0 0 171887 282 0 0 25 0 1 0 251457618 1682522112 410089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 410772 410089 311 324 0 409842 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1643088

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23411
/proc/meminfo: memFree=155192/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1681588 CPUtime=1781.67
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 419947 0 0 0 177878 289 0 0 25 0 1 0 251457618 1721946112 419707 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 420397 419707 311 324 0 419467 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1681588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23411
/proc/meminfo: memFree=139384/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=1696884 CPUtime=1800.07
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 423780 0 0 0 179715 292 0 0 25 0 1 0 251457618 1737609216 423540 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 424221 423540 311 324 0 423291 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1696884

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23411
/proc/meminfo: memFree=139384/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=0 CPUtime=1800.17
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194308 423784 0 0 0 179716 301 0 0 25 0 1 0 251457618 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23411
/proc/meminfo: memFree=139384/2055920 swapFree=4159404/4192956
[pid=23410] ppid=23408 vsize=0 CPUtime=1800.26
/proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194308 423784 0 0 0 179716 310 0 0 25 0 1 0 251457618 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/23410/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.98
CPU time (s): 1800.34
CPU user time (s): 1797.16
CPU system time (s): 3.18052
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 1696884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.16
system time used= 3.18052
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423784
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= 4557

runsolver used 1.44678 second user time and 4.07038 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Tue May  1 16:04:16 UTC 2007

IDJOB= 455016
IDBENCH= 48235
IDSOLVER= 199
FILE ID= node39/455016-1178035456

PBS_JOBID= 4728440

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_2.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455016-1178035456/instance-455016-1178035456.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-455016-1178035456 -o ROOT/results/node39/solver-455016-1178035456 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/455016-1178035456/instance-455016-1178035456.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  493eec42e81abed935f584a4e365015a

RANDOM SEED= 593304982

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1836640 kB
Buffers:         57088 kB
Cached:          70432 kB
SwapCached:      13784 kB
Active:         102704 kB
Inactive:        49148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1836640 kB
SwapTotal:     4192956 kB
SwapFree:      4159404 kB
Dirty:            7028 kB
Writeback:           0 kB
Mapped:          31140 kB
Slab:            52696 kB
Committed_AS:  3922208 kB
PageTables:       2012 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 node39 on Tue May  1 16:34:19 UTC 2007