Trace number 455196

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 (MO)-16 1472.45 1472.89

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.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/455196-1178038913/instance-455196-1178038913.opb
0.00/0.00	c File size is 192850 bytes.
0.06/0.08	c Highest Coefficient sum: 1000
0.06/0.08	c Parsing was ok!!
0.06/0.08	c Total parsing time: 0.08 s
0.08/0.10	c Var: 13632 Constr: 26766 13132/1002/12632 Lit: 91424 Watch. Lit: 77794
0.08/0.10	c Obj. Vars: 500 (3.66784 % of total variables)
6.88/6.98	c Pre-processing Time: 6.974 s
6.88/6.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.88/6.99	c        0  13632    26766    91424    3    77794  133041      0      0 6.97
6.88/6.99	c Switching off LPR mode.
6.98/7.01	o -1	6.995
6.98/7.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.98/7.03	c        0  13632    26767    91924    3    77797  133374      1      0 7.00
6.98/7.03	o -2	7.015
6.98/7.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.98/7.05	c        0  13632    26768    92424    3    77801  133874      2      0 7.02
6.98/7.05	o -3	7.036
6.98/7.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.98/7.07	c        0  13632    26769    92924    3    77806  134541      3      0 7.04
6.98/7.07	o -4	7.056
6.98/7.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.98/7.09	c        0  13632    26770    93424    3    77812  135374      4      0 7.06
6.98/7.09	o -5	7.077
7.08/7.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.11	c        0  13632    26771    93924    3    77819  136374      5      0 7.08
7.08/7.11	o -6	7.098
7.08/7.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.13	c        0  13632    26772    94424    3    77827  137374      6      0 7.10
7.08/7.13	o -7	7.118
7.08/7.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.15	c        0  13632    26773    94924    3    77836  138374      7      0 7.12
7.08/7.15	o -8	7.139
7.08/7.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.17	c        0  13632    26774    95424    3    77846  139374      8      0 7.14
7.08/7.17	o -9	7.16
7.08/7.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.19	c        0  13632    26775    95924    3    77857  140374      9      0 7.17
7.08/7.19	o -10	7.181
7.18/7.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.21	c        0  13632    26776    96424    3    77869  141374     10      0 7.19
7.18/7.21	o -11	7.201
7.18/7.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.23	c        0  13632    26777    96924    3    77882  142374     11      0 7.21
7.18/7.23	o -12	7.222
7.18/7.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.25	c        0  13632    26778    97424    3    77896  143374     12      0 7.23
7.18/7.25	o -13	7.243
7.18/7.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.30	c        0  13632    26779    97924    3    77911  144374     13      0 7.25
7.18/7.30	o -14	7.285
14.98/15.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.98/15.03	c        6  13632    26786   101586    3    77939  144374     20      0 7.29
14.98/15.03	c      106  13632    26886   156224    5    78139  158812    120     13 7.90
14.98/15.03	c      356  13632    27136   300754   11    78639  174694    370     38 9.13
14.98/15.03	c      831  13632    27611   593557   21    79589  192164    845     73 11.35
14.98/15.03	c     1644  13632    28424  1173813   41    81215  211381   1658    118 13.87
14.98/15.03	o -15	15.022
838.55/838.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
838.55/838.81	c     2395  13632    29176  1802729   61    82734  144374   2410    159 15.03
838.55/838.81	c     2495  13632    29276  1857321   63    82934  158812   2510    152 16.32
838.55/838.81	c     2745  13632    29526  2034082   68    83434  174694   2760    150 18.21
838.55/838.81	c     3220  13632    30001  2380911   79    84384  192164   3235    146 22.03
838.55/838.81	c     4033  13632    30814  2976525   96    86010  211381   4048    139 28.97
838.55/838.81	c     5353  13632    32134  3843946  119    88650  232520   5368    149 35.77
838.55/838.81	c     7434  13632    34215  5334166  155    92812  255773   7449    139 53.12
838.55/838.81	c    10657  13632    37438  7680112  205    99258  281351  10672    133 79.89
838.55/838.81	c    15593  13632    42374 11307932  266   109130  309487  15608    126 122.94
838.55/838.81	c    23099  13632    49880 16886631  338   124142  340436  23114    122 187.90
838.55/838.81	c    34460  13632    61241 25453928  415   146864  374480  34475    117 293.51
838.55/838.81	c    51604  13632    78385 38410565  490   181152  411929  51619    121 423.20
838.55/838.81	c    77423  13632   104204 58813193  564   232790  453122  77438    126 610.62
838.55/838.81	o -16	838.581
1472.15/1472.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1472.15/1472.60	c   115139  13632   141921 90666388  638   308240  144374 115155    137 838.59
1472.15/1472.60	c   115239  13632   142021 90721033  638   308440  158812 115255    137 840.13
1472.15/1472.60	c   115489  13632   142271 90896756  638   308940  174694 115505    136 844.87
1472.15/1472.60	c   115964  13632   142746 91236846  639   309890  192164 115980    136 851.34
1472.15/1472.60	c   116777  13632   143559 91801349  639   311516  211381 116793    136 858.18
1472.15/1472.60	c   118097  13632   144879 92679621  639   314156  232520 118113    135 869.52
1472.15/1472.60	c   120178  13632   146960 94180547  640   318318  255773 120194    135 888.22
1472.15/1472.60	c   123401  13632   150183 96529925  642   324764  281351 123417    134 917.81
1472.15/1472.60	c   128337  13632   155119 100055245  645   334636  309487 128353    132 968.88
1472.15/1472.60	c   135843  13632   162625 105627848  649   349648  340436 135859    128 1057.20
1472.15/1472.60	c   147204  13632   173986 114149207  656   372370  374480 147220    127 1156.70
1472.15/1472.60	c   164348  13632   191130 127387528  666   406658  411929 164364    125 1310.39
1472.15/1472.60	c Caught signal: 15
1472.15/1472.60	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
1472.15/1472.60	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
1472.15/1472.60	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
1472.15/1472.60	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
1472.15/1472.60	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1472.15/1472.60	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1472.15/1472.60	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1472.15/1472.60	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1472.15/1472.60	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
1472.15/1472.60	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1472.15/1472.60	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254
1472.15/1472.60	v -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1472.15/1472.60	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1472.15/1472.60	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1472.15/1472.60	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1472.15/1472.60	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1472.15/1472.60	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1472.15/1472.60	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1472.15/1472.60	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1472.15/1472.60	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1472.15/1472.60	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1472.15/1472.60	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1472.15/1472.60	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x747 -x986 -x669 -x941 -x926 -x573
1472.15/1472.60	v -x877 -x802 -x765 -x859 -x531 -x574 -x591 -x776 -x822 -x858 -x866 -x908 -x501 x925 x894 x740 x603 x842 x976 x702 x896 x516
1472.15/1472.60	v x542 x655 x996 -x502 -x643 -x939 -x759 -x774 -x648 -x886 -x938 -x969 -x799 -x955 -x508 -x559 -x576 -x652 -x887 -x963 -x503
1472.15/1472.60	v -x715 -x637 -x975 -x507 -x562 -x916 -x579 -x791 -x569 -x695 -x640 -x745 -x781 -x807 -x953 -x504 -x649 -x993 -x588 -x889 -x948
1472.15/1472.60	v -x782 -x653 -x923 -x983 -x900 -x529 -x557 -x570 -x647 -x685 -x699 -x796 -x835 -x883 -x906 -x505 -x790 -x625 -x838 -x549 -x898
1472.15/1472.60	v -x837 -x786 -x687 -x805 -x936 -x831 -x506 -x642 -x872 -x572 -x968 -x878 -x634 -x809 -x924 -x568 -x623 -x658 -x661 -x867 -x882
1472.15/1472.60	v -x998 -x951 -x812 -x743 -x816 -x517 -x617 -x792 -x826 -x868 -x854 x567 x978 -x905 -x707 -x727 -x741 -x992 -x914 -x539 -x604
1472.15/1472.60	v -x613 -x626 -x761 -x841 -x509 -x927 -x907 -x769 -x999 -x874 -x646 -x984 -x757 -x806 -x537 -x540 -x638 -x960 -x510 -x830 -x899
1472.15/1472.60	v -x994 -x622 -x522 -x558 -x678 -x684 -x737 -x777 -x511 -x817 -x728 -x804 -x681 -x724 -x672 -x543 -x565 -x616 -x803 -x845 -x512
1472.15/1472.60	v -x795 -x973 -x950 -x553 -x739 -x931 -x535 -x526 x532 -x582 -x829 -x869 -x937 -x513 -x544 -x689 -x945 -x852 -x871 -x602 -x716
1472.15/1472.60	v -x746 -x723 -x515 -x521 -x863 -x964 -x514 -x536 -x704 -x586 -x660 -x890 -x732 -x785 -x988 -x563 -x590 -x627 -x952 -x771 -x949
1472.15/1472.60	v -x712 -x811 -x893 -x533 -x691 -x575 -x671 -x783 -x875 -x991 -x748 -x789 -x944 -x828 -x844 -x548 -x601 -x614 -x770 -x788 -x932
1472.15/1472.60	v -x518 -x657 -x985 -x775 -x620 -x644 -x933 -x519 -x545 -x714 -x708 -x607 -x851 -x594 -x810 -x520 -x571 -x840 -x667 -x843 -x800
1472.15/1472.60	v -x530 -x580 -x836 -x940 -x956 -x974 -x692 -x599 -x564 -x645 -x639 -x618 -x654 -x656 -x814 -x820 -x824 -x967 -x977 -x523 -x534
1472.15/1472.60	v -x989 -x876 -x846 -x659 -x538 -x554 -x751 -x772 -x892 -x524 -x823 -x833 -x821 -x962 -x808 -x734 -x742 -x753 -x848 -x525 -x733
1472.15/1472.60	v -x928 -x778 -x762 -x593 -x711 -x853 -x920 -x705 -x839 -x596 -x787 -x611 -x773 -x527 -x981 -x709 -x584 -x621 -x768 -x528 -x578
1472.15/1472.60	v -x675 -x815 -x550 -x738 -x766 -x726 -x703 -x750 -x595 -x598 -x720 -x676 -x958 -x664 -x700 -x650 -x697 -x912 -x930 -x891 -x633
1472.15/1472.60	v -x690 -x610 -x729 -x965 -x665 -x581 -x921 -x635 -x673 -x731 -x713 -x819 -x663 -x990 -x609 -x688 -x1000 -x780 -x834 -x587
1472.15/1472.60	v -x754 -x730 -x541 -x566 -x682 -x744 -x947 -x957 -x855 -x722 -x619 -x763 -x903 -x606 -x895 -x832 -x736 -x918 -x862 -x668 -x749
1472.15/1472.60	v -x721 -x547 -x608 -x624 -x641 -x825 -x683 -x860 -x686 -x674 -x784 -x585 -x959 -x970 -x546 x555 -x551 -x922 -x628 -x884 -x755
1472.15/1472.60	v -x982 -x696 -x752 -x827 -x911 -x560 -x600 -x679 -x857 -x904 -x794 -x561 -x694 -x943 -x793 -x997 -x693 -x758 -x552 -x592 -x897
1472.15/1472.60	v -x630 -x942 -x735 -x885 -x946 -x651 -x670 -x615 -x632 -x725 -x760 -x864 -x556 -x915 -x577 -x698 -x873 -x961 -x980 -x954 -x797
1472.15/1472.60	v -x612 -x880 -x856 -x909 -x666 -x597 -x870 -x813 -x801 -x583 -x706 -x764 -x719 -x767 -x910 -x798 -x718 -x589 -x680 -x631 -x865
1472.15/1472.60	v -x818 -x710 -x756 -x901 -x929 -x971 -x935 -x881 -x879 -x995 -x850 -x913 -x888 -x629 -x701 -x662 -x849 -x987 -x779 -x979 -x677
1472.15/1472.60	v -x902 -x605 -x847 -x934 -x717 -x917 -x861 -x636 -x919 -x966 -x972
1472.15/1472.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1472.15/1472.60	c   43   183657    371   371134   210439 142729081 183673    124 1472.16
1472.15/1472.60	c Objective: -16
1472.15/1472.60	s SATISFIABLE
1472.15/1472.60	c Total time: 1472.16 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/node1/watcher-455196-1178038913 -o ROOT/results/node1/solver-455196-1178038913 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455196-1178038913/instance-455196-1178038913.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.95 1.05 1.00 3/83 27686
/proc/meminfo: memFree=1776432/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=11928 CPUtime=0
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 279929119 12214272 337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 2983 339 280 324 0 2005 0

[startup+0.076867 s]
/proc/loadavg: 0.95 1.05 1.00 3/83 27686
/proc/meminfo: memFree=1776432/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=7948 CPUtime=0.06
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 1353 0 0 0 6 0 0 0 18 0 1 0 279929119 8138752 1323 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 1987 1324 329 324 0 1009 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7948

[startup+0.10187 s]
/proc/loadavg: 0.95 1.05 1.00 3/83 27686
/proc/meminfo: memFree=1776432/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=10428 CPUtime=0.08
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 2025 0 0 0 8 0 0 0 18 0 1 0 279929119 10678272 1947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 2607 1949 300 324 0 1677 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10428

[startup+0.301893 s]
/proc/loadavg: 0.95 1.05 1.00 3/83 27686
/proc/meminfo: memFree=1776432/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=11112 CPUtime=0.28
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 2169 0 0 0 28 0 0 0 19 0 1 0 279929119 11378688 2091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 2778 2091 304 324 0 1848 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11112

[startup+0.70194 s]
/proc/loadavg: 0.95 1.05 1.00 3/83 27686
/proc/meminfo: memFree=1776432/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=11112 CPUtime=0.68
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 2170 0 0 0 68 0 0 0 22 0 1 0 279929119 11378688 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 2778 2092 304 324 0 1848 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11112

[startup+1.50103 s]
/proc/loadavg: 0.95 1.05 1.00 2/84 27687
/proc/meminfo: memFree=1769192/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=11112 CPUtime=1.49
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 2170 0 0 0 148 1 0 0 25 0 1 0 279929119 11378688 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 2778 2092 304 324 0 1848 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11112

[startup+3.10123 s]
/proc/loadavg: 0.95 1.05 1.00 2/84 27687
/proc/meminfo: memFree=1768808/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=11112 CPUtime=3.09
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 2170 0 0 0 308 1 0 0 25 0 1 0 279929119 11378688 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27686/statm: 2778 2092 304 324 0 1848 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11112

[startup+6.3016 s]
/proc/loadavg: 0.95 1.05 1.00 2/78 27707
/proc/meminfo: memFree=1769944/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=11112 CPUtime=6.28
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 2170 0 0 0 627 1 0 0 25 0 1 0 279929119 11378688 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 2778 2092 304 324 0 1848 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11112

[startup+12.7013 s]
/proc/loadavg: 0.95 1.05 1.00 2/78 27707
/proc/meminfo: memFree=1761624/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=21676 CPUtime=12.68
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 5291 0 0 0 1262 6 0 0 25 0 1 0 279929119 22196224 4784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 5419 4784 310 324 0 4489 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21676

[startup+25.5018 s]
/proc/loadavg: 0.96 1.04 1.00 2/78 27707
/proc/meminfo: memFree=1736672/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=44828 CPUtime=25.48
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 11057 0 0 0 2539 9 0 0 25 0 1 0 279929119 45903872 10550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 11207 10550 310 324 0 10277 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44828

[startup+51.1018 s]
/proc/loadavg: 0.97 1.04 1.00 2/78 27707
/proc/meminfo: memFree=1704032/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=77424 CPUtime=51.06
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 19218 0 0 0 5093 13 0 0 25 0 1 0 279929119 79282176 18711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 19356 18711 310 324 0 18426 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 77424

[startup+102.306 s]
/proc/loadavg: 0.99 1.03 1.00 2/78 27707
/proc/meminfo: memFree=1647072/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=134100 CPUtime=102.26
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 33383 0 0 0 10203 23 0 0 25 0 1 0 279929119 137318400 32876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572684 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 33525 32876 310 324 0 32595 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 134100

[startup+162.302 s]
/proc/loadavg: 0.99 1.02 1.00 2/78 27707
/proc/meminfo: memFree=1583072/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=198268 CPUtime=162.24
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 49417 0 0 0 16190 34 0 0 25 0 1 0 279929119 203026432 48910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 49567 48910 310 324 0 48637 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 198268

[startup+222.302 s]
/proc/loadavg: 0.99 1.02 1.00 2/78 27707
/proc/meminfo: memFree=1516256/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=264632 CPUtime=222.22
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 66015 0 0 0 22179 43 0 0 25 0 1 0 279929119 270983168 65508 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 66158 65508 310 324 0 65228 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 264632

[startup+282.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 27707
/proc/meminfo: memFree=1455136/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=325976 CPUtime=282.21
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 81355 0 0 0 28167 54 0 0 25 0 1 0 279929119 333799424 80848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 81494 80848 310 324 0 80564 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 325976

[startup+342.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 27707
/proc/meminfo: memFree=1380768/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=400096 CPUtime=342.19
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 99897 0 0 0 34154 65 0 0 25 0 1 0 279929119 409698304 99390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134592576 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 100024 99390 310 324 0 99094 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 400096

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=1305760/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=475300 CPUtime=402.17
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 118674 0 0 0 40143 74 0 0 25 0 1 0 279929119 486707200 118167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 118825 118167 310 324 0 117895 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 475300

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=1226592/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=554096 CPUtime=462.15
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 138392 0 0 0 46129 86 0 0 25 0 1 0 279929119 567394304 137885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 138524 137885 310 324 0 137594 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 554096

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=1140448/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=640508 CPUtime=522.14
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 160003 0 0 0 52114 100 0 0 25 0 1 0 279929119 655880192 159496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 160127 159496 310 324 0 159197 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 640508

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=1055520/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=724872 CPUtime=582.12
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 181079 0 0 0 58099 113 0 0 25 0 1 0 279929119 742268928 180572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 181218 180572 310 324 0 180288 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 724872

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=964704/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=815020 CPUtime=642.11
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 203630 0 0 0 64086 125 0 0 25 0 1 0 279929119 834580480 203123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 203755 203123 310 324 0 202825 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 815020

[startup+702.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=863840/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=917144 CPUtime=702.09
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 229136 0 0 0 70069 140 0 0 25 0 1 0 279929119 939155456 228629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572716 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 229286 228629 310 324 0 228356 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 917144

[startup+762.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=760096/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1019396 CPUtime=762.07
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 254705 0 0 0 76051 156 0 0 25 0 1 0 279929119 1043861504 254198 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 254849 254198 310 324 0 253919 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 1019396

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=637856/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1142588 CPUtime=822.06
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 285516 0 0 0 82030 176 0 0 25 0 1 0 279929119 1170010112 285009 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 285647 285009 310 324 0 284717 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 1142588

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=565472/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1213640 CPUtime=882.04
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 303264 0 0 0 88018 186 0 0 25 0 1 0 279929119 1242767360 302757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 303410 302757 310 324 0 302480 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1213640

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=506784/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1272896 CPUtime=942.03
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 318102 0 0 0 94008 195 0 0 25 0 1 0 279929119 1303445504 317595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 318224 317595 310 324 0 317294 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1272896

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=456928/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1322096 CPUtime=1002.01
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 330384 0 0 0 99999 202 0 0 25 0 1 0 279929119 1353826304 329877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 330524 329877 310 324 0 329594 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1322096

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=408480/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1370728 CPUtime=1061.99
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 342537 0 0 0 105990 209 0 0 25 0 1 0 279929119 1403625472 342030 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 342682 342030 310 324 0 341752 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1370728

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=341920/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1436884 CPUtime=1121.98
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 359072 0 0 0 111979 219 0 0 25 0 1 0 279929119 1471369216 358565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 359221 358565 310 324 0 358291 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1436884

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=275040/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1504396 CPUtime=1181.96
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 375966 0 0 0 117967 229 0 0 25 0 1 0 279929119 1540501504 375459 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6262934 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 376099 375459 310 324 0 375169 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1504396

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=207776/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1570884 CPUtime=1241.94
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 392586 0 0 0 123955 239 0 0 25 0 1 0 279929119 1608585216 392079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 392721 392079 310 324 0 391791 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1570884

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=140384/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1637792 CPUtime=1301.93
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 409296 0 0 0 129942 251 0 0 25 0 1 0 279929119 1677099008 408789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 409448 408789 310 324 0 408518 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1637792

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=67552/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1711872 CPUtime=1361.91
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 427817 0 0 0 135929 262 0 0 25 0 1 0 279929119 1752956928 427310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 427968 427310 310 324 0 427038 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1711872

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=15968/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1785212 CPUtime=1421.87
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 446157 0 0 0 141914 273 0 0 25 0 1 0 279929119 1828057088 445650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 446303 445650 310 324 0 445373 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1785212



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1472.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27707
/proc/meminfo: memFree=15328/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=1843320 CPUtime=1472.15
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 460688 0 0 0 146934 281 0 0 25 0 1 0 279929119 1887559680 460181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 460830 460181 310 324 0 459900 0
Current children cumulated CPU time (s) 1472.15
Current children cumulated vsize (KiB) 1843320

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

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

[startup+1472.8 s]
/proc/loadavg: 0.99 1.00 1.00 2/79 27708
/proc/meminfo: memFree=1277656/2055920 swapFree=4145736/4192956
[pid=27686] ppid=27684 vsize=0 CPUtime=1472.35
/proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194308 460692 0 0 0 146934 301 0 0 25 0 1 0 279929119 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/27686/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1472.35
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1472.89
CPU time (s): 1472.45
CPU user time (s): 1469.35
CPU system time (s): 3.10053
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 1843320

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

runsolver used 1.15882 second user time and 3.21551 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Tue May  1 17:01:53 UTC 2007

IDJOB= 455196
IDBENCH= 48247
IDSOLVER= 199
FILE ID= node1/455196-1178038913

PBS_JOBID= 4728435

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  68d7f052f18638860d9232a7f3ed2053

RANDOM SEED= 464524555

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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.234
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.234
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:       1776904 kB
Buffers:         84152 kB
Cached:         106064 kB
SwapCached:      14532 kB
Active:         153420 kB
Inactive:        61612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776904 kB
SwapTotal:     4192956 kB
SwapFree:      4145736 kB
Dirty:            6820 kB
Writeback:           0 kB
Mapped:          31380 kB
Slab:            49112 kB
Committed_AS:  8334004 kB
PageTables:       2072 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 node1 on Tue May  1 17:26:28 UTC 2007