Trace number 1878573

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 clSAT168 1798.24 1799.13

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUMd431323968e1ca4dc95d181076d01437
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark168
Best CPU time to get the best result obtained on this benchmark1798.24
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 154
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878573-1245146381.opb
0.00/0.00	c File size is 912900 bytes.
0.09/0.12	c Highest Coefficient sum: 1024
0.09/0.12	c Parsing was ok!!
0.09/0.12	c Total parsing time: 0.119 s
0.09/0.12	c Var: 1344 Constr: 16376 8488/496/7392 Lit: 97904 Watch. Lit: 37360
0.09/0.12	c Obj. Vars: 448 (33.3333 % of total variables)
0.29/0.36	c Pre-processing Time: 0.362 s
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        0   1344    16376    97904    5    59536  165154      0      0 0.36
0.29/0.36	c Switching off lower bounding mode.
0.29/0.39	c      103   1344    16479   101711    6    63016  181670    103    271 0.38
0.29/0.39	o 198
0.80/0.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.80/0.80	c      144   1344    16521   104140    6    63073  166050    145    368 0.39
0.80/0.80	c      245   1344    16622   111465    6    63996  182656    246    590 0.41
0.80/0.80	c      496   1344    16873   141040    8    62320  200922    497    986 0.50
0.80/0.80	c      971   1344    17348   200886   11    62714  221015    972   1438 0.68
0.80/0.80	o 196
0.80/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.80/0.86	c     1367   1344    17745   232800   13    63510  166050   1369   1691 0.81
0.80/0.86	c     1467   1344    17845   240309   13    63978  182656   1469   1740 0.84
0.80/0.86	o 188
1.69/1.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.75	c     1498   1344    17877   242678   13    64968  166050   1501   1737 0.86
1.69/1.75	c     1598   1344    17977   249559   13    63958  182656   1601   1773 0.90
1.69/1.75	c     1850   1344    18229   275682   15    64987  200922   1853   1840 1.00
1.69/1.75	c     2325   1344    18704   345896   18    66499  221015   2328   1848 1.26
1.69/1.75	c     3138   1344    19517   471375   24    66545  243117   3141   1828 1.72
1.69/1.75	o 186
3.89/3.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.98	c     3185   1344    19565   475571   24    66047  166050   3189   1816 1.75
3.89/3.98	c     3285   1344    19665   482622   24    67271  182656   3289   1804 1.82
3.89/3.98	c     3536   1344    19916   501981   25    69256  200922   3540   1768 2.00
3.89/3.98	c     4011   1344    20391   561217   27    71156  221015   4015   1714 2.34
3.89/3.98	c     4828   1344    21208   678895   32    73902  243117   4832   1655 2.92
3.89/3.98	c     6148   1344    22528   867063   38    73812  267429   6152   1560 3.94
3.89/3.98	o 184
8.29/8.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.29/8.36	c     6183   1344    22564   870436   38    74413  166050   6188   1553 3.98
8.29/8.36	c     6283   1344    22664   875971   38    73999  182656   6288   1549 4.06
8.29/8.36	c     6536   1344    22917   908762   39    75008  200922   6541   1495 4.37
8.29/8.36	c     7011   1344    23392   967826   41    76449  221015   7016   1464 4.79
8.29/8.36	c     7824   1344    24205  1081148   44    77147  243117   7829   1336 5.85
8.29/8.36	c     9144   1344    25525  1301956   51    79281  267429   9149   1206 7.58
8.29/8.36	o 182
9.89/9.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.89/9.93	c     9704   1344    26086  1369254   52    80837  166050   9710   1160 8.36
9.89/9.93	c     9804   1344    26186  1379716   52    81201  182656   9810   1157 8.47
9.89/9.93	c    10054   1344    26436  1408236   53    81521  200922  10060   1137 8.84
9.89/9.93	c    10529   1344    26911  1461752   54    83479  221015  10535   1114 9.45
9.89/9.93	o 168
1798.09/1799.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.09/1799.02	c    11056   1344    27439  1523513   55    84298  166050  11063   1113 9.93
1798.09/1799.02	c    11158   1344    27541  1531182   55    84215  182656  11165   1106 10.09
1798.09/1799.02	c    11408   1344    27791  1555971   55    85600  200922  11415   1105 10.32
1798.09/1799.02	c    11884   1344    28267  1608037   56    83950  221015  11891   1082 10.98
1798.09/1799.02	c    12697   1344    29080  1769286   60    88822  243117  12704   1048 12.12
1798.09/1799.02	c    14018   1344    30401  1898229   62    91520  267429  14025   1033 13.57
1798.09/1799.02	c    16101   1344    32484  2252352   69    97046  294172  16108    941 17.11
1798.09/1799.02	c    19326   1344    35709  2781781   77   101498  323590  19333    841 22.97
1798.09/1799.02	c    24262   1344    40645  3787581   93   109385  355950  24269    611 39.68
1798.09/1799.02	c    31772   1344    48155  5525343  114   126400  391546  31779    486 65.29
1798.09/1799.02	c    43133   1344    59516  7546402  126   144700  430701  43140    314 137.25
1798.09/1799.02	c    60277   1344    76660 14203074  185   184111  473772  60284    224 267.97
1798.09/1799.02	c    86096   1344   102479 22603982  220   239481  521150  86103    158 542.25
1798.09/1799.03	c   124928   1344   141311 37233155  263   311979  573266 124935    106 1171.86
1798.09/1799.03	c Resources Exceeded
1798.09/1799.03	v 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 -x2 -x66 -x130 -x194 x258 -x322 -x386 -x450 -x514 -x578 -x642 -x706 -x770 -x834 -x3 x67 -x131 -x195 -x259 -x323 -x387 -x451 -x515 -x579 -x643 -x707 -x771 -x835 -x4 -x68 -x132 -x196 -x260 -x324 -x388 -x452 -x516 -x580 -x644 -x708 x772 -x836 -x5 -x69 -x133 -x197 -x261 -x325 -x389 -x453 -x517 -x581 -x645 x709 -x773 -x837 -x6 -x70 x134 -x198 -x262 -x326 -x390 -x454 -x518 -x582 -x646 -x710 -x774 -x838 x7 -x71 -x135 -x199 -x263 -x327 -x391 -x455 -x519 -x583 -x647 -x711 -x775 -x839 -x8 -x72 -x136 -x200 -x264 -x328 -x392 x456 -x520 -x584 -x648 -x712 -x776 -x840 -x9 -x73 -x137 -x201 -x265 -x329 -x393 -x457 -x521 x585 -x649 -x713 -x777 -x841 -x11 -x75 -x139 -x203 -x267 -x331 x395 -x459 -x523 -x587 -x651 -x715 -x779 -x843 -x12 -x76 -x140 -x204 -x268 -x332 -x396 -x460 -x524 -x588 -x652 x716 -x780 -x844 -x13 -x77 -x141 -x205 -x269 x333 -x397 -x461 -x525 -x589 -x653 -x717 -x781 -x845 -x14 -x78 -x142 -x206 -x270 -x334 -x398 -x462 x526 -x590 -x654 -x718 -x782 -x846 -x15 x79 -x143 -x207 -x271 -x335 -x399 -x463 -x527 -x591 -x655 -x719 -x783 -x847 x16 -x80 -x144 -x208 -x272 -x336 -x400 -x464 -x528 -x592 -x656 -x720 -x784 -x848 -x17 -x81 -x145 -x209 -x273 -x337 -x401 -x465 x529 -x593 -x657 -x721 -x785 -x849 -x18 -x82 -x146 -x210 -x274 -x338 -x402 -x466 -x530 -x594 x658 -x722 -x786 -x850 x20 -x84 -x148 -x212 -x276 -x340 -x404 -x468 -x532 -x596 -x660 -x724 -x788 -x852 -x21 -x85 -x149 -x213 x277 -x341 -x405 -x469 -x533 -x597 -x661 -x725 -x789 -x853 -x22 -x86 -x150 x214 -x278 -x342 -x406 -x470 -x534 -x598 -x662 -x726 -x790 -x854 -x23 -x87 x151 -x215 -x279 -x343 -x407 -x471 -x535 -x599 -x663 -x727 -x791 -x855 -x24 -x88 -x152 -x216 -x280 -x344 -x408 -x472 -x536 x600 -x664 -x728 -x792 -x856 -x25 -x89 -x153 -x217 -x281 -x345 x409 -x473 -x537 -x601 -x665 -x729 -x793 -x857 -x26 -x90 -x154 x218 -x282 -x346 -x410 -x474 -x538 -x602 -x666 -x730 -x794 -x858 -x27 -x91 -x155 -x219 -x283 -x347 -x411 x475 -x539 -x603 -x667 -x731 -x795 -x859 -x29 -x93 -x157 -x221 -x285 -x349 -x413 -x477 -x541 -x605 x669 -x733 -x797 -x861 -x30 x94 -x158 -x222 -x286 -x350 -x414 -x478 -x542 -x606 -x670 -x734 -x798 -x862 -x31 -x95 -x159 -x223 -x287 x351 -x415 -x479 -x543 -x607 -x671 -x735 -x799 -x863 -x32 -x96 x160 -x224 -x288 -x352 -x416 -x480 -x544 -x608 -x672 -x736 -x800 -x864 -x33 -x97 -x161 x225 -x289 -x353 -x417 -x481 -x545 -x609 -x673 -x737 -x801 -x865 -x34 -x98 x162 -x226 -x290 -x354 -x418 -x482 -x546 -x610 -x674 -x738 -x802 -x866 -x35 -x99 -x163 -x227 -x291 -x355 -x419 -x483 -x547 -x611 -x675 -x739 x803 -x867 -x36 -x100 -x164 -x228 -x292 -x356 -x420 -x484 -x548 -x612 -x676 -x740 -x804 x868 -x38 -x102 -x166 -x230 -x294 -x358 -x422 x486 -x550 -x614 -x678 -x742 -x806 -x870 -x39 -x103 -x167 -x231 -x295 -x359 -x423 -x487 -x551 x615 -x679 -x743 -x807 -x871 -x40 -x104 -x168 -x232 -x296 -x360 -x424 -x488 x552 -x616 -x680 -x744 -x808 -x872 -x41 -x105 -x169 -x233 -x297 x361 -x425 -x489 -x553 -x617 -x681 -x745 -x809 -x873 -x42 -x106 -x170 -x234 -x298 -x362 -x426 -x490 -x554 -x618 -x682 -x746 x810 -x874 -x43 -x107 -x171 -x235 -x299 -x363 -x427 -x491 -x555 -x619 -x683 -x747 -x811 x875 -x44 -x108 -x172 -x236 -x300 -x364 -x428 -x492 -x556 x620 -x684 -x748 -x812 -x876 x45 -x109 -x173 -x237 -x301 -x365 -x429 -x493 -x557 -x621 -x685 -x749 -x813 -x877 -x47 -x111 -x175 -x239 x303 -x367 -x431 -x495 -x559 -x623 -x687 -x751 -x815 -x879 -x48 -x112 -x176 -x240 -x304 -x368 -x432 -x496 -x560 -x624 -x688 x752 -x816 -x880 -x49 -x113 -x177 -x241 -x305 -x369 -x433 -x497 -x561 -x625 -x689 -x753 -x817 x881 -x50 -x114 -x178 -x242 -x306 -x370 -x434 x498 -x562 -x626 -x690 -x754 -x818 -x882 -x51 -x115 -x179 -x243 -x307 -x371 -x435 -x499 -x563 -x627 -x691 x755 -x819 -x883 -x52 -x116 -x180 -x244 -x308 -x372 -x436 -x500 x564 -x628 -x692 -x756 -x820 -x884 -x53 -x117 -x181 -x245 -x309 -x373 x437 -x501 -x565 -x629 -x693 -x757 -x821 -x885 -x54 -x118 -x182 -x246 -x310 -x374 -x438 -x502 -x566 -x630 x694 -x758 -x822 -x886 -x56 -x120 -x184 x248 -x312 -x376 -x440 -x504 -x568 -x632 -x696 -x760 -x824 -x888 -x57 -x121 -x185 -x249 -x313 -x377 -x441 -x505 -x569 -x633 x697 -x761 -x825 -x889 -x58 -x122 -x186 -x250 -x314 -x378 -x442 -x506 -x570 -x634 -x698 -x762 -x826 x890 -x59 -x123 -x187 -x251 -x315 x379 -x443 -x507 -x571 -x635 -x699 -x763 -x827 -x891 -x60 -x124 -x188 -x252 x316 -x380 -x444 -x508 -x572 -x636 -x700 -x764 -x828 -x892 -x61 x125 -x189 -x253 -x317 -x381 -x445 -x509 -x573 -x637 -x701 -x765 -x829 -x893 -x62 -x126 -x190 -x254 -x318 -x382 x446 -x510 -x574 -x638 -x702 -x766 -x830 -x894 -x63 -x127 -x191 -x255 -x319 -x383 -x447 -x511 -x575 -x639 -x703 -x767 x831 -x895 -x10 -x74 x138 x202 x266 -x330 -x394 x458 -x522 -x586 x650 -x714 x778 x842 -x19 x83 -x147 -x211 -x275 x339 x403 x467 -x531 -x595 -x659 x723 x787 x851 x28 -x92 -x156 -x220 x284 -x348 -x412 -x476 x540 x604 -x668 x732 x796 x860 x37 x101 -x165 -x229 x293 x357 x421 -x485 -x549 -x613 x677 x741 -x805 -x869 -x46 x110 x174 x238 -x302 -x366 x430 x494 x558 -x622 x686 -x750 -x814 -x878 x55 x119 x183 -x247 x311 x375 -x439 -x503 -x567 x631 -x695 -x759 x823 -x887 x64 -x128 x192 x256 -x320 -x384 -x448 x512 x576 x640 -x704 x768 -x832 -x896 -x1 -x65 -x129 x193 -x257 x321 x385 -x449 x513 x577 x641 -x705 -x769 x833 
1798.09/1799.03	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.09/1799.03	c   42   152816  45581   349123   169199 45705218 152823     84 1798.13
1798.09/1799.03	c Objective: 168
1798.09/1799.03	s SATISFIABLE
1798.09/1799.03	c Total time: 1798.13 s

Verifier Data 

OK	168

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878573-1245146381/watcher-1878573-1245146381 -o /tmp/evaluation-result-1878573-1245146381/solver-1878573-1245146381 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878573-1245146381.opb 

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 2943
/proc/meminfo: memFree=1861824/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=11608 CPUtime=0
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 182238979 11886592 252 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 2902 253 176 640 0 2035 0

[startup+0.0357479 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 2943
/proc/meminfo: memFree=1861824/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=12428 CPUtime=0.03
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 529 0 0 0 3 0 0 0 18 0 1 0 182238979 12726272 513 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 3107 513 234 640 0 2240 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12428

[startup+0.101762 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 2943
/proc/meminfo: memFree=1861824/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=13636 CPUtime=0.09
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 942 0 0 0 9 0 0 0 18 0 1 0 182238979 13963264 926 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 3409 926 355 640 0 2542 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13636

[startup+0.301799 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 2943
/proc/meminfo: memFree=1861824/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=16196 CPUtime=0.29
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 1862 0 0 0 28 1 0 0 20 0 1 0 182238979 16584704 1623 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 4049 1623 191 640 0 3405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16196

[startup+0.701875 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 2943
/proc/meminfo: memFree=1861824/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=16400 CPUtime=0.69
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 2169 0 0 0 67 2 0 0 23 0 1 0 182238979 16793600 1697 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 4100 1698 197 640 0 3456 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16400

[startup+1.50203 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 2944
/proc/meminfo: memFree=1854968/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=19032 CPUtime=1.49
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 2809 0 0 0 145 4 0 0 25 0 1 0 182238979 19488768 2337 1992294400 134512640 137136520 4294956256 18446744073709551615 134571152 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 4758 2337 197 640 0 4114 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19032

[startup+3.10133 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 2944
/proc/meminfo: memFree=1851640/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=23008 CPUtime=3.09
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 3811 0 0 0 303 6 0 0 25 0 1 0 182238979 23560192 3339 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 5752 3339 197 640 0 5108 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23008

[startup+6.30195 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 2944
/proc/meminfo: memFree=1844600/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=28680 CPUtime=6.29
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 5231 0 0 0 621 8 0 0 25 0 1 0 182238979 29368320 4759 1992294400 134512640 137136520 4294956256 18446744073709551615 134544852 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 7170 4759 197 640 0 6526 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28680

[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 2944
/proc/meminfo: memFree=1834744/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=38296 CPUtime=12.69
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 7624 0 0 0 1258 11 0 0 25 0 1 0 182238979 39215104 7152 1992294400 134512640 137136520 4294956256 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 9574 7152 197 640 0 8930 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38296

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 2944
/proc/meminfo: memFree=1819576/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=52660 CPUtime=25.47
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 11234 0 0 0 2533 14 0 0 25 0 1 0 182238979 53923840 10762 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 13165 10762 197 640 0 12521 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 52660

[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 2944
/proc/meminfo: memFree=1798328/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=74296 CPUtime=51.06
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 16643 0 0 0 5084 22 0 0 25 0 1 0 182238979 76079104 16171 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 18574 16171 197 640 0 17930 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 74296

[startup+102.305 s]
/proc/loadavg: 1.15 1.02 0.99 2/65 2950
/proc/meminfo: memFree=1769016/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=102780 CPUtime=102.24
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 23751 0 0 0 10193 31 0 0 25 0 1 0 182238979 105246720 23279 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 25695 23279 197 640 0 25051 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 102780

[startup+162.303 s]
/proc/loadavg: 1.09 1.03 0.99 2/65 2950
/proc/meminfo: memFree=1742840/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=129264 CPUtime=162.21
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 30367 0 0 0 16181 40 0 0 25 0 1 0 182238979 132366336 29895 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 32316 29895 197 640 0 31672 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 129264

[startup+222.301 s]
/proc/loadavg: 1.14 1.05 1.01 2/65 2950
/proc/meminfo: memFree=1703352/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=168352 CPUtime=222.19
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 40157 0 0 0 22169 50 0 0 25 0 1 0 182238979 172392448 39685 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 42088 39685 197 640 0 41444 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 168352

[startup+282.302 s]
/proc/loadavg: 1.12 1.05 1.00 2/65 2950
/proc/meminfo: memFree=1665592/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=206292 CPUtime=282.16
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 49641 0 0 0 28158 58 0 0 25 0 1 0 182238979 211243008 49169 1992294400 134512640 137136520 4294956256 18446744073709551615 134571152 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 51573 49169 197 640 0 50929 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 206292

[startup+342.301 s]
/proc/loadavg: 1.04 1.04 1.00 2/65 2950
/proc/meminfo: memFree=1636920/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=234664 CPUtime=342.13
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 56736 0 0 0 34147 66 0 0 25 0 1 0 182238979 240295936 56264 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 58666 56264 197 640 0 58022 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 234664

[startup+402.302 s]
/proc/loadavg: 1.11 1.06 1.01 2/65 2950
/proc/meminfo: memFree=1611256/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=260796 CPUtime=402.1
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 63255 0 0 0 40138 72 0 0 25 0 1 0 182238979 267055104 62783 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 65199 62783 197 640 0 64555 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 260796

[startup+462.301 s]
/proc/loadavg: 1.10 1.06 1.01 2/65 2950
/proc/meminfo: memFree=1588280/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=283312 CPUtime=462.06
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 68883 0 0 0 46128 78 0 0 25 0 1 0 182238979 290111488 68411 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 70828 68411 197 640 0 70184 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 283312

[startup+522.302 s]
/proc/loadavg: 1.03 1.05 1.00 2/65 2950
/proc/meminfo: memFree=1568440/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=303412 CPUtime=522.03
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 73910 0 0 0 52120 83 0 0 25 0 1 0 182238979 310693888 73438 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 75853 73438 197 640 0 75209 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 303412

[startup+582.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 2950
/proc/meminfo: memFree=1547768/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=323676 CPUtime=582.01
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 78987 0 0 0 58111 90 0 0 25 0 1 0 182238979 331444224 78515 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 80919 78515 197 640 0 80275 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 323676

[startup+642.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 2950
/proc/meminfo: memFree=1523320/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=347928 CPUtime=641.98
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 85028 0 0 0 64102 96 0 0 25 0 1 0 182238979 356278272 84556 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 86982 84556 197 640 0 86338 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 347928

[startup+702.301 s]

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

/proc/meminfo: memFree=1396728/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=474312 CPUtime=1061.76
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 116637 0 0 0 106049 127 0 0 25 0 1 0 182238979 485695488 116165 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 118578 116165 197 640 0 117934 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 474312

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1381304/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=489556 CPUtime=1121.73
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 120442 0 0 0 112041 132 0 0 25 0 1 0 182238979 501305344 119970 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 122389 119970 197 640 0 121745 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 489556

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1368632/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=502200 CPUtime=1181.7
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 123603 0 0 0 118035 135 0 0 25 0 1 0 182238979 514252800 123131 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 125550 123131 197 640 0 124906 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 502200

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1358328/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=512296 CPUtime=1241.68
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 126128 0 0 0 124029 139 0 0 25 0 1 0 182238979 524591104 125656 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 128074 125656 197 640 0 127430 0
Current children cumulated CPU time (s) 1241.68
Current children cumulated vsize (KiB) 512296

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1346872/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=523580 CPUtime=1301.65
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 128945 0 0 0 130024 141 0 0 25 0 1 0 182238979 536145920 128473 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 130895 128473 197 640 0 130251 0
Current children cumulated CPU time (s) 1301.65
Current children cumulated vsize (KiB) 523580

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1334904/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=535608 CPUtime=1361.61
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 131960 0 0 0 136017 144 0 0 25 0 1 0 182238979 548462592 131488 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 133902 131488 197 640 0 133258 0
Current children cumulated CPU time (s) 1361.61
Current children cumulated vsize (KiB) 535608

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1324024/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=546388 CPUtime=1421.59
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 134641 0 0 0 142012 147 0 0 25 0 1 0 182238979 559501312 134169 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 136597 134169 197 640 0 135953 0
Current children cumulated CPU time (s) 1421.59
Current children cumulated vsize (KiB) 546388

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1314488/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=555964 CPUtime=1481.56
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 137048 0 0 0 148006 150 0 0 25 0 1 0 182238979 569307136 136576 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 138991 136576 197 640 0 138347 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 555964

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1302648/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=567740 CPUtime=1541.53
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 139981 0 0 0 153999 154 0 0 25 0 1 0 182238979 581365760 139509 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 141935 139509 197 640 0 141291 0
Current children cumulated CPU time (s) 1541.53
Current children cumulated vsize (KiB) 567740

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1292536/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=577956 CPUtime=1601.49
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 142530 0 0 0 159993 156 0 0 25 0 1 0 182238979 591826944 142058 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 144489 142058 197 640 0 143845 0
Current children cumulated CPU time (s) 1601.49
Current children cumulated vsize (KiB) 577956

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1282296/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=587956 CPUtime=1661.47
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 145059 0 0 0 165988 159 0 0 25 0 1 0 182238979 602066944 144587 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 146989 144587 197 640 0 146345 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 587956

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1272312/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=598036 CPUtime=1721.44
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 147574 0 0 0 171983 161 0 0 25 0 1 0 182238979 612388864 147102 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 149509 147102 197 640 0 148865 0
Current children cumulated CPU time (s) 1721.44
Current children cumulated vsize (KiB) 598036

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1261368/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=608816 CPUtime=1781.41
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 150245 0 0 0 177977 164 0 0 25 0 1 0 182238979 623427584 149773 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 152204 149773 197 640 0 151560 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (KiB) 608816

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1259448/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=610596 CPUtime=1791
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 150702 0 0 0 178936 164 0 0 25 0 1 0 182238979 625250304 150230 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 152649 150230 197 640 0 152005 0
Current children cumulated CPU time (s) 1791
Current children cumulated vsize (KiB) 610596

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1258872/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=611192 CPUtime=1794.2
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 150845 0 0 0 179256 164 0 0 25 0 1 0 182238979 625860608 150373 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 152798 150373 197 640 0 152154 0
Current children cumulated CPU time (s) 1794.2
Current children cumulated vsize (KiB) 611192

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1258744/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=611312 CPUtime=1795.8
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 150893 0 0 0 179416 164 0 0 25 0 1 0 182238979 625983488 150421 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 152828 150421 197 640 0 152184 0
Current children cumulated CPU time (s) 1795.8
Current children cumulated vsize (KiB) 611312

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1258616/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=611556 CPUtime=1797.39
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 150951 0 0 0 179575 164 0 0 25 0 1 0 182238979 626233344 150479 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 152889 150479 197 640 0 152245 0
Current children cumulated CPU time (s) 1797.39
Current children cumulated vsize (KiB) 611556

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1258424/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=611672 CPUtime=1797.79
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194304 150966 0 0 0 179615 164 0 0 25 0 1 0 182238979 626352128 150494 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2943/statm: 152918 150494 197 640 0 152274 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 611672

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2950
/proc/meminfo: memFree=1258424/2055920 swapFree=4183064/4192956
[pid=2943] ppid=2941 vsize=0 CPUtime=1798.2
/proc/2943/stat : 2943 (bsolo) R 2941 2943 2871 0 -1 4194308 150976 0 0 0 179648 172 0 0 17 0 1 0 182238979 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2943/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1799.13
CPU time (s): 1798.24
CPU user time (s): 1796.49
CPU system time (s): 1.74873
CPU usage (%): 99.9503
Max. virtual memory (cumulated for all children) (KiB): 611672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.49
system time used= 1.74873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150976
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= 5
involuntary context switches= 5943

runsolver used 1.77373 second user time and 4.77627 second system time

The end

Launcher Data 

Begin job on node5 at 2009-06-16 11:59:41
IDJOB=1878573
IDBENCH=2006
IDSOLVER=700
FILE ID=node5/1878573-1245146381
PBS_JOBID= 9363768
Free space on /tmp= 66256 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878573-1245146381/watcher-1878573-1245146381 -o /tmp/evaluation-result-1878573-1245146381/solver-1878573-1245146381 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878573-1245146381.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d431323968e1ca4dc95d181076d01437
RANDOM SEED=1748155106

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1862304 kB
Buffers:         32120 kB
Cached:          81972 kB
SwapCached:       3684 kB
Active:          35024 kB
Inactive:        86968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862304 kB
SwapTotal:     4192956 kB
SwapFree:      4183064 kB
Dirty:            4832 kB
Writeback:           0 kB
Mapped:          14596 kB
Slab:            57668 kB
Committed_AS:   148412 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878573-1245146381.opb

Free space on /tmp at the end= 66252 MiB
End job on node5 at 2009-06-16 12:29:40