Trace number 352773

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.16SAT259 1800.01 1800.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM93fc03471d2b2f18ece1d77179dbcb30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark259
Best CPU time to get the best result obtained on this benchmark84.0212
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 259
Optimality of the best value was proved YES
Number of variables1278
Total number of constraints1087
Number of constraints which are clauses1087
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 constraint18
Number of terms in the objective function 1278
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 1278
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 1278
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/352773-1176641259/instance-352773-1176641259.opb
0.00/0.00	c File size is 74860 bytes.
0.00/0.01	c Highest Coefficient sum: 1278
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.01	c Var: 1278 Constr: 1087 1087/0/0 Lit: 6974 Watch. Lit: 2158
0.00/0.01	c Obj. Vars: 1278 (100 % of total variables)
0.01/0.03	c Formula reductions applied at preprocessing
0.01/0.03	c Pre-processing Time: 0.033 s
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c        0    932      996     6340    6     1992     331      0      0 0.03
0.19/0.26	c Initial Lower Bound: 257
0.19/0.26	c Initial Path Cost: 42
0.19/0.26	o 303	0.258
1.00/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.05	c        0    932      997     7272    7     2665    1331      1      0 0.26
1.00/1.05	o 265	1.053 * 
2.29/2.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.32	c        0    932      998     8204    8     3376    2331      2      0 1.05
2.29/2.32	o 263	2.325 * 
4.99/5.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.99/5.06	c        0    932      999     9136    9     4089    3331      3      0 2.33
4.99/5.06	c      100    932     1199    20677   17     4489    3665    203     23 4.33
4.99/5.06	o 262	5.06 * 
5.59/5.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.69	c      101    932     1202    21673   18     5207    3331    206     19 5.06
5.59/5.69	o 260	5.687 * 
1279.76/1280.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1279.76/1280.23	c      101    932     1203    22605   18     5923    3331    207     17 5.69
1279.76/1280.23	c      201    932     1403    29368   20     6323    3665    407     20 9.68
1279.76/1280.23	c      451    932     1903    69335   36     7323    4032    907     29 15.27
1279.76/1280.23	c      926    932     2853   125010   43     9223    4436   1857     35 25.79
1279.76/1280.23	c     1739    932     4479   232826   51    12475    4880   3483     42 40.70
1279.76/1280.23	c     3059    932     4325   229136   52     9364    5369   3329     44 69.41
1279.76/1280.23	c     5140    932     5412   292204   53    11538    5906   4416     45 113.48
1279.76/1280.23	c     8363    932     5134   285246   55    10982    6497   4138     47 177.22
1279.76/1280.23	c    13299    932     7626   472409   61    15966    7147   6630     50 263.55
1279.76/1280.23	c    20805    932     6610   442060   66    13934    7862   5614     52 393.10
1279.76/1280.23	c    32166    932     7540   472292   62    15794    8649   6544     51 625.37
1279.76/1280.23	c    49310    932     8389   560248   66    17492    9514   7393     51 953.49
1279.76/1280.23	o 259	1279.81 * 
1799.94/1800.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.94/1800.56	c    65273    932     9277   604624   65    19983    1331   8281     51 1279.81
1799.94/1800.56	c    65373    932     1863    76781   41     4441    1465    867     50 1281.92
1799.94/1800.56	c    65623    932     2363   107394   45     5441    1612   1367     50 1289.07
1799.94/1800.56	c    66098    932     2093    79214   37     4901    1774   1097     50 1300.15
1799.94/1800.56	c    66911    932     2458    87798   35     5631    1952   1462     50 1319.94
1799.94/1800.56	c    68231    932     2389   105539   44     5493    2148   1393     50 1344.74
1799.94/1800.56	c    70312    932     2071    75865   36     4857    2363   1075     50 1392.86
1799.94/1800.56	c    73535    932     2231    84509   37     5177    2600   1235     50 1461.87
1799.94/1800.56	c    78471    932     3563   189999   53     7841    2861   2567     50 1562.03
1799.94/1800.56	c    85977    932     3898   214673   55     8511    3148   2902     49 1720.55
1799.94/1800.56	c Resources Exceeded
1799.94/1800.56	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
1799.94/1800.56	v -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
1799.94/1800.56	v -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
1799.94/1800.56	v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1799.94/1800.56	v -x109 x110 -x111 x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1799.94/1800.56	v -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 x145 x146 -x147 -x148 -x149 -x150 x151
1799.94/1800.56	v -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172
1799.94/1800.56	v -x173 x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193
1799.94/1800.56	v -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214
1799.94/1800.56	v -x215 -x216 x217 -x218 -x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235
1799.94/1800.56	v -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 x248 x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257
1799.94/1800.56	v -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 x274 -x275 -x276 -x277 x278 -x279
1799.94/1800.56	v -x280 x281 -x282 -x283 -x284 x285 -x286 x287 -x288 x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301
1799.94/1800.56	v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 x322
1799.94/1800.56	v -x323 -x324 -x325 -x326 -x327 x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 x339 -x340 -x341 x342 -x343 -x344
1799.94/1800.56	v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365
1799.94/1800.56	v -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386
1799.94/1800.56	v -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407
1799.94/1800.56	v -x408 x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428
1799.94/1800.56	v x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 x447 x448 -x449 x450
1799.94/1800.56	v x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472
1799.94/1800.56	v -x473 -x474 -x475 -x476 -x477 x478 -x479 x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 x490 -x491 -x492 x493 x494
1799.94/1800.56	v -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 x514 -x515
1799.94/1800.56	v -x516 x517 -x518 -x519 -x520 x521 -x522 -x523 x524 x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 x534 -x535 x536 -x537
1799.94/1800.56	v -x538 x539 -x540 -x541 x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558
1799.94/1800.56	v x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579
1799.94/1800.56	v -x580 x581 x582 -x583 x584 -x585 -x586 -x587 x588 -x589 -x590 x591 -x592 -x593 x594 -x595 -x596 x597 -x598 -x599 -x600 -x601
1799.94/1800.56	v -x602 -x603 x604 x605 x606 -x607 x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 -x623
1799.94/1800.56	v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644
1799.94/1800.56	v -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665
1799.94/1800.56	v -x666 x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686
1799.94/1800.56	v -x687 x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 x696 -x697 -x698 -x699 x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708
1799.94/1800.56	v -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 x725 -x726 -x727 x728 x729 -x730
1799.94/1800.56	v -x731 -x732 x733 x734 -x735 -x736 -x737 -x738 x739 x740 -x741 -x742 x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1799.94/1800.56	v -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773
1799.94/1800.56	v x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794
1799.94/1800.56	v -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 x815
1799.94/1800.56	v -x816 x817 -x818 -x819 -x820 x821 x822 x823 x824 x825 -x826 -x827 x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837
1799.94/1800.56	v -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 x858
1799.94/1800.56	v -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 x877 -x878 -x879
1799.94/1800.56	v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 x897 -x898 -x899 -x900
1799.94/1800.56	v -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921
1799.94/1800.56	v -x922 -x923 x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 x936 x937 x938 -x939 -x940 x941 -x942 -x943
1799.94/1800.56	v -x944 x945 -x946 x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964
1799.94/1800.56	v -x965 -x966 -x967 -x968 x969 x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985
1799.94/1800.56	v -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005
1799.94/1800.56	v -x1006 x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 x1022 -x1023
1799.94/1800.56	v -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 x1031 -x1032 x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
1799.94/1800.56	v -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
1799.94/1800.56	v -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076
1799.94/1800.56	v -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094
1799.94/1800.56	v -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112
1799.94/1800.56	v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130
1799.94/1800.56	v -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148
1799.94/1800.56	v -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 x1163 -x1164 -x1165 -x1166
1799.94/1800.56	v -x1167 x1168 -x1169 -x1170 -x1171 -x1172 x1173 x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184
1799.94/1800.56	v -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 x1201 x1202
1799.94/1800.56	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 x1214 x1215 -x1216 -x1217 x1218 -x1219 -x1220
1799.94/1800.56	v -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238
1799.94/1800.56	v -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 x1256
1799.94/1800.56	v x1257 x1258 x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 x1267 -x1268 -x1269 -x1270 -x1271 x1272 x1273 -x1274 -x1275
1799.94/1800.56	v -x1276 -x1277 -x1278
1799.94/1800.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.94/1800.56	c   27    89405      1    91467     2893   135035   1897     49 1800.01
1799.94/1800.56	c Objective: 259
1799.94/1800.56	s SATISFIABLE
1799.94/1800.56	c Total time: 1800.01 s

Verifier Data (download as text)

OK	259

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-352773-1176641259 -o ROOT/results/node15/solver-352773-1176641259 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352773-1176641259/instance-352773-1176641259.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.93 0.99 0.99 3/77 15377
/proc/meminfo: memFree=1843264/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=11812 CPUtime=0
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 112043470 12095488 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7972646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 2953 335 281 324 0 2003 0

[startup+0.0245439 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 15377
/proc/meminfo: memFree=1843264/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=4476 CPUtime=0.01
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 539 0 0 0 1 0 0 0 18 0 1 0 112043470 4583424 488 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7942202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 1119 488 306 324 0 188 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4476

[startup+0.10155 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 15377
/proc/meminfo: memFree=1843264/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=6424 CPUtime=0.09
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 899 0 0 0 9 0 0 0 18 0 1 0 112043470 6578176 807 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135235520 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 1606 807 385 324 0 675 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6424

[startup+0.301569 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 15377
/proc/meminfo: memFree=1843264/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=6832 CPUtime=0.29
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 1345 0 0 0 28 1 0 0 19 0 1 0 112043470 6995968 877 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331935 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 1708 878 392 324 0 777 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6832

[startup+0.701606 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 15377
/proc/meminfo: memFree=1843264/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=6768 CPUtime=0.69
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4325 0 0 0 67 2 0 0 23 0 1 0 112043470 6930432 845 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 1692 845 392 324 0 761 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6768

[startup+1.50168 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1841336/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=6852 CPUtime=1.49
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 10767 0 0 0 145 4 0 0 25 0 1 0 112043470 7016448 863 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 1713 863 392 324 0 782 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6852

[startup+3.10183 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1841144/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=6820 CPUtime=3.09
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 21437 0 0 0 301 8 0 0 25 0 1 0 112043470 6983680 855 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135235510 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 1705 855 392 324 0 774 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6820

[startup+6.30112 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1840696/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=7248 CPUtime=6.29
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 37091 0 0 0 613 16 0 0 25 0 1 0 112043470 7421952 969 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135308923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 1812 969 393 324 0 881 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7248

[startup+12.7017 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1840440/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=7228 CPUtime=12.69
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 54109 0 0 0 1246 23 0 0 25 0 1 0 112043470 7401472 1017 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 1807 1017 393 324 0 876 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7228

[startup+25.5019 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1839224/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=8796 CPUtime=25.48
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 92769 0 0 0 2505 43 0 0 25 0 1 0 112043470 9007104 1353 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135324501 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 2199 1353 393 324 0 1268 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8796

[startup+51.1012 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1836984/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=11024 CPUtime=51.07
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 167877 0 0 0 5029 78 0 0 25 0 1 0 112043470 11288576 1912 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 2756 1912 393 324 0 1825 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11024

[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1835640/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=12392 CPUtime=102.27
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 323638 0 0 0 10070 157 0 0 25 0 1 0 112043470 12689408 2264 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 3098 2264 393 324 0 2167 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12392

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1834616/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=13180 CPUtime=162.24
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 494102 0 0 0 15981 243 0 0 25 0 1 0 112043470 13496320 2479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 3295 2479 393 324 0 2364 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 13180

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1834040/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=13504 CPUtime=222.24
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 687136 0 0 0 21885 339 0 0 25 0 1 0 112043470 13828096 2585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 3472 2587 393 324 0 2541 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 13504

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1833272/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=13084 CPUtime=282.22
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 885863 0 0 0 27785 437 0 0 25 0 1 0 112043470 13398016 2746 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 3271 2746 393 324 0 2340 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 13084

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1833272/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=14548 CPUtime=342.21
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 1076181 0 0 0 33693 528 0 0 25 0 1 0 112043470 14897152 2830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 3637 2830 393 324 0 2706 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 14548

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1833080/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=14640 CPUtime=402.19
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 1278930 0 0 0 39593 626 0 0 25 0 1 0 112043470 14991360 2820 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 3660 2820 393 324 0 2729 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 14640

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1832056/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=15572 CPUtime=462.17
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 1452932 0 0 0 45512 705 0 0 25 0 1 0 112043470 15945728 3063 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 3893 3063 393 324 0 2962 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 15572

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1831992/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=15720 CPUtime=522.16
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 1637784 0 0 0 51424 792 0 0 25 0 1 0 112043470 16097280 3117 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135325595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 3930 3117 393 324 0 2999 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 15720

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1831992/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=15820 CPUtime=582.14
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 1818785 0 0 0 57333 881 0 0 25 0 1 0 112043470 16199680 3029 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7947845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 3955 3029 393 324 0 3024 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 15820

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15378
/proc/meminfo: memFree=1831800/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=15720 CPUtime=642.13
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 2005207 0 0 0 63244 969 0 0 25 0 1 0 112043470 16097280 3091 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 3930 3091 393 324 0 2999 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 15720


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

/proc/meminfo: memFree=1829432/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17704 CPUtime=1061.92
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 3286282 0 0 0 104586 1606 0 0 25 0 1 0 112043470 18128896 3524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4426 3524 393 324 0 3495 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 17704

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15576
/proc/meminfo: memFree=1829432/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17680 CPUtime=1121.9
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 3470453 0 0 0 110494 1696 0 0 25 0 1 0 112043470 18104320 3533 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4420 3533 393 324 0 3489 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 17680

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15576
/proc/meminfo: memFree=1829304/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17704 CPUtime=1181.89
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 3646202 0 0 0 116411 1778 0 0 25 0 1 0 112043470 18128896 3561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4426 3561 393 324 0 3495 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 17704

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15576
/proc/meminfo: memFree=1829304/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17732 CPUtime=1241.88
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 3828483 0 0 0 122315 1873 0 0 25 0 1 0 112043470 18157568 3535 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135308708 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4433 3535 393 324 0 3502 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 17732

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15576
/proc/meminfo: memFree=1829240/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17244 CPUtime=1301.86
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4003880 0 0 0 128230 1956 0 0 25 0 1 0 112043470 17657856 3513 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135265845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4311 3513 393 324 0 3380 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 17244

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 15576
/proc/meminfo: memFree=1829304/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17572 CPUtime=1361.85
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4176121 0 0 0 134144 2041 0 0 25 0 1 0 112043470 17993728 3499 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134720790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4393 3499 393 324 0 3462 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 17572

[startup+1422.31 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 15576
/proc/meminfo: memFree=1829304/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17460 CPUtime=1421.84
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4343512 0 0 0 140067 2117 0 0 25 0 1 0 112043470 17879040 3472 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7949390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4365 3472 393 324 0 3434 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 17460

[startup+1482.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 15576
/proc/meminfo: memFree=1829240/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17572 CPUtime=1481.81
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4514535 0 0 0 145983 2198 0 0 25 0 1 0 112043470 17993728 3487 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135308763 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4393 3487 393 324 0 3462 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 17572

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15576
/proc/meminfo: memFree=1829112/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17604 CPUtime=1541.8
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4684823 0 0 0 151900 2280 0 0 25 0 1 0 112043470 18026496 3502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4401 3502 393 324 0 3470 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 17604

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15576
/proc/meminfo: memFree=1829112/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17600 CPUtime=1601.79
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4855103 0 0 0 157814 2365 0 0 25 0 1 0 112043470 18022400 3484 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135226146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4400 3484 393 324 0 3469 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 17600

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15576
/proc/meminfo: memFree=1829048/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17520 CPUtime=1661.77
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5021378 0 0 0 163730 2447 0 0 25 0 1 0 112043470 17940480 3478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135332400 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4380 3479 393 324 0 3449 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 17520

[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 15576
/proc/meminfo: memFree=1829048/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17572 CPUtime=1721.76
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5196504 0 0 0 169646 2530 0 0 25 0 1 0 112043470 17993728 3493 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134720775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4393 3493 393 324 0 3462 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 17572

[startup+1782.3 s]
/proc/loadavg: 1.13 1.04 1.01 2/78 15576
/proc/meminfo: memFree=1829048/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17576 CPUtime=1781.74
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5361430 0 0 0 175564 2610 0 0 25 0 1 0 112043470 17997824 3508 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135332220 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4394 3508 393 324 0 3463 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 17576

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

[startup+1791.91 s]
/proc/loadavg: 1.12 1.04 1.01 2/78 15576
/proc/meminfo: memFree=1829048/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17600 CPUtime=1791.34
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5386166 0 0 0 176513 2621 0 0 25 0 1 0 112043470 18022400 3515 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4400 3515 393 324 0 3469 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 17600

[startup+1795.1 s]
/proc/loadavg: 1.19 1.05 1.01 2/78 15576
/proc/meminfo: memFree=1829048/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17436 CPUtime=1794.54
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5396052 0 0 0 176829 2625 0 0 25 0 1 0 112043470 17854464 3471 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7949390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4359 3471 393 324 0 3428 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 17436

[startup+1798.3 s]
/proc/loadavg: 1.17 1.05 1.01 2/78 15576
/proc/meminfo: memFree=1829048/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17544 CPUtime=1797.74
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5404397 0 0 0 177144 2630 0 0 25 0 1 0 112043470 17965056 3503 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4386 3503 393 324 0 3455 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 17544

[startup+1799.9 s]
/proc/loadavg: 1.17 1.05 1.01 2/78 15576
/proc/meminfo: memFree=1828856/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17572 CPUtime=1799.34
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5409420 0 0 0 177301 2633 0 0 25 0 1 0 112043470 17993728 3513 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4393 3513 393 324 0 3462 0
Current children cumulated CPU time (s) 1799.34
Current children cumulated vsize (KiB) 17572

[startup+1800.3 s]
/proc/loadavg: 1.17 1.05 1.01 2/78 15576
/proc/meminfo: memFree=1828856/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17520 CPUtime=1799.74
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5410341 0 0 0 177341 2633 0 0 25 0 1 0 112043470 17940480 3495 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4380 3495 393 324 0 3449 0
Current children cumulated CPU time (s) 1799.74
Current children cumulated vsize (KiB) 17520

[startup+1800.5 s]
/proc/loadavg: 1.17 1.05 1.01 2/78 15576
/proc/meminfo: memFree=1828856/2055920 swapFree=4169120/4192956
[pid=15377] ppid=15375 vsize=17492 CPUtime=1799.94
/proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5411211 0 0 0 177360 2634 0 0 25 0 1 0 112043470 17911808 3483 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135309021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15377/statm: 4373 3483 393 324 0 3442 0
Current children cumulated CPU time (s) 1799.94
Current children cumulated vsize (KiB) 17492

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.01
CPU user time (s): 1773.67
CPU system time (s): 26.344
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 17844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.67
system time used= 26.344
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5411433
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= 36247

runsolver used 2.15167 second user time and 4.08238 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Sun Apr 15 12:47:39 UTC 2007

IDJOB= 352773
IDBENCH= 2043
IDSOLVER= 163
FILE ID= node15/352773-1176641259

PBS_JOBID= 4556854

Free space on /tmp= 66553 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352773-1176641259/instance-352773-1176641259.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-352773-1176641259 -o ROOT/results/node15/solver-352773-1176641259 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352773-1176641259/instance-352773-1176641259.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  93fc03471d2b2f18ece1d77179dbcb30

RANDOM SEED= 923656676

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1843736 kB
Buffers:         20752 kB
Cached:         100672 kB
SwapCached:       2268 kB
Active:          65084 kB
Inactive:        84052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843736 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            4484 kB
Writeback:           0 kB
Mapped:          35108 kB
Slab:            48532 kB
Committed_AS:  6070884 kB
PageTables:       1884 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= 66553 MiB

End job on node15 on Sun Apr 15 13:17:39 UTC 2007