Trace number 455010

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)-16 1800.27 1800.75

General information on the benchmark

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.03	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.03	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.03	c type "bsolo -h" for help
0.00/0.03	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.03	c Time Limit set to 1800
0.00/0.03	c Memory Limit set to 1800 MB
0.00/0.03	c Instance file /tmp/evaluation/455010-1178035349/instance-455010-1178035349.opb
0.00/0.03	c File size is 431169 bytes.
0.17/0.21	c Highest Coefficient sum: 1000
0.17/0.21	c Parsing was ok!!
0.17/0.21	c Total parsing time: 0.189 s
0.17/0.27	c Var: 32340 Constr: 64182 31840/1002/31340 Lit: 222380 Watch. Lit: 190042
0.17/0.27	c Obj. Vars: 500 (1.54607 % of total variables)
180.23/180.32	c Pre-processing Time: 180.249 s
180.23/180.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.23/180.32	c        0  32340    64182   222380    3   190042  525974      0      0 180.25
180.23/180.32	c Switching off LPR mode.
180.23/180.38	o -1	180.313
180.32/180.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.32/180.46	c        0  32340    64183   222880    3   190045  526308      1      0 180.33
180.32/180.46	o -2	180.394
180.42/180.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.42/180.55	c        0  32340    64184   223380    3   190049  526808      2      0 180.41
180.42/180.55	o -3	180.475
180.52/180.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.52/180.63	c        0  32340    64185   223880    3   190054  527474      3      0 180.49
180.52/180.63	o -4	180.557
180.62/180.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.62/180.71	c        0  32340    64186   224380    3   190060  528308      4      0 180.57
180.62/180.71	o -5	180.639
180.62/180.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.62/180.79	c        0  32340    64187   224880    3   190067  529308      5      0 180.65
180.62/180.79	o -6	180.721
180.72/180.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.72/180.87	c        0  32340    64188   225380    3   190075  530308      6      0 180.74
180.72/180.87	o -7	180.802
180.82/180.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.82/180.95	c        0  32340    64189   225880    3   190084  531308      7      0 180.82
180.82/180.95	o -8	180.884
180.92/181.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.92/181.04	c        0  32340    64190   226380    3   190094  532308      8      0 180.90
180.92/181.04	o -9	180.966
181.03/181.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.03/181.12	c        0  32340    64191   226880    3   190105  533308      9      0 180.98
181.03/181.12	o -10	181.048
181.12/181.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.12/181.20	c        0  32340    64192   227380    3   190117  534308     10      0 181.06
181.12/181.20	o -11	181.129
181.12/181.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.12/181.28	c        0  32340    64193   227880    3   190130  535308     11      0 181.15
181.12/181.28	o -12	181.211
181.23/181.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.23/181.36	c        0  32340    64194   228380    3   190144  536308     12      0 181.23
181.23/181.36	o -13	181.292
181.32/181.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.32/181.44	c        0  32340    64195   228880    3   190159  537308     13      0 181.31
181.32/181.44	o -14	181.373
181.42/181.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.42/181.57	c        0  32340    64196   229380    3   190175  538308     14      0 181.39
181.42/181.57	o -15	181.5
197.71/197.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
197.71/197.85	c        4  32340    64201   232205    3   190200  538308     19      0 181.52
197.71/197.85	c      104  32340    64301   291063    4   190400  592139    119      0 182.65
197.71/197.85	c      354  32340    64551   445662    6   190900  651353    369      1 185.29
197.71/197.85	c      829  32340    65026   747859   11   191850  716489    844      4 189.86
197.71/197.85	c     1642  32340    65839  1301695   19   193476  788138   1657      8 194.96
197.71/197.85	o -16	197.777
1799.92/1800.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.92/1800.48	c     2609  32340    66807  2121048   31   195428  538308   2625     13 197.80
1799.92/1800.48	c     2709  32340    66907  2171051   32   195628  592139   2725     13 198.67
1799.92/1800.48	c     2959  32340    67157  2296062   34   196128  651353   2975     14 199.84
1799.92/1800.48	c     3434  32340    67632  2577649   38   197078  716489   3450     16 204.76
1799.92/1800.48	c     4247  32340    68445  3105967   45   198704  788138   4263     19 213.23
1799.92/1800.48	c     5567  32340    69765  3974920   56   201344  866952   5583     24 224.96
1799.92/1800.48	c     7648  32340    71846  5304761   73   205506  953648   7664     31 241.83
1799.92/1800.48	c    10871  32340    75069  7415926   98   211952  500000  10887     40 269.54
1799.92/1800.48	c    15807  32340    80005 10661594  133   221824  550001  15823     48 322.84
1799.92/1800.48	c    23313  32340    87511 15760218  180   236836  605002  23329     60 388.15
1799.92/1800.48	c    34674  32340    98872 23504139  237   259558  665503  34690     71 484.53
1799.92/1800.48	c    51818  32340   116016 34845017  300   293846  732054  51834     85 605.46
1799.92/1800.48	c    77637  32340   141835 52689258  371   345484  805260  77653    100 773.88
1799.92/1800.48	c   116469  32340   180667 78749822  435   423148  885787 116485    112 1039.79
1799.92/1800.48	c   174821  32340   239019 117505835  491   539852  974366 174837    106 1648.34
1799.92/1800.48	c Resources Exceeded
1799.92/1800.48	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
1799.92/1800.48	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
1799.92/1800.48	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
1799.92/1800.48	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
1799.92/1800.48	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1799.92/1800.48	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1799.92/1800.48	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1799.92/1800.48	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1799.92/1800.48	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
1799.92/1800.48	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1799.92/1800.48	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1799.92/1800.48	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1799.92/1800.48	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1799.92/1800.48	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1799.92/1800.48	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1799.92/1800.48	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1799.92/1800.48	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380
1799.92/1800.48	v -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1799.92/1800.48	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1799.92/1800.48	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1799.92/1800.48	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1799.92/1800.48	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1799.92/1800.48	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x791 -x720 -x789 -x576 -x562 -x999
1799.92/1800.48	v -x865 -x778 -x746 -x628 -x843 -x680 -x650 -x594 -x538 -x550 -x655 -x774 -x868 -x731 -x503 -x573 -x570 -x816 -x768 -x519 -x578
1799.92/1800.48	v -x601 -x606 -x610 -x625 -x629 -x644 -x727 -x769 -x796 -x837 -x851 -x888 -x926 -x931 -x945 -x957 -x959 -x501 x892 -x711 x631
1799.92/1800.48	v x797 x564 -x514 x587 x783 x803 x662 -x697 -x653 x878 -x974 x898 -x858 x668 x929 -x507 -x761 -x966 -x557 -x915 x591 -x776 -x512
1799.92/1800.48	v -x541 -x546 x560 x561 -x574 -x588 -x673 -x728 -x738 -x810 -x812 -x828 -x869 -x885 -x947 -x502 -x645 -x946 -x700 -x567 -x967
1799.92/1800.48	v -x824 -x949 -x887 -x963 -x544 -x522 -x617 -x718 -x787 -x691 -x518 -x526 -x589 -x623 -x671 -x683 -x753 -x755 -x798 -x820 -x829
1799.92/1800.48	v -x971 -x763 -x558 -x705 -x686 -x734 -x800 -x704 -x961 -x938 -x652 -x918 -x582 -x870 -x766 -x702 -x656 -x809 -x719 -x551 -x575
1799.92/1800.48	v -x602 -x630 -x712 -x744 -x799 -x891 -x920 -x504 -x516 -x989 -x710 -x983 -x747 -x984 -x598 -x924 -x535 -x690 -x693 -x506 -x907
1799.92/1800.48	v -x875 -x521 -x524 -x532 -x539 -x572 -x595 -x642 -x678 -x839 -x876 -x916 -x505 -x882 -x833 -x861 -x831 -x988 -x638 -x580 -x823
1799.92/1800.48	v -x973 -x542 -x921 -x510 -x817 -x807 -x699 -x517 -x545 -x605 -x681 -x752 -x775 -x813 -x899 -x960 -x706 -x867 -x646 -x741 -x622
1799.92/1800.48	v -x632 -x982 -x835 -x732 -x579 -x792 -x571 -x568 -x723 -x893 -x540 -x548 -x661 -x672 -x679 -x688 -x757 -x836 -x922 -x941 -x969
1799.92/1800.48	v -x665 -x785 -x972 -x600 -x840 -x657 -x615 -x802 -x914 -x725 -x897 -x939 -x729 -x730 -x754 -x748 -x520 -x627 -x651 -x654 -x659
1799.92/1800.48	v -x714 -x759 -x881 -x883 -x993 -x508 -x670 -x709 -x620 -x736 -x902 -x666 -x742 -x758 -x677 -x708 -x911 -x781 -x857 -x586 -x658
1799.92/1800.48	v -x511 -x515 -x649 -x663 -x968 -x509 -x749 -x927 -x841 -x955 -x772 -x827 -x904 -x844 -x513 -x826 -x923 -x640 -x676 -x765 -x793
1799.92/1800.48	v -x852 -x913 -x987 -x767 -x619 -x533 -x788 -x643 -x942 -x950 -x596 -x565 -x863 -x990 -x890 -x534 -x636 -x896 -x930 -x944 -x996
1799.92/1800.48	v -x786 -x994 -x530 -x952 -x853 -x985 -x978 -x722 -x698 -x593 -x599 -x733 -x739 -x856 -x937 -x618 -x777 -x597 -x581 -x818 -x934
1799.92/1800.48	v -x611 -x675 -x674 -x717 -x750 -x773 -x808 -x822 -x928 -x849 -x556 -x981 -x804 -x932 -x590 -x692 -x850 -x624 -x543 -x735 -x647
1799.92/1800.48	v -x847 -x903 -x917 -x737 -x905 -x559 -x694 -x713 -x779 -x900 -x948 -x669 -x616 -x756 -x873 -x609 -x607 -x536 -x577 -x584 -x716
1799.92/1800.48	v -x745 -x687 -x637 -x956 -x626 -x780 -x848 -x919 -x621 -x523 -x547 -x553 -x815 -x721 -x958 -x689 -x814 -x879 -x970 -x954 -x795
1799.92/1800.48	v -x592 -x634 -x529 -x859 -x860 -x936 -x608 -x953 -x855 -x604 -x525 -x528 -x555 -x583 -x790 -x908 -x912 -x874 -x866 -x695 -x554
1799.92/1800.48	v -x975 -x998 -x901 -x527 -x819 -x760 -x794 -x614 -x566 -x740 -x965 -x943 -x549 -x825 -x872 -x933 -x552 -x762 -x877 -x845 -x635
1799.92/1800.48	v -x743 -x830 -x641 -x660 -x806 -x864 -x682 -x801 -x834 -x537 -x648 -x770 -x980 -x986 -x664 -x805 -x862 -x880 -x612 -x935 -x696
1799.92/1800.48	v -x979 -x995 -x832 -x784 -x563 -x889 -x940 -x1000 -x925 -x909 -x821 -x685 -x910 -x531 -x846 -x977 -x842 -x639 -x751 -x838
1799.92/1800.48	v -x782 -x569 -x613 -x603 -x726 -x707 -x701 -x684 -x811 -x906 -x633 -x991 -x771 -x964 -x962 -x764 -x997 -x724 -x992 -x884 -x951
1799.92/1800.48	v x894 -x585 -x667 -x854 -x895 -x715 -x703 -x976 -x871 -x886
1799.92/1800.48	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.92/1800.48	c   34   193155    515   635810   257353 130949943 193171    107 1800.00
1799.92/1800.48	c Objective: -16
1799.92/1800.48	s SATISFIABLE
1799.92/1800.48	c Total time: 1800 s

Verifier Data (download as text)

OK	-16

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-455010-1178035349 -o ROOT/results/node12/solver-455010-1178035349 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455010-1178035349/instance-455010-1178035349.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.14 1.02 1.00 3/77 23407
/proc/meminfo: memFree=1854608/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=18528 CPUtime=0
/proc/23407/stat : 23407 (runsolver) D 23405 23407 23002 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 279572254 18972672 284 18446744073709551615 4194304 4255128 548682068960 18446744073709551615 252429528359 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/23407/statm: 4632 284 249 14 0 2626 0

[startup+0.104374 s]
/proc/loadavg: 1.14 1.02 1.00 3/77 23407
/proc/meminfo: memFree=1854608/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=8552 CPUtime=0.07
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 1445 0 0 0 7 0 0 0 18 0 1 0 279572254 8757248 1414 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131013 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 2138 1416 333 324 0 1101 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8552

[startup+0.201382 s]
/proc/loadavg: 1.14 1.02 1.00 3/77 23407
/proc/meminfo: memFree=1854608/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=13448 CPUtime=0.17
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 2777 0 0 0 16 1 0 0 18 0 1 0 279572254 13770752 2706 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 3362 2707 385 324 0 2325 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 13448

[startup+0.301393 s]
/proc/loadavg: 1.14 1.02 1.00 3/77 23407
/proc/meminfo: memFree=1854608/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=21036 CPUtime=0.27
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4701 0 0 0 25 2 0 0 19 0 1 0 279572254 21540864 4524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 5259 4524 307 324 0 4328 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 21036

[startup+0.701432 s]
/proc/loadavg: 1.14 1.02 1.00 3/77 23407
/proc/meminfo: memFree=1854608/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=21168 CPUtime=0.67
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4737 0 0 0 65 2 0 0 23 0 1 0 279572254 21676032 4560 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10129448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 5292 4560 307 324 0 4361 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21168

[startup+1.50151 s]
/proc/loadavg: 1.13 1.02 1.00 2/78 23408
/proc/meminfo: memFree=1837384/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=21168 CPUtime=1.47
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 145 2 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 5292 4561 307 324 0 4361 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 21168

[startup+3.10167 s]
/proc/loadavg: 1.13 1.02 1.00 2/78 23408
/proc/meminfo: memFree=1837320/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=21168 CPUtime=3.07
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 305 2 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 5292 4561 307 324 0 4361 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 21168

[startup+6.30299 s]
/proc/loadavg: 1.12 1.02 1.00 2/78 23408
/proc/meminfo: memFree=1837200/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=21168 CPUtime=6.27
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 625 2 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 5292 4561 307 324 0 4361 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21168

[startup+12.7016 s]
/proc/loadavg: 1.11 1.02 1.00 2/78 23408
/proc/meminfo: memFree=1837336/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=21168 CPUtime=12.66
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 1264 2 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 5292 4561 307 324 0 4361 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 21168

[startup+25.5019 s]
/proc/loadavg: 1.08 1.02 1.00 2/78 23408
/proc/meminfo: memFree=1837528/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=21168 CPUtime=25.46
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 2543 3 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10125381 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 5292 4561 307 324 0 4361 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 21168

[startup+51.1015 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 23408
/proc/meminfo: memFree=1837592/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=21168 CPUtime=51.05
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 5101 4 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 5292 4561 307 324 0 4361 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 21168

[startup+102.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 23408
/proc/meminfo: memFree=1837720/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=21168 CPUtime=102.24
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 10217 7 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 5292 4561 307 324 0 4361 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 21168

[startup+162.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 23408
/proc/meminfo: memFree=1837720/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=21168 CPUtime=162.22
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 16212 10 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550801 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 5292 4561 307 324 0 4361 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 21168

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=1792024/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=66600 CPUtime=222.22
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 16220 0 0 0 22179 43 0 0 25 0 1 0 279572254 68198400 15979 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 16650 15979 313 324 0 15719 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 66600

[startup+282.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 23408
/proc/meminfo: memFree=1733720/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=124832 CPUtime=282.2
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 30784 0 0 0 28165 55 0 0 25 0 1 0 279572254 127827968 30543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572786 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 31208 30543 313 324 0 30277 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 124832

[startup+342.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 23408
/proc/meminfo: memFree=1686936/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=171416 CPUtime=342.18
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 42419 0 0 0 34154 64 0 0 25 0 1 0 279572254 175529984 42178 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 42854 42178 313 324 0 41923 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 171416

[startup+402.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 23408
/proc/meminfo: memFree=1623064/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=235624 CPUtime=402.17
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 58458 0 0 0 40141 76 0 0 25 0 1 0 279572254 241278976 58217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 58906 58217 313 324 0 57975 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 235624

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=1562264/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=295960 CPUtime=462.15
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 73557 0 0 0 46129 86 0 0 25 0 1 0 279572254 303063040 73316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 73990 73316 313 324 0 73059 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 295960

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=1494616/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=365196 CPUtime=522.14
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 90869 0 0 0 52114 100 0 0 25 0 1 0 279572254 373960704 90628 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 91299 90628 313 324 0 90368 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 365196

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=1418200/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=440616 CPUtime=582.12
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 109725 0 0 0 58101 111 0 0 25 0 1 0 279572254 451190784 109484 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 110154 109484 313 324 0 109223 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 440616

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=1343384/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=514964 CPUtime=642.1
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 128296 0 0 0 64083 127 0 0 25 0 1 0 279572254 527323136 128055 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572045 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 128741 128055 313 324 0 127810 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 514964


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

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=972056/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=884932 CPUtime=882.05
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 220797 0 0 0 88011 194 0 0 25 0 1 0 279572254 906170368 220556 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 221233 220556 313 324 0 220302 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 884932

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=884120/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=972548 CPUtime=942.04
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 242697 0 0 0 93994 210 0 0 25 0 1 0 279572254 995889152 242456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 243137 242456 313 324 0 242206 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 972548

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=849304/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1007212 CPUtime=1002.02
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 251353 0 0 0 99985 217 0 0 25 0 1 0 279572254 1031385088 251112 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 251803 251112 313 324 0 250872 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1007212

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=808792/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1047892 CPUtime=1062
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 261525 0 0 0 105976 224 0 0 25 0 1 0 279572254 1073041408 261284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 261973 261284 313 324 0 261042 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1047892

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=768920/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1087832 CPUtime=1121.98
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 271514 0 0 0 111967 231 0 0 25 0 1 0 279572254 1113939968 271273 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 271958 271273 313 324 0 271027 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1087832

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=731096/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1125324 CPUtime=1181.97
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 280897 0 0 0 117959 238 0 0 25 0 1 0 279572254 1152331776 280656 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 281331 280656 313 324 0 280400 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1125324

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=692696/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1163932 CPUtime=1241.95
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 290556 0 0 0 123950 245 0 0 25 0 1 0 279572254 1191866368 290315 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 290983 290315 313 324 0 290052 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1163932

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=649752/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1206544 CPUtime=1301.94
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 301193 0 0 0 129939 255 0 0 25 0 1 0 279572254 1235501056 300952 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551569 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 301636 300952 313 324 0 300705 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1206544

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=597080/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1259044 CPUtime=1361.92
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 314323 0 0 0 135927 265 0 0 25 0 1 0 279572254 1289261056 314082 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 314761 314082 313 324 0 313830 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1259044

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=540376/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1315320 CPUtime=1421.91
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 328387 0 0 0 141914 277 0 0 25 0 1 0 279572254 1346887680 328146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551510 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 328830 328146 313 324 0 327899 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1315320

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=488088/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1367892 CPUtime=1481.89
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 341552 0 0 0 147901 288 0 0 25 0 1 0 279572254 1400721408 341311 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 341973 341311 313 324 0 341042 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1367892

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=430936/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1424508 CPUtime=1541.89
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 355696 0 0 0 153892 297 0 0 25 0 1 0 279572254 1458696192 355455 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 356127 355455 313 324 0 355196 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1424508

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=372056/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1483932 CPUtime=1601.86
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 370555 0 0 0 159877 309 0 0 25 0 1 0 279572254 1519546368 370314 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 370983 370314 313 324 0 370052 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1483932

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=312408/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1542816 CPUtime=1661.85
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 385277 0 0 0 165864 321 0 0 25 0 1 0 279572254 1579843584 385036 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 385704 385036 313 324 0 384773 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1542816

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=246680/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1609116 CPUtime=1721.83
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 401829 0 0 0 171850 333 0 0 25 0 1 0 279572254 1647734784 401588 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 402279 401588 313 324 0 401348 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1609116

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=174744/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=1680240 CPUtime=1781.82
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 419618 0 0 0 177835 347 0 0 25 0 1 0 279572254 1720565760 419377 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 420060 419377 313 324 0 419129 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1680240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23408
/proc/meminfo: memFree=240024/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=0 CPUtime=1800.01
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194308 425450 0 0 0 179649 352 0 0 17 0 1 0 279572254 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23409
/proc/meminfo: memFree=1522896/2055920 swapFree=4160052/4192956
[pid=23407] ppid=23405 vsize=0 CPUtime=1800.21
/proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194308 425450 0 0 0 179649 372 0 0 18 0 1 0 279572254 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23407/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.27
CPU user time (s): 1796.5
CPU system time (s): 3.77243
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1703384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.5
system time used= 3.77243
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425450
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= 18
involuntary context switches= 36270

runsolver used 1.2978 second user time and 3.9304 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue May  1 16:02:29 UTC 2007

IDJOB= 455010
IDBENCH= 48235
IDSOLVER= 163
FILE ID= node12/455010-1178035349

PBS_JOBID= 4728444

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  493eec42e81abed935f584a4e365015a

RANDOM SEED= 159402272

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1855016 kB
Buffers:         51232 kB
Cached:          64588 kB
SwapCached:      11204 kB
Active:          53592 kB
Inactive:        85400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855016 kB
SwapTotal:     4192956 kB
SwapFree:      4160052 kB
Dirty:            7128 kB
Writeback:           0 kB
Mapped:          29876 kB
Slab:            47440 kB
Committed_AS:  9755676 kB
PageTables:       1792 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node12 on Tue May  1 16:32:31 UTC 2007