Trace number 353696

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)-39 1800.22 1800.79

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

Verifier Data (download as text)

OK	-39

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node19/watcher-353696-1176673158 -o ROOT/results/node19/solver-353696-1176673158 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353696-1176673158/instance-353696-1176673158.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 26502
/proc/meminfo: memFree=1840144/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=13628 CPUtime=0
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 115233185 13955072 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 3407 336 281 324 0 2003 0

[startup+0.04226 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 26502
/proc/meminfo: memFree=1840144/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=6792 CPUtime=0.03
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 666 0 0 0 3 0 0 0 18 0 1 0 115233185 6955008 634 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 1698 634 336 324 0 294 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6792

[startup+0.101245 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 26502
/proc/meminfo: memFree=1840144/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=8300 CPUtime=0.09
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 1126 0 0 0 9 0 0 0 18 0 1 0 115233185 8499200 1094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 2075 1094 425 324 0 671 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8300

[startup+0.301268 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 26502
/proc/meminfo: memFree=1840144/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=13248 CPUtime=0.29
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 2642 0 0 0 28 1 0 0 19 0 1 0 115233185 13565952 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 3312 2611 720 324 0 1908 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13248

[startup+0.701311 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 26502
/proc/meminfo: memFree=1840144/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=18248 CPUtime=0.69
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 4445 0 0 0 67 2 0 0 23 0 1 0 115233185 18685952 3940 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 4562 3940 307 324 0 3631 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18248

[startup+1.5014 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 26503
/proc/meminfo: memFree=1825480/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=18248 CPUtime=1.49
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 4445 0 0 0 144 5 0 0 25 0 1 0 115233185 18685952 3940 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 4562 3940 307 324 0 3631 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18248

[startup+3.10157 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 26503
/proc/meminfo: memFree=1825352/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=29192 CPUtime=3.09
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 8382 0 0 0 300 9 0 0 25 0 1 0 115233185 29892608 6680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 7298 6680 312 324 0 6367 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29192

[startup+6.30192 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 26503
/proc/meminfo: memFree=1785416/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=67364 CPUtime=6.3
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 17925 0 0 0 616 14 0 0 25 0 1 0 115233185 68980736 16223 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 16841 16223 312 324 0 15910 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 67364

[startup+12.7026 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 26503
/proc/meminfo: memFree=1737296/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=109744 CPUtime=12.69
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 28520 0 0 0 1249 20 0 0 25 0 1 0 115233185 112377856 26818 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 27436 26818 312 324 0 26505 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 109744

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 26503
/proc/meminfo: memFree=1671120/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=173260 CPUtime=25.49
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 44385 0 0 0 2520 29 0 0 25 0 1 0 115233185 177418240 42683 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 43315 42683 312 324 0 42384 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 173260

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 3/78 26503
/proc/meminfo: memFree=1571984/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=272528 CPUtime=51.08
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 69216 0 0 0 5067 41 0 0 25 0 1 0 115233185 279068672 67514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 68132 67514 312 324 0 67201 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 272528

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 26503
/proc/meminfo: memFree=1386320/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=456728 CPUtime=102.26
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 115252 0 0 0 10161 65 0 0 25 0 1 0 115233185 467689472 113550 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 114182 113550 312 324 0 113251 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 456728

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=1296656/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=546728 CPUtime=162.24
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 137748 0 0 0 16146 78 0 0 25 0 1 0 115233185 559849472 136046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 136682 136046 312 324 0 135751 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 546728

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=1239504/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=603248 CPUtime=222.23
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 151903 0 0 0 22137 86 0 0 25 0 1 0 115233185 617725952 150201 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 150812 150201 312 324 0 149881 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 603248

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=1196688/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=646500 CPUtime=282.21
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 162699 0 0 0 28129 92 0 0 25 0 1 0 115233185 662016000 160997 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 161625 160997 312 324 0 160694 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 646500

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=1132432/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=710324 CPUtime=342.2
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 178671 0 0 0 34119 101 0 0 25 0 1 0 115233185 727371776 176969 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 177581 176969 312 324 0 176650 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 710324

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=1010960/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=833684 CPUtime=402.18
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 209505 0 0 0 40100 118 0 0 25 0 1 0 115233185 853692416 207803 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 208421 207803 312 324 0 207490 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 833684

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=911824/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=930356 CPUtime=462.16
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 233683 0 0 0 46086 130 0 0 25 0 1 0 115233185 952684544 231981 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 232589 231981 312 324 0 231658 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 930356

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=850640/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=992028 CPUtime=522.15
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 249091 0 0 0 52075 140 0 0 25 0 1 0 115233185 1015836672 247389 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 248007 247389 312 324 0 247076 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 992028

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=792912/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1049236 CPUtime=582.13
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 263389 0 0 0 58067 146 0 0 25 0 1 0 115233185 1074417664 261687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 262309 261687 312 324 0 261378 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1049236

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=669264/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1172016 CPUtime=642.13
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 294095 0 0 0 64051 162 0 0 25 0 1 0 115233185 1200144384 292393 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 293004 292393 312 324 0 292073 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1172016


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=577040/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1264024 CPUtime=882.06
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 88027 179 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 316006 315370 312 324 0 315075 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1264024

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 26503
/proc/meminfo: memFree=577040/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1264024 CPUtime=942.05
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 94024 181 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 316006 315370 312 324 0 315075 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1264024

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=577104/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1264024 CPUtime=1002.03
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 100020 183 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 316006 315370 312 324 0 315075 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1264024

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=577104/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1264024 CPUtime=1062.01
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 106017 184 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7917293 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 316006 315370 312 324 0 315075 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1264024

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=577168/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1264024 CPUtime=1121.99
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 112013 186 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 316006 315370 312 324 0 315075 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1264024

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=577168/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1264024 CPUtime=1181.98
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 118010 188 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 316006 315370 312 324 0 315075 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1264024

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=577168/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1264024 CPUtime=1241.96
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 124006 190 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 316006 315370 312 324 0 315075 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1264024

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26503
/proc/meminfo: memFree=577168/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1264024 CPUtime=1301.95
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 130003 192 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 316006 315370 312 324 0 315075 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1264024

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26701
/proc/meminfo: memFree=576632/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1264024 CPUtime=1361.84
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 135989 195 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 316006 315370 312 324 0 315075 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1264024

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26701
/proc/meminfo: memFree=576912/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1264024 CPUtime=1421.83
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 141985 198 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 316006 315370 312 324 0 315075 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1264024

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26701
/proc/meminfo: memFree=526800/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1315592 CPUtime=1481.81
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 330079 0 0 0 147975 206 0 0 25 0 1 0 115233185 1347166208 328291 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 328898 328291 312 324 0 327967 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1315592

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26701
/proc/meminfo: memFree=457040/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1383536 CPUtime=1541.8
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 347142 0 0 0 153962 218 0 0 25 0 1 0 115233185 1416740864 345259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 345884 345259 312 324 0 344953 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1383536

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26701
/proc/meminfo: memFree=457104/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1383536 CPUtime=1601.78
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 347142 0 0 0 159960 218 0 0 25 0 1 0 115233185 1416740864 345259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 345884 345259 312 324 0 344953 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1383536

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26701
/proc/meminfo: memFree=457168/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1383536 CPUtime=1661.76
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 347142 0 0 0 165958 218 0 0 25 0 1 0 115233185 1416740864 345259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 345884 345259 312 324 0 344953 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1383536

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26701
/proc/meminfo: memFree=457168/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1383536 CPUtime=1721.75
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 347142 0 0 0 171955 220 0 0 25 0 1 0 115233185 1416740864 345259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 345884 345259 312 324 0 344953 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1383536

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26701
/proc/meminfo: memFree=457232/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=1383536 CPUtime=1781.73
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 347142 0 0 0 177950 223 0 0 25 0 1 0 115233185 1416740864 345259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 345884 345259 312 324 0 344953 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1383536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26701
/proc/meminfo: memFree=677392/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=0 CPUtime=1800.04
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194308 347143 0 0 0 179775 229 0 0 25 0 1 0 115233185 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26701
/proc/meminfo: memFree=677392/2055920 swapFree=4159528/4192956
[pid=26502] ppid=26500 vsize=0 CPUtime=1800.13
/proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194308 347143 0 0 0 179775 238 0 0 25 0 1 0 115233185 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26502/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.22
CPU user time (s): 1797.76
CPU system time (s): 2.46563
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 1383916

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

runsolver used 2.10468 second user time and 4.26735 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Sun Apr 15 21:39:18 UTC 2007

IDJOB= 353696
IDBENCH= 2262
IDSOLVER= 163
FILE ID= node19/353696-1176673158

PBS_JOBID= 4559376

Free space on /tmp= 66539 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/353696-1176673158/instance-353696-1176673158.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-353696-1176673158 -o ROOT/results/node19/solver-353696-1176673158 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353696-1176673158/instance-353696-1176673158.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  32f273c48805c1e726044ae006778010

RANDOM SEED= 720234341

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1840552 kB
Buffers:         34208 kB
Cached:         105980 kB
SwapCached:       2204 kB
Active:          94712 kB
Inactive:        69308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840552 kB
SwapTotal:     4192956 kB
SwapFree:      4159528 kB
Dirty:            6380 kB
Writeback:           0 kB
Mapped:          31892 kB
Slab:            36832 kB
Committed_AS:  2898744 kB
PageTables:       1788 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= 66539 MiB

End job on node19 on Sun Apr 15 22:09:21 UTC 2007