Trace number 455121

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)-11 1800.3 1800.88

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_5.opb
MD5SUM13c8aeb5c21aab422ad1cf9309500df6
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-40
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
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)75000
Sum of products size (including duplicates)150000
Number of different products37500
Sum of products size75000

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/455121-1178037555/instance-455121-1178037555.opb
0.00/0.00	c File size is 987569 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.457 s
0.49/0.58	c Var: 76000 Constr: 151502 75500/1002/75000 Lit: 528000 Watch. Lit: 452002
0.49/0.58	c Obj. Vars: 500 (0.657895 % of total variables)
179.54/179.67	c Pre-processing Time: 179.621 s
179.54/179.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.54/179.68	c        0  76000   151502   528000    3   452002  500000      0      0 179.62
179.54/179.68	c Switching off LPR mode.
179.64/179.76	o -1	179.711
179.84/179.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.84/179.90	c        0  76000   151503   528500    3   452005  500000      1      0 179.75
179.84/179.90	o -2	179.846
179.94/180.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.94/180.04	c        0  76000   151504   529000    3   452009  500000      2      0 179.88
179.94/180.04	o -3	179.984
180.04/180.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.04/180.18	c        0  76000   151505   529500    3   452014  500000      3      0 180.02
180.04/180.18	o -4	180.125
180.24/180.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.24/180.32	c        0  76000   151506   530000    3   452020  500000      4      0 180.16
180.24/180.32	o -5	180.269
180.34/180.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.34/180.47	c        0  76000   151507   530500    3   452027  500000      5      0 180.31
180.34/180.47	o -6	180.414
180.54/180.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.54/180.61	c        0  76000   151508   531000    3   452035  500000      6      0 180.45
180.54/180.61	o -7	180.56
180.64/180.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.64/180.76	c        0  76000   151509   531500    3   452044  500000      7      0 180.60
180.64/180.76	o -8	180.708
180.84/180.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.84/180.91	c        0  76000   151510   532000    3   452054  500000      8      0 180.75
180.84/180.91	o -9	180.856
180.94/181.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.94/181.06	c        0  76000   151511   532500    3   452065  500000      9      0 180.90
180.94/181.06	o -10	181.004
181.14/181.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.14/181.26	c        0  76000   151512   533000    3   452077  500000     10      0 181.04
181.14/181.26	o -11	181.205
1800.02/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.60	c        4  76000   151517   536098    3   452098  500000     15      0 181.25
1800.02/1800.60	c      104  76000   151617   590633    3   452298  550001    115      0 182.86
1800.02/1800.60	c      354  76000   151867   755775    4   452798  605002    365      1 187.76
1800.02/1800.60	c      829  76000   152342  1058999    6   453748  665503    840      4 195.63
1800.02/1800.60	c     1642  76000   153155  1649324   10   455374  732054   1653      8 203.29
1800.02/1800.60	c     2962  76000   154475  2593819   16   458014  805260   2973     14 211.42
1800.02/1800.60	c     5043  76000   156556  3756801   23   462176  885787   5054     22 225.68
1800.02/1800.60	c     8266  76000   159779  5572378   34   468622  974366   8277     33 248.19
1800.02/1800.60	c    13202  76000   164715  8168206   49   478494  500000  13213     48 271.49
1800.02/1800.60	c    20708  76000   172221 12710654   73   493506  550001  20719     57 363.02
1800.02/1800.60	c    32069  76000   183582 19762424  107   516228  605002  32080     66 480.52
1800.02/1800.60	c    49213  76000   200726 29868813  148   550516  665503  49224     79 617.44
1800.02/1800.61	c    75032  76000   226545 46020013  203   602154  732054  75043     93 800.34
1800.02/1800.61	c   113864  76000   265377 69000472  260   679818  805260 113875    113 1000.75
1800.02/1800.61	c   172216  76000   323729 104724290  323   796522  885787 172227    119 1441.76
1800.02/1800.61	c Caught signal: 15
1800.02/1800.61	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
1800.02/1800.61	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56
1800.02/1800.61	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
1800.02/1800.61	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
1800.02/1800.61	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1800.02/1800.61	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1800.02/1800.61	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1800.02/1800.61	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1800.02/1800.61	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1800.02/1800.61	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232
1800.02/1800.61	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1800.02/1800.61	v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274
1800.02/1800.61	v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1800.02/1800.61	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316
1800.02/1800.61	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1800.02/1800.61	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1800.02/1800.61	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379
1800.02/1800.61	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1800.02/1800.61	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421
1800.02/1800.61	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442
1800.02/1800.61	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
1800.02/1800.61	v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484
1800.02/1800.61	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x676 -x766 -x611 -x573 -x777
1800.02/1800.61	v -x633 -x921 -x650 -x574 -x882 -x527 -x849 -x861 -x699 -x911 -x521 -x727 -x829 -x987 -x915 -x506 -x680 -x874 -x832 -x961 -x884
1800.02/1800.61	v -x553 -x968 -x847 -x728 -x585 -x809 -x800 -x862 -x941 -x572 -x511 -x866 -x954 -x538 -x714 -x666 -x736 -x624 -x608 -x702 -x594
1800.02/1800.61	v -x616 -x723 -x774 -x989 -x554 -x586 -x724 -x928 -x990 -x543 -x717 -x628 -x934 -x507 -x528 -x531 -x536 -x537 -x555 -x565 -x580
1800.02/1800.61	v -x583 -x617 -x620 -x646 -x658 -x672 -x673 -x726 -x781 -x795 -x817 -x821 -x879 -x895 -x901 -x904 -x949 -x972 -x501 x869 x940
1800.02/1800.61	v -x851 -x591 x745 x888 x804 -x762 x975 -x779 -x799 x980 -x664 -x595 -x887 -x653 -x935 x792 -x590 -x659 -x719 -x579 -x844 -x647
1800.02/1800.61	v -x515 -x520 -x807 -x871 -x592 -x551 x610 -x747 -x813 -x937 -x525 -x963 -x870 -x504 -x979 -x897 -x598 -x533 -x508 -x568 x922
1800.02/1800.61	v -x715 -x627 -x514 -x519 -x526 -x529 -x535 -x544 -x547 -x550 -x556 -x559 -x577 x593 -x596 -x603 -x607 -x612 -x625 -x638 -x643
1800.02/1800.61	v -x710 -x754 -x758 -x788 -x830 -x839 -x841 -x856 -x863 -x945 -x997 -x502 -x581 -x552 -x868 -x996 -x938 -x978 -x742 -x602 -x619
1800.02/1800.61	v -x564 -x635 -x622 -x542 -x636 -x956 -x626 -x998 -x545 -x944 -x765 -x570 -x815 -x692 -x716 -x578 -x566 -x867 -x764 -x820 -x516
1800.02/1800.61	v -x751 -x899 -x822 -x886 -x652 -x908 -x569 -x518 -x991 -x926 -x709 -x558 -x639 -x992 -x509 -x560 -x562 -x613 -x618 -x677 -x682
1800.02/1800.61	v -x695 -x705 -x721 -x732 -x740 -x780 -x797 -x798 -x852 -x860 -x890 -x936 -x939 -x999 -x503 -x561 -x857 -x756 -x912 -x651 -x746
1800.02/1800.61	v -x688 -x919 -x787 -x649 -x923 -x534 -x811 -x634 -x806 -x835 -x718 -x981 -x725 -x931 -x920 -x959 -x946 -x914 -x609 -x970 -x917
1800.02/1800.61	v -x540 -x881 -x883 -x505 -x513 -x523 -x539 -x548 -x567 -x575 -x597 -x606 -x637 -x648 -x669 -x704 -x713 -x733 -x738 -x743 -x752
1800.02/1800.61	v -x755 -x767 -x816 -x859 -x872 -x878 -x910 -x933 -x952 -x969 -x953 -x836 -x615 -x589 -x958 -x854 -x768 -x960 -x984 -x864 -x734
1800.02/1800.61	v -x720 -x801 -x778 -x840 -x790 -x696 -x599 -x665 -x965 -x802 -x753 -x532 -x853 -x838 -x803 -x541 -x576 -x630 -x662 -x674 -x687
1800.02/1800.61	v -x691 -x708 -x722 -x730 -x731 -x737 -x791 -x805 -x827 -x846 -x898 -x906 -x913 -x982 -x932 -x826 -x771 -x865 -x983 -x604 -x903
1800.02/1800.61	v -x759 -x786 -x698 -x785 -x966 -x546 -x729 -x642 -x833 -x955 -x962 -x748 -x660 -x769 -x744 -x924 -x512 -x522 -x679 -x685 -x706
1800.02/1800.61	v -x735 -x739 -x950 -x640 -x889 -x760 -x694 -x875 -x977 -x701 -x948 -x700 -x600 -x750 -x834 -x930 -x843 -x749 -x976 -x796 -x916
1800.02/1800.61	v -x582 -x661 -x693 -x712 -x814 -x848 -x892 -x964 -x818 -x763 -x776 -x810 -x877 -x900 -x967 -x683 -x623 -x794 -x563 -x823 -x524
1800.02/1800.61	v -x549 -x584 -x644 -x656 -x670 -x711 -x772 -x891 -x896 -x995 -x668 -x654 -x845 -x880 -x942 -x689 -x605 -x614 -x632 -x783 -x951
1800.02/1800.61	v -x993 -x681 -x907 -x571 -x678 -x985 -x905 -x663 -x667 -x601 -x789 -x690 -x828 -x510 -x909 -x947 -x831 -x971 -x1000 -x587
1800.02/1800.61	v -x837 -x641 -x793 -x988 -x876 -x918 -x943 -x858 -x927 -x894 -x973 -x784 -x557 -x588 -x697 -x703 -x873 -x925 -x741 -x530 -x824
1800.02/1800.61	v -x775 -x850 -x957 -x671 -x655 -x675 -x986 -x621 -x855 -x707 -x994 -x517 -x842 -x686 -x773 -x819 -x825 -x757 -x631 -x812 -x629
1800.02/1800.61	v -x893 -x885 -x974 -x929 -x657 -x808 -x761 -x902 -x782 -x684 -x770 -x645
1800.02/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.61	c   25   215699   1405   958485   367212 132373011 215710    119 1800.03
1800.02/1800.61	c Objective: -11
1800.02/1800.61	s SATISFIABLE
1800.02/1800.61	c Total time: 1800.03 s

Verifier Data (download as text)

OK	-11

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node60/watcher-455121-1178037555 -o ROOT/results/node60/solver-455121-1178037555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455121-1178037555/instance-455121-1178037555.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.91 0.95 0.97 3/64 28954
/proc/meminfo: memFree=1887184/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=12704 CPUtime=0
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 251665515 13008896 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 3176 333 279 324 0 2004 0

[startup+0.069175 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 28954
/proc/meminfo: memFree=1887184/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=8536 CPUtime=0.06
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 1296 0 0 0 6 0 0 0 18 0 1 0 251665515 8740864 1266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 2134 1266 324 324 0 962 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8536

[startup+0.101177 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 28954
/proc/meminfo: memFree=1887184/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=10052 CPUtime=0.09
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 1719 0 0 0 9 0 0 0 18 0 1 0 251665515 10293248 1689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 2513 1690 341 324 0 1341 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10052

[startup+0.301195 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 28954
/proc/meminfo: memFree=1887184/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=19988 CPUtime=0.29
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 4400 0 0 0 27 2 0 0 19 0 1 0 251665515 20467712 4203 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 4997 4203 441 324 0 3825 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19988

[startup+0.701235 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 28954
/proc/meminfo: memFree=1887184/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=44400 CPUtime=0.68
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10626 0 0 0 64 4 0 0 22 0 1 0 251665515 45465600 10186 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 11100 10186 305 324 0 10170 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44400

[startup+1.50131 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 28955
/proc/meminfo: memFree=1846856/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=45060 CPUtime=1.49
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10797 0 0 0 144 5 0 0 25 0 1 0 251665515 46141440 10357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5975781 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 11265 10357 305 324 0 10335 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45060

[startup+3.10147 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 28955
/proc/meminfo: memFree=1846728/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=45060 CPUtime=3.09
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10805 0 0 0 304 5 0 0 25 0 1 0 251665515 46141440 10365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5963845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 11265 10365 305 324 0 10335 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45060

[startup+6.30178 s]
/proc/loadavg: 0.92 0.95 0.97 2/65 28955
/proc/meminfo: memFree=1846536/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=45060 CPUtime=6.29
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10805 0 0 0 624 5 0 0 25 0 1 0 251665515 46141440 10365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 11265 10365 305 324 0 10335 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45060

[startup+12.7015 s]
/proc/loadavg: 0.93 0.95 0.97 2/65 28955
/proc/meminfo: memFree=1846544/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=45060 CPUtime=12.69
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10818 0 0 0 1264 5 0 0 25 0 1 0 251665515 46141440 10378 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 11265 10378 305 324 0 10335 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45060

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.97 2/65 28955
/proc/meminfo: memFree=1846544/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=45060 CPUtime=25.48
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10819 0 0 0 2543 5 0 0 25 0 1 0 251665515 46141440 10379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5963845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 11265 10379 305 324 0 10335 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45060

[startup+51.1012 s]
/proc/loadavg: 0.96 0.96 0.97 2/65 28955
/proc/meminfo: memFree=1846544/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=45060 CPUtime=51.07
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10823 0 0 0 5102 5 0 0 25 0 1 0 251665515 46141440 10383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550561 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 11265 10383 305 324 0 10335 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45060

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.97 2/65 28955
/proc/meminfo: memFree=1846544/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=45060 CPUtime=102.27
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10823 0 0 0 10221 6 0 0 25 0 1 0 251665515 46141440 10383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 11265 10383 305 324 0 10335 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45060

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28957
/proc/meminfo: memFree=1846352/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=45060 CPUtime=162.24
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10829 0 0 0 16218 6 0 0 25 0 1 0 251665515 46141440 10389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5963928 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 11265 10389 305 324 0 10335 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45060

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28957
/proc/meminfo: memFree=1808592/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=82496 CPUtime=222.23
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 20463 0 0 0 22210 13 0 0 25 0 1 0 251665515 84475904 19874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 20624 19874 311 324 0 19694 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 82496

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28957
/proc/meminfo: memFree=1738512/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=152652 CPUtime=282.21
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 37992 0 0 0 28195 26 0 0 25 0 1 0 251665515 156315648 37403 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 38163 37403 311 324 0 37233 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 152652

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28957
/proc/meminfo: memFree=1699216/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=191608 CPUtime=342.19
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 47741 0 0 0 34187 32 0 0 25 0 1 0 251665515 196206592 47152 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 47902 47152 311 324 0 46972 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 191608

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28957
/proc/meminfo: memFree=1663056/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=227860 CPUtime=402.17
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 56810 0 0 0 40180 37 0 0 25 0 1 0 251665515 233328640 56221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 56965 56221 311 324 0 56035 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 227860

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28957
/proc/meminfo: memFree=1611728/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=278948 CPUtime=462.16
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 69592 0 0 0 46173 43 0 0 25 0 1 0 251665515 285642752 69003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967713 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 69737 69003 311 324 0 68807 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 278948

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28957
/proc/meminfo: memFree=1562832/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=329300 CPUtime=522.14
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 82155 0 0 0 52163 51 0 0 25 0 1 0 251665515 337203200 81566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 82325 81566 311 324 0 81395 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 329300

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28957
/proc/meminfo: memFree=1503632/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=386820 CPUtime=582.12
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 96551 0 0 0 58153 59 0 0 25 0 1 0 251665515 396103680 95962 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 96705 95962 311 324 0 95775 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 386820

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28957
/proc/meminfo: memFree=1444688/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=445468 CPUtime=642.11
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 111221 0 0 0 64143 68 0 0 25 0 1 0 251665515 456159232 110632 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 111367 110632 311 324 0 110437 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 445468


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28957
/proc/meminfo: memFree=1133840/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=756008 CPUtime=882.05
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 188857 0 0 0 88089 116 0 0 25 0 1 0 251665515 774152192 188268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 189002 188268 311 324 0 188072 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 756008

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28957
/proc/meminfo: memFree=1021840/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=870056 CPUtime=942.02
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 217355 0 0 0 94069 133 0 0 25 0 1 0 251665515 890937344 216766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 217514 216766 311 324 0 216584 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 870056

[startup+1002.3 s]
/proc/loadavg: 1.04 0.99 0.98 2/65 28957
/proc/meminfo: memFree=960208/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=929012 CPUtime=1002.01
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 232112 0 0 0 100059 142 0 0 25 0 1 0 251665515 951308288 231523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572679 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 232253 231523 311 324 0 231323 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 929012

[startup+1062.3 s]
/proc/loadavg: 1.05 1.00 0.98 2/65 28957
/proc/meminfo: memFree=891920/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=997512 CPUtime=1062
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 249213 0 0 0 106049 151 0 0 25 0 1 0 251665515 1021452288 248624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 249378 248624 311 324 0 248448 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 997512

[startup+1122.3 s]
/proc/loadavg: 1.06 1.01 0.99 2/65 28957
/proc/meminfo: memFree=828752/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1060316 CPUtime=1121.98
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 264919 0 0 0 112036 162 0 0 25 0 1 0 251665515 1085763584 264330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 265079 264330 311 324 0 264149 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1060316

[startup+1182.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 28957
/proc/meminfo: memFree=755728/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1133496 CPUtime=1181.96
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 283227 0 0 0 118023 173 0 0 25 0 1 0 251665515 1160699904 282638 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 283374 282638 311 324 0 282444 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1133496

[startup+1242.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 28957
/proc/meminfo: memFree=702160/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1186800 CPUtime=1241.94
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 296536 0 0 0 124013 181 0 0 25 0 1 0 251665515 1215283200 295947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 296700 295947 311 324 0 295770 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1186800

[startup+1302.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 28957
/proc/meminfo: memFree=647632/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1240828 CPUtime=1301.93
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 310054 0 0 0 130006 187 0 0 25 0 1 0 251665515 1270607872 309465 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 310207 309465 311 324 0 309277 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1240828

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 29155
/proc/meminfo: memFree=584576/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1303888 CPUtime=1361.83
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 325816 0 0 0 135985 198 0 0 25 0 1 0 251665515 1335181312 325227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 325972 325227 311 324 0 325042 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1303888

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 29155
/proc/meminfo: memFree=519632/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1368320 CPUtime=1421.82
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 341926 0 0 0 141975 207 0 0 25 0 1 0 251665515 1401159680 341337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 342080 341337 311 324 0 341150 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1368320

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29155
/proc/meminfo: memFree=456400/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1432384 CPUtime=1481.79
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 357956 0 0 0 147963 216 0 0 25 0 1 0 251665515 1466761216 357367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 358096 357367 311 324 0 357166 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1432384

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29155
/proc/meminfo: memFree=372112/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1515668 CPUtime=1541.78
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 378761 0 0 0 153949 229 0 0 25 0 1 0 251665515 1552044032 378172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 378917 378172 311 324 0 377987 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1515668

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29155
/proc/meminfo: memFree=321680/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1566076 CPUtime=1601.76
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 391350 0 0 0 159939 237 0 0 25 0 1 0 251665515 1603661824 390761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 391519 390761 311 324 0 390589 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1566076

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29155
/proc/meminfo: memFree=276304/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1611256 CPUtime=1661.74
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 402667 0 0 0 165931 243 0 0 25 0 1 0 251665515 1649926144 402078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5963928 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 402814 402078 311 324 0 401884 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1611256

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29155
/proc/meminfo: memFree=215824/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1673016 CPUtime=1721.72
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 418084 0 0 0 171920 252 0 0 25 0 1 0 251665515 1713168384 417495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 418254 417495 311 324 0 417324 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1673016

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29155
/proc/meminfo: memFree=160592/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1727092 CPUtime=1781.71
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 431625 0 0 0 177910 261 0 0 25 0 1 0 251665515 1768542208 431036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 431773 431036 311 324 0 430843 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1727092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29155
/proc/meminfo: memFree=142480/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=1744612 CPUtime=1800.02
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 435991 0 0 0 179736 266 0 0 25 0 1 0 251665515 1786482688 435402 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 436153 435402 311 324 0 435223 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1744612

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29155
/proc/meminfo: memFree=142480/2055920 swapFree=4183252/4192956
[pid=28954] ppid=28952 vsize=0 CPUtime=1800.2
/proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194308 435995 0 0 0 179736 284 0 0 25 0 1 0 251665515 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/28954/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.88
CPU time (s): 1800.3
CPU user time (s): 1797.37
CPU system time (s): 2.93155
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 1744612

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

runsolver used 1.23581 second user time and 3.73843 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Tue May  1 16:39:15 UTC 2007

IDJOB= 455121
IDBENCH= 48242
IDSOLVER= 199
FILE ID= node60/455121-1178037555

PBS_JOBID= 4728442

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  13c8aeb5c21aab422ad1cf9309500df6

RANDOM SEED= 709468286

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1887656 kB
Buffers:         33396 kB
Cached:          65836 kB
SwapCached:       3244 kB
Active:          70184 kB
Inactive:        38676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1887656 kB
SwapTotal:     4192956 kB
SwapFree:      4183252 kB
Dirty:            7552 kB
Writeback:           0 kB
Mapped:          15472 kB
Slab:            45400 kB
Committed_AS:  4307944 kB
PageTables:       1464 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 node60 on Tue May  1 17:09:18 UTC 2007