Trace number 2657509

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
bsolo 3.2 ClSAT168 1798.07 1798.5

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 benchmark164
Best CPU time to get the best result obtained on this benchmark1800.25
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.2 - 23/05/2010 : 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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657509-1276396856.opb
0.00/0.00	c File size is 912900 bytes.
0.09/0.15	c Highest Coefficient sum: 1024
0.09/0.15	c Parsing was ok!!
0.09/0.15	c Total parsing time: 0.156 s
0.09/0.16	c Var: 1344 Constr: 16376 8488/496/7392 Lit: 97904 Watch. Lit: 37360
0.09/0.16	c Obj. Vars: 448 (33.3333 % of total variables)
0.39/0.41	c Pre-processing Time: 0.415 s
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0   1344    16376    97904    5    59536  165154      0      0 0.41
0.39/0.41	c Switching off lower bounding mode.
0.39/0.44	c      103   1344    16479   101711    6    63016  181670    103    237 0.43
0.39/0.44	o 198
0.79/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.89	c      144   1344    16521   104140    6    63073  166050    145    322 0.45
0.79/0.89	c      245   1344    16622   111465    6    63996  182656    246    520 0.47
0.79/0.89	c      496   1344    16873   141040    8    62320  200922    497    877 0.56
0.79/0.89	c      971   1344    17348   200886   11    62714  221015    972   1298 0.75
0.79/0.89	o 196
0.89/0.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.94	c     1367   1344    17745   232800   13    63510  166050   1369   1535 0.89
0.89/0.94	c     1467   1344    17845   240309   13    63978  182656   1469   1580 0.93
0.89/0.94	o 188
1.79/1.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.89	c     1498   1344    17877   242678   13    64968  166050   1501   1580 0.95
1.79/1.89	c     1598   1344    17977   249559   13    63958  182656   1601   1615 0.99
1.79/1.89	c     1850   1344    18229   275682   15    64987  200922   1853   1681 1.10
1.79/1.89	c     2325   1344    18704   345896   18    66499  221015   2328   1699 1.37
1.79/1.89	c     3138   1344    19517   471375   24    66545  243117   3141   1692 1.85
1.79/1.89	o 186
4.19/4.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.23	c     3185   1344    19565   475571   24    66047  166050   3189   1682 1.89
4.19/4.23	c     3285   1344    19665   482622   24    67271  182656   3289   1672 1.96
4.19/4.23	c     3536   1344    19916   501981   25    69256  200922   3540   1642 2.15
4.19/4.23	c     4011   1344    20391   561217   27    71156  221015   4015   1597 2.51
4.19/4.23	c     4828   1344    21208   678895   32    73902  243117   4832   1547 3.12
4.19/4.23	c     6148   1344    22528   867063   38    73812  267429   6152   1466 4.19
4.19/4.23	o 184
8.79/8.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.79/8.82	c     6183   1344    22564   870436   38    74413  166050   6188   1459 4.24
8.79/8.82	c     6283   1344    22664   875971   38    73999  182656   6288   1456 4.31
8.79/8.82	c     6536   1344    22917   908762   39    75008  200922   6541   1409 4.64
8.79/8.82	c     7011   1344    23392   967826   41    76449  221015   7016   1381 5.08
8.79/8.82	c     7824   1344    24205  1081148   44    77147  243117   7829   1264 6.19
8.79/8.82	c     9144   1344    25525  1301956   51    79281  267429   9149   1143 8.00
8.79/8.82	o 182
10.39/10.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.39/10.46	c     9704   1344    26086  1369254   52    80837  166050   9710   1100 8.82
10.39/10.46	c     9804   1344    26186  1379716   52    81201  182656   9810   1097 8.93
10.39/10.46	c    10054   1344    26436  1408236   53    81521  200922  10060   1078 9.32
10.39/10.46	c    10529   1344    26911  1461752   54    83479  221015  10535   1057 9.96
10.39/10.46	o 168
1797.96/1798.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.44	c    11056   1344    27439  1523513   55    84298  166050  11063   1056 10.46
1797.96/1798.44	c    11158   1344    27541  1531182   55    84215  182656  11165   1050 10.62
1797.96/1798.44	c    11408   1344    27791  1555971   55    85600  200922  11415   1049 10.87
1797.96/1798.44	c    11884   1344    28267  1608037   56    83950  221015  11891   1028 11.56
1797.96/1798.44	c    12697   1344    29080  1769286   60    88822  243117  12704    995 12.75
1797.96/1798.44	c    14018   1344    30401  1898229   62    91520  267429  14025    982 14.27
1797.96/1798.44	c    16101   1344    32484  2252352   69    97046  294172  16108    896 17.95
1797.96/1798.44	c    19326   1344    35709  2781781   77   101498  323590  19333    804 24.02
1797.96/1798.44	c    24262   1344    40645  3787581   93   109385  355950  24269    587 41.27
1797.96/1798.44	c    31772   1344    48155  5525343  114   126400  391546  31779    469 67.72
1797.96/1798.44	c    43133   1344    59516  7546402  126   144700  430701  43140    304 141.78
1797.96/1798.44	c    60277   1344    76660 14203074  185   184111  473772  60284    218 276.08
1797.96/1798.44	c    86096   1344   102479 22603982  220   239481  521150  86103    154 557.38
1797.96/1798.44	c   124928   1344   141311 37233155  263   311979  573266 124935    103 1202.73
1797.96/1798.44	c Resources Exceeded
1797.96/1798.44	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 
1797.96/1798.44	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.44	c   42   151199  45129   345980   167582 45122187 151206     84 1798.00
1797.96/1798.44	c Objective: 168
1797.96/1798.44	s SATISFIABLE
1797.96/1798.44	c Total time: 1798.01 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-2657509-1276396856/watcher-2657509-1276396856 -o /tmp/evaluation-result-2657509-1276396856/solver-2657509-1276396856 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657509-1276396856.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.92 0.99 1.12 3/106 20635
/proc/meminfo: memFree=1790876/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=11824 CPUtime=0
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 346 0 0 0 0 0 0 0 15 0 1 0 15289576 12107776 265 1992294400 134512640 137138936 4294549472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 2956 265 175 642 0 2089 0

[startup+0.0373779 s]
/proc/loadavg: 0.92 0.99 1.12 3/106 20635
/proc/meminfo: memFree=1790876/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=12368 CPUtime=0.03
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 532 0 0 0 3 0 0 0 18 0 1 0 15289576 12664832 451 1992294400 134512640 137138936 4294549472 18446744073709551615 134520189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 3092 451 218 642 0 2225 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12368

[startup+0.101368 s]
/proc/loadavg: 0.92 0.99 1.12 3/106 20635
/proc/meminfo: memFree=1790876/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=13312 CPUtime=0.09
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 877 0 0 0 9 0 0 0 18 0 1 0 15289576 13631488 796 1992294400 134512640 137138936 4294549472 18446744073709551615 136396439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 3328 796 313 642 0 2461 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13312

[startup+0.301384 s]
/proc/loadavg: 0.92 0.99 1.12 3/106 20635
/proc/meminfo: memFree=1790876/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=16264 CPUtime=0.29
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 1921 0 0 0 28 1 0 0 18 0 1 0 15289576 16654336 1617 1992294400 134512640 137138936 4294549472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 4066 1617 185 642 0 3422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16264

[startup+0.701417 s]
/proc/loadavg: 0.92 0.99 1.12 3/106 20635
/proc/meminfo: memFree=1790876/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=16224 CPUtime=0.69
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 2162 0 0 0 66 3 0 0 18 0 1 0 15289576 16613376 1625 1992294400 134512640 137138936 4294549472 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 4056 1625 191 642 0 3412 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16224

[startup+1.50148 s]
/proc/loadavg: 0.92 0.99 1.12 2/107 20636
/proc/meminfo: memFree=1784048/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=18632 CPUtime=1.49
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 2751 0 0 0 146 3 0 0 19 0 1 0 15289576 19079168 2214 1992294400 134512640 137138936 4294549472 18446744073709551615 134542560 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 4658 2214 191 642 0 4014 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18632

[startup+3.10161 s]
/proc/loadavg: 0.92 0.99 1.12 2/107 20636
/proc/meminfo: memFree=1780824/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=22716 CPUtime=3.09
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 3773 0 0 0 304 5 0 0 23 0 1 0 15289576 23261184 3236 1992294400 134512640 137138936 4294549472 18446744073709551615 136297617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 5679 3236 191 642 0 5035 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22716

[startup+6.30087 s]
/proc/loadavg: 0.93 0.99 1.12 2/107 20636
/proc/meminfo: memFree=1774004/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=28260 CPUtime=6.29
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 5162 0 0 0 621 8 0 0 25 0 1 0 15289576 28938240 4625 1992294400 134512640 137138936 4294549472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 7065 4625 191 642 0 6421 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28260

[startup+12.7014 s]
/proc/loadavg: 0.93 0.99 1.12 2/107 20636
/proc/meminfo: memFree=1764828/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=37404 CPUtime=12.69
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 7449 0 0 0 1256 13 0 0 25 0 1 0 15289576 38301696 6912 1992294400 134512640 137138936 4294549472 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 9351 6912 191 642 0 8707 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37404

[startup+25.5004 s]
/proc/loadavg: 0.95 0.99 1.12 2/107 20636
/proc/meminfo: memFree=1749080/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=52016 CPUtime=25.48
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 11103 0 0 0 2528 20 0 0 25 0 1 0 15289576 53264384 10566 1992294400 134512640 137138936 4294549472 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 13004 10566 191 642 0 12360 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52016

[startup+51.1005 s]
/proc/loadavg: 0.96 0.99 1.11 2/107 20638
/proc/meminfo: memFree=1728992/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=72416 CPUtime=51.08
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 16204 0 0 0 5080 28 0 0 25 0 1 0 15289576 74153984 15667 1992294400 134512640 137138936 4294549472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 18104 15667 191 642 0 17460 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72416

[startup+102.308 s]
/proc/loadavg: 0.98 0.99 1.10 2/107 20638
/proc/meminfo: memFree=1698984/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=101660 CPUtime=102.27
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 23502 0 0 0 10187 40 0 0 25 0 1 0 15289576 104099840 22965 1992294400 134512640 137138936 4294549472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 25415 22965 191 642 0 24771 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 101660

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 1.09 2/107 20640
/proc/meminfo: memFree=1674680/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=126340 CPUtime=162.25
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 29687 0 0 0 16174 51 0 0 25 0 1 0 15289576 129372160 29150 1992294400 134512640 137138936 4294549472 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 31585 29150 191 642 0 30941 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 126340

[startup+222.3 s]
/proc/loadavg: 0.99 0.99 1.08 2/107 20642
/proc/meminfo: memFree=1637356/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=163392 CPUtime=222.24
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 38951 0 0 0 22161 63 0 0 25 0 1 0 15289576 167313408 38414 1992294400 134512640 137138936 4294549472 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 40848 38414 191 642 0 40204 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 163392

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 1.08 2/107 20644
/proc/meminfo: memFree=1597800/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=203000 CPUtime=282.22
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 48849 0 0 0 28148 74 0 0 25 0 1 0 15289576 207872000 48312 1992294400 134512640 137138936 4294549472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 50750 48312 191 642 0 50106 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 203000

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 1.07 2/107 20646
/proc/meminfo: memFree=1569156/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=231328 CPUtime=342.21
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 55921 0 0 0 34136 85 0 0 25 0 1 0 15289576 236879872 55384 1992294400 134512640 137138936 4294549472 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 57832 55384 191 642 0 57188 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 231328

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 1.07 2/107 20646
/proc/meminfo: memFree=1545844/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=254840 CPUtime=402.19
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 61805 0 0 0 40125 94 0 0 25 0 1 0 15289576 260956160 61268 1992294400 134512640 137138936 4294549472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 63710 61268 191 642 0 63066 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 254840

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 1.06 2/107 20648
/proc/meminfo: memFree=1521168/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=279148 CPUtime=462.18
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 67882 0 0 0 46117 101 0 0 25 0 1 0 15289576 285847552 67345 1992294400 134512640 137138936 4294549472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 69787 67345 191 642 0 69143 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 279148

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 1.06 2/107 20650
/proc/meminfo: memFree=1501700/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=298708 CPUtime=522.16
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 72780 0 0 0 52108 108 0 0 25 0 1 0 15289576 305876992 72243 1992294400 134512640 137138936 4294549472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 74677 72243 191 642 0 74033 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 298708

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 1.05 2/107 20652
/proc/meminfo: memFree=1482480/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=317628 CPUtime=582.15
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 77513 0 0 0 58100 115 0 0 25 0 1 0 15289576 325251072 76976 1992294400 134512640 137138936 4294549472 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 79407 76976 191 642 0 78763 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 317628

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 1.04 2/107 20654
/proc/meminfo: memFree=1459168/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=340780 CPUtime=642.15
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 83297 0 0 0 64092 123 0 0 25 0 1 0 15289576 348958720 82760 1992294400 134512640 137138936 4294549472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 85195 82760 191 642 0 84551 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 340780

[startup+702.301 s]

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

/proc/meminfo: memFree=1316816/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=482664 CPUtime=1122.02
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 118764 0 0 0 112038 164 0 0 25 0 1 0 15289576 494247936 118227 1992294400 134512640 137138936 4294549472 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 120666 118227 191 642 0 120022 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 482664

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20668
/proc/meminfo: memFree=1303052/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=496476 CPUtime=1182.01
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 122217 0 0 0 118033 168 0 0 25 0 1 0 15289576 508391424 121680 1992294400 134512640 137138936 4294549472 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 124119 121680 191 642 0 123475 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 496476

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20679
/proc/meminfo: memFree=1292264/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=506668 CPUtime=1241.99
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 124771 0 0 0 124027 172 0 0 25 0 1 0 15289576 518828032 124234 1992294400 134512640 137138936 4294549472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 126667 124234 191 642 0 126023 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 506668

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20679
/proc/meminfo: memFree=1281848/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=516952 CPUtime=1301.98
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 127344 0 0 0 130023 175 0 0 25 0 1 0 15289576 529358848 126807 1992294400 134512640 137138936 4294549472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 129238 126807 191 642 0 128594 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 516952

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20681
/proc/meminfo: memFree=1270068/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=528960 CPUtime=1361.95
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 130324 0 0 0 136017 178 0 0 25 0 1 0 15289576 541655040 129787 1992294400 134512640 137138936 4294549472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 132240 129787 191 642 0 131596 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 528960

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20683
/proc/meminfo: memFree=1258536/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=540244 CPUtime=1421.95
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 133171 0 0 0 142014 181 0 0 25 0 1 0 15289576 553209856 132634 1992294400 134512640 137138936 4294549472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 135061 132634 191 642 0 134417 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 540244

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20685
/proc/meminfo: memFree=1248988/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=549860 CPUtime=1481.93
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 135571 0 0 0 148007 186 0 0 25 0 1 0 15289576 563056640 135034 1992294400 134512640 137138936 4294549472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 137465 135034 191 642 0 136821 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 549860

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20687
/proc/meminfo: memFree=1238324/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=560556 CPUtime=1541.91
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 138244 0 0 0 154001 190 0 0 25 0 1 0 15289576 574009344 137707 1992294400 134512640 137138936 4294549472 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 140139 137707 191 642 0 139495 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 560556

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20687
/proc/meminfo: memFree=1227412/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=571612 CPUtime=1601.9
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 140994 0 0 0 159997 193 0 0 25 0 1 0 15289576 585330688 140457 1992294400 134512640 137138936 4294549472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 142903 140457 191 642 0 142259 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 571612

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20689
/proc/meminfo: memFree=1217492/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=581456 CPUtime=1661.88
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 143450 0 0 0 165992 196 0 0 25 0 1 0 15289576 595410944 142913 1992294400 134512640 137138936 4294549472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 145364 142913 191 642 0 144720 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 581456

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20691
/proc/meminfo: memFree=1207820/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=591172 CPUtime=1721.88
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 145896 0 0 0 171988 200 0 0 25 0 1 0 15289576 605360128 145359 1992294400 134512640 137138936 4294549472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 147793 145359 191 642 0 147149 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 591172

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20693
/proc/meminfo: memFree=1197404/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=601188 CPUtime=1781.86
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 148402 0 0 0 177984 202 0 0 25 0 1 0 15289576 615616512 147865 1992294400 134512640 137138936 4294549472 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 150297 147865 191 642 0 149653 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 601188

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20693
/proc/meminfo: memFree=1195668/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=602972 CPUtime=1791.46
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 148841 0 0 0 178943 203 0 0 25 0 1 0 15289576 617443328 148304 1992294400 134512640 137138936 4294549472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 150743 148304 191 642 0 150099 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 602972

[startup+1795.1 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20693
/proc/meminfo: memFree=1195048/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=603584 CPUtime=1794.66
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 148983 0 0 0 179263 203 0 0 25 0 1 0 15289576 618070016 148446 1992294400 134512640 137138936 4294549472 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 150896 148446 191 642 0 150252 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 603584

[startup+1796.7 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20693
/proc/meminfo: memFree=1194800/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=603824 CPUtime=1796.25
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 149064 0 0 0 179422 203 0 0 25 0 1 0 15289576 618315776 148527 1992294400 134512640 137138936 4294549472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 150956 148527 191 642 0 150312 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (KiB) 603824

[startup+1797.5 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20693
/proc/meminfo: memFree=1194676/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=604064 CPUtime=1797.05
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 149108 0 0 0 179502 203 0 0 25 0 1 0 15289576 618561536 148571 1992294400 134512640 137138936 4294549472 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 151016 148571 191 642 0 150372 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 604064

[startup+1797.9 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20693
/proc/meminfo: memFree=1194676/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=604064 CPUtime=1797.45
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 149125 0 0 0 179542 203 0 0 25 0 1 0 15289576 618561536 148588 1992294400 134512640 137138936 4294549472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 151016 148588 191 642 0 150372 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 604064

[startup+1798.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20693
/proc/meminfo: memFree=1194676/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=604188 CPUtime=1797.85
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 149136 0 0 0 179582 203 0 0 25 0 1 0 15289576 618688512 148599 1992294400 134512640 137138936 4294549472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 151047 148599 191 642 0 150403 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 604188

[startup+1798.4 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 20693
/proc/meminfo: memFree=1194428/2059040 swapFree=4142016/4192956
[pid=20635] ppid=20633 vsize=604188 CPUtime=1797.96
/proc/20635/stat : 20635 (bsolo_pb10) R 20633 20635 14279 0 -1 4202496 149137 0 0 0 179593 203 0 0 25 0 1 0 15289576 618688512 148600 1992294400 134512640 137138936 4294549472 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20635/statm: 151047 148600 191 642 0 150403 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 604188

Child status: 0
Real time (s): 1798.5
CPU time (s): 1798.07
CPU user time (s): 1795.97
CPU system time (s): 2.09868
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 604200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.97
system time used= 2.09868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149140
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= 1
involuntary context switches= 1656

runsolver used 2.92955 second user time and 8.5277 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-13 04:40:56
IDJOB=2657509
IDBENCH=2006
IDSOLVER=1163
FILE ID=node003/2657509-1276396856
PBS_JOBID= 11173266
Free space on /tmp= 62556 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657509-1276396856/watcher-2657509-1276396856 -o /tmp/evaluation-result-2657509-1276396856/solver-2657509-1276396856 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657509-1276396856.opb

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

MD5SUM BENCH= d431323968e1ca4dc95d181076d01437
RANDOM SEED=2030281519

node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.251
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
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.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1791404 kB
Buffers:         40736 kB
Cached:         145948 kB
SwapCached:       5328 kB
Active:         121620 kB
Inactive:        78864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1791404 kB
SwapTotal:     4192956 kB
SwapFree:      4142016 kB
Dirty:            4776 kB
Writeback:           0 kB
AnonPages:       11412 kB
Mapped:          13184 kB
Slab:            45468 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182956 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node003 at 2010-06-13 05:10:55