Trace number 454851

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.33 1800.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_1.opb
MD5SUMfdd11e948ae8a5c2828dd3ba6f1a1add
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-85
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -85
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)31432
Sum of products size (including duplicates)62864
Number of different products15716
Sum of products size31432

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/454851-1178032433/instance-454851-1178032433.opb
0.00/0.00	c File size is 432333 bytes.
0.09/0.19	c Highest Coefficient sum: 1000
0.09/0.19	c Parsing was ok!!
0.09/0.19	c Total parsing time: 0.192 s
0.19/0.25	c Var: 32432 Constr: 64366 31932/1002/31432 Lit: 223024 Watch. Lit: 190594
0.19/0.25	c Obj. Vars: 500 (1.54169 % of total variables)
179.23/179.32	c Pre-processing Time: 179.26 s
179.23/179.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.23/179.33	c        0  32432    64366   223024    3   190594  528661      0      0 179.26
179.23/179.33	c Switching off LPR mode.
179.23/179.36	o -1	179.301
179.33/179.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.33/179.42	c        0  32432    64367   223524    3   190597  528994      1      0 179.32
179.33/179.42	o -2	179.361
179.33/179.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.33/179.49	c        0  32432    64368   224024    3   190601  529494      2      0 179.38
179.33/179.49	o -3	179.421
179.42/179.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.42/179.55	c        0  32432    64369   224524    3   190606  530161      3      0 179.44
179.42/179.55	o -4	179.482
179.52/179.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.52/179.61	c        0  32432    64370   225024    3   190612  530994      4      0 179.50
179.52/179.61	o -5	179.544
179.52/179.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.52/179.67	c        0  32432    64371   225524    3   190619  531994      5      0 179.56
179.52/179.67	o -6	179.606
179.62/179.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.62/179.73	c        0  32432    64372   226024    3   190627  532994      6      0 179.62
179.62/179.73	o -7	179.669
179.62/179.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.62/179.80	c        0  32432    64373   226524    3   190636  533994      7      0 179.69
179.62/179.80	o -8	179.732
179.73/179.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.73/179.86	c        0  32432    64374   227024    3   190646  534994      8      0 179.75
179.73/179.86	o -9	179.795
179.83/179.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.83/179.92	c        0  32432    64375   227524    3   190657  535994      9      0 179.81
179.83/179.92	o -10	179.859
179.83/179.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.83/179.99	c        0  32432    64376   228024    3   190669  536994     10      0 179.88
179.83/179.99	o -11	179.922
179.93/180.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.93/180.05	c        0  32432    64377   228524    3   190682  537994     11      0 179.94
179.93/180.05	o -12	179.986
180.02/180.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.02/180.11	c        0  32432    64378   229024    3   190696  538994     12      0 180.00
180.02/180.11	o -13	180.05
180.12/180.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.12/180.21	c        0  32432    64379   229524    3   190711  539994     13      0 180.07
180.12/180.21	o -14	180.151
192.32/192.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.32/192.41	c        3  32432    64383   231790    3   190733  539994     17      0 180.17
192.32/192.41	c      103  32432    64483   288127    4   190933  593994    117      0 181.25
192.32/192.41	c      353  32432    64733   437189    6   191433  653394    367      1 183.65
192.32/192.41	c      828  32432    65208   745640   11   192383  718734    842      4 187.50
192.32/192.41	c     1641  32432    66021  1351955   20   194009  790608   1655      8 191.65
192.32/192.41	o -15	192.345
1800.05/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.71	c     1906  32432    66287  1587382   23   194556  539994   1921      9 192.37
1800.05/1800.71	c     2006  32432    66387  1637383   24   194756  593994   2021     10 192.88
1800.05/1800.71	c     2256  32432    66637  1762391   26   195256  653394   2271     11 193.71
1800.05/1800.71	c     2731  32432    67112  2039722   30   196206  718734   2746     13 198.38
1800.05/1800.71	c     3544  32432    67925  2571930   37   197832  790608   3559     17 206.95
1800.05/1800.71	c     4864  32432    69245  3444567   49   200472  869669   4879     22 219.50
1800.05/1800.71	c     6945  32432    71326  4805136   67   204634  956636   6960     28 240.69
1800.05/1800.71	c    10168  32432    74549  6930120   92   211080  500000  10183     38 264.29
1800.05/1800.71	c    15104  32432    79485 10164595  127   220952  550001  15119     49 307.34
1800.05/1800.71	c    22610  32432    86991 15252485  175   235964  605002  22625     59 380.05
1800.05/1800.71	c    33971  32432    98352 23080977  234   258686  665503  33986     69 486.96
1800.05/1800.71	c    51115  32432   115496 34387985  297   292974  732054  51130     84 603.09
1800.05/1800.71	c    76934  32432   141315 51914863  367   344612  805260  76949    100 766.62
1800.05/1800.71	c   115766  32432   180147 78127428  433   422276  885787 115781    114 1013.36
1800.05/1800.71	c   174118  32432   238499 117129478  491   538980  974366 174133    106 1636.38
1800.05/1800.71	c Caught signal: 15
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.71	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x884 -x887 -x778 -x916 -x794 -x836
1800.05/1800.71	v -x993 -x650 -x922 -x863 -x528 -x691 -x560 -x764 -x927 -x541 -x673 -x737 -x712 -x869 -x568 -x930 -x783 -x531 -x624 -x507 -x517
1800.05/1800.71	v -x519 -x534 -x540 -x575 -x576 -x578 -x600 -x611 -x631 -x663 -x850 -x891 -x901 -x928 -x934 -x956 -x965 -x501 x636 x803 -x523
1800.05/1800.71	v x559 x570 x668 -x894 -x957 -x512 -x543 -x730 -x874 x920 x785 -x538 x699 -x825 x816 x871 -x914 x527 -x592 -x644 x648 -x655 -x660
1800.05/1800.71	v x678 -x681 x768 -x782 -x795 -x961 -x999 -x502 -x981 -x671 -x997 -x806 -x926 -x585 -x828 -x837 -x506 -x847 -x814 -x858 -x625
1800.05/1800.71	v -x896 -x583 -x546 -x815 -x868 -x935 -x865 -x518 -x526 -x547 -x587 -x588 -x607 -x622 -x634 -x651 -x750 -x833 -x835 -x882 -x897
1800.05/1800.71	v -x954 -x503 -x544 -x751 -x809 -x777 -x679 -x789 -x904 -x652 -x755 -x900 -x933 -x561 -x677 -x740 -x513 -x727 -x595 -x796 -x571
1800.05/1800.71	v -x530 -x563 -x574 -x614 -x626 -x667 -x675 -x689 -x693 -x714 -x860 -x875 -x910 -x504 -x879 -x968 -x602 -x598 -x903 -x818 -x653
1800.05/1800.71	v -x757 -x802 -x781 -x787 -x942 -x866 -x690 -x945 -x620 -x941 -x532 -x618 -x772 -x982 -x676 -x710 -x515 -x516 -x577 -x621 -x704
1800.05/1800.71	v -x723 -x728 -x765 -x830 -x832 -x872 -x937 -x973 -x505 -x857 -x998 -x854 -x966 -x807 -x684 -x720 -x529 -x733 -x520 -x771 -x709
1800.05/1800.71	v -x716 -x841 -x797 -x509 -x562 -x581 -x713 -x729 -x844 -x963 -x724 -x619 -x746 -x952 -x556 -x880 -x989 -x842 -x851 -x694 -x535
1800.05/1800.71	v -x915 -x988 -x744 -x992 -x536 -x542 -x554 -x604 -x736 -x843 -x919 -x552 -x938 -x776 -x908 -x975 -x859 -x738 -x819 -x929 -x905
1800.05/1800.71	v -x944 -x539 -x510 -x599 -x617 -x639 -x672 -x756 -x784 -x921 -x932 -x508 -x629 -x870 -x918 -x971 -x991 -x1000 -x773 -x726
1800.05/1800.71	v -x645 -x591 -x640 -x955 -x670 -x565 -x584 -x593 -x613 -x642 -x674 -x698 -x721 -x749 -x994 -x856 -x805 -x849 -x612 -x623 -x829
1800.05/1800.71	v -x800 -x747 -x569 -x923 -x812 -x811 -x606 -x662 -x731 -x821 -x616 -x665 -x683 -x692 -x701 -x734 -x748 -x754 -x767 -x917 -x627
1800.05/1800.71	v -x759 -x925 -x638 -x601 -x537 -x953 -x551 -x969 -x572 -x974 -x632 -x931 -x548 -x597 -x637 -x718 -x876 -x511 -x895 -x661 -x664
1800.05/1800.71	v -x700 -x960 -x774 -x669 -x596 -x967 -x685 -x877 -x573 -x766 -x913 -x608 -x946 -x680 -x888 -x711 -x707 -x873 -x822 -x820 -x722
1800.05/1800.71	v -x522 -x605 -x657 -x719 -x753 -x792 -x853 -x940 -x706 -x628 -x985 -x659 -x725 -x770 -x582 -x793 -x886 -x557 -x558 -x696 -x834
1800.05/1800.71	v -x939 -x514 -x641 -x899 -x799 -x525 -x656 -x995 -x861 -x564 -x643 -x580 -x885 -x962 -x827 -x760 -x703 -x909 -x959 -x752 -x838
1800.05/1800.71	v -x804 -x649 -x798 -x864 -x893 -x775 -x890 -x687 -x976 -x658 -x555 -x881 -x943 -x682 -x635 -x840 -x630 -x550 -x786 -x739 -x566
1800.05/1800.71	v -x654 -x705 -x745 -x912 -x972 -x950 -x790 -x762 -x524 -x810 -x735 -x615 -x813 -x553 -x579 -x947 -x791 -x647 -x845 -x892 -x521
1800.05/1800.71	v -x594 -x715 -x980 -x970 -x889 -x839 -x567 -x761 -x984 -x741 -x898 -x979 -x758 -x788 -x986 -x848 -x948 -x732 -x826 -x978 -x686
1800.05/1800.71	v -x708 -x586 -x702 x951 -x590 -x769 -x883 -x823 -x695 -x983 -x987 -x878 -x763 -x589 -x666 -x906 -x964 -x633 -x779 -x852 -x867
1800.05/1800.71	v -x533 -x697 -x831 -x846 -x907 -x936 -x743 -x958 -x610 -x990 -x808 -x977 -x817 -x949 -x911 -x646 -x924 -x855 -x717 -x902 -x862
1800.05/1800.71	v -x801 -x603 -x609 -x549 -x824 -x545 -x742 -x780 -x996 -x688
1800.05/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.71	c   33   194821    539   609504   259202 131589273 194836    108 1800.06
1800.05/1800.71	c Objective: -15
1800.05/1800.71	s SATISFIABLE
1800.05/1800.71	c Total time: 1800.06 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/node40/watcher-454851-1178032433 -o ROOT/results/node40/solver-454851-1178032433 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454851-1178032433/instance-454851-1178032433.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 0.97 0.98 3/77 21973
/proc/meminfo: memFree=1761840/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=12160 CPUtime=0
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 132122884 12451840 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 3040 333 279 324 0 2004 0

[startup+0.101804 s]
/proc/loadavg: 1.00 0.97 0.98 3/77 21973
/proc/meminfo: memFree=1761840/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=9520 CPUtime=0.09
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 1722 0 0 0 8 1 0 0 18 0 1 0 132122884 9748480 1692 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 2380 1692 343 324 0 1344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9520

[startup+0.201824 s]
/proc/loadavg: 1.00 0.97 0.98 3/77 21973
/proc/meminfo: memFree=1761840/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=13712 CPUtime=0.19
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 2968 0 0 0 17 2 0 0 18 0 1 0 132122884 14041088 2792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134523468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 3428 2792 300 324 0 2498 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13712

[startup+0.301846 s]
/proc/loadavg: 1.00 0.97 0.98 3/77 21973
/proc/meminfo: memFree=1761840/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=21200 CPUtime=0.29
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4710 0 0 0 27 2 0 0 19 0 1 0 132122884 21708800 4534 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 5300 4534 305 324 0 4370 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21200

[startup+0.701929 s]
/proc/loadavg: 1.00 0.97 0.98 3/77 21973
/proc/meminfo: memFree=1761840/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=21200 CPUtime=0.69
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4747 0 0 0 67 2 0 0 23 0 1 0 132122884 21708800 4571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 5300 4571 305 324 0 4370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21200

[startup+1.50109 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21974
/proc/meminfo: memFree=1744616/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=21200 CPUtime=1.49
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4747 0 0 0 147 2 0 0 25 0 1 0 132122884 21708800 4571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 5300 4571 305 324 0 4370 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21200

[startup+3.10143 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21974
/proc/meminfo: memFree=1744488/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=21200 CPUtime=3.08
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4747 0 0 0 306 2 0 0 25 0 1 0 132122884 21708800 4571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 5300 4571 305 324 0 4370 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21200

[startup+6.3011 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21974
/proc/meminfo: memFree=1744240/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=21200 CPUtime=6.29
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4747 0 0 0 626 3 0 0 25 0 1 0 132122884 21708800 4571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7344278 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 5300 4571 305 324 0 4370 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21200

[startup+12.7014 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21974
/proc/meminfo: memFree=1744240/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=21332 CPUtime=12.68
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4748 0 0 0 1265 3 0 0 25 0 1 0 132122884 21843968 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7340174 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 5333 4572 305 324 0 4403 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21332

[startup+25.5011 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21974
/proc/meminfo: memFree=1744240/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=21332 CPUtime=25.48
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4748 0 0 0 2544 4 0 0 25 0 1 0 132122884 21843968 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 5333 4572 305 324 0 4403 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21332

[startup+51.1015 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21974
/proc/meminfo: memFree=1744240/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=21332 CPUtime=51.07
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4748 0 0 0 5102 5 0 0 25 0 1 0 132122884 21843968 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 5333 4572 305 324 0 4403 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21332

[startup+102.301 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21974
/proc/meminfo: memFree=1744304/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=21332 CPUtime=102.25
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4748 0 0 0 10217 8 0 0 25 0 1 0 132122884 21843968 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 5333 4572 305 324 0 4403 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 21332

[startup+162.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21974
/proc/meminfo: memFree=1744304/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=21332 CPUtime=162.23
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4748 0 0 0 16212 11 0 0 25 0 1 0 132122884 21843968 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7343987 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 5333 4572 305 324 0 4403 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 21332

[startup+222.305 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21974
/proc/meminfo: memFree=1700272/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=65252 CPUtime=222.21
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 15863 0 0 0 22201 20 0 0 25 0 1 0 132122884 66818048 15623 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 16313 15623 311 324 0 15383 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 65252

[startup+282.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=1638256/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=127284 CPUtime=282.19
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 31386 0 0 0 28187 32 0 0 25 0 1 0 132122884 130338816 31146 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 31821 31146 311 324 0 30891 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 127284

[startup+342.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=1584624/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=180488 CPUtime=342.17
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 44688 0 0 0 34174 43 0 0 25 0 1 0 132122884 184819712 44448 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 45122 44448 311 324 0 44192 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 180488

[startup+402.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=1529520/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=236412 CPUtime=402.14
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 58654 0 0 0 40163 51 0 0 25 0 1 0 132122884 242085888 58414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 59103 58414 311 324 0 58173 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 236412

[startup+462.301 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=1475120/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=290564 CPUtime=462.12
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 72201 0 0 0 46154 58 0 0 25 0 1 0 132122884 297537536 71961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 72641 71961 311 324 0 71711 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 290564

[startup+522.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=1407984/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=357532 CPUtime=522.1
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 88943 0 0 0 52142 68 0 0 25 0 1 0 132122884 366112768 88703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550573 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 89383 88703 311 324 0 88453 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 357532

[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=1339888/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=425056 CPUtime=582.08
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 105839 0 0 0 58130 78 0 0 25 0 1 0 132122884 435257344 105599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 106264 105599 311 324 0 105334 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 425056

[startup+642.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=1258800/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=507168 CPUtime=642.06
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 126369 0 0 0 64115 91 0 0 25 0 1 0 132122884 519340032 126129 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 126792 126129 311 324 0 125862 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 507168


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

[startup+882.305 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=883184/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=880644 CPUtime=881.98
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 219713 0 0 0 88047 151 0 0 25 0 1 0 132122884 901779456 219473 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 220161 219473 311 324 0 219231 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 880644

[startup+942.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=788720/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=974912 CPUtime=941.95
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 243286 0 0 0 94029 166 0 0 25 0 1 0 132122884 998309888 243046 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 243728 243046 311 324 0 242798 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 974912

[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=745840/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1017708 CPUtime=1001.93
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 253997 0 0 0 100019 174 0 0 25 0 1 0 132122884 1042132992 253757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 254427 253757 311 324 0 253497 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 1017708

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=706160/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1057616 CPUtime=1061.9
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 263958 0 0 0 106010 180 0 0 25 0 1 0 132122884 1082998784 263718 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 264404 263718 311 324 0 263474 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1057616

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=662768/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1100716 CPUtime=1121.89
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 274740 0 0 0 112002 187 0 0 25 0 1 0 132122884 1127133184 274500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 275179 274500 311 324 0 274249 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1100716

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=618288/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1145620 CPUtime=1181.87
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 285964 0 0 0 117992 195 0 0 25 0 1 0 132122884 1173114880 285724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 286405 285724 311 324 0 285475 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1145620

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=572272/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1190952 CPUtime=1241.84
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 297312 0 0 0 123983 201 0 0 25 0 1 0 132122884 1219534848 297072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 297738 297072 311 324 0 296808 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1190952

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.98 2/78 21976
/proc/meminfo: memFree=526960/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1236824 CPUtime=1301.82
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 308754 0 0 0 129973 209 0 0 25 0 1 0 132122884 1266507776 308514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572583 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 309206 308514 311 324 0 308276 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1236824

[startup+1362.3 s]
/proc/loadavg: 1.06 0.99 0.99 2/78 21976
/proc/meminfo: memFree=478128/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1285032 CPUtime=1361.8
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 320825 0 0 0 135964 216 0 0 25 0 1 0 132122884 1315872768 320585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 321258 320585 311 324 0 320328 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1285032

[startup+1422.3 s]
/proc/loadavg: 1.02 0.99 0.99 2/78 21976
/proc/meminfo: memFree=431408/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1331440 CPUtime=1421.79
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 332413 0 0 0 141954 225 0 0 25 0 1 0 132122884 1363394560 332173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 332860 332173 311 324 0 331930 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1331440

[startup+1482.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 21976
/proc/meminfo: memFree=382320/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1381268 CPUtime=1481.76
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 344875 0 0 0 147942 234 0 0 25 0 1 0 132122884 1414418432 344635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 345317 344635 311 324 0 344387 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1381268

[startup+1542.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21976
/proc/meminfo: memFree=326704/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1435980 CPUtime=1541.74
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 358558 0 0 0 153930 244 0 0 25 0 1 0 132122884 1470443520 358318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 358995 358318 311 324 0 358065 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1435980

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21976
/proc/meminfo: memFree=269232/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1493820 CPUtime=1601.71
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 373002 0 0 0 159920 251 0 0 25 0 1 0 132122884 1529671680 372762 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 373455 372762 311 324 0 372525 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1493820

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21976
/proc/meminfo: memFree=209712/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1552880 CPUtime=1661.69
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 387782 0 0 0 165907 262 0 0 25 0 1 0 132122884 1590149120 387542 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 388220 387542 311 324 0 387290 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1552880

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21976
/proc/meminfo: memFree=148656/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1614284 CPUtime=1721.67
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 403141 0 0 0 171894 273 0 0 25 0 1 0 132122884 1653026816 402901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 403571 402901 311 324 0 402641 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 1614284

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21976
/proc/meminfo: memFree=74352/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1688176 CPUtime=1781.64
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 421614 0 0 0 177880 284 0 0 25 0 1 0 132122884 1728692224 421374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 422044 421374 311 324 0 421114 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1688176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21976
/proc/meminfo: memFree=50160/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=1711868 CPUtime=1800.05
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 427535 0 0 0 179718 287 0 0 25 0 1 0 132122884 1752952832 427295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 427967 427295 311 324 0 427037 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1711868

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

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

[startup+1800.9 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21976
/proc/meminfo: memFree=50160/2055920 swapFree=4157412/4192956
[pid=21973] ppid=21971 vsize=0 CPUtime=1800.24
/proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194308 427539 0 0 0 179718 306 0 0 25 0 1 0 132122884 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/21973/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.98
CPU time (s): 1800.33
CPU user time (s): 1797.19
CPU system time (s): 3.13852
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (KiB): 1711868

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

runsolver used 1.35279 second user time and 3.86441 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Tue May  1 15:13:53 UTC 2007

IDJOB= 454851
IDBENCH= 48224
IDSOLVER= 199
FILE ID= node40/454851-1178032433

PBS_JOBID= 4728412

Free space on /tmp= 66537 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_1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454851-1178032433/instance-454851-1178032433.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-454851-1178032433 -o ROOT/results/node40/solver-454851-1178032433 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/454851-1178032433/instance-454851-1178032433.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  fdd11e948ae8a5c2828dd3ba6f1a1add

RANDOM SEED= 19149203

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.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.283
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.283
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:       1762184 kB
Buffers:         63356 kB
Cached:         141388 kB
SwapCached:      15100 kB
Active:         108540 kB
Inactive:       120160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762184 kB
SwapTotal:     4192956 kB
SwapFree:      4157412 kB
Dirty:            7144 kB
Writeback:           0 kB
Mapped:          30128 kB
Slab:            50372 kB
Committed_AS:  3022276 kB
PageTables:       1932 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= 66537 MiB

End job on node40 on Tue May  1 15:43:56 UTC 2007