Trace number 353540

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)-36 1800.13 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUM49f1950e042362832bbb830f499dd3e3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58245
Number of constraints which are clauses58245
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 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
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/353540-1176668725/instance-353540-1176668725.opb
0.00/0.00	c File size is 1390935 bytes.
0.39/0.43	c Highest Coefficient sum: 945
0.39/0.43	c Parsing was ok!!
0.39/0.43	c Total parsing time: 0.43 s
0.39/0.45	c Var: 945 Constr: 58245 58245/0/0 Lit: 116490 Watch. Lit: 116490
0.39/0.45	c Obj. Vars: 945 (100 % of total variables)
1.59/1.62	c Pre-processing Time: 1.625 s
1.59/1.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.63	c        0    945    58245   116490    2   116490   19414      0      0 1.62
1.59/1.63	c Switching off LPR mode.
1.59/1.63	o -29	1.634
1.59/1.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.64	c        0    945    58246   117435    2   116521   20414      1      0 1.64
1.59/1.64	o -30	1.64
1.59/1.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.64	c        3    945    58250   121122    2   116559   20414      5      1 1.64
1.59/1.64	o -32	1.644
2.09/2.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.13	c        3    945    58251   122067    2   116593   20414      6      1 1.65
2.09/2.13	c      103    945    58351   212978    3   116793   22456    106     60 1.70
2.09/2.13	c      353    945    58601   440352    7   117293   24702    356    191 1.84
2.09/2.13	c      829    945    59077   873346   14   118245   27173    832    389 2.13
2.09/2.13	o -34	2.13
1199.02/1199.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1199.02/1199.55	c      829    945    59078   874291   14   118281   20414    833    388 2.13
1199.02/1199.55	c      929    945    59178   965058   16   118481   22456    933    424 2.19
1199.02/1199.55	c     1179    945    59428  1191740   20   118981   24702   1183    500 2.36
1199.02/1199.55	c     1654    945    59903  1622524   27   119931   27173   1658    611 2.71
1199.02/1199.55	c     2468    945    60717  2360978   38   121559   29891   2472    727 3.39
1199.02/1199.55	c     3788    945    62037  3557869   57   124199   32881   3792    843 4.49
1199.02/1199.55	c     5869    945    64118  5445774   84   128361   36170   5873    881 6.66
1199.02/1199.55	c     9093    945    67342  8370065  124   134809   39788   9097    693 13.11
1199.02/1199.55	c    14029    945    72278 12849025  177   144681   43767  14033    580 24.18
1199.02/1199.55	c    21535    945    79784 19653978  246   159693   48144  21539    392 54.83
1199.02/1199.55	c    32896    945    91145 29960580  328   182415   52959  32900    284 115.65
1199.02/1199.55	c    50041    945   108290 45520242  420   216705   58255  50045    194 257.45
1199.02/1199.55	c    75860    945    86689 25932268  299   173412   64081  28444    168 451.50
1199.02/1199.55	c   114693    945    72415 12967809  179   144864   70490  14170    126 904.42
1199.02/1199.55	o -35	1199.09
1281.19/1281.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1281.19/1281.71	c   146263    945   103986 41617902  400   208041   20414  45741    121 1199.09
1281.19/1281.71	c   146363    945    68553  9470483  138   137141   22456  10308    121 1208.29
1281.19/1281.71	c   146613    945    68803  9696933  140   137641   24702  10558    121 1208.54
1281.19/1281.71	c   147088    945    69278 10127443  146   138591   27173  11033    121 1209.07
1281.19/1281.71	c   147901    945    70091 10863669  154   140217   29891  11846    122 1210.49
1281.19/1281.71	c   149221    945    71411 12059171  168   142857   32881  13166    123 1211.94
1281.19/1281.71	c   151304    945    73494 13946118  189   147023   36170  15249    124 1216.38
1281.19/1281.71	c   154528    945    76718 16865977  219   153471   39788  18473    126 1222.65
1281.19/1281.71	c   159464    945    81654 21339633  261   163343   43767  23409    128 1236.97
1281.19/1281.71	c   166970    945    89160 28136435  315   178355   48144  30915    130 1280.24
1281.19/1281.71	o -36	1281.22
1799.90/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.90/1800.70	c   167163    945    89354 28312379  316   178779   20414  31109    130 1281.22
1799.90/1800.70	c   167263    945    68553  9452221  137   137142   22456  10308    129 1291.94
1799.90/1800.70	c   167513    945    68803  9678515  140   137642   24702  10558    129 1292.52
1799.90/1800.70	c   167988    945    69278 10108315  145   138592   27173  11033    129 1293.08
1799.90/1800.70	c   168802    945    70092 10844031  154   140220   29891  11847    130 1293.87
1799.90/1800.70	c   170122    945    71412 12039400  168   142860   32881  13167    131 1296.47
1799.90/1800.70	c   172203    945    73493 13922236  189   147022   36170  15248    132 1299.55
1799.90/1800.70	c   175426    945    76716 16839632  219   153468   39788  18471    134 1308.81
1799.90/1800.70	c   180363    945    81653 21307677  260   163342   43767  23408    136 1324.59
1799.90/1800.70	c   187869    945    89159 28100069  315   178354   48144  30914    137 1366.24
1799.90/1800.70	c   199230    945   100520 38376786  381   201076   52959  42275    142 1400.46
1799.90/1800.70	c   216374    945    75476 15711472  208   150988   58255  17231    143 1511.09
1799.90/1800.70	c   242193    945   101295 39068160  385   202626   64081  43050    144 1678.91
1799.90/1800.70	c Resources Exceeded
1799.90/1800.70	v -x945 -x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925
1799.90/1800.70	v x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904
1799.90/1800.70	v -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
1799.90/1800.70	v -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1799.90/1800.70	v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841
1799.90/1800.70	v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820
1799.90/1800.70	v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799
1799.90/1800.70	v -x798 -x797 -x796 -x795 -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778
1799.90/1800.70	v x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757
1799.90/1800.70	v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
1799.90/1800.70	v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
1799.90/1800.70	v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694
1799.90/1800.70	v -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673
1799.90/1800.70	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
1799.90/1800.70	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631
1799.90/1800.70	v x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1799.90/1800.70	v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589
1799.90/1800.70	v -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1799.90/1800.70	v -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
1799.90/1800.70	v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526
1799.90/1800.70	v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505
1799.90/1800.70	v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484
1799.90/1800.70	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463
1799.90/1800.70	v x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
1799.90/1800.70	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421
1799.90/1800.70	v x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400
1799.90/1800.70	v -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
1799.90/1800.70	v -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1799.90/1800.70	v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337
1799.90/1800.70	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316
1799.90/1800.70	v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295
1799.90/1800.70	v -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
1799.90/1800.70	v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253
1799.90/1800.70	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232
1799.90/1800.70	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211
1799.90/1800.70	v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190
1799.90/1800.70	v -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1799.90/1800.70	v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1799.90/1800.70	v -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1799.90/1800.70	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106
1799.90/1800.70	v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1799.90/1800.70	v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
1799.90/1800.70	v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1799.90/1800.70	v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1799.90/1800.70	v -x1
1799.90/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.90/1800.70	c   43   258537  29758   297968   117639 53862196  59394    143 1800.01
1799.90/1800.70	c Objective: -36
1799.90/1800.70	s SATISFIABLE
1799.90/1800.70	c Total time: 1800.01 s

Verifier Data (download as text)

OK	-36

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node20/watcher-353540-1176668725 -o ROOT/results/node20/solver-353540-1176668725 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353540-1176668725/instance-353540-1176668725.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.09 1.22 1.15 3/77 30095
/proc/meminfo: memFree=1795536/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=13096 CPUtime=0
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 114789886 13410304 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 3274 334 281 324 0 2003 0

[startup+0.013635 s]
/proc/loadavg: 1.09 1.22 1.15 3/77 30095
/proc/meminfo: memFree=1795536/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=5428 CPUtime=0.01
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 413 0 0 0 1 0 0 0 18 0 1 0 114789886 5558272 381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546132 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 1357 382 289 324 0 86 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5428

[startup+0.101652 s]
/proc/loadavg: 1.09 1.22 1.15 3/77 30095
/proc/meminfo: memFree=1795536/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=6800 CPUtime=0.09
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 841 0 0 0 9 0 0 0 18 0 1 0 114789886 6963200 809 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 1700 809 369 324 0 429 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6800

[startup+0.301691 s]
/proc/loadavg: 1.09 1.22 1.15 3/77 30095
/proc/meminfo: memFree=1795536/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=9412 CPUtime=0.29
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 1624 0 0 0 29 0 0 0 19 0 1 0 114789886 9637888 1592 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 2353 1592 521 324 0 1082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9412

[startup+0.701772 s]
/proc/loadavg: 1.09 1.22 1.15 3/77 30095
/proc/meminfo: memFree=1795536/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=14324 CPUtime=0.69
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 3340 0 0 0 68 1 0 0 23 0 1 0 114789886 14667776 2968 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 3581 2968 307 324 0 2650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14324

[startup+1.50193 s]
/proc/loadavg: 1.09 1.22 1.15 2/78 30096
/proc/meminfo: memFree=1784840/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=14324 CPUtime=1.49
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 3340 0 0 0 146 3 0 0 25 0 1 0 114789886 14667776 2968 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 3581 2968 307 324 0 2650 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14324

[startup+3.10125 s]
/proc/loadavg: 1.08 1.21 1.15 2/78 30096
/proc/meminfo: memFree=1777352/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=38200 CPUtime=3.09
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 10160 0 0 0 302 7 0 0 25 0 1 0 114789886 39116800 8935 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 9550 8935 312 324 0 8619 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38200

[startup+6.30189 s]
/proc/loadavg: 1.08 1.21 1.15 2/78 30096
/proc/meminfo: memFree=1729048/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=77604 CPUtime=6.29
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 20002 0 0 0 617 12 0 0 25 0 1 0 114789886 79466496 18777 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 19401 18777 312 324 0 18470 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77604

[startup+12.7012 s]
/proc/loadavg: 1.07 1.21 1.15 2/78 30096
/proc/meminfo: memFree=1684960/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=116752 CPUtime=12.69
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 29804 0 0 0 1254 15 0 0 25 0 1 0 114789886 119554048 28579 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 29188 28579 312 324 0 28257 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116752

[startup+25.5017 s]
/proc/loadavg: 1.06 1.20 1.14 2/78 30096
/proc/meminfo: memFree=1616992/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=184064 CPUtime=25.48
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 46632 0 0 0 2525 23 0 0 25 0 1 0 114789886 188481536 45407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160521836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 46016 45407 312 324 0 45085 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 184064

[startup+51.1019 s]
/proc/loadavg: 1.04 1.18 1.14 2/78 30096
/proc/meminfo: memFree=1543776/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=256312 CPUtime=51.06
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 64670 0 0 0 5072 34 0 0 25 0 1 0 114789886 262463488 63445 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 64078 63445 312 324 0 63147 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 256312

[startup+102.305 s]
/proc/loadavg: 1.01 1.15 1.13 2/78 30096
/proc/meminfo: memFree=1420192/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=378496 CPUtime=102.24
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 95220 0 0 0 10173 51 0 0 25 0 1 0 114789886 387579904 93995 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 94624 93995 312 324 0 93693 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 378496

[startup+162.301 s]
/proc/loadavg: 1.04 1.13 1.12 2/78 30096
/proc/meminfo: memFree=1305888/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=492796 CPUtime=162.22
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 123815 0 0 0 16157 65 0 0 25 0 1 0 114789886 504623104 122590 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134547597 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 123199 122590 312 324 0 122268 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 492796

[startup+222.301 s]
/proc/loadavg: 1.01 1.11 1.11 2/78 30096
/proc/meminfo: memFree=1238112/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=560124 CPUtime=222.2
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 140626 0 0 0 22142 78 0 0 25 0 1 0 114789886 573566976 139401 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 140031 139401 312 324 0 139100 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 560124

[startup+282.301 s]
/proc/loadavg: 1.00 1.08 1.10 2/78 30096
/proc/meminfo: memFree=1105248/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=694280 CPUtime=282.18
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 174177 0 0 0 28121 97 0 0 25 0 1 0 114789886 710942720 172952 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 173570 172952 312 324 0 172639 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 694280

[startup+342.301 s]
/proc/loadavg: 1.00 1.07 1.09 2/78 30096
/proc/meminfo: memFree=1096736/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=700928 CPUtime=342.16
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 175886 0 0 0 34117 99 0 0 25 0 1 0 114789886 717750272 174603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 175232 174603 312 324 0 174301 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 700928

[startup+402.301 s]
/proc/loadavg: 1.00 1.05 1.08 2/78 30096
/proc/meminfo: memFree=1096736/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=700928 CPUtime=402.13
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 175886 0 0 0 40112 101 0 0 25 0 1 0 114789886 717750272 174603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 175232 174603 312 324 0 174301 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 700928

[startup+462.301 s]
/proc/loadavg: 1.00 1.04 1.08 2/78 30096
/proc/meminfo: memFree=1096800/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=700928 CPUtime=462.1
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 175886 0 0 0 46107 103 0 0 25 0 1 0 114789886 717750272 174603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 175232 174603 312 324 0 174301 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 700928

[startup+522.301 s]
/proc/loadavg: 1.00 1.03 1.07 2/78 30096
/proc/meminfo: memFree=1096800/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=700928 CPUtime=522.09
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 175886 0 0 0 52104 105 0 0 25 0 1 0 114789886 717750272 174603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 175232 174603 312 324 0 174301 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 700928

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.07 2/78 30096
/proc/meminfo: memFree=1096800/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=700928 CPUtime=582.06
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 175886 0 0 0 58100 106 0 0 25 0 1 0 114789886 717750272 174603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 175232 174603 312 324 0 174301 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 700928

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.06 2/78 30096
/proc/meminfo: memFree=1096800/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=700928 CPUtime=642.04
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 175886 0 0 0 64096 108 0 0 25 0 1 0 114789886 717750272 174603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 175232 174603 312 324 0 174301 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 700928


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/78 30098
/proc/meminfo: memFree=1028704/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768732 CPUtime=881.95
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 88070 125 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192183 191565 312 324 0 191252 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 768732

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 30098
/proc/meminfo: memFree=1028704/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768732 CPUtime=941.92
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 94065 127 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192183 191565 312 324 0 191252 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 768732

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 30098
/proc/meminfo: memFree=1028704/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768732 CPUtime=1001.91
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 100061 130 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551003 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192183 191565 312 324 0 191252 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 768732

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 30098
/proc/meminfo: memFree=1028768/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768732 CPUtime=1061.88
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 106057 131 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192183 191565 312 324 0 191252 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 768732

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 30098
/proc/meminfo: memFree=1028768/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768732 CPUtime=1121.86
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 112053 133 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192183 191565 312 324 0 191252 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 768732

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 30098
/proc/meminfo: memFree=1028768/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768732 CPUtime=1181.83
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 118048 135 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192183 191565 312 324 0 191252 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 768732

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30098
/proc/meminfo: memFree=1028832/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768732 CPUtime=1241.82
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 124044 138 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192183 191565 312 324 0 191252 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 768732

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30098
/proc/meminfo: memFree=1028768/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768732 CPUtime=1301.79
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 130039 140 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192183 191565 312 324 0 191252 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 768732

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30098
/proc/meminfo: memFree=1028768/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768732 CPUtime=1361.77
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 136034 143 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192183 191565 312 324 0 191252 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 768732

[startup+1422.31 s]
/proc/loadavg: 1.18 1.04 1.01 2/78 30098
/proc/meminfo: memFree=1028704/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768732 CPUtime=1421.75
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 142028 147 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192183 191565 312 324 0 191252 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 768732

[startup+1482.3 s]
/proc/loadavg: 1.14 1.05 1.01 2/78 30098
/proc/meminfo: memFree=1028832/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768360 CPUtime=1481.72
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 148023 149 0 0 25 0 1 0 114789886 786800640 191484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192090 191484 312 324 0 191159 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 768360

[startup+1542.3 s]
/proc/loadavg: 1.12 1.05 1.01 2/78 30098
/proc/meminfo: memFree=1028896/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768360 CPUtime=1541.7
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 154018 152 0 0 25 0 1 0 114789886 786800640 191484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192090 191484 312 324 0 191159 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 768360

[startup+1602.3 s]
/proc/loadavg: 1.10 1.06 1.01 2/78 30098
/proc/meminfo: memFree=1028960/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768360 CPUtime=1601.68
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 160014 154 0 0 25 0 1 0 114789886 786800640 191484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192090 191484 312 324 0 191159 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 768360

[startup+1662.3 s]
/proc/loadavg: 1.09 1.06 1.01 2/78 30098
/proc/meminfo: memFree=1028960/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768360 CPUtime=1661.65
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 166010 155 0 0 25 0 1 0 114789886 786800640 191484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192090 191484 312 324 0 191159 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 768360

[startup+1722.3 s]
/proc/loadavg: 1.24 1.11 1.03 2/78 30098
/proc/meminfo: memFree=1029024/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768360 CPUtime=1721.64
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 172006 158 0 0 25 0 1 0 114789886 786800640 191484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192090 191484 312 324 0 191159 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 768360

[startup+1782.3 s]
/proc/loadavg: 1.14 1.10 1.03 2/78 30098
/proc/meminfo: memFree=1029024/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=768360 CPUtime=1781.61
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 178002 159 0 0 25 0 1 0 114789886 786800640 191484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 192090 191484 312 324 0 191159 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 768360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.10 1.10 1.02 2/78 30098
/proc/meminfo: memFree=1049504/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=0 CPUtime=1800.01
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194308 192913 0 0 0 179841 160 0 0 25 0 1 0 114789886 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/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.81 s]
/proc/loadavg: 1.10 1.10 1.02 2/78 30098
/proc/meminfo: memFree=1049504/2055920 swapFree=4156516/4192956
[pid=30095] ppid=30093 vsize=0 CPUtime=1800.11
/proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194308 192913 0 0 0 179841 170 0 0 25 0 1 0 114789886 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30095/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.13
CPU user time (s): 1798.41
CPU system time (s): 1.71774
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 768988

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

runsolver used 2.19067 second user time and 4.24136 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Sun Apr 15 20:25:25 UTC 2007

IDJOB= 353540
IDBENCH= 2250
IDSOLVER= 163
FILE ID= node20/353540-1176668725

PBS_JOBID= 4559929

Free space on /tmp= 66558 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/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353540-1176668725/instance-353540-1176668725.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-353540-1176668725 -o ROOT/results/node20/solver-353540-1176668725 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353540-1176668725/instance-353540-1176668725.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  49f1950e042362832bbb830f499dd3e3

RANDOM SEED= 158404319

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1795944 kB
Buffers:         55204 kB
Cached:         137492 kB
SwapCached:      17968 kB
Active:         121060 kB
Inactive:       101092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1795944 kB
SwapTotal:     4192956 kB
SwapFree:      4156516 kB
Dirty:            5860 kB
Writeback:           0 kB
Mapped:          32624 kB
Slab:            23416 kB
Committed_AS:  1338176 kB
PageTables:       1700 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 node20 on Sun Apr 15 20:55:28 UTC 2007