Trace number 455340

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)-22 1485.6 1486.3

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_5.opb
MD5SUMdfd3914a8aa1cc34e3abdf0a14d8373d
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-82
Best CPU time to get the best result obtained on this benchmark1800.2
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -82
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)31412
Sum of products size (including duplicates)62824
Number of different products15706
Sum of products size31412

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/455340-1178041646/instance-455340-1178041646.opb
0.00/0.00	c File size is 432083 bytes.
0.29/0.30	c Highest Coefficient sum: 1000
0.29/0.30	c Parsing was ok!!
0.29/0.30	c Total parsing time: 0.302 s
0.29/0.35	c Var: 32412 Constr: 64326 31912/1002/31412 Lit: 222884 Watch. Lit: 190474
0.29/0.36	c Obj. Vars: 500 (1.54264 % of total variables)
180.33/180.44	c Pre-processing Time: 180.37 s
180.33/180.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.33/180.44	c        0  32412    64326   222884    3   190474  528158      0      0 180.37
180.33/180.44	c Switching off LPR mode.
180.43/180.50	o -1	180.433
180.43/180.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.43/180.58	c        0  32412    64327   223384    3   190477  528492      1      0 180.45
180.43/180.58	o -2	180.514
180.52/180.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.52/180.66	c        0  32412    64328   223884    3   190481  528992      2      0 180.53
180.52/180.66	o -3	180.596
180.62/180.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.62/180.75	c        0  32412    64329   224384    3   190486  529658      3      0 180.61
180.62/180.75	o -4	180.677
180.72/180.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.72/180.83	c        0  32412    64330   224884    3   190492  530492      4      0 180.69
180.72/180.83	o -5	180.759
180.82/180.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.82/180.91	c        0  32412    64331   225384    3   190499  531492      5      0 180.78
180.82/180.91	o -6	180.841
180.82/180.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.82/180.99	c        0  32412    64332   225884    3   190507  532492      6      0 180.86
180.82/180.99	o -7	180.923
180.92/181.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.92/181.07	c        0  32412    64333   226384    3   190516  533492      7      0 180.94
180.92/181.07	o -8	181.005
181.02/181.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.02/181.16	c        0  32412    64334   226884    3   190526  534492      8      0 181.02
181.02/181.16	o -9	181.087
181.12/181.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.12/181.24	c        0  32412    64335   227384    3   190537  535492      9      0 181.10
181.12/181.24	o -10	181.169
181.22/181.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.22/181.32	c        0  32412    64336   227884    3   190549  536492     10      0 181.19
181.22/181.32	o -11	181.25
181.32/181.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.32/181.40	c        0  32412    64337   228384    3   190562  537492     11      0 181.27
181.32/181.40	o -12	181.332
181.32/181.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.32/181.48	c        0  32412    64338   228884    3   190576  538492     12      0 181.35
181.32/181.48	o -13	181.413
181.42/181.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.42/181.56	c        0  32412    64339   229384    3   190591  539492     13      0 181.43
181.42/181.56	o -14	181.495
181.53/181.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.53/181.65	c        0  32412    64340   229884    3   190607  540492     14      0 181.51
181.53/181.65	o -15	181.577
181.62/181.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.62/181.73	c        0  32412    64341   230384    3   190624  541492     15      0 181.59
181.62/181.73	o -16	181.659
181.72/181.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.72/181.81	c        0  32412    64342   230884    3   190642  542492     16      0 181.68
181.72/181.81	o -17	181.74
181.72/181.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.72/181.89	c        0  32412    64343   231384    3   190661  543492     17      0 181.76
181.72/181.89	o -18	181.821
181.82/181.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.82/181.97	c        0  32412    64344   231884    3   190681  544492     18      0 181.84
181.82/181.97	o -19	181.903
181.92/182.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.92/182.05	c        0  32412    64345   232384    3   190702  545492     19      0 181.92
181.92/182.05	o -20	181.984
182.02/182.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.02/182.19	c        0  32412    64346   232884    3   190724  546492     20      0 182.00
182.02/182.19	o -21	182.123
193.92/194.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
193.92/194.02	c       18  32412    64365   242811    3   190783  546492     39      0 182.14
193.92/194.02	c      118  32412    64465   294801    4   190983  601142    139      0 183.05
193.92/194.02	c      368  32412    64715   450978    6   191483  661257    389      1 185.24
193.92/194.02	c      843  32412    65190   749520   11   192433  727383    864      4 188.41
193.92/194.02	c     1656  32412    66003  1328674   20   194059  800122   1677      8 192.51
193.92/194.02	o -22	193.945
1485.30/1486.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1485.30/1486.00	c     2200  32412    66548  1788844   26   195171  546492   2222     11 193.97
1485.30/1486.00	c     2300  32412    66648  1840726   27   195371  601142   2322     11 195.51
1485.30/1486.00	c     2550  32412    66898  1995023   29   195871  661257   2572     12 197.51
1485.30/1486.00	c     3025  32412    67373  2275754   33   196821  727383   3047     15 199.79
1485.30/1486.00	c     3838  32412    68186  2698733   39   198447  800122   3860     18 203.54
1485.30/1486.00	c     5158  32412    69506  3572012   51   201087  880135   5180     24 213.57
1485.30/1486.00	c     7239  32412    71587  4828431   67   205249  968149   7261     31 229.18
1485.30/1486.00	c    10462  32412    74810  6804747   90   211695  500000  10484     41 254.83
1485.30/1486.00	c    15398  32412    79746  9742749  122   221567  550001  15420     53 287.05
1485.30/1486.00	c    22904  32412    87252 14459723  165   236579  605002  22926     66 342.25
1485.30/1486.00	c    34265  32412    98613 21558670  218   259301  665503  34287     80 423.97
1485.30/1486.00	c    51409  32412   115757 31786725  274   293589  732054  51431     97 526.71
1485.30/1486.00	c    77228  32412   141576 47201325  333   345227  805260  77250    116 661.22
1485.30/1486.00	c   116060  32412   180408 71108995  394   422891  885787 116082    137 841.28
1485.30/1486.00	c   174412  32412   238760 106223670  444   539595  974366 174434    145 1200.09
1485.30/1486.00	c Caught signal: 15
1485.30/1486.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
1485.30/1486.00	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 -x58
1485.30/1486.00	v -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 -x84
1485.30/1486.00	v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1485.30/1486.00	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1485.30/1486.00	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1485.30/1486.00	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
1485.30/1486.00	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
1485.30/1486.00	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1485.30/1486.00	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1485.30/1486.00	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
1485.30/1486.00	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1485.30/1486.00	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1485.30/1486.00	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1485.30/1486.00	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
1485.30/1486.00	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1485.30/1486.00	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1485.30/1486.00	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
1485.30/1486.00	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1485.30/1486.00	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1485.30/1486.00	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1485.30/1486.00	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486
1485.30/1486.00	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x676 -x766 -x611 -x573 -x777 -x633 -x921
1485.30/1486.00	v -x650 -x574 -x882 -x527 -x849 -x861 -x699 -x911 -x521 -x727 -x829 -x987 -x915 -x506 -x680 -x874 -x832 -x961 -x517 -x572 -x581
1485.30/1486.00	v -x595 -x598 -x649 -x681 -x731 -x739 -x867 -x878 -x501 x884 x553 x968 -x847 x728 x585 x809 -x800 x862 -x941 -x511 x866 x954
1485.30/1486.00	v -x538 -x714 x666 x736 -x624 -x608 -x702 -x594 x616 -x723 -x504 -x535 -x548 x567 x577 -x596 -x617 -x625 x635 -x653 -x660 -x720
1485.30/1486.00	v x776 -x785 x813 -x827 -x843 x902 -x992 -x502 -x774 -x989 -x554 -x586 -x724 -x928 -x990 -x543 -x717 -x628 -x934 -x869 -x940
1485.30/1486.00	v -x851 -x591 -x745 -x888 -x804 -x762 -x975 -x779 -x799 -x980 -x664 -x515 -x520 -x523 -x566 -x672 -x735 -x746 -x769 -x944 -x503
1485.30/1486.00	v -x528 -x887 -x935 -x792 -x590 -x659 -x719 x579 -x844 -x647 -x807 x871 -x592 -x551 -x610 -x747 -x505 -x510 -x532 x541 -x559
1485.30/1486.00	v -x605 -x629 -x662 -x667 -x688 -x705 -x711 -x789 -x823 -x908 -x937 -x525 -x963 -x870 -x979 -x897 -x901 -x533 -x508 -x568 -x922
1485.30/1486.00	v -x715 -x627 -x646 -x552 -x571 -x587 -x654 -x663 -x679 -x722 -x730 -x740 -x761 -x794 -x859 -x868 -x996 -x938 -x978 -x742 -x602
1485.30/1486.00	v -x619 -x564 -x622 -x542 -x758 -x636 -x956 -x626 -x998 -x545 -x765 -x514 -x529 -x530 -x558 -x601 -x613 -x640 -x669 -x692 -x704
1485.30/1486.00	v -x793 -x795 -x889 -x570 -x815 -x716 -x578 -x764 -x820 -x516 -x751 -x899 -x822 -x886 -x652 -x612 -x684 -x694 -x738 -x781 -x898
1485.30/1486.00	v -x974 -x507 -x569 -x518 -x991 -x926 -x709 -x639 -x561 -x857 -x756 -x677 -x912 -x651 -x919 -x536 -x563 -x634 -x710 -x743 -x744
1485.30/1486.00	v -x837 -x875 -x879 -x945 -x964 -x966 -x787 -x695 -x923 -x556 -x534 -x811 -x806 -x835 -x718 -x981 -x936 -x725 -x931 -x920 -x550
1485.30/1486.00	v -x637 -x685 -x768 -x812 -x821 -x828 -x833 -x850 -x876 -x988 -x509 -x959 -x946 -x914 -x609 -x970 -x607 -x917 -x895 -x540 -x881
1485.30/1486.00	v -x883 -x953 -x836 -x576 -x648 -x665 -x775 -x810 -x830 -x863 -x890 -x615 -x589 -x958 -x854 -x839 -x949 -x960 -x984 -x864 -x557
1485.30/1486.00	v -x641 -x797 -x892 -x903 -x733 -x734 -x801 -x555 -x778 -x840 -x790 -x696 -x599 -x713 -x965 -x802 -x593 -x657 -x757 -x782 -x824
1485.30/1486.00	v -x904 -x947 -x971 -x512 -x638 -x753 -x853 -x838 -x803 -x580 -x932 -x939 -x826 -x537 -x771 -x865 -x983 -x604 -x631 -x721 -x732
1485.30/1486.00	v -x798 -x910 -x950 -x957 -x513 -x759 -x786 -x698 -x546 -x729 -x539 -x620 -x683 -x689 -x770 -x860 -x933 -x642 -x597 -x708 -x969
1485.30/1486.00	v -x955 -x962 -x748 -x924 -x519 -x565 -x655 -x855 -x805 -x760 -x872 -x977 -x701 -x948 -x700 -x549 -x767 -x825 -x927 -x952 -x600
1485.30/1486.00	v -x750 -x737 -x834 -x930 -x749 -x976 -x796 -x656 -x671 -x816 -x687 -x856 -x916 -x818 -x763 -x544 -x741 -x909 -x522 -x877 -x900
1485.30/1486.00	v -x560 -x967 -x682 -x773 -x788 -x842 -x623 -x524 -x678 -x913 -x668 -x845 -x582 -x880 -x780 -x942 -x583 -x584 -x691 -x693 -x670
1485.30/1486.00	v -x562 -x995 -x603 -x754 -x907 -x791 -x575 -x985 -x905 -x606 -x630 -x951 -x783 -x644 -x674 -x906 -x526 -x831 -x547 -x755 -x808
1485.30/1486.00	v -x1000 -x673 -x841 -x918 -x531 -x645 -x885 -x994 -x943 -x858 -x614 -x784 -x894 -x814 -x973 -x706 -x752 -x675 -x661 -x891
1485.30/1486.00	v -x588 -x621 -x848 -x697 -x707 -x925 -x658 -x643 -x686 -x712 -x632 -x993 -x999 -x972 -x893 -x982 -x929 -x690 -x986 -x852 -x873
1485.30/1486.00	v -x846 -x896 -x997 -x819 -x772 -x817 -x618 -x703 x726
1485.30/1486.00	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1485.30/1486.00	c   40   237070    579   838364   301418 141568574 237092    159 1485.31
1485.30/1486.00	c Objective: -22
1485.30/1486.00	s SATISFIABLE
1485.30/1486.00	c Total time: 1485.31 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/node39/watcher-455340-1178041646 -o ROOT/results/node39/solver-455340-1178041646 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455340-1178041646/instance-455340-1178041646.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.92 0.98 0.99 3/77 24331
/proc/meminfo: memFree=1832696/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=12160 CPUtime=0
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 252076621 12451840 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11518019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 3040 335 281 324 0 2003 0

[startup+0.10665 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24331
/proc/meminfo: memFree=1832696/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=8004 CPUtime=0.1
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 1303 0 0 0 10 0 0 0 18 0 1 0 252076621 8196096 1272 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134538914 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 2001 1272 327 324 0 964 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8004

[startup+0.201666 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24331
/proc/meminfo: memFree=1832696/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=11048 CPUtime=0.19
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 2132 0 0 0 19 0 0 0 18 0 1 0 252076621 11313152 2061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 2762 2061 359 324 0 1725 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11048

[startup+0.301682 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24331
/proc/meminfo: memFree=1832696/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=13992 CPUtime=0.29
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 2938 0 0 0 29 0 0 0 19 0 1 0 252076621 14327808 2867 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 3498 2867 393 324 0 2461 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13992

[startup+0.701749 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24331
/proc/meminfo: memFree=1832696/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=21188 CPUtime=0.69
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4744 0 0 0 68 1 0 0 23 0 1 0 252076621 21696512 4567 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 5297 4567 307 324 0 4366 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21188

[startup+1.50188 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1815536/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=21320 CPUtime=1.49
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4748 0 0 0 148 1 0 0 25 0 1 0 252076621 21831680 4571 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 5330 4571 307 324 0 4399 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21320

[startup+3.10115 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1815408/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=21320 CPUtime=3.09
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 308 1 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 5330 4572 307 324 0 4399 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21320

[startup+6.30169 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1815224/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=21320 CPUtime=6.29
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 628 1 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 5330 4572 307 324 0 4399 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21320

[startup+12.7028 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1815352/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=21320 CPUtime=12.68
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 1267 1 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 5330 4572 307 324 0 4399 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21320

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1815352/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=21320 CPUtime=25.48
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 2546 2 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11522070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 5330 4572 307 324 0 4399 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21320

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1815352/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=21320 CPUtime=51.07
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 5104 3 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11526234 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 5330 4572 307 324 0 4399 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21320

[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1815352/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=21320 CPUtime=102.25
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 10221 4 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11522117 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 5330 4572 307 324 0 4399 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 21320

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1815288/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=21320 CPUtime=162.22
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 16215 7 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 5330 4572 307 324 0 4399 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 21320

[startup+222.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1760632/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=75552 CPUtime=222.21
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 18458 0 0 0 22172 49 0 0 25 0 1 0 252076621 77365248 18217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 18888 18217 313 324 0 17957 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 75552

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1696632/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=139688 CPUtime=282.19
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 34494 0 0 0 28157 62 0 0 25 0 1 0 252076621 143040512 34253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 34922 34253 313 324 0 33991 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 139688

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1631608/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=205024 CPUtime=342.16
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 50830 0 0 0 34142 74 0 0 25 0 1 0 252076621 209944576 50589 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 51256 50589 313 324 0 50325 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 205024

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1564216/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=272012 CPUtime=402.14
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 67582 0 0 0 40127 87 0 0 25 0 1 0 252076621 278540288 67341 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 68003 67341 313 324 0 67072 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 272012

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1489720/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=346076 CPUtime=462.12
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 86088 0 0 0 46110 102 0 0 25 0 1 0 252076621 354381824 85847 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 86519 85847 313 324 0 85588 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 346076

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1412728/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=423256 CPUtime=522.1
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 105388 0 0 0 52094 116 0 0 25 0 1 0 252076621 433414144 105147 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 105814 105147 313 324 0 104883 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 423256

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1336952/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=499204 CPUtime=582.08
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 124352 0 0 0 58079 129 0 0 25 0 1 0 252076621 511184896 124111 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 124801 124111 313 324 0 123870 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 499204

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1239160/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=596836 CPUtime=642.06
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 148779 0 0 0 64058 148 0 0 25 0 1 0 252076621 611160064 148538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 149209 148538 313 324 0 148278 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 596836

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1140024/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=695796 CPUtime=702.05
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 173518 0 0 0 70038 167 0 0 25 0 1 0 252076621 712495104 173277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 173949 173277 313 324 0 173018 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 695796

[startup+762.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24332
/proc/meminfo: memFree=1034232/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=800392 CPUtime=762.02
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 199674 0 0 0 76015 187 0 0 25 0 1 0 252076621 819601408 199433 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 200098 199433 313 324 0 199167 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 800392

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 24404
/proc/meminfo: memFree=920264/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=913636 CPUtime=821.97
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 227967 0 0 0 81987 210 0 0 25 0 1 0 252076621 935563264 227726 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572756 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 228409 227726 313 324 0 227478 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 913636

[startup+882.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24530
/proc/meminfo: memFree=856496/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=978020 CPUtime=881.89
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 244057 0 0 0 87965 224 0 0 25 0 1 0 252076621 1001492480 243816 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 244505 243816 313 324 0 243574 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 978020

[startup+942.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24530
/proc/meminfo: memFree=787440/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=1046952 CPUtime=941.86
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 261316 0 0 0 93947 239 0 0 25 0 1 0 252076621 1072078848 261075 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 261738 261075 313 324 0 260807 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 1046952

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24530
/proc/meminfo: memFree=713776/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=1120168 CPUtime=1001.84
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 279622 0 0 0 99929 255 0 0 25 0 1 0 252076621 1147052032 279381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 280042 279381 313 324 0 279111 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 1120168

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24530
/proc/meminfo: memFree=637552/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=1196588 CPUtime=1061.82
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 298726 0 0 0 105911 271 0 0 25 0 1 0 252076621 1225306112 298485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 299147 298485 313 324 0 298216 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 1196588

[startup+1122.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 24530
/proc/meminfo: memFree=563056/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=1270920 CPUtime=1121.8
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 317296 0 0 0 111894 286 0 0 25 0 1 0 252076621 1301422080 317055 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 317730 317055 313 324 0 316799 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 1270920

[startup+1182.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 24530
/proc/meminfo: memFree=475000/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=1359904 CPUtime=1181.77
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 339530 0 0 0 117872 305 0 0 25 0 1 0 252076621 1392541696 339289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 339976 339289 313 324 0 339045 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 1359904

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24530
/proc/meminfo: memFree=378872/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=1454824 CPUtime=1241.76
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 363281 0 0 0 123852 324 0 0 25 0 1 0 252076621 1489739776 363040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134547895 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 363706 363040 313 324 0 362775 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 1454824

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24530
/proc/meminfo: memFree=283448/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=1551200 CPUtime=1301.74
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 387368 0 0 0 129834 340 0 0 25 0 1 0 252076621 1588428800 387127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 387800 387127 313 324 0 386869 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 1551200

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24530
/proc/meminfo: memFree=176248/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=1657664 CPUtime=1361.71
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 413988 0 0 0 135808 363 0 0 25 0 1 0 252076621 1697447936 413747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 414416 413747 313 324 0 413485 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 1657664

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24530
/proc/meminfo: memFree=85176/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=1747480 CPUtime=1421.7
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 436441 0 0 0 141787 383 0 0 25 0 1 0 252076621 1789419520 436200 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 436870 436200 313 324 0 435939 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 1747480

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24530
/proc/meminfo: memFree=15992/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=1837380 CPUtime=1481.6
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 458914 0 0 0 147755 405 0 0 25 0 1 0 252076621 1881477120 458673 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 459345 458673 313 324 0 458414 0
Current children cumulated CPU time (s) 1481.6
Current children cumulated vsize (KiB) 1837380



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1486 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24530
/proc/meminfo: memFree=15416/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=1843236 CPUtime=1485.3
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 460361 0 0 0 148124 406 0 0 25 0 1 0 252076621 1887473664 460120 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 460809 460120 313 324 0 459878 0
Current children cumulated CPU time (s) 1485.3
Current children cumulated vsize (KiB) 1843236

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

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

[startup+1486.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24531
/proc/meminfo: memFree=618032/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=0 CPUtime=1485.4
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194308 460362 0 0 0 148124 416 0 0 25 0 1 0 252076621 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1485.4
Current children cumulated vsize (KiB) 0

[startup+1486.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24531
/proc/meminfo: memFree=618032/2055920 swapFree=4159404/4192956
[pid=24331] ppid=24329 vsize=0 CPUtime=1485.5
/proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194308 460362 0 0 0 148124 426 0 0 25 0 1 0 252076621 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/24331/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1485.5
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1486.3
CPU time (s): 1485.6
CPU user time (s): 1481.25
CPU system time (s): 4.35334
CPU usage (%): 99.9531
Max. virtual memory (cumulated for all children) (KiB): 1843236

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

runsolver used 1.16682 second user time and 3.3145 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Tue May  1 17:47:26 UTC 2007

IDJOB= 455340
IDBENCH= 48257
IDSOLVER= 163
FILE ID= node39/455340-1178041646

PBS_JOBID= 4728440

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_25_5.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455340-1178041646/instance-455340-1178041646.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-455340-1178041646 -o ROOT/results/node39/solver-455340-1178041646 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455340-1178041646/instance-455340-1178041646.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  dfd3914a8aa1cc34e3abdf0a14d8373d

RANDOM SEED= 899594311

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1833104 kB
Buffers:         59520 kB
Cached:          71128 kB
SwapCached:      13784 kB
Active:         104944 kB
Inactive:        50456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833104 kB
SwapTotal:     4192956 kB
SwapFree:      4159404 kB
Dirty:            7192 kB
Writeback:           0 kB
Mapped:          31540 kB
Slab:            52724 kB
Committed_AS:  3945420 kB
PageTables:       2016 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 node39 on Tue May  1 18:12:14 UTC 2007