Trace number 455616

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)-22 1332.93 1333.29

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_3.opb
MD5SUM9fd52bec996ed780d55ecea52b6ce11a
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-85
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -85
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)31444
Sum of products size (including duplicates)62888
Number of different products15722
Sum of products size31444

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/455616-1178046489/instance-455616-1178046489.opb
0.00/0.00	c File size is 432411 bytes.
0.09/0.19	c Highest Coefficient sum: 1000
0.09/0.19	c Parsing was ok!!
0.09/0.19	c Total parsing time: 0.191 s
0.19/0.25	c Var: 32444 Constr: 64390 31944/1002/31444 Lit: 223108 Watch. Lit: 190666
0.19/0.25	c Obj. Vars: 500 (1.54112 % of total variables)
179.25/179.31	c Pre-processing Time: 179.26 s
179.25/179.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.25/179.31	c        0  32444    64390   223108    3   190666  529324      0      0 179.26
179.25/179.31	c Switching off LPR mode.
179.25/179.35	o -1	179.302
179.34/179.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.34/179.41	c        0  32444    64391   223608    3   190669  529657      1      0 179.32
179.34/179.41	o -2	179.361
179.34/179.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.34/179.47	c        0  32444    64392   224108    3   190673  530157      2      0 179.38
179.34/179.47	o -3	179.421
179.44/179.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.44/179.53	c        0  32444    64393   224608    3   190678  530824      3      0 179.44
179.44/179.53	o -4	179.482
179.44/179.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.44/179.59	c        0  32444    64394   225108    3   190684  531657      4      0 179.50
179.44/179.59	o -5	179.544
179.54/179.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.54/179.65	c        0  32444    64395   225608    3   190691  532657      5      0 179.56
179.54/179.65	o -6	179.606
179.64/179.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.64/179.72	c        0  32444    64396   226108    3   190699  533657      6      0 179.62
179.64/179.72	o -7	179.669
179.64/179.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.64/179.78	c        0  32444    64397   226608    3   190708  534657      7      0 179.69
179.64/179.78	o -8	179.732
179.74/179.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.74/179.84	c        0  32444    64398   227108    3   190718  535657      8      0 179.75
179.74/179.84	o -9	179.795
179.84/179.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.84/179.91	c        0  32444    64399   227608    3   190729  536657      9      0 179.81
179.84/179.91	o -10	179.859
179.84/179.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.84/179.97	c        0  32444    64400   228108    3   190741  537657     10      0 179.88
179.84/179.97	o -11	179.922
179.94/180.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.94/180.03	c        0  32444    64401   228608    3   190754  538657     11      0 179.94
179.94/180.03	o -12	179.986
180.04/180.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.04/180.10	c        0  32444    64402   229108    3   190768  539657     12      0 180.00
180.04/180.10	o -13	180.05
180.04/180.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.04/180.16	c        0  32444    64403   229608    3   190783  540657     13      0 180.07
180.04/180.16	o -14	180.114
180.14/180.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.14/180.23	c        0  32444    64404   230108    3   190799  541657     14      0 180.13
180.14/180.23	o -15	180.178
180.14/180.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.14/180.29	c        0  32444    64405   230608    3   190816  542657     15      0 180.19
180.14/180.29	o -16	180.242
180.25/180.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.25/180.35	c        0  32444    64406   231108    3   190834  543657     16      0 180.26
180.25/180.35	o -17	180.306
180.35/180.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.35/180.42	c        0  32444    64407   231608    3   190853  544657     17      0 180.32
180.35/180.42	o -18	180.371
180.35/180.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.35/180.48	c        0  32444    64408   232108    3   190873  545657     18      0 180.39
180.35/180.48	o -19	180.435
180.44/180.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.44/180.55	c        0  32444    64409   232608    3   190894  546657     19      0 180.45
180.44/180.55	o -20	180.5
180.54/180.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.54/180.65	c        0  32444    64410   233108    3   190916  547657     20      0 180.52
180.54/180.65	o -21	180.606
195.24/195.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
195.24/195.32	c       10  32444    64421   239081    3   190959  547657     31      0 180.62
195.24/195.32	c      110  32444    64521   302045    4   191159  602423    131      0 181.34
195.24/195.32	c      360  32444    64771   461472    7   191659  662666    381      1 183.58
195.24/195.32	c      835  32444    65246   756665   11   192609  728933    856      4 187.14
195.24/195.32	c     1648  32444    66059  1317004   19   194235  801827   1669      8 192.11
195.24/195.32	o -22	195.269
1332.64/1333.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1332.64/1333.00	c     2957  32444    67369  2246534   33   196877  547657   2979     15 195.29
1332.64/1333.00	c     3057  32444    67469  2303453   34   197077  602423   3079     15 197.09
1332.64/1333.00	c     3307  32444    67719  2456505   36   197577  662666   3329     16 198.79
1332.64/1333.00	c     3782  32444    68194  2730128   40   198527  728933   3804     18 199.34
1332.64/1333.00	c     4595  32444    69007  3136705   45   200153  801827   4617     22 201.02
1332.64/1333.00	c     5915  32444    70327  3862605   54   202793  882010   5937     28 206.15
1332.64/1333.00	c     7996  32444    72408  5038538   69   206955  970212   8018     37 215.99
1332.64/1333.00	c    11219  32444    75631  6929499   91   213401  500000  11241     48 231.67
1332.64/1333.00	c    16155  32444    80567 10207115  126   223273  550001  16177     60 268.68
1332.64/1333.00	c    23661  32444    88073 15257129  173   238285  605002  23683     73 323.79
1332.64/1333.00	c    35022  32444    99434 22835813  229   261007  665503  35044     85 407.46
1332.64/1333.00	c    52166  32444   116578 33934506  291   295295  732054  52188    101 512.00
1332.64/1333.00	c    77985  32444   142397 49747611  349   346933  805260  78007    125 621.99
1332.64/1333.00	c   116817  32444   181229 70769436  390   424597  885787 116839    164 709.93
1332.64/1333.00	c   175169  32444   239581 102967187  429   541301  974366 175191    180 971.55
1332.64/1333.00	c Caught signal: 15
1332.64/1333.00	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 x32
1332.64/1333.00	v -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 -x58 -x59
1332.64/1333.00	v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85
1332.64/1333.00	v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1332.64/1333.00	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1332.64/1333.00	v x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1332.64/1333.00	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
1332.64/1333.00	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
1332.64/1333.00	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1332.64/1333.00	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1332.64/1333.00	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
1332.64/1333.00	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1332.64/1333.00	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1332.64/1333.00	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1332.64/1333.00	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
1332.64/1333.00	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1332.64/1333.00	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1332.64/1333.00	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
1332.64/1333.00	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1332.64/1333.00	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1332.64/1333.00	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465
1332.64/1333.00	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1332.64/1333.00	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x747 -x986 -x669 -x941 -x926 -x573 -x877
1332.64/1333.00	v -x802 -x765 -x859 -x925 -x894 -x740 -x603 -x842 -x976 -x702 -x896 -x516 -x643 -x939 -x759 -x774 -x648 -x886 -x512 -x528 -x533
1332.64/1333.00	v -x593 -x604 -x613 -x615 -x624 -x649 -x657 -x727 -x760 -x764 -x795 -x978 -x501 x938 x969 x799 x955 x715 -x637 -x975 -x507 x562
1332.64/1333.00	v -x916 x579 x791 -x569 x695 -x993 -x588 -x889 -x948 x782 -x653 x923 x983 x900 -x790 -x556 -x676 -x690 x732 x746 -x772 -x839
1332.64/1333.00	v -x866 x943 -x502 -x625 -x838 -x549 -x898 -x837 -x786 -x687 -x805 -x936 -x642 -x872 -x572 -x968 -x878 -x634 -x883 -x809 -x924
1332.64/1333.00	v -x951 -x796 -x591 -x812 -x743 -x816 -x517 -x523 -x555 -x620 -x636 -x654 -x679 -x684 -x710 -x748 -x881 -x503 -x854 -x567 -x807
1332.64/1333.00	v -x905 -x707 -x741 x992 -x914 -x927 -x907 x769 -x999 -x874 x646 -x984 -x757 x806 -x559 -x830 x899 -x994 -x551 -x584 -x594 -x600
1332.64/1333.00	v -x635 -x749 -x784 -x890 -x919 -x960 -x504 -x622 -x661 -x817 -x728 -x623 -x804 -x681 -x882 -x724 -x672 -x973 -x950 -x553 -x739
1332.64/1333.00	v -x931 -x535 -x544 -x689 -x945 -x511 -x522 x527 -x571 -x597 -x608 -x619 -x705 -x770 -x851 -x876 -x505 -x852 -x871 -x602 -x716
1332.64/1333.00	v -x723 -x536 -x704 -x586 -x514 -x785 -x988 -x563 -x607 -x673 -x763 -x835 -x935 -x506 -x771 -x949 -x712 -x811 -x893 -x691 -x869
1332.64/1333.00	v -x789 -x944 -x828 -x844 -x590 -x548 -x985 -x626 -x526 -x545 -x557 -x558 -x696 -x725 -x756 -x767 -x773 -x820 -x887 -x970 -x974
1332.64/1333.00	v -x982 -x1000 -x775 -x714 -x708 -x840 -x667 -x843 -x858 -x800 -x932 -x940 -x543 -x605 -x616 -x652 -x693 -x735 -x736 -x787
1332.64/1333.00	v -x920 -x947 -x954 -x508 -x956 -x660 -x692 -x601 -x564 -x645 -x639 -x745 -x783 -x534 -x989 -x846 -x515 -x538 -x542 -x546 -x609
1332.64/1333.00	v -x644 -x698 -x718 -x875 -x912 -x917 -x934 -x509 -x659 -x823 -x833 -x821 -x962 -x808 -x513 -x733 -x928 -x778 -x762 -x967 -x711
1332.64/1333.00	v -x822 -x930 -x510 -x596 -x792 -x981 -x709 -x578 -x998 -x675 -x908 -x566 -x582 -x656 -x761 -x794 -x867 -x901 -x904 -x942 -x863
1332.64/1333.00	v -x815 -x726 -x618 -x521 -x703 -x750 -x958 -x580 -x664 -x700 -x525 -x599 -x610 -x658 -x699 -x738 -x758 -x768 -x781 -x873 -x902
1332.64/1333.00	v -x891 -x633 -x665 -x581 -x921 -x575 -x713 -x963 -x539 -x819 -x531 -x606 -x631 -x666 -x697 -x810 -x829 -x777 -x663 -x720 -x906
1332.64/1333.00	v -x990 -x780 -x532 -x834 -x814 -x754 -x614 -x628 -x650 -x688 -x729 -x798 -x861 -x627 -x730 -x524 -x957 -x855 -x722 -x903 -x831
1332.64/1333.00	v -x621 -x706 -x788 -x801 -x911 -x895 -x832 -x682 -x537 -x574 -x547 -x647 -x734 -x862 -x721 -x825 -x964 -x617 -x694 -x779 -x797
1332.64/1333.00	v -x864 -x674 -x565 -x731 -x529 -x568 -x595 -x630 -x849 -x518 -x922 -x884 -x755 -x560 -x552 -x662 -x519 -x540 -x550 -x857 -x561
1332.64/1333.00	v -x793 -x997 -x655 -x752 -x853 -x520 -x897 -x885 -x946 -x530 -x751 -x670 -x965 -x937 -x915 -x677 -x685 -x641 -x961 -x856 -x611
1332.64/1333.00	v -x909 -x892 -x870 -x592 -x678 -x826 -x612 -x813 -x996 -x583 -x671 -x680 -x744 -x977 -x910 -x719 -x589 -x836 -x541 -x971 -x980
1332.64/1333.00	v -x737 -x865 -x818 -x683 -x766 -x987 -x929 -x585 -x640 -x577 -x952 -x554 -x570 -x629 -x668 -x995 -x913 -x953 -x888 -x686 -x879
1332.64/1333.00	v -x651 -x847 -x850 -x933 -x638 -x848 -x598 -x827 -x979 -x742 -x918 -x824 -x803 -x717 -x860 -x972 -x841 -x576 -x959 -x991 -x632
1332.64/1333.00	v -x880 -x753 -x587 -x776 -x845 -x868 -x701 -x966
1332.64/1333.00	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1332.64/1333.00	c   40   233759    661   834096   298171 141612187 233781    175 1332.65
1332.64/1333.00	c Objective: -22
1332.64/1333.00	s SATISFIABLE
1332.64/1333.00	c Total time: 1332.65 s

Verifier Data (download as text)

OK	-22

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node74/watcher-455616-1178046489 -o ROOT/results/node74/solver-455616-1178046489 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455616-1178046489/instance-455616-1178046489.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.97 1.01 0.99 3/66 28399
/proc/meminfo: memFree=1854304/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=12160 CPUtime=0
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 252563646 12451840 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 3040 333 279 324 0 2004 0

[startup+0.00943606 s]
/proc/loadavg: 0.97 1.01 0.99 3/66 28399
/proc/meminfo: memFree=1854304/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=4624 CPUtime=0
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 443 0 0 0 0 0 0 0 18 0 1 0 252563646 4734976 413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 1156 413 292 324 0 120 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4624

[startup+0.101446 s]
/proc/loadavg: 0.97 1.01 0.99 3/66 28399
/proc/meminfo: memFree=1854304/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=9520 CPUtime=0.09
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 1715 0 0 0 9 0 0 0 18 0 1 0 252563646 9748480 1685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 2380 1685 343 324 0 1344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9520

[startup+0.301469 s]
/proc/loadavg: 0.97 1.01 0.99 3/66 28399
/proc/meminfo: memFree=1854304/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=21204 CPUtime=0.29
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4711 0 0 0 27 2 0 0 19 0 1 0 252563646 21712896 4535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 5301 4535 305 324 0 4371 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21204

[startup+0.701515 s]
/proc/loadavg: 0.97 1.01 0.99 3/66 28399
/proc/meminfo: memFree=1854304/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=21204 CPUtime=0.69
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4747 0 0 0 67 2 0 0 22 0 1 0 252563646 21712896 4571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 5301 4571 305 324 0 4371 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21204

[startup+1.50161 s]
/proc/loadavg: 0.97 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1837144/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=21204 CPUtime=1.49
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4747 0 0 0 147 2 0 0 25 0 1 0 252563646 21712896 4571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 5301 4571 305 324 0 4371 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21204

[startup+3.10179 s]
/proc/loadavg: 0.97 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1837016/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=21204 CPUtime=3.09
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4748 0 0 0 307 2 0 0 25 0 1 0 252563646 21712896 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 5301 4572 305 324 0 4371 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21204

[startup+6.30116 s]
/proc/loadavg: 0.97 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1836760/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=21336 CPUtime=6.29
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4749 0 0 0 627 2 0 0 25 0 1 0 252563646 21848064 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10186821 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 5334 4573 305 324 0 4404 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21336

[startup+12.7019 s]
/proc/loadavg: 0.97 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1836760/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=21336 CPUtime=12.69
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4749 0 0 0 1267 2 0 0 25 0 1 0 252563646 21848064 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 5334 4573 305 324 0 4404 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21336

[startup+25.5014 s]
/proc/loadavg: 0.98 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1836824/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=21336 CPUtime=25.49
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4749 0 0 0 2546 3 0 0 25 0 1 0 252563646 21848064 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 5334 4573 305 324 0 4404 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21336

[startup+51.1013 s]
/proc/loadavg: 0.98 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1836824/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=21336 CPUtime=51.07
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4749 0 0 0 5104 3 0 0 25 0 1 0 252563646 21848064 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 5334 4573 305 324 0 4404 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21336

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1836824/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=21336 CPUtime=102.27
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4749 0 0 0 10222 5 0 0 25 0 1 0 252563646 21848064 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190870 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 5334 4573 305 324 0 4404 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21336

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1836824/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=21336 CPUtime=162.25
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4749 0 0 0 16218 7 0 0 25 0 1 0 252563646 21848064 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10186904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 5334 4573 305 324 0 4404 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21336

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1762648/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=95332 CPUtime=222.24
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 23396 0 0 0 22206 18 0 0 25 0 1 0 252563646 97619968 23156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 23833 23156 311 324 0 22903 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 95332

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1692952/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=165488 CPUtime=282.22
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 40946 0 0 0 28195 27 0 0 25 0 1 0 252563646 169459712 40706 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 41372 40706 311 324 0 40442 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 165488

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1620312/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=237448 CPUtime=342.2
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 58938 0 0 0 34183 37 0 0 25 0 1 0 252563646 243146752 58698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 59362 58698 311 324 0 58432 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 237448

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1550552/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=307396 CPUtime=402.18
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 76406 0 0 0 40169 49 0 0 25 0 1 0 252563646 314773504 76166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 76849 76166 311 324 0 75919 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 307396

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1479640/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=378068 CPUtime=462.17
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 94086 0 0 0 46156 61 0 0 25 0 1 0 252563646 387141632 93846 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 94517 93846 311 324 0 93587 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 378068

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1383320/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=474824 CPUtime=522.16
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 118254 0 0 0 52140 76 0 0 25 0 1 0 252563646 486219776 118014 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 118706 118014 311 324 0 117776 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 474824

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1274968/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=582976 CPUtime=582.13
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 145299 0 0 0 58119 94 0 0 25 0 1 0 252563646 596967424 145059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572040 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 145744 145059 311 324 0 144814 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 582976

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=1153496/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=703036 CPUtime=642.13
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 175321 0 0 0 64099 114 0 0 25 0 1 0 252563646 719908864 175081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 175759 175081 311 324 0 174829 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 703036

[startup+702.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=963736/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=894660 CPUtime=702.11
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 223242 0 0 0 70068 143 0 0 25 0 1 0 252563646 916131840 223002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547736 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 223665 223002 311 324 0 222735 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 894660

[startup+762.305 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=761240/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=1094588 CPUtime=762.09
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 273209 0 0 0 76039 170 0 0 25 0 1 0 252563646 1120858112 272969 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 273647 272969 311 324 0 272717 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1094588

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=698584/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=1158236 CPUtime=822.07
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 289120 0 0 0 82027 180 0 0 25 0 1 0 252563646 1186033664 288880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 289559 288880 311 324 0 288629 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1158236

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=632088/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=1223584 CPUtime=882.06
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 305444 0 0 0 88012 194 0 0 25 0 1 0 252563646 1252950016 305204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 305896 305204 311 324 0 304966 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1223584

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=552664/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=1304008 CPUtime=942.04
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 325550 0 0 0 93996 208 0 0 25 0 1 0 252563646 1335304192 325310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10191741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 326002 325311 311 324 0 325072 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1304008

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 28400
/proc/meminfo: memFree=466712/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=1388572 CPUtime=1002.02
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 346708 0 0 0 99979 223 0 0 25 0 1 0 252563646 1421897728 346468 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190689 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 347143 346468 311 324 0 346213 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1388572

[startup+1062.3 s]
/proc/loadavg: 1.11 1.03 1.00 2/67 28400
/proc/meminfo: memFree=387416/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=1468796 CPUtime=1062
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 366772 0 0 0 105964 236 0 0 25 0 1 0 252563646 1504047104 366532 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 367199 366532 311 324 0 366269 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1468796

[startup+1122.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/67 28400
/proc/meminfo: memFree=295128/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=1560432 CPUtime=1121.99
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 389681 0 0 0 111947 252 0 0 25 0 1 0 252563646 1597882368 389441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 390108 389441 311 324 0 389178 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1560432

[startup+1182.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 28400
/proc/meminfo: memFree=216664/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=1639420 CPUtime=1181.97
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 409411 0 0 0 117933 264 0 0 25 0 1 0 252563646 1678766080 409171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 409855 409171 311 324 0 408925 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1639420

[startup+1242.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/67 28400
/proc/meminfo: memFree=111960/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=1743276 CPUtime=1241.96
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 435388 0 0 0 123917 279 0 0 25 0 1 0 252563646 1785114624 435148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 435819 435148 311 324 0 434889 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1743276

[startup+1302.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/67 28400
/proc/meminfo: memFree=26456/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=1827724 CPUtime=1301.95
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 456506 0 0 0 129899 296 0 0 25 0 1 0 252563646 1871589376 456266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 456931 456266 311 324 0 456001 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1827724



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1333 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 28400
/proc/meminfo: memFree=15448/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=1843312 CPUtime=1332.64
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 460388 0 0 0 132966 298 0 0 25 0 1 0 252563646 1887551488 460148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 460828 460148 311 324 0 459898 0
Current children cumulated CPU time (s) 1332.64
Current children cumulated vsize (KiB) 1843312

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

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

[startup+1333.21 s]
/proc/loadavg: 1.01 1.02 1.00 2/68 28401
/proc/meminfo: memFree=633296/2055920 swapFree=4183036/4192956
[pid=28399] ppid=28397 vsize=0 CPUtime=1332.84
/proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194308 460392 0 0 0 132966 318 0 0 25 0 1 0 252563646 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/28399/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1332.84
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1333.29
CPU time (s): 1332.93
CPU user time (s): 1329.66
CPU system time (s): 3.2675
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1843312

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

runsolver used 0.965853 second user time and 2.70259 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Tue May  1 19:08:09 UTC 2007

IDJOB= 455616
IDBENCH= 48275
IDSOLVER= 199
FILE ID= node74/455616-1178046489

PBS_JOBID= 4728491

Free space on /tmp= 103238 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  9fd52bec996ed780d55ecea52b6ce11a

RANDOM SEED= 251916796

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1854712 kB
Buffers:         51580 kB
Cached:          79248 kB
SwapCached:       2996 kB
Active:          55212 kB
Inactive:        86924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1854712 kB
SwapTotal:     4192956 kB
SwapFree:      4183036 kB
Dirty:            7040 kB
Writeback:           0 kB
Mapped:          15744 kB
Slab:            44880 kB
Committed_AS:  6763672 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103238 MiB

End job on node74 on Tue May  1 19:30:24 UTC 2007