Trace number 3737551

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: bsolo 3.0.17SAT (TO)-19 1800.16 1800.76

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_2.opb
MD5SUMfc8bff78845ab9a14b2d06ab749e4dc4
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-144
Best CPU time to get the best result obtained on this benchmark1796.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -137
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)12656
Sum of products size (including duplicates)25312
Number of different products6328
Sum of products size12656

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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 15500 MB
0.00/0.00	c Instance file HOME/instance-3737551-1338722794.opb
0.00/0.00	c File size is 193104 bytes.
0.00/0.04	c Highest Coefficient sum: 1000
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.036 s
0.00/0.04	c Var: 13656 Constr: 26814 13156/1002/12656 Lit: 91592 Watch. Lit: 77938
0.00/0.04	c Obj. Vars: 500 (3.66139 % of total variables)
2.89/2.90	c Pre-processing Time: 2.905 s
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26814    91592    3    77938  133325      0      0 2.90
2.99/3.01	c Switching off LPR mode.
2.99/3.01	o -1	2.914
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26815    92092    3    77941  133658      1      0 2.92
2.99/3.01	o -2	2.92
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26816    92592    3    77945  134158      2      0 2.92
2.99/3.01	o -3	2.926
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26817    93092    3    77950  134825      3      0 2.93
2.99/3.01	o -4	2.931
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26818    93592    3    77956  135658      4      0 2.93
2.99/3.01	o -5	2.937
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26819    94092    3    77963  136658      5      0 2.94
2.99/3.01	o -6	2.943
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26820    94592    3    77971  137658      6      0 2.94
2.99/3.01	o -7	2.949
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26821    95092    3    77980  138658      7      0 2.95
2.99/3.01	o -8	2.955
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26822    95592    3    77990  139658      8      0 2.96
2.99/3.01	o -9	2.96
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26823    96092    3    78001  140658      9      0 2.96
2.99/3.01	o -10	2.966
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26824    96592    3    78013  141658     10      0 2.97
2.99/3.01	o -11	2.972
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26825    97092    3    78026  142658     11      0 2.97
2.99/3.01	o -12	2.978
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26826    97592    3    78040  143658     12      0 2.98
2.99/3.01	o -13	2.983
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26827    98092    3    78055  144658     13      0 2.98
2.99/3.01	o -14	2.989
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26828    98592    3    78071  145658     14      0 2.99
2.99/3.01	o -15	2.995
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13656    26829    99092    3    78088  146658     15      0 3.00
2.99/3.01	o -16	3.001
2.99/3.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.02	c        0  13656    26830    99592    3    78106  147658     16      0 3.00
2.99/3.02	o -17	3.017
6.98/7.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.98/7.00	c        3  13656    26834   101711    3    78131  147658     20      0 3.02
6.98/7.00	c      103  13656    26934   157425    5    78331  162424    120     30 3.39
6.98/7.00	c      353  13656    27184   302167   11    78831  178667    370     83 4.22
6.98/7.00	c      828  13656    27659   599872   21    79781  196534    845    160 5.17
6.98/7.00	c     1641  13656    28472  1204699   42    81407  216188   1658    248 6.60
6.98/7.00	o -18	6.992
450.21/450.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
450.21/450.52	c     2207  13656    29039  1688330   58    82559  147658   2225    315 6.99
450.21/450.52	c     2307  13656    29139  1742003   59    82759  162424   2325    300 7.69
450.21/450.52	c     2557  13656    29389  1918335   65    83259  178667   2575    291 8.77
450.21/450.52	c     3032  13656    29864  2205936   73    84209  196534   3050    323 9.37
450.21/450.52	c     3845  13656    30677  2735134   89    85835  216188   3863    289 13.27
450.21/450.52	c     5165  13656    31997  3676896  114    88475  237807   5183    273 18.88
450.21/450.52	c     7246  13656    34078  5148491  151    92637  261588   7264    251 28.79
450.21/450.52	c    10469  13656    37301  7444203  199    99083  287747  10487    239 43.66
450.21/450.52	c    15405  13656    42237 10901289  258   108955  316522  15423    243 63.34
450.21/450.52	c    22911  13656    49743 16441365  330   123967  348175  22929    261 87.75
450.21/450.52	c    34272  13656    61104 24572451  402   146689  382993  34290    269 127.13
450.21/450.52	c    51416  13656    78248 37294527  476   180977  421293  51434    270 189.99
450.21/450.52	c    77235  13656   104067 57158009  549   232615  463423  77253    275 279.99
450.21/450.52	c   116067  13656   142899 88082756  616   310279  509766 116085    301 385.57
450.21/450.52	o -19	450.242
1800.00/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.61	c   151360  13656   178193 105930186  594   380886  147658 151379    336 450.25
1800.00/1800.61	c   151460  13656    39788  6781756  170   103905  162424  12974    312 484.38
1800.00/1800.61	c   151710  13656    40038  6956409  173   104405  178667  13224    312 485.20
1800.00/1800.61	c   152185  13656    40513  7295519  180   105355  196534  13699    312 486.65
1800.00/1800.61	c   152998  13656    41326  7869109  190   106981  216188  14512    312 489.13
1800.00/1800.61	c   154318  13656    42646  8714656  204   109621  237807  15832    313 491.88
1800.00/1800.61	c   156399  13656    44727 10184131  227   113783  261588  17913    313 498.39
1800.00/1800.61	c   159622  13656    47950 12385821  258   120229  287747  21136    314 506.81
1800.00/1800.61	c   164558  13656    52886 15838123  299   130101  316522  26072    316 520.70
1800.00/1800.61	c   172064  13656    60392 21161000  350   145113  348175  33578    316 542.95
1800.00/1800.61	c   183425  13656    71753 29420286  410   167835  382993  44939    318 576.68
1800.00/1800.61	c   200569  13656    88897 42102432  473   202123  421293  62083    319 627.20
1800.00/1800.61	c   226388  13656   114716 61792215  538   253761  463423  87902    323 699.24
1800.00/1800.61	c   265220  13656   153548 93153162  606   331425  509766 126734    303 875.14
1800.00/1800.61	c   323572  13656   211900 136749599  645   448129  560743 185086    245 1315.88
1800.00/1800.61	c   411204  13656   299532 192644139  643   623393  616818 272718    269 1525.06
1800.00/1800.61	c   542756  13656   431084 258633416  599   886497  678500 404270    321 1689.93
1800.00/1800.61	c Caught signal: 15
1800.00/1800.61	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 -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 -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 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x791 -x720 -x789 -x576 -x562 -x999 -x865 -x778 -x746 -x628 -x548 -x724 -x808 -x830 -x846 -x910 -x927 -x501 x843 x680 x650 x594 x538 x550 x655 x774 x868 x731 x529 x603 x611 -x625 x667 -x670 x712 -x716 -x761 -x929 -x502 -x573 -x570 -x816 -x768 -x892 -x711 -x631 -x797 -x564 -x514 -x566 -x657 -x762 -x899 -x503 -x587 -x783 -x803 -x662 -x697 -x653 -x878 -x974 -x898 -x858 -x639 -x812 -x932 -x504 -x668 -x507 -x966 -x557 -x915 -x591 -x776 -x645 -x552 -x584 -x605 -x705 -x787 -x935 -x993 -x505 -x946 -x700 -x567 -x967 -x810 -x824 -x949 -x606 -x887 -x513 -x531 -x624 -x826 -x902 -x506 -x963 -x544 -x522 -x617 -x718 -x769 -x691 -x604 -x630 -x717 -x726 -x518 -x644 x971 -x763 -x558 -x738 -x660 -x689 -x709 -x714 -x922 -x508 -x686 -x734 -x885 -x800 -x704 -x961 -x938 -x652 -x526 -x845 -x509 -x918 -x582 -x870 -x766 -x702 -x656 -x515 -x516 -x536 -x608 -x864 -x917 -x986 -x510 -x809 -x719 -x799 -x519 -x989 -x710 -x578 -x533 -x590 -x703 -x728 -x739 -x968 -x511 -x983 -x747 -x984 -x598 -x924 -x535 -x690 -x520 -x781 -x881 -x965 -x512 -x693 x907 -x589 -x875 -x673 -x642 -x882 -x874 -x833 -x861 -x532 -x851 -x876 -x831 -x698 -x988 -x638 -x580 -x823 -x973 -x542 -x921 -x817 -x545 -x663 -x755 -x872 -x886 -x807 -x699 -x517 -x706 -x867 -x646 -x741 -x596 -x615 -x721 -x745 -x871 -x622 -x632 -x982 -x727 -x835 -x521 -x556 -x524 -x732 -x579 -x792 -x571 -x568 -x723 -x893 -x540 -x588 -x729 -x811 -x665 -x785 -x972 -x600 -x840 -x537 -x547 -x575 -x802 -x752 -x914 -x941 -x725 -x897 -x939 -x527 -x563 -x572 -x585 -x618 -x640 -x654 -x744 -x730 -x754 -x748 -x620 -x569 -x733 -x804 -x909 -x601 -x736 -x666 -x742 -x687 -x735 -x834 -x758 -x677 -x708 -x911 -x857 -x634 -x523 -x586 x658 -x649 -x749 -x869 -x841 -x955 -x772 -x827 -x904 -x674 -x525 -x844 -x923 -x561 -x599 -x672 -x713 -x767 -x619 -x960 -x788 -x694 -x764 -x643 -x942 -x950 -x775 -x661 -x701 -x756 -x528 -x565 -x863 -x990 -x890 -x786 -x994 -x560 -x676 -x947 -x952 -x853 -x985 -x978 -x796 -x765 -x592 -x530 -x722 -x856 x581 -x610 -x825 -x937 -x679 -x651 -x626 -x896 -x777 -x597 -x818 -x888 -x976 -x934 -x675 -x849 -x784 -x842 -x534 -x981 -x555 -x682 -x773 -x595 -x692 -x850 -x613 -x743 -x815 -x836 -x987 -x793 -x852 -x647 -x847 -x633 -x681 -x980 -x903 -x737 -x641 -x664 -x822 -x905 -x948 -x636 -x671 -x688 -x889 -x900 -x539 -x669 -x616 -x759 -x806 -x957 -x979 -x627 -x543 -x873 -x574 -x541 -x609 -x607 -x637 -x970 -x956 -x780 -x593 -x602 -x848 -x919 -x621 -x683 -x553 -x944 -x931 -x958 -x996 -x577 -x877 -x546 -x814 -x954 -x962 -x795 -x771 -x798 -x549 -x936 -x862 -x953 -x855 -x883 -x551 -x866 -x695 -x659 -x612 -x554 -x975 -x998 -x901 -x753 -x648 -x794 -x779 -x913 -x995 -x760 -x819 -x614 -x678 -x805 -x943 -x559 -x751 -x908 -x860 -x740 -x991 -x837 -x629 -x684 -x838 -x977 -x839 -x933 -x813 -x820 -x930 -x801 -x916 -x828 -x770 -x854 -x859 -x928 -x832 -x945 -x879 -x894 -x1000 -x925 -x696 -x891 -x821 -x685 -x969 -x829 -x583 -x707 -x790 -x906 -x926 -x782 -x940 -x895 -x992 -x715 -x757 -x884 -x623 -x750 -x920 -x997 -x959 -x635 -x964 -x951 -x880 -x912 
1800.00/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.61	c   52   618005    447   846932   506333 296700546 479519    343 1800.01
1800.00/1800.61	c Objective: -19
1800.00/1800.61	s SATISFIABLE
1800.00/1800.61	c Total time: 1800.01 s

Verifier Data 

OK	-19

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737551-1338722794/watcher-3737551-1338722794 -o /tmp/evaluation-result-3737551-1338722794/solver-3737551-1338722794 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737551-1338722794.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 1.98 1.98 3/176 19122
/proc/meminfo: memFree=30482532/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=5020 CPUtime=0 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 505 0 0 0 0 0 0 0 20 0 1 0 338405253 5140480 442 33554432000 134512640 135840783 4288506480 4288505088 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19122/statm: 1255 443 333 325 0 143 0

[startup+0.0862599 s]
/proc/loadavg: 1.93 1.98 1.98 3/176 19122
/proc/meminfo: memFree=30482532/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=11676 CPUtime=0.07 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 2248 0 0 0 7 0 0 0 20 0 1 0 338405253 11956224 2137 33554432000 134512640 135840783 4288506480 4288341724 3441712 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19122/statm: 2919 2137 345 325 0 1855 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11676

[startup+0.100263 s]
/proc/loadavg: 1.93 1.98 1.98 3/176 19122
/proc/meminfo: memFree=30482532/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=11676 CPUtime=0.09 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 2248 0 0 0 9 0 0 0 20 0 1 0 338405253 11956224 2137 33554432000 134512640 135840783 4288506480 4288341724 3441712 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19122/statm: 2919 2137 345 325 0 1855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11676

[startup+0.301034 s]
/proc/loadavg: 1.93 1.98 1.98 3/176 19122
/proc/meminfo: memFree=30482532/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=11676 CPUtime=0.29 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 2249 0 0 0 29 0 0 0 20 0 1 0 338405253 11956224 2138 33554432000 134512640 135840783 4288506480 4288341724 3441712 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19122/statm: 2919 2138 345 325 0 1855 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11676

[startup+0.701032 s]
/proc/loadavg: 1.93 1.98 1.98 3/176 19122
/proc/meminfo: memFree=30482532/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=11676 CPUtime=0.69 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 2249 0 0 0 69 0 0 0 20 0 1 0 338405253 11956224 2138 33554432000 134512640 135840783 4288506480 4288341724 3441712 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19122/statm: 2919 2138 345 325 0 1855 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11676

[startup+1.50019 s]
/proc/loadavg: 1.93 1.98 1.98 3/177 19123
/proc/meminfo: memFree=30475044/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=11676 CPUtime=1.48 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 2249 0 0 0 148 0 0 0 20 0 1 0 338405253 11956224 2138 33554432000 134512640 135840783 4288506480 4288341584 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19122/statm: 2919 2138 345 325 0 1855 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11676

[startup+3.10015 s]
/proc/loadavg: 1.93 1.98 1.98 3/177 19123
/proc/meminfo: memFree=30474672/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=12256 CPUtime=3.09 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 2853 0 0 0 307 2 0 0 20 0 1 0 338405253 12550144 2313 33554432000 134512640 135840783 4288506480 4288505776 134572600 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/19122/statm: 3064 2313 351 325 0 2000 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12256

[startup+6.30018 s]
/proc/loadavg: 1.94 1.98 1.98 3/177 19123
/proc/meminfo: memFree=30466608/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=23800 CPUtime=6.29 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 5732 0 0 0 626 3 0 0 20 0 1 0 338405253 24371200 5192 33554432000 134512640 135840783 4288506480 4288505776 134572633 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19122/statm: 5950 5192 351 325 0 4886 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23800

[startup+12.7002 s]
/proc/loadavg: 1.94 1.98 1.98 3/178 19124
/proc/meminfo: memFree=30441952/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=45312 CPUtime=12.68 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 11118 0 0 0 1265 3 0 0 20 0 1 0 338405253 46399488 10578 33554432000 134512640 135840783 4288506480 4288505840 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 11328 10578 351 325 0 10264 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45312

[startup+25.5002 s]
/proc/loadavg: 1.96 1.98 1.98 3/177 19124
/proc/meminfo: memFree=30414904/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=71076 CPUtime=25.47 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 17585 0 0 0 2542 5 0 0 20 0 1 0 338405253 72781824 17035 33554432000 134512640 135840783 4288506480 4288505840 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 17769 17035 351 325 0 16705 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 71076

[startup+51.1002 s]
/proc/loadavg: 1.97 1.98 1.98 3/178 19125
/proc/meminfo: memFree=30366140/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=121928 CPUtime=51.06 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 30317 0 0 0 5098 8 0 0 20 0 1 0 338405253 124854272 29752 33554432000 134512640 135840783 4288506480 4288505776 134572583 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 30482 29752 351 325 0 29418 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 121928

[startup+102.307 s]
/proc/loadavg: 2.05 2.00 1.98 3/177 19125
/proc/meminfo: memFree=30211196/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=260856 CPUtime=102.21 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 65073 0 0 0 10206 15 0 0 20 0 1 0 338405253 267116544 64471 33554432000 134512640 135840783 4288506480 4288496576 1582375 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 65214 64471 351 325 0 64150 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 260856

[startup+162.301 s]
/proc/loadavg: 2.02 2.00 1.98 3/177 19125
/proc/meminfo: memFree=29784668/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=410600 CPUtime=162.17 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 102539 0 0 0 16196 21 0 0 20 0 1 0 338405253 420454400 101899 33554432000 134512640 135840783 4288506480 4288505776 134572600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 102650 101899 351 325 0 101586 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 410600

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19128
/proc/meminfo: memFree=29526100/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=574152 CPUtime=222.13 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 143463 0 0 0 22184 29 0 0 20 0 1 0 338405253 587931648 142787 33554432000 134512640 135840783 4288506480 4288505840 134551532 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 143538 142787 351 325 0 142474 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 574152

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19128
/proc/meminfo: memFree=29280360/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=751436 CPUtime=282.11 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 187808 0 0 0 28173 38 0 0 20 0 1 0 338405253 769470464 187104 33554432000 134512640 135840783 4288506480 4288499568 134586836 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 187859 187104 351 325 0 186795 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 751436

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 19129
/proc/meminfo: memFree=28976836/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=967044 CPUtime=342.07 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 241762 0 0 0 34158 49 0 0 20 0 1 0 338405253 990253056 241021 33554432000 134512640 135840783 4288506480 4288505792 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 241761 241021 351 325 0 240697 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 967044

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/176 19129
/proc/meminfo: memFree=28664524/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1206108 CPUtime=402.04 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 301568 0 0 0 40141 63 0 0 20 0 1 0 338405253 1235054592 300791 33554432000 134512640 135840783 4288506480 4288505840 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 301527 300791 351 325 0 300463 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 1206108

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 19130
/proc/meminfo: memFree=28367460/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1372832 CPUtime=462 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 343420 0 0 0 46128 72 0 0 20 0 1 0 338405253 1405779968 342458 33554432000 134512640 135840783 4288506480 4288505904 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 343208 342458 351 325 0 342144 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 1372832

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 19130
/proc/meminfo: memFree=28287880/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1372832 CPUtime=521.97 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 343445 0 0 0 52125 72 0 0 20 0 1 0 338405253 1405779968 342458 33554432000 134512640 135840783 4288506480 4288505776 134572687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 343208 342458 351 325 0 342144 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 1372832

[startup+582.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 19130
/proc/meminfo: memFree=28182260/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1372832 CPUtime=581.95 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 343464 0 0 0 58123 72 0 0 20 0 1 0 338405253 1405779968 342458 33554432000 134512640 135840783 4288506480 4288505552 1579934 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 343208 342458 351 325 0 342144 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 1372832

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19134
/proc/meminfo: memFree=27704940/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1372832 CPUtime=881.83 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 343608 0 0 0 88111 72 0 0 20 0 1 0 338405253 1405779968 342458 33554432000 134512640 135840783 4288506480 4288505840 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 343208 342458 351 325 0 342144 0
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (KiB) 1372832

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19134
/proc/meminfo: memFree=27615336/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1372832 CPUtime=941.82 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 343608 0 0 0 94110 72 0 0 20 0 1 0 338405253 1405779968 342458 33554432000 134512640 135840783 4288506480 4288505776 134572580 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 343208 342458 351 325 0 342144 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 1372832

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19135
/proc/meminfo: memFree=27531036/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1372832 CPUtime=1001.81 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 343608 0 0 0 100109 72 0 0 20 0 1 0 338405253 1405779968 342458 33554432000 134512640 135840783 4288506480 4288505840 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 343208 342458 351 325 0 342144 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 1372832

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19135
/proc/meminfo: memFree=27381024/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1423832 CPUtime=1061.8 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 356375 0 0 0 106104 76 0 0 20 0 1 0 338405253 1458003968 355225 33554432000 134512640 135840783 4288506480 4288505840 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 355958 355225 351 325 0 354894 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 1423832

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19135
/proc/meminfo: memFree=27221968/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1489268 CPUtime=1121.79 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 372737 0 0 0 112098 81 0 0 20 0 1 0 338405253 1525010432 371587 33554432000 134512640 135840783 4288506480 4288505840 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 372317 371587 351 325 0 371253 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 1489268

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19135
/proc/meminfo: memFree=27059928/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1566528 CPUtime=1181.79 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 392034 0 0 0 118092 87 0 0 20 0 1 0 338405253 1604124672 390884 33554432000 134512640 135840783 4288506480 4288505840 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 391632 390884 351 325 0 390568 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 1566528

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19135
/proc/meminfo: memFree=26880660/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1656648 CPUtime=1241.78 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 414570 0 0 0 124084 94 0 0 20 0 1 0 338405253 1696407552 413420 33554432000 134512640 135840783 4288506480 4288505840 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 414162 413420 351 325 0 413098 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 1656648

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19136
/proc/meminfo: memFree=26689108/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1745764 CPUtime=1301.77 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 436840 0 0 0 130078 99 0 0 20 0 1 0 338405253 1787662336 435690 33554432000 134512640 135840783 4288506480 4288505840 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 436441 435690 351 325 0 435377 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 1745764

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19136
/proc/meminfo: memFree=26491604/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1858152 CPUtime=1361.76 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 464950 0 0 0 136067 109 0 0 20 0 1 0 338405253 1902747648 463800 33554432000 134512640 135840783 4288506480 4288505776 134572675 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 464538 463800 351 325 0 463474 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1858152

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19139
/proc/meminfo: memFree=26260700/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=1999780 CPUtime=1421.76 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 500345 0 0 0 142056 120 0 0 20 0 1 0 338405253 2047774720 499195 33554432000 134512640 135840783 4288506480 4288505840 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 499945 499195 351 325 0 498881 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1999780

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19139
/proc/meminfo: memFree=25945784/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=2183180 CPUtime=1481.74 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 546197 0 0 0 148043 131 0 0 20 0 1 0 338405253 2235576320 545047 33554432000 134512640 135840783 4288506480 4288505840 134550994 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 545795 545047 351 325 0 544731 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 2183180

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19139
/proc/meminfo: memFree=25452540/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=2580904 CPUtime=1541.72 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 645649 0 0 0 154018 154 0 0 20 0 1 0 338405253 2642845696 644499 33554432000 134512640 135840783 4288506480 4288505840 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 645226 644499 351 325 0 644162 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 2580904

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19140
/proc/meminfo: memFree=25066692/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=2877444 CPUtime=1601.72 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 719759 0 0 0 159999 173 0 0 20 0 1 0 338405253 2946502656 718609 33554432000 134512640 135840783 4288506480 4288499312 1582375 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 719361 718609 351 325 0 718297 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 2877444

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19140
/proc/meminfo: memFree=24648964/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=3198936 CPUtime=1661.72 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 800146 0 0 0 165981 191 0 0 20 0 1 0 338405253 3275710464 798996 33554432000 134512640 135840783 4288506480 4288505792 134551635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 799734 798996 351 325 0 798670 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 3198936

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19140
/proc/meminfo: memFree=24242528/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=3497212 CPUtime=1721.71 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 874709 0 0 0 171962 209 0 0 20 0 1 0 338405253 3581145088 873559 33554432000 134512640 135840783 4288506480 4288499476 1576947 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 874303 873559 351 325 0 873239 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 3497212

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19179
/proc/meminfo: memFree=26723620/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=3756532 CPUtime=1781.7 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 939533 0 0 0 177944 226 0 0 20 0 1 0 338405253 3846688768 938383 33554432000 134512640 135840783 4288506480 4288505840 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 939133 938383 351 325 0 938069 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 3756532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.03 2.01 3/177 19179
/proc/meminfo: memFree=26647052/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=3831316 CPUtime=1800 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202496 958227 0 0 0 179770 230 0 0 20 0 1 0 338405253 3923267584 957077 33554432000 134512640 135840783 4288506480 4288505792 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 957829 957077 351 325 0 956765 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3831316

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

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

[startup+1800.71 s]
/proc/loadavg: 2.15 2.03 2.01 3/177 19179
/proc/meminfo: memFree=26647052/32873648 swapFree=6860/6860
[pid=19122] ppid=19120 vsize=0 CPUtime=1800.1 cores=0,2,4,6
/proc/19122/stat : 19122 (bsolo3.0.17) R 19120 19122 18429 0 -1 4202500 958230 0 0 0 179770 240 0 0 20 0 1 0 338405253 0 0 33554432000 0 0 0 0 0 0 16384 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19122/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.76
CPU time (s): 1800.16
CPU user time (s): 1797.71
CPU system time (s): 2.45163
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 3831316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.71
system time used= 2.45163
maximum resident set size= 3828308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 958230
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= 509
involuntary context switches= 1857

runsolver used 3.60045 second user time and 8.92364 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-03 13:26:34
IDJOB=3737551
IDBENCH=48256
IDSOLVER=2318
FILE ID=node124/3737551-1338722794
RUNJOBID= node124-1338713740-18445
PBS_JOBID= 14636741
Free space on /tmp= 70704 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737551-1338722794/watcher-3737551-1338722794 -o /tmp/evaluation-result-3737551-1338722794/solver-3737551-1338722794 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737551-1338722794.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= fc8bff78845ab9a14b2d06ab749e4dc4
RANDOM SEED=1311080779

node124.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5357.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30482872 kB
Buffers:          197212 kB
Cached:          1378508 kB
SwapCached:         8268 kB
Active:           440648 kB
Inactive:        1180352 kB
Active(anon):      39804 kB
Inactive(anon):     8240 kB
Active(file):     400844 kB
Inactive(file):  1172112 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091596 kB
Dirty:              6612 kB
Writeback:             0 kB
AnonPages:         44984 kB
Mapped:            10300 kB
Shmem:                 0 kB
Slab:             629824 kB
SReclaimable:      74336 kB
SUnreclaim:       555488 kB
KernelStack:        1480 kB
PageTables:         3876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     161384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70696 MiB
End job on node124 at 2012-06-03 13:56:36