Trace number 3732505

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)372 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
MD5SUM05a418d42b6e85967009c0fa73623d83
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark372
Best CPU time to get the best result obtained on this benchmark439.002
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 372
Optimality of the best value was proved NO
Number of variables808
Total number of constraints5557
Number of constraints which are clauses5557
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 808
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 808
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 808
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-3732505-1338689928.opb
0.00/0.00	c File size is 192989 bytes.
0.01/0.02	c Highest Coefficient sum: 808
0.01/0.02	c Parsing was ok!!
0.01/0.02	c Total parsing time: 0.018 s
0.01/0.02	c Var: 808 Constr: 5557 5557/0/0 Lit: 18748 Watch. Lit: 11114
0.01/0.02	c Obj. Vars: 808 (100 % of total variables)
0.01/0.04	c Pre-processing Time: 0.042 s
0.01/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.04	c        0    808     5557    18748    3    11114    1852      0      0 0.04
0.01/0.04	c Switching off LPR mode.
11.08/11.14	c      100    808     5657    27013    4    11314    2038    100   1923 0.05
11.08/11.14	c      253    808     5810    41279    7    11620    2242    253   3563 0.07
11.08/11.14	c      478    808     6035    65079   10    12070    2467    478   4686 0.10
11.08/11.14	c      818    808     6375   106804   16    12750    2714    818   4869 0.17
11.08/11.14	c     1327    808     6884   174816   25    13768    2986   1327   4529 0.29
11.08/11.14	c     2094    808     7651   279507   36    15302    3285   2094   4073 0.51
11.08/11.14	c     3243    808     8800   423659   48    17600    3614   3243   3479 0.93
11.08/11.14	c     4964    808     8575   357013   41    17150    3976   3018   3192 1.55
11.08/11.14	c     7552    808     9036   423346   46    18072    4374   3479   2906 2.60
11.08/11.14	c    11432    808     8110   283825   34    16220    4812   2553   2644 4.32
11.08/11.14	c    17256    808     8739   353224   40    17478    5294   3182   2568 6.72
11.08/11.14	c    25995    808     8929   351352   39    17858    5824   3372   2492 10.43
11.08/11.14	o 394	11.137
11.08/11.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.08/11.17	c    27797    808    10732   574508   53    21878    2852   5175   2495 11.14
11.08/11.17	o 384	11.163
13.68/13.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.68/13.74	c    27875    808     7063   166744   23    14964    2852   1506   2497 11.16
13.68/13.74	c    27981    808     7169   175010   24    15176    3138   1612   2502 11.18
13.68/13.74	c    28231    808     7419   198837   26    15676    3452   1862   2512 11.24
13.68/13.74	c    28706    808     7894   251355   31    16626    3798   2337   2520 11.39
13.68/13.74	c    29519    808     8707   359959   41    18252    4178   3150   2524 11.69
13.68/13.74	c    30839    808     7671   233397   30    15766    4596   2114   2508 12.29
13.68/13.74	c    32921    808     9753   494702   50    19930    5056   4196   2514 13.09
13.68/13.74	o 383	13.732
14.78/14.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.78/14.88	c    34251    808     8419   362722   43    17687    2852   2862   2494 13.73
14.78/14.88	c    34351    808     7084   181353   25    14593    3138   1527   2497 13.75
14.78/14.88	c    34601    808     7334   214280   29    15093    3452   1777   2503 13.82
14.78/14.88	c    35076    808     7809   281137   36    16043    3798   2252   2514 13.95
14.78/14.88	c    35889    808     8622   410975   47    17669    4178   3065   2533 14.16
14.78/14.88	c    37211    808     7710   224603   29    15845    4596   2153   2542 14.63
14.78/14.88	o 374	14.88
147.26/147.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
147.26/147.36	c    37938    808     8438   321864   38    17735    2852   2881   2549 14.88
147.26/147.36	c    38039    808     7085   169097   23    14604    3138   1528   2551 14.91
147.26/147.36	c    38290    808     7336   204969   27    15106    3452   1779   2556 14.98
147.26/147.36	c    38768    808     7814   270348   34    16062    3798   2257   2560 15.14
147.26/147.36	c    39581    808     8627   380368   44    17688    4178   3070   2562 15.45
147.26/147.36	c    40901    808     7720   258681   33    15874    4596   2163   2553 16.02
147.26/147.36	c    42984    808     9803   529054   53    20040    5056   4246   2547 16.87
147.26/147.36	c    46207    808    10321   650763   63    21076    5562   4764   2529 18.27
147.26/147.36	c    51144    808     9278   413445   44    18990    6119   3721   2479 20.63
147.26/147.36	c    58651    808    10392   568522   54    21218    6731   4835   2378 24.66
147.26/147.36	c    70014    808    10947   650110   59    22328    7405   5390   2275 30.76
147.26/147.36	c    87158    808    12438   781634   62    25310    8146   6881   2155 40.43
147.26/147.36	c   112985    808    12388   807393   65    25210    8961   6831   2059 54.87
147.26/147.36	c   151818    808    13678   940863   68    27790    9858   8121   1906 79.63
147.26/147.36	c   210171    808    14936  1051155   70    30306   10844   9379   1778 118.15
147.26/147.36	o 373	147.333
490.21/490.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
490.21/490.35	c   249942    808    14994  1086065   72    30857    2852   9437   1696 147.33
490.21/490.35	c   250044    808     7086   113323   15    14607    3138   1529   1696 147.40
490.21/490.35	c   250294    808     7336   132233   18    15107    3452   1779   1697 147.45
490.21/490.35	c   250769    808     7811   173102   22    16057    3798   2254   1699 147.55
490.21/490.35	c   251583    808     8625   278509   32    17685    4178   3068   1702 147.81
490.21/490.35	c   252903    808     7700   269947   35    15835    4596   2143   1704 148.33
490.21/490.35	c   254984    808     9781   565528   57    19997    5056   4224   1709 149.15
490.21/490.35	c   258207    808    10212   997315   97    20859    5562   4655   1717 150.38
490.21/490.35	c   263151    808     9233   397031   43    18901    6119   3676   1721 152.83
490.21/490.35	c   270658    808    10186   509212   49    20807    6731   4629   1731 156.35
490.21/490.35	c   282021    808    10769   624005   57    21973    7405   5212   1729 163.08
490.21/490.35	c   299165    808    12245   851469   69    24925    8146   6688   1739 171.96
490.21/490.35	c   324986    808    12412   771893   62    25259    8961   6855   1714 189.52
490.21/490.35	c   363818    808    13503   932425   69    27441    9858   7946   1686 215.70
490.21/490.35	c   422170    808    14539  1086723   74    29513   10844   8982   1658 254.50
490.21/490.35	c   509802    808    14467  1154582   79    29369   11929   8910   1651 308.67
490.21/490.35	c   641354    808    12058  2575162  213    24551   13122   6501   1703 376.46
490.21/490.35	c   838790    808    12119  2621645  216    24673   14435   6562   1713 489.38
490.21/490.35	o 372	490.278
1800.10/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.10/1800.40	c   842085    808    15415  3024969  196    31701    2852   9858   1717 490.28
1800.10/1800.40	c   842187    808     7086   245159   34    14608    3138   1529   1717 490.43
1800.10/1800.40	c   842438    808     7337   267470   36    15110    3452   1780   1717 490.48
1800.10/1800.40	c   842914    808     7813   314999   40    16062    3798   2256   1718 490.61
1800.10/1800.40	c   843728    808     8627   411149   47    17690    4178   3070   1718 490.86
1800.10/1800.40	c   845054    808     7676   213178   27    15788    4596   2119   1720 491.30
1800.10/1800.40	c   847136    808     9758   458914   47    19952    5056   4201   1721 492.15
1800.10/1800.40	c   850359    808    10337   557025   53    21110    5562   4780   1722 493.66
1800.10/1800.40	c   855298    808     9184   618161   67    18804    6119   3627   1724 496.03
1800.10/1800.40	c   862806    808    10119   682978   67    20674    6731   4562   1726 499.65
1800.10/1800.40	c   874170    808    10712   688522   64    21860    7405   5155   1730 505.07
1800.10/1800.40	c   891314    808    12097  1196381   98    24630    8146   6540   1737 512.87
1800.10/1800.40	c   917135    808    11309  1635618  144    23054    8961   5752   1739 527.33
1800.10/1800.40	c   955967    808    12047   708502   58    24530    9858   6490   1729 552.88
1800.10/1800.40	c  1014319    808    12684  1066642   84    25804   10844   7127   1724 588.23
1800.10/1800.40	c  1101953    808    10980  2219090  202    22396   11929   5423   1721 640.24
1800.10/1800.40	c  1233505    808    14827  3670549  247    30090   13122   9270   1755 702.49
1800.10/1800.40	c  1430939    808    14742  3714047  251    29920   14435   9185   1717 832.93
1800.10/1800.40	c  1727193    808    15611  3942926  252    31658   15879  10054   1651 1045.72
1800.10/1800.40	c  2171675    808    17459  4664376  267    35354   17467  11902   1525 1423.77
1800.10/1800.40	c Caught signal: 15
1800.10/1800.40	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 x501 -x502 x503 -x504 x505 -x506 x507 -x508 x509 -x510 x511 -x512 -x513 x514 x515 -x516 -x517 x518 -x519 x520 -x521 x522 -x523 x524 x525 -x526 -x527 x528 -x529 x530 -x531 x532 -x533 x534 x535 -x536 -x537 x538 x539 -x540 -x541 x542 -x543 x544 -x545 x546 -x547 x548 -x549 x550 x551 -x552 -x553 x554 x555 -x556 -x557 x558 -x559 x560 -x561 x562 x563 -x564 -x565 x566 -x567 x568 -x569 x570 x571 -x572 -x573 x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 x583 -x584 -x585 x586 -x587 x588 x589 -x590 -x591 x592 -x593 x594 x595 -x596 -x597 x598 -x599 x600 -x601 x602 x603 -x604 -x605 x606 -x607 x608 -x609 x610 -x611 x612 x613 -x614 -x615 x616 -x617 x618 -x619 x620 -x621 x622 x623 -x624 -x625 x626 -x627 x628 -x629 x630 x631 -x632 -x633 x634 x635 -x636 -x637 x638 -x639 x640 -x641 x642 -x643 x644 -x645 x646 x647 -x648 -x649 x650 x651 -x652 -x653 x654 -x655 x656 -x657 x658 x659 -x660 -x661 x662 -x663 x664 -x665 x666 -x667 x668 -x669 x670 x671 -x672 -x673 x674 -x675 x676 -x677 x678 x679 -x680 -x681 x682 x683 -x684 -x685 x686 -x687 x688 -x689 x690 x691 -x692 -x693 x694 -x695 x696 -x697 x698 x699 -x700 -x701 x702 -x703 x704 -x705 x706 -x707 x708 -x709 x710 x711 -x712 -x713 x714 x715 -x716 -x717 x718 -x719 x720 -x721 x722 -x723 x724 -x725 x726 x727 -x728 -x729 x730 -x731 x732 x733 -x734 -x735 x736 -x737 x738 x739 -x740 -x741 x742 -x743 x744 x745 -x746 -x747 x748 -x749 x750 -x751 x752 -x753 x754 x755 -x756 -x757 x758 -x759 x760 -x761 x762 -x763 x764 -x765 x766 x767 -x768 -x769 x770 -x771 x772 x773 -x774 -x775 x776 -x777 x778 x779 -x780 -x781 x782 -x783 x784 -x785 x786 -x787 x788 -x789 x790 x791 -x792 -x793 x794 -x795 x796 -x797 x798 x799 -x800 -x801 x802 -x803 x804 -x805 x806 x807 -x808 
1800.10/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.10/1800.40	c   79  2424741 859591  5003089    14947  3650176   9390   1346 1800.11
1800.10/1800.40	c Objective: 372
1800.10/1800.40	s SATISFIABLE
1800.10/1800.40	c Total time: 1800.11 s

Verifier Data

OK	372

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-3732505-1338689928/watcher-3732505-1338689928 -o /tmp/evaluation-result-3732505-1338689928/solver-3732505-1338689928 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3732505-1338689928.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.99 3/176 25202
/proc/meminfo: memFree=24861892/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=4880 CPUtime=0 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 466 0 0 0 0 0 0 0 20 0 1 0 335120181 4997120 402 33554432000 134512640 135840783 4289701760 4289700752 134525046 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25202/statm: 1220 402 328 325 0 108 0

[startup+0.0204971 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 25202
/proc/meminfo: memFree=24861892/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=5292 CPUtime=0.01 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 632 0 0 0 1 0 0 0 20 0 1 0 335120181 5419008 568 33554432000 134512640 135840783 4289701760 4289700464 1579887 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25202/statm: 1356 569 365 325 0 244 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5292

[startup+0.100217 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 25202
/proc/meminfo: memFree=24861892/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=6156 CPUtime=0.09 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 914 0 0 0 9 0 0 0 20 0 1 0 335120181 6303744 802 33554432000 134512640 135840783 4289701760 4289700896 1579856 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25202/statm: 1539 802 348 325 0 475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6156

[startup+0.300176 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 25202
/proc/meminfo: memFree=24861892/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=7704 CPUtime=0.29 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 1307 0 0 0 29 0 0 0 20 0 1 0 335120181 7888896 1195 33554432000 134512640 135840783 4289701760 4289700996 1577103 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25202/statm: 1926 1195 348 325 0 862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7704

[startup+0.700178 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 25202
/proc/meminfo: memFree=24861892/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=10032 CPUtime=0.69 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 1885 0 0 0 69 0 0 0 20 0 1 0 335120181 10272768 1773 33554432000 134512640 135840783 4289701760 4289701120 134551353 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25202/statm: 2508 1773 348 325 0 1444 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10032

[startup+1.50018 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 25203
/proc/meminfo: memFree=24853560/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=11972 CPUtime=1.49 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 2372 0 0 0 149 0 0 0 20 0 1 0 335120181 12259328 2260 33554432000 134512640 135840783 4289701760 4289698832 1580295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25202/statm: 2993 2260 348 325 0 1929 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11972

[startup+3.10023 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 25203
/proc/meminfo: memFree=24851576/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=12864 CPUtime=3.08 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 2604 0 0 0 308 0 0 0 20 0 1 0 335120181 13172736 2492 33554432000 134512640 135840783 4289701760 4289701120 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 3216 2492 348 325 0 2152 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12864

[startup+6.30023 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 25203
/proc/meminfo: memFree=24846624/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=13492 CPUtime=6.28 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 2746 0 0 0 628 0 0 0 20 0 1 0 335120181 13815808 2634 33554432000 134512640 135840783 4289701760 4289701120 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 3373 2634 348 325 0 2309 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13492

[startup+12.7002 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 25203
/proc/meminfo: memFree=24837836/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=14520 CPUtime=12.68 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 3002 0 0 0 1268 0 0 0 20 0 1 0 335120181 14868480 2890 33554432000 134512640 135840783 4289701760 4289701120 134550678 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 3630 2890 350 325 0 2566 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14520

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 25203
/proc/meminfo: memFree=24820120/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=16668 CPUtime=25.49 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 3548 0 0 0 2548 1 0 0 20 0 1 0 335120181 17068032 3436 33554432000 134512640 135840783 4289701760 4289700996 1576930 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 4167 3436 350 325 0 3103 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16668

[startup+51.1002 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 25203
/proc/meminfo: memFree=24788624/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=23188 CPUtime=51.08 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 5167 0 0 0 5107 1 0 0 20 0 1 0 335120181 23744512 5055 33554432000 134512640 135840783 4289701760 4289701120 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 5797 5055 350 325 0 4733 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23188

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 25206
/proc/meminfo: memFree=24737640/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=23196 CPUtime=102.27 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 5169 0 0 0 10226 1 0 0 20 0 1 0 335120181 23752704 5057 33554432000 134512640 135840783 4289701760 4289700788 1569028 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 5799 5057 350 325 0 4735 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23196

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 25206
/proc/meminfo: memFree=24670448/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=26392 CPUtime=162.26 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 5997 0 0 0 16225 1 0 0 20 0 1 0 335120181 27025408 5876 33554432000 134512640 135840783 4289701760 4289701120 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 6598 5876 350 325 0 5534 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26392

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 25207
/proc/meminfo: memFree=24597172/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=26232 CPUtime=222.25 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 5997 0 0 0 22224 1 0 0 20 0 1 0 335120181 26861568 5836 33554432000 134512640 135840783 4289701760 4289701120 134551063 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 6558 5836 350 325 0 5494 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 26232

[startup+282.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 25208
/proc/meminfo: memFree=24515336/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=41160 CPUtime=282.24 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 9716 0 0 0 28222 2 0 0 20 0 1 0 335120181 42147840 9555 33554432000 134512640 135840783 4289701760 4289701120 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 10290 9555 350 325 0 9226 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 41160

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25208
/proc/meminfo: memFree=24420352/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=70888 CPUtime=342.23 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 18194 0 0 0 34220 3 0 0 20 0 1 0 335120181 72589312 17000 33554432000 134512640 135840783 4289701760 4289701120 134550817 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 17722 17000 350 325 0 16658 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 70888

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25208
/proc/meminfo: memFree=24363312/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=77396 CPUtime=402.22 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 19887 0 0 0 40219 3 0 0 20 0 1 0 335120181 79253504 18627 33554432000 134512640 135840783 4289701760 4289701120 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 19349 18627 350 325 0 18285 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 77396

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25209
/proc/meminfo: memFree=24299944/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=77136 CPUtime=462.21 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 19902 0 0 0 46218 3 0 0 20 0 1 0 335120181 78987264 18562 33554432000 134512640 135840783 4289701760 4289701120 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 19284 18562 350 325 0 18220 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 77136

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25209
/proc/meminfo: memFree=24238076/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=77008 CPUtime=522.2 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 19902 0 0 0 52217 3 0 0 20 0 1 0 335120181 78856192 18530 33554432000 134512640 135840783 4289701760 4289701088 9498591 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 19252 18530 350 325 0 18188 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 77008

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25325
/proc/meminfo: memFree=26789000/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=76992 CPUtime=582.19 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 19910 0 0 0 58216 3 0 0 20 0 1 0 335120181 78839808 18526 33554432000 134512640 135840783 4289701760 4289701120 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 19248 18526 350 325 0 18184 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 76992

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25328
/proc/meminfo: memFree=26788424/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=78452 CPUtime=822.15 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 20314 0 0 0 82211 4 0 0 20 0 1 0 335120181 80334848 18876 33554432000 134512640 135840783 4289701760 4289701120 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 19613 18876 350 325 0 18549 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 78452

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25329
/proc/meminfo: memFree=26782844/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=83428 CPUtime=882.13 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 21850 0 0 0 88209 4 0 0 20 0 1 0 335120181 85430272 20135 33554432000 134512640 135840783 4289701760 4289701120 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 20857 20135 350 325 0 19793 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 83428

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25329
/proc/meminfo: memFree=26783156/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=83536 CPUtime=942.12 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 21880 0 0 0 94208 4 0 0 20 0 1 0 335120181 85540864 20160 33554432000 134512640 135840783 4289701760 4289701120 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 20884 20160 350 325 0 19820 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 83536

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25329
/proc/meminfo: memFree=26783340/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=83400 CPUtime=1002.12 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 21929 0 0 0 100208 4 0 0 20 0 1 0 335120181 85401600 20128 33554432000 134512640 135840783 4289701760 4289701120 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 20850 20128 350 325 0 19786 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 83400

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25329
/proc/meminfo: memFree=26777448/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=89716 CPUtime=1062.1 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 23519 0 0 0 106206 4 0 0 20 0 1 0 335120181 91869184 21691 33554432000 134512640 135840783 4289701760 4289701120 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22429 21691 350 325 0 21365 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 89716

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25329
/proc/meminfo: memFree=26776952/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=89868 CPUtime=1122.09 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 23655 0 0 0 112205 4 0 0 20 0 1 0 335120181 92024832 21745 33554432000 134512640 135840783 4289701760 4289701120 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22467 21745 350 325 0 21403 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 89868

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25329
/proc/meminfo: memFree=26776772/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=90320 CPUtime=1182.09 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 23820 0 0 0 118205 4 0 0 20 0 1 0 335120181 92487680 21848 33554432000 134512640 135840783 4289701760 4289701120 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22580 21848 350 325 0 21516 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 90320

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25330
/proc/meminfo: memFree=26776704/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=89976 CPUtime=1242.08 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 23854 0 0 0 124204 4 0 0 20 0 1 0 335120181 92135424 21772 33554432000 134512640 135840783 4289701760 4289701120 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22494 21772 350 325 0 21430 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 89976

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25333
/proc/meminfo: memFree=26776204/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=89968 CPUtime=1302.08 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 23854 0 0 0 130203 5 0 0 20 0 1 0 335120181 92127232 21770 33554432000 134512640 135840783 4289701760 4289695928 134585064 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22492 21770 350 325 0 21428 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 89968

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25333
/proc/meminfo: memFree=26776644/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=89968 CPUtime=1362.06 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 23884 0 0 0 136201 5 0 0 20 0 1 0 335120181 92127232 21770 33554432000 134512640 135840783 4289701760 4289701120 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22492 21770 350 325 0 21428 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 89968

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25333
/proc/meminfo: memFree=26776208/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=90520 CPUtime=1422.06 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 24036 0 0 0 142201 5 0 0 20 0 1 0 335120181 92692480 21908 33554432000 134512640 135840783 4289701760 4289701072 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22630 21908 350 325 0 21566 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 90520

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25333
/proc/meminfo: memFree=26771308/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=95044 CPUtime=1482.04 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 26075 0 0 0 148199 5 0 0 20 0 1 0 335120181 97325056 23039 33554432000 134512640 135840783 4289701760 4289701120 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 23761 23039 350 325 0 22697 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 95044

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25334
/proc/meminfo: memFree=26771740/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=94944 CPUtime=1542.03 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 26988 0 0 0 154198 5 0 0 20 0 1 0 335120181 97222656 23014 33554432000 134512640 135840783 4289701760 4289701072 134551071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 23736 23014 350 325 0 22672 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 94944

[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 25334
/proc/meminfo: memFree=26768128/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=98264 CPUtime=1602.02 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 27841 0 0 0 160197 5 0 0 20 0 1 0 335120181 100622336 23844 33554432000 134512640 135840783 4289701760 4289701120 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 24566 23844 350 325 0 23502 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 98264

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25334
/proc/meminfo: memFree=26768920/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=98328 CPUtime=1662.01 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 27846 0 0 0 166196 5 0 0 20 0 1 0 335120181 100687872 23846 33554432000 134512640 135840783 4289701760 4289701120 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 24582 23846 350 325 0 23518 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 98328

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25334
/proc/meminfo: memFree=26768732/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=98328 CPUtime=1722 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 27874 0 0 0 172195 5 0 0 20 0 1 0 335120181 100687872 23860 33554432000 134512640 135840783 4289701760 4289701120 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 24582 23860 350 325 0 23518 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 98328

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25334
/proc/meminfo: memFree=26767924/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=98212 CPUtime=1781.99 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 27874 0 0 0 178194 5 0 0 20 0 1 0 335120181 100569088 23831 33554432000 134512640 135840783 4289701760 4289701120 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 24553 23831 350 325 0 23489 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 98212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25335
/proc/meminfo: memFree=26767924/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=98212 CPUtime=1800.1 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 27874 0 0 0 180005 5 0 0 20 0 1 0 335120181 100569088 23831 33554432000 134512640 135840783 4289701760 4289700832 1579756 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 24553 23831 350 325 0 23489 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 98212

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

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.05
CPU system time (s): 0.05999
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 98732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.05999
maximum resident set size= 95792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27877
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= 42
involuntary context switches= 1913

runsolver used 3.54246 second user time and 8.87265 second system time

The end

Launcher Data

Begin job on node114 at 2012-06-03 04:18:48
IDJOB=3732505
IDBENCH=2106
IDSOLVER=2318
FILE ID=node114/3732505-1338689928
RUNJOBID= node114-1338678627-23614
PBS_JOBID= 14636699
Free space on /tmp= 70132 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732505-1338689928/watcher-3732505-1338689928 -o /tmp/evaluation-result-3732505-1338689928/solver-3732505-1338689928 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3732505-1338689928.opb            

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

MD5SUM BENCH= 05a418d42b6e85967009c0fa73623d83
RANDOM SEED=31170969

node114.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		: 2666.242
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	: 5332.48
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		: 2666.242
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	: 5331.91
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		: 2666.242
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	: 5451.90
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		: 2666.242
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	: 5331.91
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		: 2666.242
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	: 5331.91
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		: 2666.242
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	: 5331.91
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		: 2666.242
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	: 5331.91
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		: 2666.242
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        24861892 kB
Buffers:          887632 kB
Cached:          4151340 kB
SwapCached:         2312 kB
Active:          4552440 kB
Inactive:        2501996 kB
Active(anon):    2001556 kB
Inactive(anon):     8432 kB
Active(file):    2550884 kB
Inactive(file):  2493564 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103580 kB
Dirty:              6780 kB
Writeback:             0 kB
AnonPages:       2012500 kB
Mapped:            12428 kB
Shmem:               104 kB
Slab:             815872 kB
SReclaimable:     259972 kB
SUnreclaim:       555900 kB
KernelStack:        1464 kB
PageTables:         7732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2125128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1927168 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= 70128 MiB
End job on node114 at 2012-06-03 04:48:51