Trace number 3732406

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)117 1800.03 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-rot.b.opb
MD5SUM82ceb454755e01aa6cecb68eb859eaa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark115
Best CPU time to get the best result obtained on this benchmark1.12483
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 116
Optimality of the best value was proved NO
Number of variables1451
Total number of constraints2932
Number of constraints which are clauses2932
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 constraint81
Number of terms in the objective function 1451
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 1451
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 1451
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-3732406-1338689830.opb
0.00/0.00	c File size is 363009 bytes.
0.00/0.03	c Highest Coefficient sum: 1451
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.028 s
0.00/0.03	c Var: 1451 Constr: 2932 2932/0/0 Lit: 40755 Watch. Lit: 5830
0.00/0.03	c Obj. Vars: 1451 (100 % of total variables)
0.00/0.07	c Formula reductions applied at preprocessing
0.00/0.07	c Pre-processing Time: 0.073 s
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0    903     1276    17444   13     2552     425      0      0 0.07
0.09/0.14	c Initial Lower Bound: 111
0.09/0.14	c Initial Path Cost: 29
0.09/0.14	o 152	0.145
0.69/0.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.71	c        4    903     1281    18486   14     3342    1425      5     27 0.14
0.69/0.71	o 122	0.713 * 
1.20/1.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.20/1.26	c        8    902     1286    19399   15     4161    1425     10     11 0.71
1.20/1.26	o 121	1.265 * 
2.69/2.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.70	c       13    902     1295    21148   16     4990    1425     19     10 1.26
2.69/2.70	c      118    902     1503    43164   28     5406    1568    227     51 2.30
2.69/2.70	o 120	2.705 * 
3.89/3.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.93	c      120    902     1506    44088   29     6224    1425    230     44 2.71
3.89/3.93	c      220    901     1705    62622   36     6621    1568    429     60 3.63
3.89/3.93	o 119	3.927 * 
4.29/4.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.30	c      220    901     1706    63523   37     7436    1425    430     56 3.93
4.29/4.30	o 118	4.298 * 
4.49/4.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.54	c      221    901     1709    64602   37     8256    1425    433     51 4.30
4.49/4.54	o 117	4.539 * 
1800.02/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.30	c      222    901     1712    65609   38     9077    1425    436     48 4.54
1800.02/1800.30	c      324    901     1916    74642   38     9485    1568    640     59 5.45
1800.02/1800.30	c      575    901     2417    99836   41    10487    1725   1141     75 7.60
1800.02/1800.30	c     1050    901     3367   158694   47    12387    1898   2091     86 12.17
1800.02/1800.30	c     1866    901     3442   135477   39     7697    2088   2166    102 18.19
1800.02/1800.30	c     3187    901     2746   121158   44     6305    2297   1470    110 28.76
1800.02/1800.30	c     5268    901     3389   145805   43     7591    2527   2113    120 43.56
1800.02/1800.30	c     8491    901     4220   192347   45     9253    2780   2944    119 71.22
1800.02/1800.30	c    13428    901     4033   224532   55     8879    3059   2757    132 101.43
1800.02/1800.30	c    20935    901     4082   183480   44     8977    3365   2806    134 155.16
1800.02/1800.30	c    32296    901     3806   185134   48     8425    3702   2530    131 244.92
1800.02/1800.30	c    49440    901     3506   176424   50     7825    4073   2230    143 344.63
1800.02/1800.30	c    75260    901     4840   225873   46    10493    4481   3564    132 569.99
1800.02/1800.30	c   114093    901     5536   294038   53    11885    4930   4260    138 823.07
1800.02/1800.30	c   172445    901     5239   242119   46    11291    5424   3963    141 1217.89
1800.02/1800.30	c Caught signal: 15
1800.02/1800.30	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 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 
1800.02/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.30	c   23   249561   1683   254489     5708   381079   4432    138 1800.03
1800.02/1800.30	c Objective: 117
1800.02/1800.30	s SATISFIABLE
1800.02/1800.30	c Total time: 1800.03 s

Verifier Data 

OK	117

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-3732406-1338689830/watcher-3732406-1338689830 -o /tmp/evaluation-result-3732406-1338689830/solver-3732406-1338689830 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3732406-1338689830.opb 

running on 4 cores: 1,3,5,7

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.93 1.98 1.99 3/178 8890
/proc/meminfo: memFree=28814196/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12860 CPUtime=0 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 477 0 0 0 0 0 0 0 20 0 1 0 335107789 13168640 414 33554432000 134512640 135840783 4287145280 4287143792 7734567 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3215 415 328 325 0 2062 0

[startup+0.101853 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 8890
/proc/meminfo: memFree=28814196/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=6148 CPUtime=0.09 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 1689 0 0 0 9 0 0 0 20 0 1 0 335107789 6295552 835 33554432000 134512640 135840783 4287145280 4287143936 135467970 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 1573 843 369 325 0 509 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6148

[startup+0.200283 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 8890
/proc/meminfo: memFree=28814196/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=8400 CPUtime=0.18 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 5230 0 0 0 18 0 0 0 20 0 1 0 335107789 8601600 1064 33554432000 134512640 135840783 4287145280 4287143452 135313376 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2100 1064 431 325 0 1036 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8400

[startup+0.300287 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 8890
/proc/meminfo: memFree=28814196/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=8516 CPUtime=0.29 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 9138 0 0 0 28 1 0 0 20 0 1 0 335107789 8720384 1079 33554432000 134512640 135840783 4287145280 4287142240 7734449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2129 1079 431 325 0 1065 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8516

[startup+0.700219 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 8890
/proc/meminfo: memFree=28814196/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=6304 CPUtime=0.69 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 28097 0 0 0 66 3 0 0 20 0 1 0 335107789 6455296 905 33554432000 134512640 135840783 4287145280 4287143824 135447564 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 1576 905 431 325 0 512 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6304

[startup+1.50021 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 8891
/proc/meminfo: memFree=28811592/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=8332 CPUtime=1.49 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 65847 0 0 0 140 9 0 0 20 0 1 0 335107789 8531968 1041 33554432000 134512640 135840783 4287145280 4287143800 135308447 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2083 1041 431 325 0 1019 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8332

[startup+3.10021 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 8891
/proc/meminfo: memFree=28809964/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=8816 CPUtime=3.09 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 99774 0 0 0 296 13 0 0 20 0 1 0 335107789 9027584 1535 33554432000 134512640 135840783 4287145280 4287142080 135265788 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2204 1535 431 325 0 1140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8816

[startup+6.30021 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 8891
/proc/meminfo: memFree=28808972/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=9276 CPUtime=6.29 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 99853 0 0 0 616 13 0 0 20 0 1 0 335107789 9498624 1614 33554432000 134512640 135840783 4287145280 4287142080 135267277 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2319 1614 431 325 0 1255 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9276

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 8891
/proc/meminfo: memFree=28807648/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=10396 CPUtime=12.68 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 101504 0 0 0 1255 13 0 0 20 0 1 0 335107789 10645504 1843 33554432000 134512640 135840783 4287145280 4287142416 134801995 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2599 1843 431 325 0 1535 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10396

[startup+25.5002 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 8891
/proc/meminfo: memFree=28807708/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=10792 CPUtime=25.49 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 104555 0 0 0 2535 14 0 0 20 0 1 0 335107789 11051008 1901 33554432000 134512640 135840783 4287145280 4287143536 135254164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2698 1901 431 325 0 1634 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10792

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8891
/proc/meminfo: memFree=28807832/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=11396 CPUtime=51.08 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 181596 0 0 0 5075 33 0 0 20 0 1 0 335107789 11669504 1918 33554432000 134512640 135840783 4287145280 4287143792 7734449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2849 1918 431 325 0 1785 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11396

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8931
/proc/meminfo: memFree=28838244/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=11140 CPUtime=102.28 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 764857 0 0 0 10084 144 0 0 20 0 1 0 335107789 11407360 1923 33554432000 134512640 135840783 4287145280 4287141740 135245565 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2785 1924 431 325 0 1721 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11140

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8931
/proc/meminfo: memFree=28836692/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=11640 CPUtime=162.26 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 1386051 0 0 0 15962 264 0 0 20 0 1 0 335107789 11919360 1931 33554432000 134512640 135840783 4287145280 4287142240 7734567 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2910 1931 431 325 0 1846 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 11640

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8934
/proc/meminfo: memFree=28836000/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12116 CPUtime=222.26 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 1896239 0 0 0 21877 349 0 0 20 0 1 0 335107789 12406784 2266 33554432000 134512640 135840783 4287145280 4287142368 135345304 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3029 2266 431 325 0 1965 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 12116

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8934
/proc/meminfo: memFree=28835388/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12572 CPUtime=282.24 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 1896398 0 0 0 27875 349 0 0 20 0 1 0 335107789 12873728 2425 33554432000 134512640 135840783 4287145280 4287141760 135261504 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3143 2425 431 325 0 2079 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 12572

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8934
/proc/meminfo: memFree=28835076/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12728 CPUtime=342.23 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 1896420 0 0 0 33874 349 0 0 20 0 1 0 335107789 13033472 2500 33554432000 134512640 135840783 4287145280 4287143264 9959039 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3182 2500 431 325 0 2118 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 12728

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8935
/proc/meminfo: memFree=28832540/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=13048 CPUtime=402.23 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 1917730 0 0 0 39869 354 0 0 20 0 1 0 335107789 13361152 2503 33554432000 134512640 135840783 4287145280 4287143824 135447520 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3262 2503 431 325 0 2198 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 13048

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9049
/proc/meminfo: memFree=28825340/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12868 CPUtime=462.21 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 2014446 0 0 0 45845 376 0 0 20 0 1 0 335107789 13176832 2514 33554432000 134512640 135840783 4287145280 4287142080 135267334 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3217 2514 431 325 0 2153 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 12868

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9049
/proc/meminfo: memFree=28818636/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12276 CPUtime=522.21 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 2219704 0 0 0 51798 423 0 0 20 0 1 0 335107789 12570624 2380 33554432000 134512640 135840783 4287145280 4287142096 7734449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3069 2380 431 325 0 2005 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 12276

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9049
/proc/meminfo: memFree=28815468/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12676 CPUtime=582.2 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 2313703 0 0 0 57776 444 0 0 20 0 1 0 335107789 12980224 2383 33554432000 134512640 135840783 4287145280 4287141792 135255738 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3169 2383 431 325 0 2105 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 12676

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9053
/proc/meminfo: memFree=28807328/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=13732 CPUtime=822.16 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 3401226 0 0 0 81535 681 0 0 20 0 1 0 335107789 14061568 2485 33554432000 134512640 135840783 4287145280 4287142240 7734449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3433 2485 431 325 0 2369 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 13732

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9053
/proc/meminfo: memFree=28807520/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=13744 CPUtime=882.16 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 3957018 0 0 0 87427 789 0 0 20 0 1 0 335107789 14073856 2467 33554432000 134512640 135840783 4287145280 4287144048 135336330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3436 2467 431 325 0 2372 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 13744

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9053
/proc/meminfo: memFree=28807580/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=13276 CPUtime=942.14 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 4599798 0 0 0 93304 910 0 0 20 0 1 0 335107789 13594624 2460 33554432000 134512640 135840783 4287145280 4287143184 135275248 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3319 2460 431 325 0 2255 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 13276

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9054
/proc/meminfo: memFree=28806524/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=14192 CPUtime=1002.14 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 4977874 0 0 0 99246 968 0 0 20 0 1 0 335107789 14532608 2831 33554432000 134512640 135840783 4287145280 4287143568 134694629 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3548 2831 431 325 0 2484 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 14192

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 9054
/proc/meminfo: memFree=28806648/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=14088 CPUtime=1062.13 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 5165591 0 0 0 105203 1010 0 0 20 0 1 0 335107789 14426112 2678 33554432000 134512640 135840783 4287145280 4287143452 135313361 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3522 2679 431 325 0 2458 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 14088

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 9055
/proc/meminfo: memFree=28807508/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=13696 CPUtime=1122.11 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 5613419 0 0 0 111112 1099 0 0 20 0 1 0 335107789 14024704 2470 33554432000 134512640 135840783 4287145280 4287143792 7734449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3424 2470 431 325 0 2360 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 13696

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9055
/proc/meminfo: memFree=28803108/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=13748 CPUtime=1182.1 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 6471298 0 0 0 116961 1249 0 0 20 0 1 0 335107789 14077952 2473 33554432000 134512640 135840783 4287145280 4287143792 7734567 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3437 2473 431 325 0 2373 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 13748

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9055
/proc/meminfo: memFree=28801184/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=14792 CPUtime=1242.1 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7279997 0 0 0 122830 1380 0 0 20 0 1 0 335107789 15147008 3000 33554432000 134512640 135840783 4287145280 4287142304 135188120 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3698 3000 431 325 0 2634 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 14792

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9056
/proc/meminfo: memFree=28800808/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15276 CPUtime=1302.09 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280115 0 0 0 128829 1380 0 0 20 0 1 0 335107789 15642624 3116 33554432000 134512640 135840783 4287145280 4287142332 134687736 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3819 3116 431 325 0 2755 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 15276

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9056
/proc/meminfo: memFree=28800684/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15596 CPUtime=1362.08 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280211 0 0 0 134828 1380 0 0 20 0 1 0 335107789 15970304 3212 33554432000 134512640 135840783 4287145280 4287141792 135255509 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3899 3212 431 325 0 2835 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 15596

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9059
/proc/meminfo: memFree=28800800/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15596 CPUtime=1422.07 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280220 0 0 0 140827 1380 0 0 20 0 1 0 335107789 15970304 3221 33554432000 134512640 135840783 4287145280 4287143968 134801064 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3899 3221 431 325 0 2835 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 15596

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9059
/proc/meminfo: memFree=28800436/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15596 CPUtime=1482.06 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280226 0 0 0 146826 1380 0 0 20 0 1 0 335107789 15970304 3227 33554432000 134512640 135840783 4287145280 4287144144 134783900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3899 3227 431 325 0 2835 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 15596

[startup+1542.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 9059
/proc/meminfo: memFree=28800560/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15596 CPUtime=1542.06 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280229 0 0 0 152826 1380 0 0 20 0 1 0 335107789 15970304 3230 33554432000 134512640 135840783 4287145280 4287143568 134694631 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3899 3230 431 325 0 2835 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 15596

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 9060
/proc/meminfo: memFree=28800560/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15596 CPUtime=1602.04 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280230 0 0 0 158824 1380 0 0 20 0 1 0 335107789 15970304 3231 33554432000 134512640 135840783 4287145280 4287143648 7732442 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3899 3231 431 325 0 2835 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 15596

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9060
/proc/meminfo: memFree=28800560/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15816 CPUtime=1662.03 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280250 0 0 0 164823 1380 0 0 20 0 1 0 335107789 16195584 3251 33554432000 134512640 135840783 4287145280 4287142208 134694618 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3954 3251 431 325 0 2890 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 15816

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9060
/proc/meminfo: memFree=28794540/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15824 CPUtime=1722.02 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7283270 0 0 0 170822 1380 0 0 20 0 1 0 335107789 16203776 3208 33554432000 134512640 135840783 4287145280 4287143712 135333516 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3956 3208 431 325 0 2892 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 15824

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 9060
/proc/meminfo: memFree=28794416/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15896 CPUtime=1782.01 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7290408 0 0 0 176819 1382 0 0 20 0 1 0 335107789 16277504 3247 33554432000 134512640 135840783 4287145280 4287143408 134700404 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3974 3247 431 325 0 2910 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 15896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9060
/proc/meminfo: memFree=28794540/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15892 CPUtime=1800.02 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7295085 0 0 0 178618 1384 0 0 20 0 1 0 335107789 16273408 3250 33554432000 134512640 135840783 4287145280 4287143580 135331819 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3973 3250 431 325 0 2909 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 15892

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.31
CPU time (s): 1800.03
CPU user time (s): 1786.19
CPU system time (s): 13.8429
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 15996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.19
system time used= 13.8429
maximum resident set size= 13164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7295087
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= 20
involuntary context switches= 1974

runsolver used 3.2605 second user time and 8.17576 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 04:17:10
IDJOB=3732406
IDBENCH=2055
IDSOLVER=2318
FILE ID=node133/3732406-1338689830
RUNJOBID= node133-1338678627-7099
PBS_JOBID= 14636680
Free space on /tmp= 70480 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732406-1338689830/watcher-3732406-1338689830 -o /tmp/evaluation-result-3732406-1338689830/solver-3732406-1338689830 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3732406-1338689830.opb            

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

MD5SUM BENCH= 82ceb454755e01aa6cecb68eb859eaa6
RANDOM SEED=111840743

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:        28814088 kB
Buffers:          382960 kB
Cached:          2732240 kB
SwapCached:          676 kB
Active:          1420052 kB
Inactive:        1757204 kB
Active(anon):      53092 kB
Inactive(anon):    10228 kB
Active(file):    1366960 kB
Inactive(file):  1746976 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:              6728 kB
Writeback:            36 kB
AnonPages:         67792 kB
Mapped:            12064 kB
Shmem:                 0 kB
Slab:             739124 kB
SReclaimable:     180652 kB
SUnreclaim:       558472 kB
KernelStack:        1472 kB
PageTables:         4164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     175968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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 04:47:12