Trace number 433098

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)-36 1800.19 1800.83

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.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/433098-1177954394/instance-433098-1177954394.opb
0.00/0.00	c File size is 1390935 bytes.
0.19/0.23	c Highest Coefficient sum: 945
0.19/0.23	c Parsing was ok!!
0.19/0.23	c Total parsing time: 0.235 s
0.19/0.26	c Var: 945 Constr: 58245 58245/0/0 Lit: 116490 Watch. Lit: 116490
0.19/0.26	c Obj. Vars: 945 (100 % of total variables)
1.39/1.42	c Pre-processing Time: 1.418 s
1.39/1.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.42	c        0    945    58245   116490    2   116490   19414      0      0 1.42
1.39/1.42	c Switching off LPR mode.
1.39/1.43	o -29	1.428
1.39/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.43	c        0    945    58246   117435    2   116521   20414      1      0 1.43
1.39/1.43	o -30	1.433
1.39/1.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.44	c        3    945    58250   121122    2   116559   20414      5      2 1.44
1.39/1.44	o -32	1.437
1.89/1.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.92	c        3    945    58251   122067    2   116593   20414      6      2 1.44
1.89/1.92	c      103    945    58351   212978    3   116793   22456    106     69 1.49
1.89/1.92	c      353    945    58601   440352    7   117293   24702    356    216 1.63
1.89/1.92	c      829    945    59077   873346   14   118245   27173    832    433 1.91
1.89/1.92	o -34	1.917
1197.45/1197.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1197.45/1197.89	c      829    945    59078   874291   14   118281   20414    833    431 1.92
1197.45/1197.89	c      929    945    59178   965058   16   118481   22456    933    470 1.98
1197.45/1197.89	c     1179    945    59428  1191740   20   118981   24702   1183    550 2.14
1197.45/1197.89	c     1654    945    59903  1622524   27   119931   27173   1658    665 2.48
1197.45/1197.89	c     2468    945    60717  2360978   38   121559   29891   2472    779 3.17
1197.45/1197.89	c     3788    945    62037  3557869   57   124199   32881   3792    889 4.26
1197.45/1197.89	c     5869    945    64118  5445774   84   128361   36170   5873    913 6.43
1197.45/1197.89	c     9093    945    67342  8370065  124   134809   39788   9097    704 12.91
1197.45/1197.89	c    14029    945    72278 12849025  177   144681   43767  14033    587 23.89
1197.45/1197.89	c    21535    945    79784 19653978  246   159693   48144  21539    393 54.68
1197.45/1197.89	c    32896    945    91145 29960580  328   182415   52959  32900    284 115.46
1197.45/1197.89	c    50041    945   108290 45520242  420   216705   58255  50045    194 257.20
1197.45/1197.89	c    75860    945    86689 25932268  299   173412   64081  28444    168 450.99
1197.45/1197.89	c   114693    945    72415 12967809  179   144864   70490  14170    127 902.93
1197.45/1197.89	o -35	1197.54
1279.52/1279.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1279.52/1279.91	c   146263    945   103986 41617902  400   208041   20414  45741    122 1197.55
1279.52/1279.91	c   146363    945    68553  9470483  138   137141   22456  10308    121 1206.74
1279.52/1279.91	c   146613    945    68803  9696933  140   137641   24702  10558    121 1207.00
1279.52/1279.91	c   147088    945    69278 10127443  146   138591   27173  11033    121 1207.54
1279.52/1279.91	c   147901    945    70091 10863669  154   140217   29891  11846    122 1208.97
1279.52/1279.91	c   149221    945    71411 12059171  168   142857   32881  13166    123 1210.42
1279.52/1279.91	c   151304    945    73494 13946118  189   147023   36170  15249    124 1214.87
1279.52/1279.91	c   154528    945    76718 16865977  219   153471   39788  18473    126 1221.06
1279.52/1279.91	c   159464    945    81654 21339633  261   163343   43767  23409    129 1235.43
1279.52/1279.91	c   166970    945    89160 28136435  315   178355   48144  30915    130 1278.56
1279.52/1279.91	o -36	1279.54
1800.06/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.70	c   167163    945    89354 28312379  316   178779   20414  31109    130 1279.54
1800.06/1800.70	c   167263    945    68553  9452221  137   137142   22456  10308    129 1290.23
1800.06/1800.70	c   167513    945    68803  9678515  140   137642   24702  10558    129 1290.82
1800.06/1800.70	c   167988    945    69278 10108315  145   138592   27173  11033    130 1291.38
1800.06/1800.70	c   168802    945    70092 10844031  154   140220   29891  11847    130 1292.17
1800.06/1800.70	c   170122    945    71412 12039400  168   142860   32881  13167    131 1294.77
1800.06/1800.70	c   172203    945    73493 13922236  189   147022   36170  15248    132 1297.83
1800.06/1800.70	c   175426    945    76716 16839632  219   153468   39788  18471    134 1307.07
1800.06/1800.70	c   180363    945    81653 21307677  260   163342   43767  23408    136 1322.75
1800.06/1800.70	c   187869    945    89159 28100069  315   178354   48144  30914    137 1364.37
1800.06/1800.70	c   199230    945   100520 38376786  381   201076   52959  42275    142 1398.60
1800.06/1800.70	c   216374    945    75476 15711472  208   150988   58255  17231    143 1509.19
1800.06/1800.70	c   242193    945   101295 39068160  385   202626   64081  43050    144 1676.62
1800.06/1800.70	c Caught signal: 15
1800.06/1800.70	v -x945 -x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925
1800.06/1800.70	v x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904
1800.06/1800.70	v -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
1800.06/1800.70	v -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1800.06/1800.70	v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841
1800.06/1800.70	v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820
1800.06/1800.70	v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799
1800.06/1800.70	v -x798 -x797 -x796 -x795 -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778
1800.06/1800.70	v x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757
1800.06/1800.70	v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
1800.06/1800.70	v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
1800.06/1800.70	v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694
1800.06/1800.70	v -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673
1800.06/1800.70	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
1800.06/1800.70	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631
1800.06/1800.70	v x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1800.06/1800.70	v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589
1800.06/1800.70	v -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1800.06/1800.70	v -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
1800.06/1800.70	v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526
1800.06/1800.70	v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505
1800.06/1800.70	v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484
1800.06/1800.70	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463
1800.06/1800.70	v x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
1800.06/1800.70	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421
1800.06/1800.70	v x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400
1800.06/1800.70	v -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
1800.06/1800.70	v -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1800.06/1800.70	v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337
1800.06/1800.70	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316
1800.06/1800.70	v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295
1800.06/1800.70	v -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
1800.06/1800.70	v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253
1800.06/1800.70	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232
1800.06/1800.70	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211
1800.06/1800.70	v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190
1800.06/1800.70	v -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1800.06/1800.70	v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.06/1800.70	v -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.06/1800.70	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106
1800.06/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
1800.06/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
1800.06/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
1800.06/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
1800.06/1800.70	v -x1
1800.06/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.70	c   43   259019  29815   298526   118121 54298634  59876    143 1800.07
1800.06/1800.70	c Objective: -36
1800.06/1800.70	s SATISFIABLE
1800.06/1800.70	c Total time: 1800.07 s

Verifier Data (download as text)

OK	-36

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node9/watcher-433098-1177954394 -o ROOT/results/node9/solver-433098-1177954394 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433098-1177954394/instance-433098-1177954394.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.77 0.93 0.92 3/77 21296
/proc/meminfo: memFree=1858248/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=13096 CPUtime=0
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 271476939 13410304 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 3274 335 279 324 0 2004 0

[startup+0.0563849 s]
/proc/loadavg: 0.77 0.93 0.92 3/77 21296
/proc/meminfo: memFree=1858248/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=6660 CPUtime=0.05
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 766 0 0 0 5 0 0 0 18 0 1 0 271476939 6819840 736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134527859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 1665 736 354 324 0 395 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6660

[startup+0.10139 s]
/proc/loadavg: 0.77 0.93 0.92 3/77 21296
/proc/meminfo: memFree=1858248/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=7760 CPUtime=0.09
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 1108 0 0 0 9 0 0 0 18 0 1 0 271476939 7946240 1078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 1940 1078 420 324 0 670 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7760

[startup+0.301412 s]
/proc/loadavg: 0.77 0.93 0.92 3/77 21296
/proc/meminfo: memFree=1858248/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=12472 CPUtime=0.29
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 2862 0 0 0 28 1 0 0 19 0 1 0 271476939 12771328 2492 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 3118 2492 303 324 0 2188 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12472

[startup+0.701459 s]
/proc/loadavg: 0.77 0.93 0.92 3/77 21296
/proc/meminfo: memFree=1858248/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=14324 CPUtime=0.69
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 3336 0 0 0 67 2 0 0 22 0 1 0 271476939 14667776 2966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 3581 2966 305 324 0 2651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14324

[startup+1.50155 s]
/proc/loadavg: 0.77 0.93 0.92 2/78 21297
/proc/meminfo: memFree=1847488/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=13880 CPUtime=1.49
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 4080 0 0 0 145 4 0 0 25 0 1 0 271476939 14213120 2857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 3470 2857 310 324 0 2540 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13880

[startup+3.10173 s]
/proc/loadavg: 0.77 0.93 0.92 2/78 21297
/proc/meminfo: memFree=1836096/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=40504 CPUtime=3.09
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 10711 0 0 0 302 7 0 0 25 0 1 0 271476939 41476096 9488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 10126 9488 310 324 0 9196 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40504

[startup+6.30109 s]
/proc/loadavg: 0.79 0.94 0.92 2/78 21297
/proc/meminfo: memFree=1788736/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=79396 CPUtime=6.29
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 20460 0 0 0 618 11 0 0 25 0 1 0 271476939 81301504 19237 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 19849 19237 310 324 0 18919 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 79396

[startup+12.7018 s]
/proc/loadavg: 0.81 0.94 0.92 2/78 21297
/proc/meminfo: memFree=1746880/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=117264 CPUtime=12.68
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 29919 0 0 0 1254 14 0 0 25 0 1 0 271476939 120078336 28696 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 29316 28696 310 324 0 28386 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 117264

[startup+25.5013 s]
/proc/loadavg: 0.85 0.94 0.92 2/78 21297
/proc/meminfo: memFree=1677504/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=186236 CPUtime=25.48
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 47154 0 0 0 2525 23 0 0 25 0 1 0 271476939 190705664 45931 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 46559 45931 310 324 0 45629 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 186236

[startup+51.1011 s]
/proc/loadavg: 0.90 0.94 0.92 2/78 21297
/proc/meminfo: memFree=1606016/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=256824 CPUtime=51.08
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 64803 0 0 0 5076 32 0 0 25 0 1 0 271476939 262987776 63580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 64206 63580 310 324 0 63276 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 256824

[startup+102.306 s]
/proc/loadavg: 0.95 0.95 0.92 2/78 21298
/proc/meminfo: memFree=1482304/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=378752 CPUtime=102.27
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 95280 0 0 0 10178 49 0 0 25 0 1 0 271476939 387842048 94057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 94688 94057 310 324 0 93758 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 378752

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.92 2/78 21299
/proc/meminfo: memFree=1368320/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=493052 CPUtime=162.24
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 123857 0 0 0 16160 64 0 0 25 0 1 0 271476939 504885248 122634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 123263 122634 310 324 0 122333 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 493052

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.92 2/78 21299
/proc/meminfo: memFree=1300544/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=560252 CPUtime=222.23
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 140675 0 0 0 22151 72 0 0 25 0 1 0 271476939 573698048 139452 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9105185 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 140063 139452 310 324 0 139133 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 560252

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 21299
/proc/meminfo: memFree=1167104/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=695172 CPUtime=282.21
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 174379 0 0 0 28134 87 0 0 25 0 1 0 271476939 711856128 173156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 173793 173156 310 324 0 172863 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 695172

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 21299
/proc/meminfo: memFree=1159360/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=700928 CPUtime=342.19
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 175882 0 0 0 34131 88 0 0 25 0 1 0 271476939 717750272 174601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 175232 174601 310 324 0 174302 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 700928

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 21299
/proc/meminfo: memFree=1159360/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=700928 CPUtime=402.17
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 175882 0 0 0 40128 89 0 0 25 0 1 0 271476939 717750272 174601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 175232 174601 310 324 0 174302 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 700928

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 21299
/proc/meminfo: memFree=1159424/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=700928 CPUtime=462.15
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 175882 0 0 0 46126 89 0 0 25 0 1 0 271476939 717750272 174601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 175232 174601 310 324 0 174302 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 700928

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 21299
/proc/meminfo: memFree=1159424/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=700928 CPUtime=522.14
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 175882 0 0 0 52124 90 0 0 25 0 1 0 271476939 717750272 174601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 175232 174601 310 324 0 174302 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 700928

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 21299
/proc/meminfo: memFree=1159488/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=700928 CPUtime=582.12
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 175882 0 0 0 58121 91 0 0 25 0 1 0 271476939 717750272 174601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 175232 174601 310 324 0 174302 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 700928

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 21299
/proc/meminfo: memFree=1159488/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=700928 CPUtime=642.11
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 175882 0 0 0 64120 91 0 0 25 0 1 0 271476939 717750272 174601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 175232 174601 310 324 0 174302 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 700928


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 21299
/proc/meminfo: memFree=1091392/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768732 CPUtime=882.03
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 88102 101 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192183 191563 310 324 0 191253 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 768732

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 21299
/proc/meminfo: memFree=1091456/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768732 CPUtime=942.02
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 94100 102 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192183 191563 310 324 0 191253 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 768732

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 21299
/proc/meminfo: memFree=1091456/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768732 CPUtime=1002
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 100098 102 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192183 191563 310 324 0 191253 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 768732

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 21299
/proc/meminfo: memFree=1091456/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768732 CPUtime=1061.98
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 106095 103 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192183 191563 310 324 0 191253 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 768732

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 21299
/proc/meminfo: memFree=1091520/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768732 CPUtime=1121.96
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 112093 103 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9096848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192183 191563 310 324 0 191253 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 768732

[startup+1182.3 s]
/proc/loadavg: 1.03 0.99 0.93 2/78 21299
/proc/meminfo: memFree=1091584/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768732 CPUtime=1181.95
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 118091 104 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192183 191563 310 324 0 191253 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 768732

[startup+1242.3 s]
/proc/loadavg: 1.01 0.99 0.93 2/78 21299
/proc/meminfo: memFree=1091520/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768732 CPUtime=1241.93
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 124089 104 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192183 191563 310 324 0 191253 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 768732

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 21299
/proc/meminfo: memFree=1091520/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768732 CPUtime=1301.92
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 130087 105 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192183 191563 310 324 0 191253 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 768732

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 21299
/proc/meminfo: memFree=1091520/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768732 CPUtime=1361.89
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 136084 105 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192183 191563 310 324 0 191253 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 768732

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 21299
/proc/meminfo: memFree=1091456/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768732 CPUtime=1421.88
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 142082 106 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192183 191563 310 324 0 191253 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 768732

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 21299
/proc/meminfo: memFree=1091648/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768360 CPUtime=1481.86
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 148080 106 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192090 191482 310 324 0 191160 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 768360

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 21299
/proc/meminfo: memFree=1091648/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768360 CPUtime=1541.84
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 154077 107 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192090 191482 310 324 0 191160 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 768360

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 21299
/proc/meminfo: memFree=1091648/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768360 CPUtime=1601.82
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 160075 107 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192090 191482 310 324 0 191160 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 768360

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 21299
/proc/meminfo: memFree=1091712/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768360 CPUtime=1661.81
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 166073 108 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192090 191482 310 324 0 191160 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 768360

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/84 21477
/proc/meminfo: memFree=1090512/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768360 CPUtime=1721.67
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 172059 108 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192090 191482 310 324 0 191160 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 768360

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 21496
/proc/meminfo: memFree=1091584/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768360 CPUtime=1781.66
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 178057 109 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192090 191482 310 324 0 191160 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 768360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 21496
/proc/meminfo: memFree=1091584/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=768360 CPUtime=1800.06
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 179897 109 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9096968 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 192090 191482 310 324 0 191160 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 768360

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.00 0.99 0.93 2/78 21496
/proc/meminfo: memFree=1091584/2055920 swapFree=4145476/4192956
[pid=21296] ppid=21294 vsize=0 CPUtime=1800.16
/proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194308 192912 0 0 0 179897 119 0 0 25 0 1 0 271476939 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/21296/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.19
CPU user time (s): 1798.98
CPU system time (s): 1.21581
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 768732

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

runsolver used 1.43078 second user time and 3.85841 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Mon Apr 30 17:33:14 UTC 2007

IDJOB= 433098
IDBENCH= 2250
IDSOLVER= 199
FILE ID= node9/433098-1177954394

PBS_JOBID= 4727691

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  49f1950e042362832bbb830f499dd3e3

RANDOM SEED= 315117703

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1858656 kB
Buffers:         33932 kB
Cached:          95544 kB
SwapCached:      15432 kB
Active:          44460 kB
Inactive:       107636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858656 kB
SwapTotal:     4192956 kB
SwapFree:      4145476 kB
Dirty:            8144 kB
Writeback:           0 kB
Mapped:          29628 kB
Slab:            30716 kB
Committed_AS:  6733620 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node9 on Mon Apr 30 18:03:17 UTC 2007