Trace number 455145

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)-12 1800.26 1800.89

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_1.opb
MD5SUM6c6505c4760e09c43f48167716751a54
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-44
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of 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)74732
Sum of products size (including duplicates)149464
Number of different products37366
Sum of products size74732

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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455145-1178038166/instance-455145-1178038166.opb
0.00/0.00	c File size is 984211 bytes.
0.39/0.46	c Highest Coefficient sum: 1000
0.39/0.46	c Parsing was ok!!
0.39/0.46	c Total parsing time: 0.459 s
0.49/0.58	c Var: 75732 Constr: 150966 75232/1002/74732 Lit: 526124 Watch. Lit: 450394
0.49/0.58	c Obj. Vars: 500 (0.660223 % of total variables)
180.63/180.71	c Pre-processing Time: 180.652 s
180.63/180.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.63/180.72	c        0  75732   150966   526124    3   450394  500000      0      0 180.65
180.63/180.72	c Switching off LPR mode.
180.73/180.85	o -1	180.793
180.93/181.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.93/181.04	c        0  75732   150967   526624    3   450397  500000      1      0 180.83
180.93/181.04	o -2	180.978
181.13/181.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.13/181.22	c        0  75732   150968   527124    3   450401  500000      2      0 181.01
181.13/181.22	o -3	181.163
181.34/181.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.34/181.41	c        0  75732   150969   527624    3   450406  500000      3      0 181.20
181.34/181.41	o -4	181.35
181.44/181.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.44/181.60	c        0  75732   150970   528124    3   450412  500000      4      0 181.39
181.44/181.60	o -5	181.537
181.63/181.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.63/181.78	c        0  75732   150971   528624    3   450419  500000      5      0 181.57
181.63/181.78	o -6	181.724
181.83/181.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.83/181.97	c        0  75732   150972   529124    3   450427  500000      6      0 181.76
181.83/181.97	o -7	181.912
182.03/182.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.03/182.16	c        0  75732   150973   529624    3   450436  500000      7      0 181.95
182.03/182.16	o -8	182.099
182.23/182.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.23/182.34	c        0  75732   150974   530124    3   450446  500000      8      0 182.14
182.23/182.34	o -9	182.286
182.43/182.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.43/182.53	c        0  75732   150975   530624    3   450457  500000      9      0 182.33
182.43/182.53	o -10	182.475
182.73/182.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.73/182.81	c        0  75732   150976   531124    3   450469  500000     10      0 182.51
182.73/182.81	o -11	182.748
205.13/205.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
205.13/205.28	c        5  75732   150982   534674    3   450492  500000     16      0 182.79
205.13/205.28	c      105  75732   151082   586222    3   450692  550001    116      0 184.50
205.13/205.28	c      355  75732   151332   741785    4   451192  605002    366      1 188.58
205.13/205.28	c      830  75732   151807  1068312    7   452142  665503    841      4 194.85
205.13/205.28	c     1643  75732   152620  1709268   11   453768  732054   1654      8 201.57
205.13/205.28	o -12	205.219
1799.97/1800.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.97/1800.63	c     2732  75732   153710  2470812   16   455960  500000   2744     13 205.28
1799.97/1800.63	c     2832  75732   153810  2524020   16   456160  550001   2844     13 208.26
1799.97/1800.63	c     3082  75732   154060  2684586   17   456660  605002   3094     14 211.69
1799.97/1800.63	c     3557  75732   154535  2923317   18   457610  665503   3569     16 214.15
1799.97/1800.63	c     4370  75732   155348  3341535   21   459236  732054   4382     19 219.08
1799.97/1800.63	c     5690  75732   156668  4100155   26   461876  805260   5702     24 229.68
1799.97/1800.63	c     7771  75732   158749  5194968   32   466038  885787   7783     32 240.89
1799.97/1800.63	c    10994  75732   161972  6814134   42   472484  974366  11006     43 254.66
1799.97/1800.63	c    15930  75732   166908  9410106   56   482356  500000  15942     56 283.96
1799.97/1800.63	c    23436  75732   174414 13461137   77   497368  550001  23448     72 324.33
1799.97/1800.63	c    34797  75732   185775 20303528  109   520090  605002  34809     84 413.31
1799.97/1800.63	c    51941  75732   202919 30691425  151   554378  665503  51953     97 533.29
1799.97/1800.63	c    77760  75732   228738 46926195  205   606016  732054  77772    112 690.98
1799.97/1800.63	c   116592  75732   267570 68156857  254   683680  805260 116604    131 887.67
1799.97/1800.63	c   174944  75732   325922 101544235  311   800384  885787 174956    117 1492.37
1799.97/1800.63	c Resources Exceeded
1799.97/1800.63	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
1799.97/1800.63	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
1799.97/1800.63	v -x57 -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
1799.97/1800.63	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1799.97/1800.63	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1799.97/1800.63	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1799.97/1800.63	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1799.97/1800.63	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1799.97/1800.63	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1799.97/1800.63	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232
1799.97/1800.63	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1799.97/1800.63	v -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274
1799.97/1800.63	v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1799.97/1800.63	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316
1799.97/1800.63	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1799.97/1800.63	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1799.97/1800.63	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379
1799.97/1800.63	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1799.97/1800.63	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421
1799.97/1800.63	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442
1799.97/1800.63	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
1799.97/1800.63	v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
1799.97/1800.63	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x884 -x887 -x778 -x916 -x794
1799.97/1800.63	v -x836 -x993 -x650 -x922 -x863 -x528 -x691 -x560 -x764 -x927 -x541 -x673 -x737 -x712 -x869 -x568 -x930 -x783 -x531 -x624 -x636
1799.97/1800.63	v -x803 -x523 -x559 -x570 -x668 -x894 -x957 -x512 -x543 -x730 -x874 -x920 -x785 -x538 -x699 -x825 -x816 -x871 -x914 -x527 -x592
1799.97/1800.63	v -x981 -x671 -x997 -x782 -x806 -x926 -x585 -x828 -x837 -x506 -x847 -x814 -x858 -x503 -x507 -x508 -x514 -x516 -x526 -x529 -x530
1799.97/1800.63	v -x542 -x549 -x613 -x623 -x625 -x632 -x633 -x638 -x640 -x646 -x666 -x676 -x683 -x689 -x706 -x713 -x720 -x741 -x745 -x760 -x777
1799.97/1800.63	v -x779 -x819 -x827 -x833 -x849 -x881 -x892 -x965 -x991 -x996 -x501 x896 -x583 -x546 x815 -x868 -x935 x865 -x544 -x751 x588
1799.97/1800.63	v x809 x679 -x789 -x904 -x652 x755 x900 -x933 -x561 -x677 x740 -x513 -x727 -x587 -x595 -x540 -x796 -x571 -x879 -x968 -x602 -x598
1799.97/1800.63	v x903 x818 -x653 -x757 -x802 -x781 -x787 -x942 -x866 -x690 -x945 -x620 -x941 -x532 -x618 -x772 -x982 -x710 -x928 -x857 -x554
1799.97/1800.63	v -x555 -x557 -x565 -x566 -x596 -x599 -x616 -x647 -x664 -x667 -x682 -x684 -x688 -x719 -x743 -x758 -x765 -x769 -x790 -x810 -x826
1799.97/1800.63	v -x829 -x897 -x898 -x937 -x980 -x502 -x998 -x854 -x966 -x807 -x872 -x733 -x830 -x504 -x520 -x771 -x709 -x716 -x841 -x797 -x724
1799.97/1800.63	v -x619 -x746 -x952 -x556 -x880 -x989 -x729 -x842 -x851 -x694 -x535 -x915 -x988 -x744 -x992 -x728 -x860 -x552 -x938 -x776 -x908
1799.97/1800.63	v -x975 -x622 -x859 -x738 -x736 -x510 -x518 -x534 -x550 -x553 -x609 -x629 -x637 -x658 -x670 -x707 -x718 -x722 -x822 -x839 -x845
1799.97/1800.63	v -x850 -x861 -x929 -x644 -x905 -x944 -x614 -x539 -x607 -x870 -x918 -x971 -x1000 -x773 -x726 -x645 -x591 -x955 -x698 -x856
1799.97/1800.63	v -x805 -x612 -x800 -x844 -x747 -x569 -x923 -x812 -x811 -x606 -x662 -x731 -x821 -x524 -x525 -x548 -x564 -x576 -x615 -x627 -x692
1799.97/1800.63	v -x742 -x749 -x753 -x768 -x792 -x840 -x889 -x960 -x917 -x759 -x925 -x563 -x601 -x537 -x953 -x551 -x969 -x572 -x974 -x882 -x931
1799.97/1800.63	v -x934 -x895 -x661 -x700 -x774 -x669 -x967 -x685 -x877 -x608 -x946 -x680 -x919 -x888 -x913 -x660 -x711 -x843 -x573 -x579 -x580
1799.97/1800.63	v -x604 -x621 -x634 -x641 -x656 -x663 -x695 -x696 -x723 -x823 -x901 -x978 -x505 -x714 -x873 -x756 -x820 -x600 -x940 -x628 -x651
1799.97/1800.63	v -x985 -x659 -x921 -x725 -x770 -x582 -x631 -x793 -x973 -x626 -x886 -x899 -x799 -x995 -x643 -x885 -x994 -x536 -x611 -x617 -x639
1799.97/1800.63	v -x672 -x674 -x752 -x762 -x766 -x791 -x862 -x864 -x911 -x977 -x962 -x703 -x522 -x909 -x959 -x999 -x754 -x804 -x834 -x649 -x891
1799.97/1800.63	v -x547 -x798 -x750 -x893 -x687 -x976 -x961 -x795 -x517 -x521 -x681 -x702 -x735 -x832 -x855 -x890 -x947 -x983 -x648 -x635 -x693
1799.97/1800.63	v -x630 -x786 -x678 -x739 -x972 -x950 -x545 -x589 -x597 -x784 -x788 -x853 -x956 -x984 -x558 -x813 -x581 -x594 -x715 -x970 -x775
1799.97/1800.63	v -x642 -x567 -x761 -x519 -x515 -x533 -x578 -x948 -x964 -x509 -x979 -x939 -x575 -x734 -x848 -x932 -x963 -x732 -x586 -x705 -x686
1799.97/1800.63	v -x708 -x912 -x951 -x876 -x590 -x883 -x987 -x878 -x763 -x577 -x584 -x605 -x657 -x665 -x717 -x824 -x511 -x654 -x574 -x852 -x986
1799.97/1800.63	v -x697 -x831 -x867 -x936 -x655 -x958 -x748 -x704 -x721 -x835 -x562 -x906 -x610 -x990 -x701 -x767 -x838 -x603 -x817 -x907 -x801
1799.97/1800.63	v -x675 -x949 -x780 x593 -x808 -x954 -x910 -x943 -x875 -x902 -x924 -x846
1799.97/1800.63	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.97/1800.63	c   30   215134    709   966661   366112 124570815 215146    119 1800.01
1799.97/1800.63	c Objective: -12
1799.97/1800.63	s SATISFIABLE
1799.97/1800.63	c Total time: 1800.01 s

Verifier Data (download as text)

OK	-12

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node21/watcher-455145-1178038166 -o ROOT/results/node21/solver-455145-1178038166 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455145-1178038166/instance-455145-1178038166.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 5557
/proc/meminfo: memFree=1748472/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=12700 CPUtime=0
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 251733901 13004800 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 3175 336 281 324 0 2003 0

[startup+0.063824 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5557
/proc/meminfo: memFree=1748472/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=8196 CPUtime=0.05
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 1216 0 0 0 5 0 0 0 18 0 1 0 251733901 8392704 1185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 2049 1185 323 324 0 877 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8196

[startup+0.101828 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5557
/proc/meminfo: memFree=1748472/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=10048 CPUtime=0.09
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 1716 0 0 0 9 0 0 0 18 0 1 0 251733901 10289152 1685 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 2512 1686 343 324 0 1340 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10048

[startup+0.301851 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5557
/proc/meminfo: memFree=1748472/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=20160 CPUtime=0.29
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 4383 0 0 0 28 1 0 0 19 0 1 0 251733901 20643840 4233 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134538968 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 5040 4233 442 324 0 3868 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20160

[startup+0.701893 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5557
/proc/meminfo: memFree=1748472/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=44320 CPUtime=0.69
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 10587 0 0 0 65 4 0 0 23 0 1 0 251733901 45383680 10147 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 11080 10147 307 324 0 10149 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44320

[startup+1.50298 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 5558
/proc/meminfo: memFree=1708336/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=44848 CPUtime=1.49
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 10769 0 0 0 144 5 0 0 25 0 1 0 251733901 45924352 10329 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 11212 10329 307 324 0 10281 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44848

[startup+3.10115 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 5558
/proc/meminfo: memFree=1708144/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=44848 CPUtime=3.09
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 10770 0 0 0 304 5 0 0 25 0 1 0 251733901 45924352 10330 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 11212 10330 307 324 0 10281 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44848

[startup+6.3015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 5558
/proc/meminfo: memFree=1707952/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=44848 CPUtime=6.29
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 10773 0 0 0 624 5 0 0 25 0 1 0 251733901 45924352 10333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8872023 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 11212 10333 307 324 0 10281 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44848

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 5558
/proc/meminfo: memFree=1708080/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=44848 CPUtime=12.69
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 10773 0 0 0 1264 5 0 0 25 0 1 0 251733901 45924352 10333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 11212 10333 307 324 0 10281 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44848

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 5558
/proc/meminfo: memFree=1708080/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=44848 CPUtime=25.48
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 10773 0 0 0 2543 5 0 0 25 0 1 0 251733901 45924352 10333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 11212 10333 307 324 0 10281 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44848

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 5558
/proc/meminfo: memFree=1708144/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=44848 CPUtime=51.07
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 10776 0 0 0 5101 6 0 0 25 0 1 0 251733901 45924352 10336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 11212 10336 307 324 0 10281 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44848

[startup+102.306 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 5558
/proc/meminfo: memFree=1708208/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=44848 CPUtime=102.25
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 10776 0 0 0 10219 6 0 0 25 0 1 0 251733901 45924352 10336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 11212 10336 307 324 0 10281 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 44848

[startup+162.302 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 5558
/proc/meminfo: memFree=1708144/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=44848 CPUtime=162.23
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 10776 0 0 0 16216 7 0 0 25 0 1 0 251733901 45924352 10336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134567820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 11212 10336 307 324 0 10281 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 44848

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5558
/proc/meminfo: memFree=1666480/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=86244 CPUtime=222.22
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 21393 0 0 0 22164 58 0 0 25 0 1 0 251733901 88313856 20805 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 21561 20805 313 324 0 20630 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 86244

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5558
/proc/meminfo: memFree=1593648/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=159960 CPUtime=282.2
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 39840 0 0 0 28145 75 0 0 25 0 1 0 251733901 163799040 39252 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 39990 39252 313 324 0 39059 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 159960

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5558
/proc/meminfo: memFree=1519728/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=232488 CPUtime=342.19
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 57979 0 0 0 34129 90 0 0 25 0 1 0 251733901 238067712 57391 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 58122 57391 313 324 0 57191 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 232488

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5558
/proc/meminfo: memFree=1462384/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=290064 CPUtime=402.17
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 72344 0 0 0 40117 100 0 0 25 0 1 0 251733901 297025536 71756 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 72516 71756 313 324 0 71585 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 290064

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5558
/proc/meminfo: memFree=1394736/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=357284 CPUtime=462.15
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 89164 0 0 0 46103 112 0 0 25 0 1 0 251733901 365858816 88576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 89321 88576 313 324 0 88390 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 357284

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5558
/proc/meminfo: memFree=1328624/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=424072 CPUtime=522.13
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 105853 0 0 0 52089 124 0 0 25 0 1 0 251733901 434249728 105265 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 106018 105265 313 324 0 105087 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 424072

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 5558
/proc/meminfo: memFree=1254960/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=497592 CPUtime=582.12
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 124239 0 0 0 58072 140 0 0 25 0 1 0 251733901 509534208 123651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 124398 123651 313 324 0 123467 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 497592

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5558
/proc/meminfo: memFree=1173232/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=578088 CPUtime=642.1
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 144373 0 0 0 64051 159 0 0 25 0 1 0 251733901 591962112 143785 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572756 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 144522 143785 313 324 0 143591 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 578088


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=835376/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=915212 CPUtime=881.93
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 228654 0 0 0 87958 235 0 0 25 0 1 0 251733901 937177088 228066 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 228803 228066 313 324 0 227872 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 915212

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=792432/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=958928 CPUtime=941.91
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 239579 0 0 0 93946 245 0 0 25 0 1 0 251733901 981942272 238991 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 239732 238991 313 324 0 238801 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 958928

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=757744/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=992972 CPUtime=1001.9
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 248075 0 0 0 99937 253 0 0 25 0 1 0 251733901 1016803328 247487 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 248243 247487 313 324 0 247312 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 992972

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=722672/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1028748 CPUtime=1061.88
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 257023 0 0 0 105928 260 0 0 25 0 1 0 251733901 1053437952 256435 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 257187 256435 313 324 0 256256 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1028748

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=685104/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1065556 CPUtime=1121.86
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 266218 0 0 0 111918 268 0 0 25 0 1 0 251733901 1091129344 265630 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 266389 265630 313 324 0 265458 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 1065556

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=626928/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1124052 CPUtime=1181.84
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 280871 0 0 0 117902 282 0 0 25 0 1 0 251733901 1151029248 280283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 281013 280283 313 324 0 280082 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 1124052

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=579952/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1170384 CPUtime=1241.83
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 292435 0 0 0 123888 295 0 0 25 0 1 0 251733901 1198473216 291847 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 292596 291847 313 324 0 291665 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1170384

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=538480/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1211544 CPUtime=1301.82
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 302742 0 0 0 129877 305 0 0 25 0 1 0 251733901 1240621056 302154 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 302886 302154 313 324 0 301955 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1211544

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=498672/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1252072 CPUtime=1361.79
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 312871 0 0 0 135865 314 0 0 25 0 1 0 251733901 1282121728 312283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 313018 312283 313 324 0 312087 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1252072

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=459312/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1290612 CPUtime=1421.78
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 322499 0 0 0 141857 321 0 0 25 0 1 0 251733901 1321586688 321911 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 322653 321911 313 324 0 321722 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1290612

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 5756
/proc/meminfo: memFree=411824/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1338452 CPUtime=1481.76
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 334456 0 0 0 147845 331 0 0 25 0 1 0 251733901 1370574848 333868 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 334613 333868 313 324 0 333682 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1338452

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=369136/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1380852 CPUtime=1541.75
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 345041 0 0 0 153834 341 0 0 25 0 1 0 251733901 1413992448 344453 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 345213 344453 313 324 0 344282 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1380852

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=323824/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1426512 CPUtime=1601.72
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 356467 0 0 0 159822 350 0 0 25 0 1 0 251733901 1460748288 355879 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 356628 355879 313 324 0 355697 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1426512

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=270576/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1479192 CPUtime=1661.71
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 369631 0 0 0 165809 362 0 0 25 0 1 0 251733901 1514692608 369043 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 369798 369043 313 324 0 368867 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1479192

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=200112/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1550172 CPUtime=1721.68
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 387395 0 0 0 171789 379 0 0 25 0 1 0 251733901 1587376128 386807 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 387543 386807 313 324 0 386612 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1550172

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=124784/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=1625028 CPUtime=1781.67
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194304 406097 0 0 0 177769 398 0 0 25 0 1 0 251733901 1664028672 405509 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 406257 405509 313 324 0 405326 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1625028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5756
/proc/meminfo: memFree=554608/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=0 CPUtime=1800.07
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194308 411148 0 0 0 179599 408 0 0 17 0 1 0 251733901 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 0

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 5756
/proc/meminfo: memFree=554608/2055920 swapFree=4156288/4192956
[pid=5557] ppid=5555 vsize=0 CPUtime=1800.16
/proc/5557/stat : 5557 (bsolo3.0.16) R 5555 5557 13498 0 -1 4194308 411148 0 0 0 179599 417 0 0 18 0 1 0 251733901 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5557/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.26
CPU user time (s): 1796
CPU system time (s): 4.26035
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 1645236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796
system time used= 4.26035
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411148
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= 13
involuntary context switches= 4121

runsolver used 1.37479 second user time and 3.9664 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Tue May  1 16:49:26 UTC 2007

IDJOB= 455145
IDBENCH= 48244
IDSOLVER= 163
FILE ID= node21/455145-1178038166

PBS_JOBID= 4728399

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_1.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455145-1178038166/instance-455145-1178038166.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-455145-1178038166 -o ROOT/results/node21/solver-455145-1178038166 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455145-1178038166/instance-455145-1178038166.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  6c6505c4760e09c43f48167716751a54

RANDOM SEED= 464242825

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.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.232
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.232
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:       1748880 kB
Buffers:         72584 kB
Cached:         142972 kB
SwapCached:      15032 kB
Active:         132456 kB
Inactive:       110248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1748880 kB
SwapTotal:     4192956 kB
SwapFree:      4156288 kB
Dirty:            7568 kB
Writeback:           0 kB
Mapped:          33580 kB
Slab:            49792 kB
Committed_AS:  3728336 kB
PageTables:       1800 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= 66557 MiB

End job on node21 on Tue May  1 17:19:29 UTC 2007