Trace number 433489

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)60 1800.07 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-alu2.b.opb
MD5SUMa793af2f16b39bdc1dda733b5326bfb4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark60
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 60
Optimality of the best value was proved NO
Number of variables1266
Total number of constraints2888
Number of constraints which are clauses2888
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 constraint1
Maximum length of a constraint183
Number of terms in the objective function 1266
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 1266
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 1266
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/433489-1177960053/instance-433489-1177960053.opb
0.00/0.00	c File size is 613565 bytes.
0.09/0.11	c Highest Coefficient sum: 1266
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.11 s
0.09/0.11	c Var: 1266 Constr: 2888 2888/0/0 Lit: 72716 Watch. Lit: 5762
0.09/0.11	c Obj. Vars: 1266 (100 % of total variables)
0.19/0.24	c Formula reductions applied at preprocessing
0.19/0.24	c Pre-processing Time: 0.242 s
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0    784      847    27394   32     1694     282      0      0 0.24
0.29/0.35	c Initial Lower Bound: 56
0.29/0.35	c Initial Path Cost: 18
0.29/0.35	o 85	0.353
1.19/1.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.25	c        0    784      848    28178   33     2413    1282      1      0 0.35
1.19/1.25	o 62	1.251 * 
4.39/4.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.39/4.43	c        0    784      849    28962   34     3155    2282      2      0 1.25
4.39/4.43	c      101    784     1051    40539   38     3559    2511    204     29 3.44
4.39/4.43	o 61	4.433 * 
69.98/70.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
69.98/70.07	c      104    784     1058    41681   39     4314    2282    211     23 4.43
69.98/70.07	c      204    784     1257    49709   39     4712    2511    410     30 6.65
69.98/70.07	c      456    784     1761    75355   42     5720    2763    914     38 11.82
69.98/70.07	c      933    784     2715   132621   48     7628    3040   1868     39 23.37
69.98/70.07	c     1747    784     4343   210534   48    10884    3345   3496     44 39.22
69.98/70.07	c     3070    784     2537   120575   47     5815    3680   1690     44 69.22
69.98/70.07	o 60	70.052 * 
1800.06/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.50	c     3075    784     2548   121749   47     6579    1282   1701     43 70.05
1800.06/1800.50	c     3177    784     1565    67863   43     3872    1411    718     43 72.69
1800.06/1800.50	c     3427    784     2065    91665   44     4872    1553   1218     43 78.50
1800.06/1800.50	c     3902    784     1700    66613   39     4142    1709    853     45 86.17
1800.06/1800.50	c     4716    784     1943    75013   38     4628    1880   1096     45 102.90
1800.06/1800.50	c     6037    784     3108   145361   46     6958    2069   2261     46 130.98
1800.06/1800.50	c     8119    784     2574   105667   41     5890    2276   1727     46 174.75
1800.06/1800.50	c    11342    784     2276   106000   46     5294    2504   1429     48 234.02
1800.06/1800.50	c    16278    784     3165   125415   39     7072    2755   2318     52 311.70
1800.06/1800.50	c    23784    784     2914   119647   41     6570    3031   2067     51 460.09
1800.06/1800.50	c    35145    784     2983   128391   43     6708    3335   2136     51 680.32
1800.06/1800.50	c    52292    784     4156   200654   48     9054    3669   3309     52 1004.14
1800.06/1800.50	c    78113    784     3443   164338   47     7628    4036   2596     49 1576.79
1800.06/1800.50	c Caught signal: 15
1800.06/1800.50	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.06/1800.50	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.06/1800.50	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.06/1800.50	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.06/1800.50	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.06/1800.50	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.06/1800.50	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.06/1800.50	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.06/1800.50	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.06/1800.50	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.06/1800.50	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251
1800.06/1800.50	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272
1800.06/1800.50	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293
1800.06/1800.50	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.06/1800.50	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335
1800.06/1800.50	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.06/1800.50	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.06/1800.50	v -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398
1800.06/1800.50	v -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.06/1800.50	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.06/1800.50	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461
1800.06/1800.50	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.06/1800.50	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.06/1800.50	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.06/1800.50	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.06/1800.50	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.06/1800.50	v -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587
1800.06/1800.50	v -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.06/1800.50	v -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.06/1800.50	v -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.06/1800.50	v -x651 x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.06/1800.50	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.06/1800.50	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.06/1800.50	v -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.06/1800.50	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.06/1800.50	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.06/1800.50	v -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.06/1800.50	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818
1800.06/1800.50	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.06/1800.50	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.06/1800.50	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.06/1800.50	v -x882 x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902
1800.06/1800.50	v -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.06/1800.50	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.06/1800.50	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.06/1800.50	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.06/1800.50	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.06/1800.50	v x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023
1800.06/1800.50	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.06/1800.50	v -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.06/1800.50	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.06/1800.50	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1800.06/1800.50	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108
1800.06/1800.50	v -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1800.06/1800.50	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1800.06/1800.50	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1800.06/1800.50	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177
1800.06/1800.50	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194
1800.06/1800.50	v -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 x1211 -x1212
1800.06/1800.50	v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229
1800.06/1800.50	v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 x1247
1800.06/1800.50	v x1248 -x1249 -x1250 -x1251 x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265
1800.06/1800.50	v -x1266
1800.06/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.50	c   22    89372    911    92408     3006   122043   2159     49 1800.07
1800.06/1800.50	c Objective: 60
1800.06/1800.50	s SATISFIABLE
1800.06/1800.50	c Total time: 1800.07 s

Verifier Data (download as text)

OK	60

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node30/watcher-433489-1177960053 -o ROOT/results/node30/solver-433489-1177960053 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433489-1177960053/instance-433489-1177960053.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.91 0.95 0.91 3/77 18099
/proc/meminfo: memFree=1857784/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=12336 CPUtime=0
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243920957 12632064 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 3084 333 279 324 0 2004 0

[startup+0.0479459 s]
/proc/loadavg: 0.91 0.95 0.91 3/77 18099
/proc/meminfo: memFree=1857784/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=5068 CPUtime=0.04
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 550 0 0 0 4 0 0 0 18 0 1 0 243920957 5189632 520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 1267 520 339 324 0 187 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5068

[startup+0.101948 s]
/proc/loadavg: 0.91 0.95 0.91 3/77 18099
/proc/meminfo: memFree=1857784/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=5584 CPUtime=0.09
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 762 0 0 0 9 0 0 0 18 0 1 0 243920957 5718016 732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 1396 732 412 324 0 316 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5584

[startup+0.30196 s]
/proc/loadavg: 0.91 0.95 0.91 3/77 18099
/proc/meminfo: memFree=1857784/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=7696 CPUtime=0.29
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 5117 0 0 0 28 1 0 0 19 0 1 0 243920957 7880704 1160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134948697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 1924 1160 390 324 0 994 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7696

[startup+0.701984 s]
/proc/loadavg: 0.91 0.95 0.91 3/77 18099
/proc/meminfo: memFree=1857784/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=7924 CPUtime=0.69
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 9768 0 0 0 66 3 0 0 23 0 1 0 243920957 8114176 1166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134941517 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 1981 1167 394 324 0 1051 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7924

[startup+1.50205 s]
/proc/loadavg: 0.91 0.95 0.91 2/78 18100
/proc/meminfo: memFree=1854960/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=6372 CPUtime=1.49
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 22789 0 0 0 141 8 0 0 25 0 1 0 243920957 6524928 1069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 1593 1069 394 324 0 663 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6372

[startup+3.10113 s]
/proc/loadavg: 0.91 0.95 0.91 2/78 18100
/proc/meminfo: memFree=1854576/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=7848 CPUtime=3.09
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 58711 0 0 0 288 21 0 0 25 0 1 0 243920957 8036352 1157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 1962 1157 395 324 0 1032 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7848

[startup+6.30133 s]
/proc/loadavg: 0.92 0.95 0.91 2/78 18100
/proc/meminfo: memFree=1854576/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=7928 CPUtime=6.29
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 111774 0 0 0 589 40 0 0 25 0 1 0 243920957 8118272 1170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 1982 1170 395 324 0 1052 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7928

[startup+12.7017 s]
/proc/loadavg: 0.93 0.95 0.91 2/78 18100
/proc/meminfo: memFree=1853872/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=8264 CPUtime=12.69
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 156903 0 0 0 1208 61 0 0 25 0 1 0 243920957 8462336 1288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2066 1288 395 324 0 1136 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8264

[startup+25.5015 s]
/proc/loadavg: 0.94 0.96 0.91 2/78 18100
/proc/meminfo: memFree=1853104/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=7916 CPUtime=25.49
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 212232 0 0 0 2461 88 0 0 25 0 1 0 243920957 8105984 1456 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447558 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 1979 1456 395 324 0 1049 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7916

[startup+51.1011 s]
/proc/loadavg: 0.96 0.96 0.91 2/78 18100
/proc/meminfo: memFree=1851888/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10500 CPUtime=51.08
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 426623 0 0 0 4928 180 0 0 25 0 1 0 243920957 10752000 1796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2625 1796 395 324 0 1695 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10500

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.91 2/78 18100
/proc/meminfo: memFree=1851376/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=9556 CPUtime=102.27
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 642196 0 0 0 9929 298 0 0 25 0 1 0 243920957 9785344 1866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2389 1866 395 324 0 1459 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 9556

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1851376/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10048 CPUtime=162.25
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 843544 0 0 0 15820 405 0 0 25 0 1 0 243920957 10289152 1873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135254645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2512 1873 395 324 0 1582 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 10048

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1851376/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10276 CPUtime=222.24
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 1041255 0 0 0 21696 528 0 0 25 0 1 0 243920957 10522624 1880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2569 1880 395 324 0 1639 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 10276

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1851312/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10220 CPUtime=282.23
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 1223684 0 0 0 27577 646 0 0 25 0 1 0 243920957 10465280 1880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2555 1880 395 324 0 1625 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 10220

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1851312/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10480 CPUtime=342.21
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 1418746 0 0 0 33461 760 0 0 25 0 1 0 243920957 10731520 1886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2620 1886 395 324 0 1690 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 10480

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1851312/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=9556 CPUtime=402.19
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 1626980 0 0 0 39338 881 0 0 25 0 1 0 243920957 9785344 1866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135445176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2389 1866 395 324 0 1459 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 9556

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1851312/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10292 CPUtime=462.18
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 1844198 0 0 0 45210 1008 0 0 25 0 1 0 243920957 10539008 1876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2573 1876 395 324 0 1643 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 10292

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1851312/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10296 CPUtime=522.16
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 2021185 0 0 0 51098 1118 0 0 25 0 1 0 243920957 10543104 1885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2574 1885 395 324 0 1644 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 10296

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1851312/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10436 CPUtime=582.15
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 2222310 0 0 0 56975 1240 0 0 25 0 1 0 243920957 10686464 1881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2609 1881 395 324 0 1679 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 10436

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1851248/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10012 CPUtime=642.14
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 2419296 0 0 0 62857 1357 0 0 25 0 1 0 243920957 10252288 1871 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690005 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2503 1871 395 324 0 1573 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 10012


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

[startup+882.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1851056/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=9736 CPUtime=882.08
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 3227903 0 0 0 86368 1840 0 0 25 0 1 0 243920957 9969664 1911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709716 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2434 1911 395 324 0 1504 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 9736

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1850992/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10928 CPUtime=942.06
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 3463088 0 0 0 92240 1966 0 0 25 0 1 0 243920957 11190272 1939 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452229 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2732 1939 395 324 0 1802 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 10928

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1850992/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10900 CPUtime=1002.05
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 3701422 0 0 0 98110 2095 0 0 25 0 1 0 243920957 11161600 1939 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452229 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2725 1939 395 324 0 1795 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 10900

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1850928/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10932 CPUtime=1062.03
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 3962867 0 0 0 103979 2224 0 0 25 0 1 0 243920957 11194368 1946 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2733 1946 395 324 0 1803 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 10932

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1850864/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11148 CPUtime=1122.02
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 4269995 0 0 0 109826 2376 0 0 25 0 1 0 243920957 11415552 1978 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2787 1978 395 324 0 1857 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 11148

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1850800/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11092 CPUtime=1182.01
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 4539796 0 0 0 115681 2520 0 0 25 0 1 0 243920957 11358208 1981 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2773 1981 395 324 0 1843 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 11092

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1850736/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11224 CPUtime=1242
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 4807419 0 0 0 121541 2659 0 0 25 0 1 0 243920957 11493376 2007 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135315574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2806 2007 395 324 0 1876 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 11224

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1850288/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=10396 CPUtime=1301.98
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 5383013 0 0 0 127312 2886 0 0 25 0 1 0 243920957 10645504 2070 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709664 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2599 2070 395 324 0 1669 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 10396

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1849712/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11920 CPUtime=1361.96
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 5692791 0 0 0 133153 3043 0 0 25 0 1 0 243920957 12206080 2253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135188128 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2980 2253 395 324 0 2050 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 11920

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1849712/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11552 CPUtime=1421.95
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 5857732 0 0 0 139059 3136 0 0 25 0 1 0 243920957 11829248 2250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2888 2250 395 324 0 1958 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 11552

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1849904/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11648 CPUtime=1481.94
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 6013828 0 0 0 144969 3225 0 0 25 0 1 0 243920957 11927552 2188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135184630 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2912 2188 395 324 0 1982 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 11648

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1849968/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11628 CPUtime=1541.92
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 6201818 0 0 0 150858 3334 0 0 25 0 1 0 243920957 11907072 2185 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2907 2185 395 324 0 1977 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 11628

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1850416/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11428 CPUtime=1601.9
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 6398069 0 0 0 156743 3447 0 0 25 0 1 0 243920957 11702272 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135308595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2857 2092 395 324 0 1927 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 11428

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18100
/proc/meminfo: memFree=1850480/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11400 CPUtime=1661.89
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 6665223 0 0 0 162604 3585 0 0 25 0 1 0 243920957 11673600 2085 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7453774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2850 2085 395 324 0 1920 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 11400

[startup+1722.3 s]
/proc/loadavg: 1.05 0.99 0.91 2/78 18100
/proc/meminfo: memFree=1850480/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11432 CPUtime=1721.87
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 6929956 0 0 0 168463 3724 0 0 25 0 1 0 243920957 11706368 2094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135324394 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2858 2094 395 324 0 1928 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 11432

[startup+1782.3 s]
/proc/loadavg: 1.07 1.00 0.92 2/78 18100
/proc/meminfo: memFree=1850352/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11460 CPUtime=1781.86
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 7197993 0 0 0 174325 3861 0 0 25 0 1 0 243920957 11735040 2087 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7453774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2865 2087 395 324 0 1935 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 11460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.05 1.00 0.92 2/78 18100
/proc/meminfo: memFree=1850352/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11432 CPUtime=1800.06
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 7277309 0 0 0 176103 3903 0 0 25 0 1 0 243920957 11706368 2093 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2858 2093 395 324 0 1928 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11432

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

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

[startup+1800.5 s]
/proc/loadavg: 1.05 1.00 0.92 2/78 18100
/proc/meminfo: memFree=1850352/2055920 swapFree=4157096/4192956
[pid=18099] ppid=18097 vsize=11432 CPUtime=1800.06
/proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 7277309 0 0 0 176103 3903 0 0 25 0 1 0 243920957 11706368 2093 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18099/statm: 2858 2093 395 324 0 1928 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11432

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1761.04
CPU system time (s): 39.0311
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 12164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.04
system time used= 39.0311
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7277312
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= 13
involuntary context switches= 37483

runsolver used 1.40878 second user time and 3.70344 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Mon Apr 30 19:07:33 UTC 2007

IDJOB= 433489
IDBENCH= 2876
IDSOLVER= 199
FILE ID= node30/433489-1177960053

PBS_JOBID= 4727709

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  a793af2f16b39bdc1dda733b5326bfb4

RANDOM SEED= 916011696

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node30.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.218
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.218
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:       1858128 kB
Buffers:         30912 kB
Cached:          74804 kB
SwapCached:      15324 kB
Active:          46008 kB
Inactive:        89632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858128 kB
SwapTotal:     4192956 kB
SwapFree:      4157096 kB
Dirty:            7196 kB
Writeback:           0 kB
Mapped:          36912 kB
Slab:            47632 kB
Committed_AS:  3670272 kB
PageTables:       1788 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node30 on Mon Apr 30 19:37:35 UTC 2007