Trace number 455190

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 (MO)-16 1473.69 1474.37

General information on the benchmark

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

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/455190-1178038779/instance-455190-1178038779.opb
0.00/0.00	c File size is 192850 bytes.
0.07/0.08	c Highest Coefficient sum: 1000
0.07/0.08	c Parsing was ok!!
0.07/0.08	c Total parsing time: 0.081 s
0.09/0.10	c Var: 13632 Constr: 26766 13132/1002/12632 Lit: 91424 Watch. Lit: 77794
0.09/0.10	c Obj. Vars: 500 (3.66784 % of total variables)
6.99/7.05	c Pre-processing Time: 7.05 s
6.99/7.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.05	c        0  13632    26766    91424    3    77794  133041      0      0 7.05
6.99/7.05	c Switching off LPR mode.
6.99/7.08	o -1	7.081
7.09/7.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.11	c        0  13632    26767    91924    3    77797  133374      1      0 7.09
7.09/7.11	o -2	7.111
7.09/7.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.14	c        0  13632    26768    92424    3    77801  133874      2      0 7.12
7.09/7.14	o -3	7.141
7.09/7.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.17	c        0  13632    26769    92924    3    77806  134541      3      0 7.15
7.09/7.17	o -4	7.171
7.19/7.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.20	c        0  13632    26770    93424    3    77812  135374      4      0 7.18
7.19/7.20	o -5	7.201
7.19/7.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.23	c        0  13632    26771    93924    3    77819  136374      5      0 7.21
7.19/7.23	o -6	7.231
7.19/7.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.26	c        0  13632    26772    94424    3    77827  137374      6      0 7.24
7.19/7.26	o -7	7.26
7.19/7.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.29	c        0  13632    26773    94924    3    77836  138374      7      0 7.27
7.19/7.29	o -8	7.29
7.29/7.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.32	c        0  13632    26774    95424    3    77846  139374      8      0 7.30
7.29/7.32	o -9	7.32
7.29/7.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.35	c        0  13632    26775    95924    3    77857  140374      9      0 7.33
7.29/7.35	o -10	7.349
7.29/7.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.38	c        0  13632    26776    96424    3    77869  141374     10      0 7.36
7.29/7.38	o -11	7.379
7.38/7.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.41	c        0  13632    26777    96924    3    77882  142374     11      0 7.38
7.38/7.41	o -12	7.408
7.38/7.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.44	c        0  13632    26778    97424    3    77896  143374     12      0 7.41
7.38/7.44	o -13	7.437
7.38/7.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.49	c        0  13632    26779    97924    3    77911  144374     13      0 7.44
7.38/7.49	o -14	7.488
15.19/15.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.19/15.23	c        6  13632    26786   101586    3    77939  144374     20      0 7.50
15.19/15.23	c      106  13632    26886   156224    5    78139  158812    120     13 8.11
15.19/15.23	c      356  13632    27136   300754   11    78639  174694    370     38 9.33
15.19/15.23	c      831  13632    27611   593557   21    79589  192164    845     71 11.55
15.19/15.23	c     1644  13632    28424  1173813   41    81215  211381   1658    116 14.07
15.19/15.23	o -15	15.231
841.17/841.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
841.17/841.55	c     2395  13632    29176  1802729   61    82734  144374   2410    157 15.24
841.17/841.55	c     2495  13632    29276  1857321   63    82934  158812   2510    151 16.50
841.17/841.55	c     2745  13632    29526  2034082   68    83434  174694   2760    149 18.39
841.17/841.55	c     3220  13632    30001  2380911   79    84384  192164   3235    145 22.20
841.17/841.55	c     4033  13632    30814  2976525   96    86010  211381   4048    138 29.19
841.17/841.55	c     5353  13632    32134  3843946  119    88650  232520   5368    149 35.82
841.17/841.55	c     7434  13632    34215  5334166  155    92812  255773   7449    140 53.06
841.17/841.55	c    10657  13632    37438  7680112  205    99258  281351  10672    133 79.77
841.17/841.55	c    15593  13632    42374 11307932  266   109130  309487  15608    126 122.95
841.17/841.55	c    23099  13632    49880 16886631  338   124142  340436  23114    122 187.86
841.17/841.55	c    34460  13632    61241 25453928  415   146864  374480  34475    117 293.56
841.17/841.55	c    51604  13632    78385 38410565  490   181152  411929  51619    121 423.24
841.17/841.55	c    77423  13632   104204 58813193  564   232790  453122  77438    126 611.46
841.17/841.55	o -16	841.216
1473.40/1473.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1473.40/1473.90	c   115139  13632   141921 90666388  638   308240  144374 115155    136 841.23
1473.40/1473.90	c   115239  13632   142021 90721033  638   308440  158812 115255    136 842.77
1473.40/1473.90	c   115489  13632   142271 90896756  638   308940  174694 115505    136 847.51
1473.40/1473.90	c   115964  13632   142746 91236846  639   309890  192164 115980    135 853.94
1473.40/1473.90	c   116777  13632   143559 91801349  639   311516  211381 116793    135 860.79
1473.40/1473.90	c   118097  13632   144879 92679621  639   314156  232520 118113    135 872.11
1473.40/1473.90	c   120178  13632   146960 94180547  640   318318  255773 120194    134 890.80
1473.40/1473.90	c   123401  13632   150183 96529925  642   324764  281351 123417    134 920.41
1473.40/1473.90	c   128337  13632   155119 100055245  645   334636  309487 128353    132 971.42
1473.40/1473.90	c   135843  13632   162625 105627848  649   349648  340436 135859    128 1059.64
1473.40/1473.90	c   147204  13632   173986 114149207  656   372370  374480 147220    127 1158.81
1473.40/1473.90	c   164348  13632   191130 127387528  666   406658  411929 164364    125 1312.00
1473.40/1473.91	c Caught signal: 15
1473.40/1473.91	v x1 -x2 x3 x4 x5 x6 x7 x8 -x9 x10 x11 x12 x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31
1473.40/1473.91	v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57
1473.40/1473.91	v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83
1473.40/1473.91	v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107
1473.40/1473.91	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1473.40/1473.91	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1473.40/1473.91	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1473.40/1473.91	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1473.40/1473.91	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
1473.40/1473.91	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1473.40/1473.91	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254
1473.40/1473.91	v -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1473.40/1473.91	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1473.40/1473.91	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1473.40/1473.91	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1473.40/1473.91	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1473.40/1473.91	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1473.40/1473.91	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1473.40/1473.91	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1473.40/1473.91	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1473.40/1473.91	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1473.40/1473.91	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1473.40/1473.91	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x747 -x986 -x669 -x941 -x926 -x573
1473.40/1473.91	v -x877 -x802 -x765 -x859 -x531 -x574 -x591 -x776 -x822 -x858 -x866 -x908 -x501 x925 x894 x740 x603 x842 x976 x702 x896 x516
1473.40/1473.91	v x542 x655 x996 -x502 -x643 -x939 -x759 -x774 -x648 -x886 -x938 -x969 -x799 -x955 -x508 -x559 -x576 -x652 -x887 -x963 -x503
1473.40/1473.91	v -x715 -x637 -x975 -x507 -x562 -x916 -x579 -x791 -x569 -x695 -x640 -x745 -x781 -x807 -x953 -x504 -x649 -x993 -x588 -x889 -x948
1473.40/1473.91	v -x782 -x653 -x923 -x983 -x900 -x529 -x557 -x570 -x647 -x685 -x699 -x796 -x835 -x883 -x906 -x505 -x790 -x625 -x838 -x549 -x898
1473.40/1473.91	v -x837 -x786 -x687 -x805 -x936 -x831 -x506 -x642 -x872 -x572 -x968 -x878 -x634 -x809 -x924 -x568 -x623 -x658 -x661 -x867 -x882
1473.40/1473.91	v -x998 -x951 -x812 -x743 -x816 -x517 -x617 -x792 -x826 -x868 -x854 x567 x978 -x905 -x707 -x727 -x741 -x992 -x914 -x539 -x604
1473.40/1473.91	v -x613 -x626 -x761 -x841 -x509 -x927 -x907 -x769 -x999 -x874 -x646 -x984 -x757 -x806 -x537 -x540 -x638 -x960 -x510 -x830 -x899
1473.40/1473.91	v -x994 -x622 -x522 -x558 -x678 -x684 -x737 -x777 -x511 -x817 -x728 -x804 -x681 -x724 -x672 -x543 -x565 -x616 -x803 -x845 -x512
1473.40/1473.91	v -x795 -x973 -x950 -x553 -x739 -x931 -x535 -x526 x532 -x582 -x829 -x869 -x937 -x513 -x544 -x689 -x945 -x852 -x871 -x602 -x716
1473.40/1473.91	v -x746 -x723 -x515 -x521 -x863 -x964 -x514 -x536 -x704 -x586 -x660 -x890 -x732 -x785 -x988 -x563 -x590 -x627 -x952 -x771 -x949
1473.40/1473.91	v -x712 -x811 -x893 -x533 -x691 -x575 -x671 -x783 -x875 -x991 -x748 -x789 -x944 -x828 -x844 -x548 -x601 -x614 -x770 -x788 -x932
1473.40/1473.91	v -x518 -x657 -x985 -x775 -x620 -x644 -x933 -x519 -x545 -x714 -x708 -x607 -x851 -x594 -x810 -x520 -x571 -x840 -x667 -x843 -x800
1473.40/1473.91	v -x530 -x580 -x836 -x940 -x956 -x974 -x692 -x599 -x564 -x645 -x639 -x618 -x654 -x656 -x814 -x820 -x824 -x967 -x977 -x523 -x534
1473.40/1473.91	v -x989 -x876 -x846 -x659 -x538 -x554 -x751 -x772 -x892 -x524 -x823 -x833 -x821 -x962 -x808 -x734 -x742 -x753 -x848 -x525 -x733
1473.40/1473.91	v -x928 -x778 -x762 -x593 -x711 -x853 -x920 -x705 -x839 -x596 -x787 -x611 -x773 -x527 -x981 -x709 -x584 -x621 -x768 -x528 -x578
1473.40/1473.91	v -x675 -x815 -x550 -x738 -x766 -x726 -x703 -x750 -x595 -x598 -x720 -x676 -x958 -x664 -x700 -x650 -x697 -x912 -x930 -x891 -x633
1473.40/1473.91	v -x690 -x610 -x729 -x965 -x665 -x581 -x921 -x635 -x673 -x731 -x713 -x819 -x663 -x990 -x609 -x688 -x1000 -x780 -x834 -x587
1473.40/1473.91	v -x754 -x730 -x541 -x566 -x682 -x744 -x947 -x957 -x855 -x722 -x619 -x763 -x903 -x606 -x895 -x832 -x736 -x918 -x862 -x668 -x749
1473.40/1473.91	v -x721 -x547 -x608 -x624 -x641 -x825 -x683 -x860 -x686 -x674 -x784 -x585 -x959 -x970 -x546 x555 -x551 -x922 -x628 -x884 -x755
1473.40/1473.91	v -x982 -x696 -x752 -x827 -x911 -x560 -x600 -x679 -x857 -x904 -x794 -x561 -x694 -x943 -x793 -x997 -x693 -x758 -x552 -x592 -x897
1473.40/1473.91	v -x630 -x942 -x735 -x885 -x946 -x651 -x670 -x615 -x632 -x725 -x760 -x864 -x556 -x915 -x577 -x698 -x873 -x961 -x980 -x954 -x797
1473.40/1473.91	v -x612 -x880 -x856 -x909 -x666 -x597 -x870 -x813 -x801 -x583 -x706 -x764 -x719 -x767 -x910 -x798 -x718 -x589 -x680 -x631 -x865
1473.40/1473.91	v -x818 -x710 -x756 -x901 -x929 -x971 -x935 -x881 -x879 -x995 -x850 -x913 -x888 -x629 -x701 -x662 -x849 -x987 -x779 -x979 -x677
1473.40/1473.91	v -x902 -x605 -x847 -x934 -x717 -x917 -x861 -x636 -x919 -x966 -x972
1473.40/1473.91	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1473.40/1473.91	c   43   183671    371   371148   210453 142742304 183687    124 1473.41
1473.40/1473.91	c Objective: -16
1473.40/1473.91	s SATISFIABLE
1473.40/1473.91	c Total time: 1473.41 s

Verifier Data (download as text)

OK	-16

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.78 0.92 0.95 3/64 4163
/proc/meminfo: memFree=1881792/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=19740 CPUtime=0
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 245013823 20213760 331 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134536080 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 4935 332 280 324 0 3956 0

[startup+0.083752 s]
/proc/loadavg: 0.78 0.92 0.95 3/64 4163
/proc/meminfo: memFree=1881792/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=8092 CPUtime=0.07
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 1419 0 0 0 7 0 0 0 18 0 1 0 245013823 8286208 1388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 2023 1388 335 324 0 1044 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8092

[startup+0.101752 s]
/proc/loadavg: 0.78 0.92 0.95 3/64 4163
/proc/meminfo: memFree=1881792/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=10296 CPUtime=0.09
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 2004 0 0 0 9 0 0 0 18 0 1 0 245013823 10543104 1925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 2574 1926 302 324 0 1643 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10296

[startup+0.30177 s]
/proc/loadavg: 0.78 0.92 0.95 3/64 4163
/proc/meminfo: memFree=1881792/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=11112 CPUtime=0.29
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 2172 0 0 0 29 0 0 0 19 0 1 0 245013823 11378688 2093 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7827178 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 2778 2093 306 324 0 1847 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11112

[startup+0.701805 s]
/proc/loadavg: 0.78 0.92 0.95 3/64 4163
/proc/meminfo: memFree=1881792/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=11112 CPUtime=0.69
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 2173 0 0 0 69 0 0 0 22 0 1 0 245013823 11378688 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 2778 2094 306 324 0 1847 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11112

[startup+1.50187 s]
/proc/loadavg: 0.78 0.92 0.95 2/65 4164
/proc/meminfo: memFree=1874616/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=11112 CPUtime=1.49
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 2173 0 0 0 149 0 0 0 25 0 1 0 245013823 11378688 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 2778 2094 306 324 0 1847 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11112

[startup+3.10201 s]
/proc/loadavg: 0.78 0.92 0.95 2/65 4164
/proc/meminfo: memFree=1874488/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=11112 CPUtime=3.09
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 2173 0 0 0 308 1 0 0 25 0 1 0 245013823 11378688 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 2778 2094 306 324 0 1847 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11112

[startup+6.30129 s]
/proc/loadavg: 0.80 0.92 0.95 2/65 4164
/proc/meminfo: memFree=1874304/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=11112 CPUtime=6.29
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 2173 0 0 0 628 1 0 0 25 0 1 0 245013823 11378688 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 2778 2094 306 324 0 1847 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11112

[startup+12.7018 s]
/proc/loadavg: 0.82 0.93 0.95 2/65 4164
/proc/meminfo: memFree=1866440/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=21164 CPUtime=12.69
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 5152 0 0 0 1254 15 0 0 25 0 1 0 245013823 21671936 4644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 5291 4644 313 324 0 4360 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21164

[startup+25.502 s]
/proc/loadavg: 0.86 0.93 0.95 2/65 4164
/proc/meminfo: memFree=1841096/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=44576 CPUtime=25.49
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 11013 0 0 0 2531 18 0 0 25 0 1 0 245013823 45645824 10505 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 11144 10505 313 324 0 10213 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44576

[startup+51.1012 s]
/proc/loadavg: 0.90 0.93 0.95 2/65 4164
/proc/meminfo: memFree=1808328/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=77424 CPUtime=51.05
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 19228 0 0 0 5083 22 0 0 25 0 1 0 245013823 79282176 18720 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 19356 18720 313 324 0 18425 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 77424

[startup+102.306 s]
/proc/loadavg: 0.96 0.94 0.95 2/71 4280
/proc/meminfo: memFree=1749840/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=134100 CPUtime=102.19
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 33389 0 0 0 10187 32 0 0 25 0 1 0 245013823 137318400 32881 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 33525 32881 313 324 0 32594 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 134100

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.95 2/65 4362
/proc/meminfo: memFree=1687176/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=198140 CPUtime=162.13
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 49407 0 0 0 16170 43 0 0 25 0 1 0 245013823 202895360 48899 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 49535 48899 313 324 0 48604 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 198140

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.95 2/65 4362
/proc/meminfo: memFree=1620168/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=264632 CPUtime=222.12
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 66021 0 0 0 22155 57 0 0 25 0 1 0 245013823 270983168 65513 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 66158 65513 313 324 0 65227 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 264632

[startup+282.301 s]
/proc/loadavg: 0.99 0.96 0.95 2/65 4362
/proc/meminfo: memFree=1558984/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=325976 CPUtime=282.11
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 81350 0 0 0 28144 67 0 0 25 0 1 0 245013823 333799424 80842 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 81494 80842 313 324 0 80563 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 325976

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=1484808/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=399968 CPUtime=342.09
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 99849 0 0 0 34130 79 0 0 25 0 1 0 245013823 409567232 99341 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 99992 99341 313 324 0 99061 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 399968

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=1409800/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=475172 CPUtime=402.08
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 118652 0 0 0 40116 92 0 0 25 0 1 0 245013823 486576128 118144 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 118793 118144 313 324 0 117862 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 475172

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=1330952/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=553588 CPUtime=462.06
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 138258 0 0 0 46101 105 0 0 25 0 1 0 245013823 566874112 137750 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 138397 137750 313 324 0 137466 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 553588

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=1246152/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=639864 CPUtime=522.04
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 159837 0 0 0 52085 119 0 0 25 0 1 0 245013823 655220736 159329 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 159966 159329 313 324 0 159035 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 639864

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=1160776/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=724244 CPUtime=582.03
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 180922 0 0 0 58069 134 0 0 25 0 1 0 245013823 741625856 180414 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 181061 180414 313 324 0 180130 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 724244

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=1070536/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=813252 CPUtime=642.02
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 203167 0 0 0 64053 149 0 0 25 0 1 0 245013823 832770048 202659 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 203313 202659 313 324 0 202382 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 813252

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=970504/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=914416 CPUtime=701.99
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 228486 0 0 0 70033 166 0 0 25 0 1 0 245013823 936361984 227978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 228604 227978 313 324 0 227673 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 914416

[startup+762.304 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=867464/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1015896 CPUtime=761.98
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 253852 0 0 0 76014 184 0 0 25 0 1 0 245013823 1040277504 253344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 253974 253344 313 324 0 253043 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 1015896

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=747464/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1137400 CPUtime=821.96
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 284206 0 0 0 81995 201 0 0 25 0 1 0 245013823 1164697600 283698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 284350 283698 313 324 0 283419 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 1137400

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=672648/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1210392 CPUtime=881.95
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 302471 0 0 0 87980 215 0 0 25 0 1 0 245013823 1239441408 301963 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 302598 301963 313 324 0 301667 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 1210392

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=612872/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1270224 CPUtime=941.93
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 317432 0 0 0 93969 224 0 0 25 0 1 0 245013823 1300709376 316924 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 317556 316924 313 324 0 316625 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 1270224

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=562248/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1320584 CPUtime=1001.92
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 330007 0 0 0 99960 232 0 0 25 0 1 0 245013823 1352278016 329499 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 330146 329499 313 324 0 329215 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 1320584

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=514824/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1369320 CPUtime=1061.9
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 342193 0 0 0 105950 240 0 0 25 0 1 0 245013823 1402183680 341685 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 342330 341685 313 324 0 341399 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1369320

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.95 3/65 4362
/proc/meminfo: memFree=448968/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1433744 CPUtime=1121.88
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 358297 0 0 0 111935 253 0 0 25 0 1 0 245013823 1468153856 357789 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 358436 357789 313 324 0 357505 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1433744

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=381128/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1502628 CPUtime=1181.87
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 375531 0 0 0 117922 265 0 0 25 0 1 0 245013823 1538691072 375023 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 375657 375023 313 324 0 374726 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1502628

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=313160/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1569232 CPUtime=1241.86
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 392175 0 0 0 123909 277 0 0 25 0 1 0 245013823 1606893568 391667 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7823512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 392308 391667 313 324 0 391377 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1569232

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=246536/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1635296 CPUtime=1301.84
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 408691 0 0 0 129896 288 0 0 25 0 1 0 245013823 1674543104 408183 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 408824 408183 313 324 0 407893 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1635296

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=172936/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1709244 CPUtime=1361.82
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 427175 0 0 0 135881 301 0 0 25 0 1 0 245013823 1750265856 426667 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 427311 426667 313 324 0 426380 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1709244

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=97992/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1783552 CPUtime=1421.82
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 445764 0 0 0 141868 314 0 0 25 0 1 0 245013823 1826357248 445256 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 445888 445256 313 324 0 444957 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1783552



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1473.9 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=37896/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=1843440 CPUtime=1473.4
/proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 460734 0 0 0 147017 323 0 0 25 0 1 0 245013823 1887682560 460226 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 460860 460226 313 324 0 459929 0
Current children cumulated CPU time (s) 1473.4
Current children cumulated vsize (KiB) 1843440

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1474.2 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=37896/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=0 CPUtime=1473.69
/proc/4163/stat : 4163 (bsolo3.0.16) D 4161 4163 3286 0 -1 4194308 460735 0 0 0 147018 351 0 0 25 0 1 0 245013823 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/4163/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1473.69
Current children cumulated vsize (KiB) 0

[startup+1474.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4362
/proc/meminfo: memFree=37896/2055920 swapFree=4183136/4192956
[pid=4163] ppid=4161 vsize=0 CPUtime=1473.69
/proc/4163/stat : 4163 (bsolo3.0.16) D 4161 4163 3286 0 -1 4194308 460735 0 0 0 147018 351 0 0 24 0 1 0 245013823 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0
/proc/4163/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1473.69
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1474.37
CPU time (s): 1473.69
CPU user time (s): 1470.18
CPU system time (s): 3.51347
CPU usage (%): 99.9542
Max. virtual memory (cumulated for all children) (KiB): 1843440

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

runsolver used 1.17682 second user time and 2.91056 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Tue May  1 16:59:39 UTC 2007

IDJOB= 455190
IDBENCH= 48247
IDSOLVER= 163
FILE ID= node57/455190-1178038779

PBS_JOBID= 4728433

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  68d7f052f18638860d9232a7f3ed2053

RANDOM SEED= 418571018

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1882264 kB
Buffers:         34300 kB
Cached:          74720 kB
SwapCached:       3520 kB
Active:          79624 kB
Inactive:        41696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1882264 kB
SwapTotal:     4192956 kB
SwapFree:      4183136 kB
Dirty:            6960 kB
Writeback:           0 kB
Mapped:          15408 kB
Slab:            38420 kB
Committed_AS:  4721400 kB
PageTables:       1408 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 node57 on Tue May  1 17:24:15 UTC 2007