Trace number 433497

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)71 1800.11 1800.62

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 benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark1800.03
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433497-1177960094/instance-433497-1177960094.opb
0.00/0.00	c File size is 357653 bytes.
0.00/0.07	c Highest Coefficient sum: 1226
0.00/0.07	c Parsing was ok!!
0.00/0.07	c Total parsing time: 0.067 s
0.00/0.07	c Var: 1226 Constr: 4208 4208/0/0 Lit: 39421 Watch. Lit: 8416
0.00/0.07	c Obj. Vars: 1226 (100 % of total variables)
0.09/0.14	c Formula reductions applied at preprocessing
0.09/0.14	c Pre-processing Time: 0.142 s
1.00/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.04	c        0   1157     4016    38083    9     8032    1338      0      0 0.14
1.00/1.04	c Initial Lower Bound: 59
1.00/1.04	c Initial Path Cost: 0
1.00/1.04	o 82	1.04
338.28/338.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
338.28/338.45	c        7   1157     4024    39318    9     9123    2338      8      6 1.04
338.28/338.45	c      107   1157     4223   111178   26     9521    2572    207     13 8.01
338.28/338.45	c      358   1157     4725   231392   48    10525    2830    709     13 26.42
338.28/338.45	c      833   1157     5671   513045   90    12417    3114   1655     14 56.19
338.28/338.45	c     1646   1157     5574   458580   82    12223    3426   1558     16 99.52
338.28/338.45	c     2969   1157     6005   746732  124    13085    3769   1989     18 164.45
338.28/338.45	c     5050   1157     5902   468044   79    12879    4146   1886     17 286.10
338.28/338.45	o 81	338.348 * 
490.46/490.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
490.46/490.60	c     6170   1157     8142  1364798  167    18435    2338   4126     18 338.35
490.46/490.60	c     6270   1157     5386   552758  102    11848    2572   1370     18 348.11
490.46/490.60	c     6520   1157     5885   743896  126    12846    2830   1869     18 360.64
490.46/490.60	c     6995   1157     6834  1103334  161    14744    3114   2818     18 382.27
490.46/490.60	c     7808   1157     6432   869358  135    13940    3426   2416     17 436.92
490.46/490.60	c     9130   1157     6741  1214303  180    14558    3769   2725     18 487.66
490.46/490.60	o 79	490.462 * 
503.25/503.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
503.25/503.42	c     9130   1157     6742  1215460  180    15638    2338   2726     18 490.46
503.25/503.42	c     9230   1157     5384   673836  125    11846    2572   1368     18 500.45
503.25/503.42	o 72	503.275 * 
768.27/768.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
768.27/768.57	c     9230   1157     5385   674993  125    12933    2338   1369     18 503.28
768.27/768.57	c     9331   1157     5587   736716  131    13337    2572   1571     18 512.78
768.27/768.57	c     9581   1157     6086   861562  141    14335    2830   2070     18 530.80
768.27/768.57	c    10057   1157     5432   527741   97    11949    3114   1416     17 576.07
768.27/768.57	c    10871   1157     7056   876822  124    15197    3426   3040     17 625.09
768.27/768.57	c    12194   1157     5730   581188  101    12545    3769   1714     16 727.14
768.27/768.57	o 71	768.354 * 
1800.09/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.61	c    12489   1157     6321   717054  113    14813    2338   2305     16 768.36
1800.09/1800.61	c    12589   1157     5186   408795   78    11458    2572   1170     16 777.86
1800.09/1800.61	c    12841   1157     5689   558052   98    12464    2830   1673     16 799.96
1800.09/1800.61	c    13317   1157     6641   832252  125    14368    3114   2625     15 836.21
1800.09/1800.61	c    14131   1157     6330   661298  104    13746    3426   2314     15 915.14
1800.09/1800.61	c    15452   1157     7083   511167   72    15252    3769   3067     14 1031.21
1800.09/1800.61	c    17535   1157     6759   710671  105    14604    4146   2743     14 1174.05
1800.09/1800.61	c    20759   1157     6090   497140   81    13266    4561   2074     14 1472.57
1800.09/1800.61	c Caught signal: 15
1800.09/1800.61	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.09/1800.61	v -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
1800.09/1800.61	v -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
1800.09/1800.61	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.09/1800.61	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.09/1800.61	v -x126 x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.09/1800.61	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.09/1800.61	v -x168 x169 -x170 -x171 x172 -x173 -x174 x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189
1800.09/1800.61	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.09/1800.61	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.09/1800.61	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.09/1800.61	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.09/1800.61	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294
1800.09/1800.61	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.09/1800.61	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.09/1800.61	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.09/1800.61	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.09/1800.61	v -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 x388 -x389 -x390 -x391 x392 -x393 -x394 x395 -x396 -x397 -x398 -x399
1800.09/1800.61	v -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.09/1800.61	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.09/1800.61	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.09/1800.61	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.09/1800.61	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.09/1800.61	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.09/1800.61	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.09/1800.61	v -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.09/1800.61	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.09/1800.61	v -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.09/1800.61	v x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630
1800.09/1800.61	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.09/1800.61	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.09/1800.61	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693
1800.09/1800.61	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.09/1800.61	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.09/1800.61	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 x745 -x746 -x747 -x748 x749 -x750 -x751 x752 -x753 -x754 -x755 -x756
1800.09/1800.61	v -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.09/1800.61	v x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 x796 -x797 -x798
1800.09/1800.61	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.09/1800.61	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.09/1800.61	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.09/1800.61	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 x880 -x881 x882
1800.09/1800.61	v -x883 -x884 x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.09/1800.61	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.09/1800.61	v -x925 -x926 -x927 -x928 x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.09/1800.61	v -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 x962 -x963 -x964 -x965 -x966
1800.09/1800.61	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 x983 -x984 -x985 -x986 -x987
1800.09/1800.61	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.09/1800.61	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.09/1800.61	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.09/1800.61	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.09/1800.61	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.09/1800.61	v -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092
1800.09/1800.61	v -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110
1800.09/1800.61	v -x1111 x1112 x1113 -x1114 -x1115 x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128
1800.09/1800.61	v -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145
1800.09/1800.61	v -x1146 -x1147 -x1148 x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163
1800.09/1800.61	v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 x1179 -x1180 -x1181
1800.09/1800.61	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198
1800.09/1800.61	v -x1199 -x1200 -x1201 x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216
1800.09/1800.61	v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226
1800.09/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.61	c   29    24468    415    27306     8501   702817   4485     13 1800.10
1800.09/1800.61	c Objective: 71
1800.09/1800.61	s SATISFIABLE
1800.09/1800.61	c Total time: 1800.1 s

Verifier Data (download as text)

OK	71

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node54/watcher-433497-1177960094 -o ROOT/results/node54/solver-433497-1177960094 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433497-1177960094/instance-433497-1177960094.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.88 0.94 0.97 3/66 29338
/proc/meminfo: memFree=1389760/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=12088 CPUtime=0
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 243383869 12378112 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 3022 337 279 324 0 2004 0

[startup+0.0950701 s]
/proc/loadavg: 0.88 0.94 0.97 3/66 29338
/proc/meminfo: memFree=1389760/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=5792 CPUtime=0.08
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 925 0 0 0 8 0 0 0 18 0 1 0 243383869 5931008 807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 1448 807 305 324 0 518 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5792

[startup+0.10107 s]
/proc/loadavg: 0.88 0.94 0.97 3/66 29338
/proc/meminfo: memFree=1389760/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=5792 CPUtime=0.09
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 925 0 0 0 9 0 0 0 18 0 1 0 243383869 5931008 807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 1448 807 305 324 0 518 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5792

[startup+0.301095 s]
/proc/loadavg: 0.88 0.94 0.97 3/66 29338
/proc/meminfo: memFree=1389760/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=5960 CPUtime=0.29
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 11653 0 0 0 25 4 0 0 19 0 1 0 243383869 6103040 905 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 1590 910 335 324 0 660 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5960

[startup+0.701146 s]
/proc/loadavg: 0.88 0.94 0.97 3/66 29338
/proc/meminfo: memFree=1389760/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=10768 CPUtime=0.69
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 69045 0 0 0 48 21 0 0 23 0 1 0 243383869 11026432 1547 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134941104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 2692 1547 391 324 0 1762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10768

[startup+1.50125 s]
/proc/loadavg: 0.88 0.94 0.97 2/67 29339
/proc/meminfo: memFree=1385080/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=10444 CPUtime=1.49
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 73014 0 0 0 126 23 0 0 25 0 1 0 243383869 10694656 1551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135265573 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 2611 1551 395 324 0 1681 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10444

[startup+3.10145 s]
/proc/loadavg: 0.89 0.94 0.97 2/67 29339
/proc/meminfo: memFree=1384952/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=7452 CPUtime=3.09
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 95089 0 0 0 276 33 0 0 25 0 1 0 243383869 7630848 1321 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 1863 1321 574 324 0 933 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7452

[startup+6.30186 s]
/proc/loadavg: 0.89 0.94 0.97 2/67 29339
/proc/meminfo: memFree=1385976/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=7228 CPUtime=6.29
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 190677 0 0 0 558 71 0 0 25 0 1 0 243383869 7401472 1283 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 1807 1283 395 324 0 877 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7228

[startup+12.7017 s]
/proc/loadavg: 0.91 0.94 0.97 2/67 29339
/proc/meminfo: memFree=1384632/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=12388 CPUtime=12.69
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 273912 0 0 0 1162 107 0 0 25 0 1 0 243383869 12685312 1777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134948469 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 3097 1777 395 324 0 2167 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12388

[startup+25.5013 s]
/proc/loadavg: 0.92 0.95 0.97 2/67 29339
/proc/meminfo: memFree=1382904/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=13716 CPUtime=25.49
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 488395 0 0 0 2350 199 0 0 25 0 1 0 243383869 14045184 2035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2255950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 3429 2035 395 324 0 2499 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13716

[startup+51.1016 s]
/proc/loadavg: 0.95 0.95 0.97 2/67 29339
/proc/meminfo: memFree=1380792/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=12604 CPUtime=51.07
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 930432 0 0 0 4715 392 0 0 25 0 1 0 243383869 12906496 2600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135194949 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 3151 2604 395 324 0 2221 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 12604

[startup+102.305 s]
/proc/loadavg: 0.98 0.95 0.97 2/67 29339
/proc/meminfo: memFree=1373432/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=23088 CPUtime=102.25
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 1947009 0 0 0 9394 831 0 0 25 0 1 0 243383869 23642112 4395 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2255950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 5526 4360 395 324 0 4596 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 23088

[startup+162.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/67 29339
/proc/meminfo: memFree=1364152/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=31292 CPUtime=162.24
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 3373199 0 0 0 14775 1449 0 0 25 0 1 0 243383869 32043008 6676 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 7823 6676 395 324 0 6893 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 31292

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1364280/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=31560 CPUtime=222.22
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 3889927 0 0 0 20544 1678 0 0 25 0 1 0 243383869 32317440 6682 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 7890 6682 395 324 0 6960 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 31560

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1363960/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=32732 CPUtime=282.21
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 4441495 0 0 0 26286 1935 0 0 25 0 1 0 243383869 33517568 6723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8183 6723 395 324 0 7253 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 32732

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1364024/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=33160 CPUtime=342.19
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 5152206 0 0 0 31970 2249 0 0 25 0 1 0 243383869 33955840 6704 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135336313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8290 6704 395 324 0 7360 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 33160

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1364088/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=32360 CPUtime=402.17
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 5848281 0 0 0 37659 2558 0 0 25 0 1 0 243383869 33136640 6708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8090 6708 395 324 0 7160 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 32360

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1363960/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=31200 CPUtime=462.16
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 6513910 0 0 0 43351 2865 0 0 25 0 1 0 243383869 31948800 6660 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135259740 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 7800 6664 395 324 0 6870 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 31200

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362680/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=29920 CPUtime=522.14
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 7397735 0 0 0 48962 3252 0 0 25 0 1 0 243383869 30638080 6955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 7480 6955 395 324 0 6550 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 29920

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362616/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=34092 CPUtime=582.12
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 7842829 0 0 0 54761 3451 0 0 25 0 1 0 243383869 34910208 7033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134689759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8523 7033 395 324 0 7593 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 34092

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362744/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=29448 CPUtime=642.11
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 8399508 0 0 0 60512 3699 0 0 25 0 1 0 243383869 30154752 6837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 7362 6837 395 324 0 6432 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 29448


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362744/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=33668 CPUtime=822.06
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 9705884 0 0 0 77908 4298 0 0 25 0 1 0 243383869 34476032 6983 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2255950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8417 6983 395 324 0 7487 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 33668

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362808/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=33760 CPUtime=882.04
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 10077062 0 0 0 83729 4475 0 0 25 0 1 0 243383869 34570240 6991 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135316026 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8440 6991 395 324 0 7510 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 33760

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362808/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=34468 CPUtime=942.02
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 10488543 0 0 0 89533 4669 0 0 25 0 1 0 243383869 35295232 7018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8617 7018 395 324 0 7687 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 34468

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362616/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=34692 CPUtime=1002.01
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 10932038 0 0 0 95335 4866 0 0 25 0 1 0 243383869 35524608 7018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8673 7018 395 324 0 7743 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 34692

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1363256/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=32700 CPUtime=1061.99
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 11379338 0 0 0 101121 5078 0 0 25 0 1 0 243383869 33484800 6958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8175 6958 395 324 0 7245 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 32700

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362552/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=33828 CPUtime=1121.97
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 11855198 0 0 0 106890 5307 0 0 25 0 1 0 243383869 34639872 6986 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135334031 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8457 6986 395 324 0 7527 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 33828

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362552/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=34016 CPUtime=1181.96
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 12324022 0 0 0 112673 5523 0 0 25 0 1 0 243383869 34832384 6996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134792418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8504 6996 395 324 0 7574 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 34016

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362616/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=33988 CPUtime=1241.94
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 12671031 0 0 0 118507 5687 0 0 25 0 1 0 243383869 34803712 6994 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135333269 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8497 6994 395 324 0 7567 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 33988

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362680/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=34144 CPUtime=1301.93
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 13056252 0 0 0 124333 5860 0 0 25 0 1 0 243383869 34963456 7013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8536 7013 395 324 0 7606 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 34144

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362424/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=33892 CPUtime=1361.9
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 13445506 0 0 0 130151 6039 0 0 25 0 1 0 243383869 34705408 7013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331656 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8473 7013 395 324 0 7543 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 33892

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362680/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=34212 CPUtime=1421.89
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 13859868 0 0 0 135952 6237 0 0 25 0 1 0 243383869 35033088 7074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8553 7074 395 324 0 7623 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 34212

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362552/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=29732 CPUtime=1481.87
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 14236618 0 0 0 141777 6410 0 0 25 0 1 0 243383869 30445568 6909 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134705477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 7433 6909 395 324 0 6503 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 29732

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362808/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=31968 CPUtime=1541.85
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 14630322 0 0 0 147598 6587 0 0 25 0 1 0 243383869 32735232 6946 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 7992 6946 395 324 0 7062 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 31968

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362872/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=33568 CPUtime=1601.84
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 15041809 0 0 0 153409 6775 0 0 25 0 1 0 243383869 34373632 7015 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8392 7015 395 324 0 7462 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 33568

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362936/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=33928 CPUtime=1661.82
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 15432099 0 0 0 159225 6957 0 0 25 0 1 0 243383869 34742272 7021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8482 7021 395 324 0 7552 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 33928

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362808/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=34080 CPUtime=1721.8
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 15782627 0 0 0 165058 7122 0 0 25 0 1 0 243383869 34897920 7061 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135333133 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8520 7061 416 324 0 7590 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 34080

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362744/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=33064 CPUtime=1781.78
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 16147257 0 0 0 170888 7290 0 0 25 0 1 0 243383869 33857536 7031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135316026 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8266 7031 395 324 0 7336 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 33064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 29341
/proc/meminfo: memFree=1362680/2055920 swapFree=4182164/4192956
[pid=29338] ppid=29336 vsize=33392 CPUtime=1800.09
/proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 16267572 0 0 0 172664 7345 0 0 25 0 1 0 243383869 34193408 7008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134941155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29338/statm: 8348 7008 395 324 0 7418 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 33392

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.62
CPU time (s): 1800.11
CPU user time (s): 1726.65
CPU system time (s): 73.4588
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 35144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1726.65
system time used= 73.4588
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16267575
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 3087

runsolver used 1.56976 second user time and 4.99024 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Mon Apr 30 19:08:14 UTC 2007

IDJOB= 433497
IDBENCH= 2884
IDSOLVER= 199
FILE ID= node54/433497-1177960094

PBS_JOBID= 4727694

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433497-1177960094/instance-433497-1177960094.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node54/watcher-433497-1177960094 -o ROOT/results/node54/solver-433497-1177960094 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433497-1177960094/instance-433497-1177960094.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  a983c7d791d0da9cc5e2ec69578db721

RANDOM SEED= 322176582

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1390168 kB
Buffers:         32416 kB
Cached:         552836 kB
SwapCached:       4036 kB
Active:         151204 kB
Inactive:       444080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1390168 kB
SwapTotal:     4192956 kB
SwapFree:      4182164 kB
Dirty:            6936 kB
Writeback:           0 kB
Mapped:          16064 kB
Slab:            56380 kB
Committed_AS:  2417184 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node54 on Mon Apr 30 19:38:17 UTC 2007