Trace number 3734639

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)71 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.a.opb
MD5SUMa983c7d791d0da9cc5e2ec69578db721
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark4.24935
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables1226
Total number of constraints4208
Number of constraints which are clauses4208
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint105
Number of terms in the objective function 1226
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1226
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1226
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	71

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734639-1338700489/watcher-3734639-1338700489 -o /tmp/evaluation-result-3734639-1338700489/solver-3734639-1338700489 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734639-1338700489.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.90 2.00 2.18 3/178 10245
/proc/meminfo: memFree=28683344/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) D 10243 10245 7079 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 336173739 2723840 47 33554432000 134512640 135840783 4287355696 4287353732 7222212 0 0 4096 0 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 665 47 37 325 0 32 0

[startup+0.00685611 s]
/proc/loadavg: 1.90 2.00 2.18 3/178 10245
/proc/meminfo: memFree=28683344/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 336173739 4583424 155 33554432000 134512640 135840783 4287355696 4287355036 7173553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 1119 155 134 325 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4476

[startup+0.100207 s]
/proc/loadavg: 1.90 2.00 2.18 3/178 10245
/proc/meminfo: memFree=28683344/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=6364 CPUtime=0.08 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 1024 0 0 0 8 0 0 0 20 0 1 0 336173739 6516736 873 33554432000 134512640 135840783 4287355696 4287354496 135467950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 1591 873 369 325 0 527 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6364

[startup+0.300167 s]
/proc/loadavg: 1.90 2.00 2.18 3/178 10245
/proc/meminfo: memFree=28683344/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=11216 CPUtime=0.28 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 22627 0 0 0 25 3 0 0 20 0 1 0 336173739 11485184 1609 33554432000 134512640 135840783 4287355696 4287353888 135345515 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 2804 1609 426 325 0 1740 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11216

[startup+0.700184 s]
/proc/loadavg: 1.90 2.00 2.18 3/178 10245
/proc/meminfo: memFree=28683344/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=7300 CPUtime=0.69 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 26209 0 0 0 65 4 0 0 20 0 1 0 336173739 7475200 1184 33554432000 134512640 135840783 4287355696 4287354112 134709876 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 1825 1184 431 325 0 761 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7300

[startup+1.50018 s]
/proc/loadavg: 1.90 2.00 2.18 4/179 10246
/proc/meminfo: memFree=28679236/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=12384 CPUtime=1.48 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 44833 0 0 0 142 6 0 0 20 0 1 0 336173739 12681216 1581 33554432000 134512640 135840783 4287355696 4287352696 134689759 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 3096 1581 431 325 0 2032 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12384

[startup+3.10018 s]
/proc/loadavg: 1.90 2.00 2.18 3/179 10246
/proc/meminfo: memFree=28678616/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=8196 CPUtime=3.09 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 131048 0 0 0 290 19 0 0 20 0 1 0 336173739 8392704 1385 33554432000 134512640 135840783 4287355696 4287354528 135194949 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 2049 1393 431 325 0 985 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8196

[startup+6.30017 s]
/proc/loadavg: 1.91 2.00 2.18 3/179 10246
/proc/meminfo: memFree=28677004/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=13488 CPUtime=6.28 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 229049 0 0 0 596 32 0 0 20 0 1 0 336173739 13811712 2650 33554432000 134512640 135840783 4287355696 4287352748 134687740 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 3372 2650 431 325 0 2308 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13488

[startup+12.7002 s]
/proc/loadavg: 1.92 2.00 2.18 3/179 10246
/proc/meminfo: memFree=28670564/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=14628 CPUtime=12.69 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 253269 0 0 0 1233 36 0 0 20 0 1 0 336173739 14979072 2916 33554432000 134512640 135840783 4287355696 4287354016 134694620 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 3657 2916 431 325 0 2593 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14628

[startup+25.5002 s]
/proc/loadavg: 1.94 2.00 2.18 3/179 10246
/proc/meminfo: memFree=28667472/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=18032 CPUtime=25.48 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 346339 0 0 0 2501 47 0 0 20 0 1 0 336173739 18464768 3452 33554432000 134512640 135840783 4287355696 4287354224 135227565 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 4508 3452 431 325 0 3444 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18032

[startup+51.1002 s]
/proc/loadavg: 1.96 2.00 2.17 3/179 10246
/proc/meminfo: memFree=28657180/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=24564 CPUtime=51.07 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 937043 0 0 0 4976 131 0 0 20 0 1 0 336173739 25153536 5060 33554432000 134512640 135840783 4287355696 4287353996 135331584 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 6141 5060 431 325 0 5077 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24564

[startup+102.306 s]
/proc/loadavg: 1.98 2.00 2.16 3/179 10247
/proc/meminfo: memFree=28645740/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=28852 CPUtime=102.27 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 2471192 0 0 0 9881 346 0 0 20 0 1 0 336173739 29544448 6540 33554432000 134512640 135840783 4287355696 4287354528 135194969 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 7213 6540 431 325 0 6149 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28852

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.15 3/179 10247
/proc/meminfo: memFree=28639168/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=33192 CPUtime=162.26 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 3660692 0 0 0 15708 518 0 0 20 0 1 0 336173739 33988608 6637 33554432000 134512640 135840783 4287355696 4287354056 135308802 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 8298 6637 431 325 0 7234 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 33192

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.14 3/179 10247
/proc/meminfo: memFree=28630660/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=33388 CPUtime=222.25 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 4876744 0 0 0 21528 697 0 0 20 0 1 0 336173739 34189312 7181 33554432000 134512640 135840783 4287355696 4287352496 135266082 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 8347 7181 431 325 0 7283 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 33388

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.13 3/179 10247
/proc/meminfo: memFree=28625388/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=32852 CPUtime=282.24 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 6078093 0 0 0 27361 863 0 0 20 0 1 0 336173739 33640448 6883 33554432000 134512640 135840783 4287355696 4287353728 135261455 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 8213 6884 431 325 0 7149 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 32852

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.12 3/180 10250
/proc/meminfo: memFree=28618236/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=29892 CPUtime=342.23 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 6971935 0 0 0 33227 996 0 0 20 0 1 0 336173739 30609408 6799 33554432000 134512640 135840783 4287355696 4287354240 135447542 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 7473 6799 431 325 0 6409 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 29892

[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.11 3/179 10251
/proc/meminfo: memFree=28612848/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=33832 CPUtime=402.22 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 7595999 0 0 0 39133 1089 0 0 20 0 1 0 336173739 34643968 6931 33554432000 134512640 135840783 4287355696 4287354128 134941159 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 8458 6931 431 325 0 7394 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 33832

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.10 3/179 10251
/proc/meminfo: memFree=28607268/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=34556 CPUtime=462.21 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 8264116 0 0 0 45024 1197 0 0 20 0 1 0 336173739 35385344 6902 33554432000 134512640 135840783 4287355696 4287353868 135313320 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10245/statm: 8639 6902 431 325 0 7575 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 34556

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 10251
/proc/meminfo: memFree=28601672/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=33740 CPUtime=522.19 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 8972765 0 0 0 50915 1304 0 0 20 0 1 0 336173739 34549760 6840 33554432000 134512640 135840783 4287355696 4287352848 134792305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8435 6840 431 325 0 7371 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 33740

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 10251
/proc/meminfo: memFree=28595224/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=33312 CPUtime=582.19 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 9574799 0 0 0 56819 1400 0 0 20 0 1 0 336173739 34111488 6921 33554432000 134512640 135840783 4287355696 4287353848 135311336 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8328 6923 431 325 0 7264 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 33312

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 10252
/proc/meminfo: memFree=28570888/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=33616 CPUtime=822.15 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 11728454 0 0 0 80468 1747 0 0 20 0 1 0 336173739 34422784 6857 33554432000 134512640 135840783 4287355696 4287354040 135324392 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8404 6857 431 325 0 7340 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 33616

[startup+882.3 s]
/proc/loadavg: 2.07 2.02 2.06 3/179 10252
/proc/meminfo: memFree=28565368/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=33500 CPUtime=882.14 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 12249250 0 0 0 86382 1832 0 0 20 0 1 0 336173739 34304000 6814 33554432000 134512640 135840783 4287355696 4287352832 134802131 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8375 6814 431 325 0 7311 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 33500

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/180 10255
/proc/meminfo: memFree=28560276/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=33792 CPUtime=942.13 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 12828249 0 0 0 92292 1921 0 0 20 0 1 0 336173739 34603008 6854 33554432000 134512640 135840783 4287355696 4287353840 7736930 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8448 6854 431 325 0 7384 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 33792

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.05 3/179 10256
/proc/meminfo: memFree=28555556/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=34052 CPUtime=1002.12 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 13641075 0 0 0 98170 2042 0 0 20 0 1 0 336173739 34869248 6831 33554432000 134512640 135840783 4287355696 4287353824 134700489 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8513 6831 431 325 0 7449 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 34052

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 10256
/proc/meminfo: memFree=28549788/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=30384 CPUtime=1062.11 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 14260876 0 0 0 104065 2146 0 0 20 0 1 0 336173739 31113216 6889 33554432000 134512640 135840783 4287355696 4287354832 134576831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 7596 6889 431 325 0 6532 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 30384

[startup+1122.3 s]
/proc/loadavg: 1.96 1.98 2.03 3/179 10295
/proc/meminfo: memFree=28790200/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=34232 CPUtime=1122.1 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 15043393 0 0 0 109945 2265 0 0 20 0 1 0 336173739 35053568 7008 33554432000 134512640 135840783 4287355696 4287353996 135332117 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8558 7008 431 325 0 7494 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 34232

[startup+1182.3 s]
/proc/loadavg: 1.98 1.98 2.02 3/178 10295
/proc/meminfo: memFree=28790020/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=35136 CPUtime=1182.09 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 16284723 0 0 0 115778 2431 0 0 20 0 1 0 336173739 35979264 7235 33554432000 134512640 135840783 4287355696 4287354056 135308741 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8784 7235 431 325 0 7720 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 35136

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 2.02 3/180 10297
/proc/meminfo: memFree=28788888/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=34108 CPUtime=1242.08 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 17506003 0 0 0 121611 2597 0 0 20 0 1 0 336173739 34926592 7103 33554432000 134512640 135840783 4287355696 4287354048 135267325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8527 7103 431 325 0 7463 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 34108

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 2.01 3/179 10298
/proc/meminfo: memFree=28788584/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=35060 CPUtime=1302.08 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 18594397 0 0 0 127460 2748 0 0 20 0 1 0 336173739 35901440 7162 33554432000 134512640 135840783 4287355696 4287352848 134792488 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8765 7162 431 325 0 7701 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 35060

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 2.01 3/179 10298
/proc/meminfo: memFree=28788208/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=35128 CPUtime=1362.07 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 19821204 0 0 0 133294 2913 0 0 20 0 1 0 336173739 35971072 7243 33554432000 134512640 135840783 4287355696 4287353996 135332132 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8782 7243 431 325 0 7718 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 35128

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 10298
/proc/meminfo: memFree=28788020/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=35104 CPUtime=1422.07 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 21038916 0 0 0 139124 3083 0 0 20 0 1 0 336173739 35946496 7381 33554432000 134512640 135840783 4287355696 4287352944 135240093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8776 7381 431 325 0 7712 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 35104

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 10298
/proc/meminfo: memFree=28786900/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=35472 CPUtime=1482.04 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 22645710 0 0 0 144910 3294 0 0 20 0 1 0 336173739 36323328 7233 33554432000 134512640 135840783 4287355696 4287353952 134948461 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8868 7235 431 325 0 7804 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 35472

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/180 10301
/proc/meminfo: memFree=28788568/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=35288 CPUtime=1542.04 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 24277930 0 0 0 150686 3518 0 0 20 0 1 0 336173739 36134912 7295 33554432000 134512640 135840783 4287355696 4287352832 134803100 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8822 7295 431 325 0 7758 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 35288

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 10302
/proc/meminfo: memFree=28788572/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=34868 CPUtime=1602.03 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 25426692 0 0 0 156534 3669 0 0 20 0 1 0 336173739 35704832 7168 33554432000 134512640 135840783 4287355696 4287353996 135331688 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8717 7168 431 325 0 7653 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 34868

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 10302
/proc/meminfo: memFree=28783424/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=36888 CPUtime=1662.02 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 26427769 0 0 0 162395 3807 0 0 20 0 1 0 336173739 37773312 8278 33554432000 134512640 135840783 4287355696 4287353996 135331652 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 9222 8278 431 325 0 8158 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 36888

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 10302
/proc/meminfo: memFree=28783108/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=37484 CPUtime=1722 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 26681830 0 0 0 168357 3843 0 0 20 0 1 0 336173739 38383616 8287 33554432000 134512640 135840783 4287355696 4287353824 134700480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 9371 8287 431 325 0 8307 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 37484

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 10302
/proc/meminfo: memFree=28782488/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=37152 CPUtime=1781.99 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 26995814 0 0 0 174307 3892 0 0 20 0 1 0 336173739 38043648 8307 33554432000 134512640 135840783 4287355696 4287354056 135308802 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 9288 8307 431 325 0 8224 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 37152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 10302
/proc/meminfo: memFree=28782488/32873844 swapFree=7380/7380
[pid=10245] ppid=10243 vsize=35464 CPUtime=1800.1 cores=0,2,4,6
/proc/10245/stat : 10245 (bsolo3.0.17) R 10243 10245 7079 0 -1 4202496 27078797 0 0 0 176105 3905 0 0 20 0 1 0 336173739 36315136 8225 33554432000 134512640 135840783 4287355696 4287354112 134709682 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10245/statm: 8866 8225 431 325 0 7802 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 35464

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

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.05
system time used= 39.0591
maximum resident set size= 34800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27078799
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= 43
involuntary context switches= 2196

runsolver used 3.18252 second user time and 8.09177 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 07:14:49
IDJOB=3734639
IDBENCH=2884
IDSOLVER=2318
FILE ID=node133/3734639-1338700489
RUNJOBID= node133-1338678627-7098
PBS_JOBID= 14636680
Free space on /tmp= 70476 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734639-1338700489/watcher-3734639-1338700489 -o /tmp/evaluation-result-3734639-1338700489/solver-3734639-1338700489 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3734639-1338700489.opb            

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

MD5SUM BENCH= a983c7d791d0da9cc5e2ec69578db721
RANDOM SEED=279585516

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28683344 kB
Buffers:          410996 kB
Cached:          2736212 kB
SwapCached:          676 kB
Active:          1535416 kB
Inactive:        1761140 kB
Active(anon):     140392 kB
Inactive(anon):    10220 kB
Active(file):    1395024 kB
Inactive(file):  1750920 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:              6996 kB
Writeback:             0 kB
AnonPages:        157004 kB
Mapped:            11628 kB
Shmem:                 0 kB
Slab:             753144 kB
SReclaimable:     195344 kB
SUnreclaim:       557800 kB
KernelStack:        1488 kB
PageTables:         4204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     263864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70472 MiB
End job on node133 at 2012-06-03 07:44:52