Trace number 433110

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)-39 1800.24 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM32f273c48805c1e726044ae006778010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80035
Number of constraints which are clauses80035
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
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 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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/433110-1177954570/instance-433110-1177954570.opb
0.00/0.00	c File size is 1935391 bytes.
0.29/0.33	c Highest Coefficient sum: 1150
0.29/0.33	c Parsing was ok!!
0.29/0.33	c Total parsing time: 0.326 s
0.29/0.36	c Var: 1150 Constr: 80035 80035/0/0 Lit: 160070 Watch. Lit: 160070
0.29/0.36	c Obj. Vars: 1150 (100 % of total variables)
2.39/2.49	c Pre-processing Time: 2.485 s
2.39/2.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.49	c        0   1150    80035   160070    2   160070   26678      0      0 2.49
2.39/2.49	c Switching off LPR mode.
2.49/2.50	o -37	2.5
2.49/2.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.52	c        0   1150    80036   161220    2   160109   27678      1      0 2.50
2.49/2.52	o -38	2.52
1702.64/1703.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1702.64/1703.29	c       29   1150    80066   194555    2   160207   27678     31     11 2.52
1702.64/1703.29	c      129   1150    80166   305380    3   160407   30446    131     49 2.58
1702.64/1703.29	c      379   1150    80416   582395    7   160907   33491    381    138 2.74
1702.64/1703.29	c      854   1150    80891  1108810   13   161857   36841    856    279 3.06
1702.64/1703.29	c     1667   1150    81704  2009716   24   163483   40526   1669    436 3.82
1702.64/1703.29	c     2987   1150    83024  3472612   41   166123   44579   2989    554 5.39
1702.64/1703.29	c     5069   1150    85106  5779922   67   170287   49037   5071    559 9.05
1702.64/1703.29	c     8292   1150    88329  9350584  105   176733   53941   8294    483 17.14
1702.64/1703.29	c    13228   1150    93265 14813033  158   186605   59336  13230    400 33.02
1702.64/1703.29	c    20735   1150   100772 23131144  229   201619   65270  20737    295 70.12
1702.64/1703.29	c    32096   1150   112133 35720077  318   224341   71798  32098    295 108.44
1702.64/1703.29	c    49240   1150   129277 54713321  423   258629   78978  49242    143 343.48
1702.64/1703.29	c    75059   1150   155096 83332735  537   310267   86876  75061    122 613.28
1702.64/1703.29	c   113891   1150   118125 42360593  358   236288   95564  38090    103 1096.19
1702.64/1703.29	c   172243   1150    92425 13889140  150   184888  105121  12390    101 1702.48
1702.64/1703.29	o -39	1702.74
1800.02/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.61	c   172300   1150    92483 13953465  150   185043   27678  12448    101 1702.74
1800.02/1800.61	c   172400   1150    92583 14064157  151   185243   30446  12548    101 1702.88
1800.02/1800.61	c   172650   1150    92833 14341077  154   185743   33491  12798    101 1703.23
1800.02/1800.61	c   173126   1150    93309 14868138  159   186695   36841  13274    101 1704.16
1800.02/1800.61	c   173939   1150    94122 15768293  167   188321   40526  14087    101 1705.67
1800.02/1800.61	c   175259   1150    95442 17230380  180   190961   44579  15407    102 1711.07
1800.02/1800.61	c   177340   1150    97523 19533827  200   195123   49037  17488    103 1715.15
1800.02/1800.61	c   180564   1150   100747 23103282  229   201571   53941  20712    104 1731.97
1800.02/1800.61	c   185500   1150   105683 28563502  270   211443   59336  25648    106 1748.70
1800.02/1800.61	c   193006   1150   113189 36872561  325   226455   65270  33154    108 1777.59
1800.02/1800.61	c Caught signal: 15
1800.02/1800.61	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1800.02/1800.61	v -x1133 -x1132 x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 x1118 -x1117 -x1116
1800.02/1800.61	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099
1800.02/1800.61	v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082
1800.02/1800.61	v x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065
1800.02/1800.61	v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048
1800.02/1800.61	v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 x1031
1800.02/1800.61	v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
1800.02/1800.61	v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996
1800.02/1800.61	v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 -x978 -x977 -x976 -x975
1800.02/1800.61	v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954
1800.02/1800.61	v -x953 -x952 -x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 -x938 -x937 -x936 -x935 -x934 -x933
1800.02/1800.61	v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912
1800.02/1800.61	v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891
1800.02/1800.61	v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
1800.02/1800.61	v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 -x851 -x850 -x849
1800.02/1800.61	v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 x830 -x829 -x828
1800.02/1800.61	v -x827 -x826 -x825 x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
1800.02/1800.61	v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786
1800.02/1800.61	v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765
1800.02/1800.61	v -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744
1800.02/1800.61	v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723
1800.02/1800.61	v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702
1800.02/1800.61	v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681
1800.02/1800.61	v -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660
1800.02/1800.61	v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639
1800.02/1800.61	v -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618
1800.02/1800.61	v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 -x600 -x599 -x598 -x597
1800.02/1800.61	v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576
1800.02/1800.61	v x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555
1800.02/1800.61	v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534
1800.02/1800.61	v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513
1800.02/1800.61	v -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492
1800.02/1800.61	v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471
1800.02/1800.61	v -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450
1800.02/1800.61	v -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429
1800.02/1800.61	v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408
1800.02/1800.61	v -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387
1800.02/1800.61	v -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366
1800.02/1800.61	v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345
1800.02/1800.61	v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324
1800.02/1800.61	v -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303
1800.02/1800.61	v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282
1800.02/1800.61	v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261
1800.02/1800.61	v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240
1800.02/1800.61	v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219
1800.02/1800.61	v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198
1800.02/1800.61	v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1800.02/1800.61	v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156
1800.02/1800.61	v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
1800.02/1800.61	v -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1800.02/1800.61	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92
1800.02/1800.61	v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1800.02/1800.61	v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40
1800.02/1800.61	v -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14
1800.02/1800.61	v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1
1800.02/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.61	c   26   198774  21806   227325   118957 43259036  38922    110 1800.03
1800.02/1800.61	c Objective: -39
1800.02/1800.61	s SATISFIABLE
1800.02/1800.61	c Total time: 1800.03 s

Verifier Data (download as text)

OK	-39

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node17/watcher-433110-1177954570 -o ROOT/results/node17/solver-433110-1177954570 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433110-1177954570/instance-433110-1177954570.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.78 0.95 0.96 3/77 5729
/proc/meminfo: memFree=1645936/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=21440 CPUtime=0
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 243374593 21954560 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 5360 330 278 324 0 3957 0

[startup+0.0548499 s]
/proc/loadavg: 0.78 0.95 0.96 3/77 5729
/proc/meminfo: memFree=1645936/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=7064 CPUtime=0.04
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 747 0 0 0 4 0 0 0 18 0 1 0 243374593 7233536 717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 1766 717 350 324 0 363 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7064

[startup+0.101856 s]
/proc/loadavg: 0.78 0.95 0.96 3/77 5729
/proc/meminfo: memFree=1645936/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=8300 CPUtime=0.09
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 1110 0 0 0 9 0 0 0 18 0 1 0 243374593 8499200 1080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 2075 1080 420 324 0 672 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8300

[startup+0.301876 s]
/proc/loadavg: 0.78 0.95 0.96 3/77 5729
/proc/meminfo: memFree=1645936/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=13112 CPUtime=0.29
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 2596 0 0 0 28 1 0 0 19 0 1 0 243374593 13426688 2566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 3278 2566 710 324 0 1875 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13112

[startup+0.701919 s]
/proc/loadavg: 0.78 0.95 0.96 3/77 5729
/proc/meminfo: memFree=1645936/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=18248 CPUtime=0.69
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 4441 0 0 0 67 2 0 0 22 0 1 0 243374593 18685952 3938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 4562 3938 305 324 0 3632 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18248

[startup+1.502 s]
/proc/loadavg: 0.78 0.95 0.96 2/78 5730
/proc/meminfo: memFree=1631336/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=18248 CPUtime=1.48
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 4441 0 0 0 145 3 0 0 25 0 1 0 243374593 18685952 3938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 4562 3938 305 324 0 3632 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18248

[startup+3.10117 s]
/proc/loadavg: 0.78 0.95 0.96 2/78 5730
/proc/meminfo: memFree=1631208/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=28552 CPUtime=3.09
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 8215 0 0 0 301 8 0 0 25 0 1 0 243374593 29237248 6515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 7138 6515 310 324 0 6208 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28552

[startup+6.3015 s]
/proc/loadavg: 0.80 0.95 0.96 2/78 5730
/proc/meminfo: memFree=1591080/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=67492 CPUtime=6.28
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 17935 0 0 0 616 12 0 0 25 0 1 0 243374593 69111808 16235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 16873 16235 310 324 0 15943 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 67492

[startup+12.7012 s]
/proc/loadavg: 0.81 0.95 0.96 2/78 5730
/proc/meminfo: memFree=1542704/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=110380 CPUtime=12.68
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 28668 0 0 0 1252 16 0 0 25 0 1 0 243374593 113029120 26968 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134584944 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 27595 26968 310 324 0 26665 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 110380

[startup+25.5015 s]
/proc/loadavg: 0.85 0.95 0.96 2/78 5730
/proc/meminfo: memFree=1476272/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=173772 CPUtime=25.47
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 44534 0 0 0 2524 23 0 0 25 0 1 0 243374593 177942528 42834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 43443 42834 310 324 0 42513 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 173772

[startup+51.1012 s]
/proc/loadavg: 0.90 0.96 0.96 2/78 5730
/proc/meminfo: memFree=1377392/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=272912 CPUtime=51.07
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 69297 0 0 0 5071 36 0 0 25 0 1 0 243374593 279461888 67597 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 68228 67597 310 324 0 67298 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 272912

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.96 2/78 5730
/proc/meminfo: memFree=1191536/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=457368 CPUtime=102.26
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 115411 0 0 0 10172 54 0 0 25 0 1 0 243374593 468344832 113711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 114342 113711 310 324 0 113412 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 457368

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.96 2/78 5730
/proc/meminfo: memFree=1101808/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=547112 CPUtime=162.24
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 137850 0 0 0 16158 66 0 0 25 0 1 0 243374593 560242688 136150 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 136778 136150 310 324 0 135848 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 547112

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5730
/proc/meminfo: memFree=1044592/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=603884 CPUtime=222.23
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 152033 0 0 0 22150 73 0 0 25 0 1 0 243374593 618377216 150333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 150971 150333 310 324 0 150041 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 603884

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=1001328/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=647648 CPUtime=282.21
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 162975 0 0 0 28142 79 0 0 25 0 1 0 243374593 663191552 161275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 161912 161275 310 324 0 160982 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 647648

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=936504/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=712240 CPUtime=342.2
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 179147 0 0 0 34132 88 0 0 25 0 1 0 243374593 729333760 177447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 178060 177447 310 324 0 177130 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 712240

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=812600/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=837516 CPUtime=402.18
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 210459 0 0 0 40115 103 0 0 25 0 1 0 243374593 857616384 208759 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 209379 208759 310 324 0 208449 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 837516

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=715832/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=932396 CPUtime=462.17
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 234162 0 0 0 46103 114 0 0 25 0 1 0 243374593 954773504 232462 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 233099 232462 310 324 0 232169 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 932396

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=654520/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=994324 CPUtime=522.15
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 249668 0 0 0 52092 123 0 0 25 0 1 0 243374593 1018187776 247968 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 248581 247968 310 324 0 247651 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 994324

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=597112/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1050768 CPUtime=582.14
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 263761 0 0 0 58082 132 0 0 25 0 1 0 243374593 1075986432 262061 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 262692 262061 310 324 0 261762 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1050768

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=471096/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1176228 CPUtime=642.12
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 295120 0 0 0 64064 148 0 0 25 0 1 0 243374593 1204457472 293420 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 294057 293420 310 324 0 293127 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1176228


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=382904/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1264024 CPUtime=882.06
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 88045 161 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 316006 315368 310 324 0 315076 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1264024

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=382904/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1264024 CPUtime=942.04
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 94043 161 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 316006 315368 310 324 0 315076 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1264024

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=383096/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1264024 CPUtime=1002.03
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 100041 162 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 316006 315368 310 324 0 315076 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1264024

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=383096/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1264024 CPUtime=1062.01
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 106039 162 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 316006 315368 310 324 0 315076 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1264024

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=383160/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1264024 CPUtime=1122
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 112037 163 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 316006 315368 310 324 0 315076 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1264024

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=383160/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1264024 CPUtime=1181.98
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 118035 163 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 316006 315368 310 324 0 315076 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1264024

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=383096/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1264024 CPUtime=1241.96
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 124033 163 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3292916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 316006 315368 310 324 0 315076 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1264024

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=383096/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1264024 CPUtime=1301.95
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 130031 164 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3292916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 316006 315368 310 324 0 315076 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1264024

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=383096/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1264024 CPUtime=1361.94
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 136029 165 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 316006 315368 310 324 0 315076 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1264024

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=383032/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1264024 CPUtime=1421.92
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 142027 165 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 316006 315368 310 324 0 315076 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1264024

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5732
/proc/meminfo: memFree=323640/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1323768 CPUtime=1481.9
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 332111 0 0 0 148017 173 0 0 25 0 1 0 243374593 1355538432 330325 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 330942 330325 310 324 0 330012 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1323768

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/84 5910
/proc/meminfo: memFree=261824/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1383536 CPUtime=1541.79
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 347138 0 0 0 153997 182 0 0 25 0 1 0 243374593 1416740864 345257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 345884 345257 310 324 0 344954 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1383536

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5930
/proc/meminfo: memFree=262840/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1383536 CPUtime=1601.76
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 347138 0 0 0 159993 183 0 0 25 0 1 0 243374593 1416740864 345257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 345884 345257 310 324 0 344954 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1383536

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5930
/proc/meminfo: memFree=263032/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1383536 CPUtime=1661.75
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 347138 0 0 0 165991 184 0 0 25 0 1 0 243374593 1416740864 345257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 345884 345257 310 324 0 344954 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1383536

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5930
/proc/meminfo: memFree=263096/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1383536 CPUtime=1721.73
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 347138 0 0 0 171989 184 0 0 25 0 1 0 243374593 1416740864 345257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 345884 345257 310 324 0 344954 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1383536

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5930
/proc/meminfo: memFree=263096/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1383536 CPUtime=1781.71
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 347138 0 0 0 177987 184 0 0 25 0 1 0 243374593 1416740864 345257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 345884 345257 310 324 0 344954 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1383536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 5930
/proc/meminfo: memFree=263160/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=1383536 CPUtime=1800.02
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 347138 0 0 0 179817 185 0 0 25 0 1 0 243374593 1416740864 345257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 345884 345257 310 324 0 344954 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1383536

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: 0.99 0.97 0.96 2/78 5930
/proc/meminfo: memFree=263160/2055920 swapFree=4140232/4192956
[pid=5729] ppid=5727 vsize=0 CPUtime=1800.21
/proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194308 347142 0 0 0 179817 204 0 0 25 0 1 0 243374593 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/5729/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.24
CPU user time (s): 1798.18
CPU system time (s): 2.06669
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 1383916

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

runsolver used 1.43878 second user time and 3.86341 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Mon Apr 30 17:36:11 UTC 2007

IDJOB= 433110
IDBENCH= 2262
IDSOLVER= 199
FILE ID= node17/433110-1177954570

PBS_JOBID= 4727698

Free space on /tmp= 66556 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433110-1177954570/instance-433110-1177954570.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-433110-1177954570 -o ROOT/results/node17/solver-433110-1177954570 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433110-1177954570/instance-433110-1177954570.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  32f273c48805c1e726044ae006778010

RANDOM SEED= 573196829

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1646344 kB
Buffers:         39256 kB
Cached:         276668 kB
SwapCached:      15576 kB
Active:         218208 kB
Inactive:       121068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1646344 kB
SwapTotal:     4192956 kB
SwapFree:      4140232 kB
Dirty:            8516 kB
Writeback:           0 kB
Mapped:          30168 kB
Slab:            55816 kB
Committed_AS:  7374016 kB
PageTables:       1796 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= 66556 MiB

End job on node17 on Mon Apr 30 18:06:13 UTC 2007