Trace number 3463169

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
bsolo 3.2SAT77 1798.01 1797.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.a.opb
MD5SUMa983c7d791d0da9cc5e2ec69578db721
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark126.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables1226
Total number of constraints4208
Number of constraints which are clauses4208
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 constraint105
Number of terms in the objective function 1226
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 1226
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1226
Number of bits of the biggest sum of numbers11
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463169-1307179092.opb
0.00/0.00	c File size is 357653 bytes.
0.00/0.02	c Highest Coefficient sum: 1226
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.024 s
0.00/0.02	c Var: 1226 Constr: 4208 4208/0/0 Lit: 39421 Watch. Lit: 8416
0.00/0.02	c Obj. Vars: 1226 (100 % of total variables)
0.03/0.06	c Formula reductions applied at preprocessing
0.03/0.06	c Pre-processing Time: 0.06 s
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0   1157     4016    38083    9     8032    1338      0      0 0.06
0.39/0.41	c Initial Lower Bound: 59
0.39/0.41	c Initial Path Cost: 0
0.39/0.41	o 82
1179.12/1179.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1179.12/1179.19	c        6   1157     4025    39318    9     9125    2338      9     14 0.41
1179.12/1179.19	c      106   1157     4304   147547   34     9683    2572    288     26 4.05
1179.12/1179.19	c      380   1157     5033   571059  113    11141    2830   1017     38 9.83
1179.12/1179.19	c      858   1157     6276  1437656  229    13627    3114   2260     42 20.27
1179.12/1179.19	c     1671   1157     6072  1464323  241    13219    3426   2056     47 35.44
1179.12/1179.19	c     2993   1157     7074  2027257  286    15223    3769   3058     53 56.05
1179.12/1179.19	c     5075   1157     6755  1980871  293    14585    4146   2739     58 86.25
1179.12/1179.19	c     8300   1157     6322  1865106  295    13719    4561   2306     58 140.92
1179.12/1179.19	c    13237   1157     6557  2033910  310    14189    5018   2541     61 214.48
1179.12/1179.19	c    20743   1157     6973  2369553  339    15021    5520   2957     59 349.71
1179.12/1179.19	c    32104   1157     8792  3993825  454    18659    6073   4776     60 530.57
1179.12/1179.19	c    49248   1157     7054  2420844  343    15183    6681   3038     61 803.24
1179.12/1179.19	c    75068   1157     7358  2811714  382    15791    7350   3342     64 1161.36
1179.12/1179.19	o 81
1410.63/1410.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1410.63/1410.69	c    75732   1157     9016  4166675  462    20183    2338   5000     64 1179.22
1410.63/1410.69	c    75836   1157     5479  1228315  224    12034    2572   1463     63 1187.43
1410.63/1410.69	c    76091   1157     6133  1758764  286    13342    2830   2117     63 1195.44
1410.63/1410.69	c    76567   1157     5432  1175730  216    11940    3114   1416     63 1206.52
1410.63/1410.69	c    77384   1157     5574  1298595  232    12224    3426   1558     63 1222.37
1410.63/1410.69	c    78704   1157     6332  1916810  302    13740    3769   2316     63 1246.28
1410.63/1410.69	c    80785   1157     6494  2064250  317    14064    4146   2478     63 1277.36
1410.63/1410.69	c    84008   1157     6599  2176889  329    14274    4561   2583     63 1321.86
1410.63/1410.69	c    88944   1157     6298  1837487  291    13672    5018   2282     63 1398.51
1410.63/1410.69	o 80
1647.85/1647.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1647.85/1647.89	c    89418   1157     7606  2924436  384    17365    2338   3590     63 1410.73
1647.85/1647.89	c    89518   1157     5450  1212264  222    11977    2572   1434     63 1418.01
1647.85/1647.89	c    89768   1157     6135  1792594  292    13347    2830   2119     62 1426.72
1647.85/1647.89	c    90243   1157     5432  1224048  225    11941    3114   1416     62 1437.03
1647.85/1647.89	c    91057   1157     5574  1372352  246    12225    3426   1558     62 1452.30
1647.85/1647.89	c    92381   1157     6240  1952222  312    13557    3769   2224     62 1475.07
1647.85/1647.89	c    94462   1157     5948  1698891  285    12973    4146   1932     62 1506.71
1647.85/1647.89	c    97691   1157     6090  1654328  271    13257    4561   2074     62 1559.77
1647.85/1647.89	c   102629   1157     6298  1852827  294    13673    5018   2282     62 1642.23
1647.85/1647.89	o 79
1699.73/1699.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1699.73/1699.72	c   102691   1157     6470  1985665  306    15095    2338   2454     62 1647.94
1699.73/1699.72	c   102791   1157     5478  1200873  219    12034    2572   1462     62 1654.45
1699.73/1699.72	c   103042   1157     6177  1788983  289    13432    2830   2161     61 1663.91
1699.73/1699.72	c   103521   1157     5432  1218695  224    11942    3114   1416     61 1675.85
1699.73/1699.72	c   104334   1157     5574  1240820  222    12226    3426   1558     61 1691.84
1699.73/1699.72	o 78
1771.64/1771.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1771.64/1771.69	c   104543   1157     6129  1680334  274    14415    2338   2113     61 1699.77
1771.64/1771.69	c   104643   1157     6405  1903758  297    14967    2572   2389     61 1706.09
1771.64/1771.69	c   104899   1157     5303  1047073  197    11685    2830   1287     61 1714.98
1771.64/1771.69	c   105374   1157     6477  2015380  311    14033    3114   2461     60 1727.51
1771.64/1771.69	c   106190   1157     6122  1808973  295    13323    3426   2106     60 1742.71
1771.64/1771.69	c   107512   1157     6930  2482736  358    14939    3769   2914     60 1764.25
1771.64/1771.69	o 77
1797.94/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.95	c   107735   1157     7533  2960438  392    17225    2338   3517     60 1771.74
1797.94/1797.95	c   107835   1157     5458  1223112  224    11996    2572   1442     60 1777.96
1797.94/1797.95	c   108090   1157     6044  1702335  281    13168    2830   2028     60 1787.57
1797.94/1797.95	c Resources Exceeded
1797.94/1797.95	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 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 x876 -x877 x878 -x879 x880 -x881 x882 -x883 -x884 x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 x1149 -x1150 x1151 -x1152 -x1153 x1154 -x1155 x1156 -x1157 -x1158 x1159 x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 
1797.94/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.95	c   45   108337  21746   185914     6643  2182429   2627     60 1798.00
1797.94/1797.95	c Objective: 77
1797.94/1797.95	s SATISFIABLE
1797.94/1797.95	c Total time: 1798 s

Verifier Data 

OK	77

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3463169-1307179092/watcher-3463169-1307179092 -o /tmp/evaluation-result-3463169-1307179092/solver-3463169-1307179092 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463169-1307179092.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: 2.00 2.00 2.00 2/437 11151
/proc/meminfo: memFree=24674296/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=11284 CPUtime=0 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 810324846 11554816 289 33554432000 134512640 137138936 4290896176 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11151/statm: 2821 289 186 642 0 2089 0

[startup+0.0450269 s]
/proc/loadavg: 2.00 2.00 2.00 2/437 11151
/proc/meminfo: memFree=24674296/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=12512 CPUtime=0.03 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 808 0 0 0 3 0 0 0 25 0 1 0 810324846 12812288 675 33554432000 134512640 137138936 4290896176 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11151/statm: 3128 675 185 642 0 2484 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12512

[startup+0.101015 s]
/proc/loadavg: 2.00 2.00 2.00 2/437 11151
/proc/meminfo: memFree=24674296/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=12480 CPUtime=0.09 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 841 0 0 0 9 0 0 0 25 0 1 0 810324846 12779520 708 33554432000 134512640 137138936 4290896176 18446744073709551615 134712136 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11151/statm: 3120 708 218 642 0 2476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12480

[startup+0.300979 s]
/proc/loadavg: 2.00 2.00 2.00 2/437 11151
/proc/meminfo: memFree=24674296/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=16604 CPUtime=0.29 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 23092 0 0 0 28 1 0 0 25 0 1 0 810324846 17002496 1446 33554432000 134512640 137138936 4290896176 18446744073709551615 135409559 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11151/statm: 4151 1446 278 642 0 3507 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16604

[startup+0.700871 s]
/proc/loadavg: 2.00 2.00 2.00 2/437 11151
/proc/meminfo: memFree=24674296/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=13788 CPUtime=0.69 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 27270 0 0 0 67 2 0 0 25 0 1 0 810324846 14118912 1120 33554432000 134512640 137138936 4290896176 18446744073709551615 135783846 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11151/statm: 3447 1120 287 642 0 2803 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13788

[startup+1.50074 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11152
/proc/meminfo: memFree=24668956/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=18672 CPUtime=1.48 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 50366 0 0 0 144 4 0 0 25 0 1 0 810324846 19120128 1355 33554432000 134512640 137138936 4290896176 18446744073709551615 135470052 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11151/statm: 4668 1355 287 642 0 4024 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18672

[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11152
/proc/meminfo: memFree=24668708/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=16736 CPUtime=3.09 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 132394 0 0 0 297 12 0 0 25 0 1 0 810324846 17137664 1181 33554432000 134512640 137138936 4290896176 18446744073709551615 135183818 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11151/statm: 4184 1194 288 642 0 3540 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16736

[startup+6.30079 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11152
/proc/meminfo: memFree=24667108/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=19060 CPUtime=6.29 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 359455 0 0 0 595 34 0 0 25 0 1 0 810324846 19517440 1597 33554432000 134512640 137138936 4290896176 18446744073709551615 134731538 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11151/statm: 4765 1597 288 642 0 4121 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19060

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11152
/proc/meminfo: memFree=24660864/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=24852 CPUtime=12.69 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 854703 0 0 0 1188 81 0 0 25 0 1 0 810324846 25448448 2980 33554432000 134512640 137138936 4290896176 18446744073709551615 134848311 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11151/statm: 6213 2980 288 642 0 5569 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24852

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11153
/proc/meminfo: memFree=24649808/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=36288 CPUtime=25.47 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 1818171 0 0 0 2365 182 0 0 25 0 1 0 810324846 37158912 5936 33554432000 134512640 137138936 4290896176 18446744073709551615 134730880 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 9072 5936 288 642 0 8428 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 36288

[startup+51.1009 s]
/proc/loadavg: 2.08 2.02 2.01 3/438 11181
/proc/meminfo: memFree=24624680/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=56720 CPUtime=51.07 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 3294907 0 0 0 4765 342 0 0 25 0 1 0 810324846 58081280 11116 33554432000 134512640 137138936 4290896176 18446744073709551615 135251356 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 14180 11116 288 642 0 13536 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56720

[startup+102.317 s]
/proc/loadavg: 2.03 2.01 2.00 3/438 11183
/proc/meminfo: memFree=24609988/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=68996 CPUtime=102.29 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 5062265 0 0 0 9696 533 0 0 25 0 1 0 810324846 70651904 14078 33554432000 134512640 137138936 4290896176 18446744073709551615 134730892 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 17249 14078 288 642 0 16605 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 68996

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 11184
/proc/meminfo: memFree=24598692/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=76664 CPUtime=162.28 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 6324582 0 0 0 15543 685 0 0 25 0 1 0 810324846 78503936 16450 33554432000 134512640 137138936 4290896176 18446744073709551615 135379365 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 19166 16450 288 642 0 18522 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 76664

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11188
/proc/meminfo: memFree=24598668/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=77128 CPUtime=222.28 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 6868044 0 0 0 21462 766 0 0 25 0 1 0 810324846 78979072 16437 33554432000 134512640 137138936 4290896176 18446744073709551615 134730832 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 19282 16437 288 642 0 18638 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 77128

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11190
/proc/meminfo: memFree=24598524/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=79608 CPUtime=282.28 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 8237017 0 0 0 27291 937 0 0 25 0 1 0 810324846 81518592 16767 33554432000 134512640 137138936 4290896176 18446744073709551615 135445316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 19902 16767 288 642 0 19258 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 79608

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11191
/proc/meminfo: memFree=24594544/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=81224 CPUtime=342.28 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 9974468 0 0 0 33084 1144 0 0 25 0 1 0 810324846 83173376 17418 33554432000 134512640 137138936 4290896176 18446744073709551615 135381774 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 20306 17421 288 642 0 19662 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 81224

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11193
/proc/meminfo: memFree=24582620/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=90936 CPUtime=402.28 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 11891297 0 0 0 38860 1368 0 0 25 0 1 0 810324846 93118464 20377 33554432000 134512640 137138936 4290896176 18446744073709551615 134745027 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 22775 20390 288 642 0 22131 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 90936

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/438 11197
/proc/meminfo: memFree=24578080/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=96408 CPUtime=462.29 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 13300460 0 0 0 44691 1538 0 0 25 0 1 0 810324846 98721792 20990 33554432000 134512640 137138936 4290896176 18446744073709551615 134848012 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 24102 20990 288 642 0 23458 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 96408

[startup+522.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/438 11199
/proc/meminfo: memFree=24577928/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=95368 CPUtime=522.29 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 13952156 0 0 0 50597 1632 0 0 25 0 1 0 810324846 97656832 20927 33554432000 134512640 137138936 4290896176 18446744073709551615 135457696 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 23842 20927 288 642 0 23198 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 95368

[startup+582.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/438 11201
/proc/meminfo: memFree=24577920/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=96472 CPUtime=582.29 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 14948496 0 0 0 56471 1758 0 0 25 0 1 0 810324846 98787328 20982 33554432000 134512640 137138936 4290896176 18446744073709551615 135447174 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 24118 20982 288 642 0 23474 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 96472

[startup+642.301 s]

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

/proc/meminfo: memFree=24564020/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=106672 CPUtime=1062.31 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 23652715 0 0 0 103346 2885 0 0 25 0 1 0 810324846 109232128 23899 33554432000 134512640 137138936 4290896176 18446744073709551615 134731546 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26668 23899 288 642 0 26024 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 106672

[startup+1122.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/438 11215
/proc/meminfo: memFree=24563388/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105516 CPUtime=1122.31 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 24134668 0 0 0 109271 2960 0 0 25 0 1 0 810324846 108048384 23880 33554432000 134512640 137138936 4290896176 18446744073709551615 134712136 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26379 23880 288 642 0 25735 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 105516

[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/438 11217
/proc/meminfo: memFree=24563128/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=106612 CPUtime=1182.31 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 24531882 0 0 0 115212 3019 0 0 25 0 1 0 810324846 109170688 23876 33554432000 134512640 137138936 4290896176 18446744073709551615 134730892 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26653 23876 288 642 0 26009 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 106612

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 11218
/proc/meminfo: memFree=24562748/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=106072 CPUtime=1242.32 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 24934189 0 0 0 121155 3077 0 0 25 0 1 0 810324846 108617728 23888 33554432000 134512640 137138936 4290896176 18446744073709551615 135381401 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26518 23888 288 642 0 25874 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 106072

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11220
/proc/meminfo: memFree=24562988/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1302.33 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 127142 3091 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 134730894 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 105168

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11221
/proc/meminfo: memFree=24563224/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1362.32 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 133140 3092 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 135251462 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 105168

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11223
/proc/meminfo: memFree=24563216/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1422.34 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 139141 3093 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 135332407 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 105168

[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/438 11225
/proc/meminfo: memFree=24562948/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1482.33 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 145139 3094 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 134625713 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 105168

[startup+1542.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/438 11226
/proc/meminfo: memFree=24563308/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1542.33 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 151138 3095 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 134744950 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 105168

[startup+1602.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/438 11228
/proc/meminfo: memFree=24562924/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1602.33 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 157138 3095 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 135251257 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 105168

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/438 11229
/proc/meminfo: memFree=24563144/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1662.33 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 163137 3096 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 134713125 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 105168

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 11231
/proc/meminfo: memFree=24562132/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1722.34 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 169137 3097 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 134730832 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 105168

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 11233
/proc/meminfo: memFree=24561004/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1782.34 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 175136 3098 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 135457810 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 105168

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11233
/proc/meminfo: memFree=24561996/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1785.54 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 175456 3098 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 134850633 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 105168

[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11233
/proc/meminfo: memFree=24561616/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1791.95 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 176097 3098 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 134730901 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 105168

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11233
/proc/meminfo: memFree=24561612/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1795.15 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 176417 3098 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 134849638 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 105168

[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11233
/proc/meminfo: memFree=24561612/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1796.74 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 176576 3098 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 105168

[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11233
/proc/meminfo: memFree=24561612/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1797.54 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 176656 3098 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 135070985 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 105168

[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11233
/proc/meminfo: memFree=24561612/32951124 swapFree=50923800/67111528
[pid=11151] ppid=11149 vsize=105168 CPUtime=1797.94 cores=0,2,4,6
/proc/11151/stat : 11151 (bsolo) R 11149 11151 9722 0 -1 4202496 25031349 0 0 0 176696 3098 0 0 25 0 1 0 810324846 107692032 23864 33554432000 134512640 137138936 4290896176 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11151/statm: 26292 23864 288 642 0 25648 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 105168

Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.01
CPU user time (s): 1767.02
CPU system time (s): 30.9883
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 109276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.02
system time used= 30.9883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25031349
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= 5
involuntary context switches= 7417

runsolver used 7.80581 second user time and 16.7625 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-04 11:18:12
IDJOB=3463169
IDBENCH=2884
IDSOLVER=1955
FILE ID=node143/3463169-1307179092
RUNJOBID= node143-1307175466-10806
PBS_JOBID= 13508843
Free space on /tmp= 73972 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463169-1307179092/watcher-3463169-1307179092 -o /tmp/evaluation-result-3463169-1307179092/solver-3463169-1307179092 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463169-1307179092.opb

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

MD5SUM BENCH= a983c7d791d0da9cc5e2ec69578db721
RANDOM SEED=859063029

node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24674452 kB
Buffers:        311760 kB
Cached:         468944 kB
SwapCached:       9140 kB
Active:        7519340 kB
Inactive:       477028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24674452 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:            8240 kB
Writeback:           0 kB
AnonPages:     7213176 kB
Mapped:          22812 kB
Slab:           132552 kB
PageTables:      79684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115687492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73968 MiB
End job on node143 at 2011-06-04 11:48:10