Trace number 1880029

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 pbSAT-46 1798.3 1798.93

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUMf7a936a02ddf18c17dc27b7b53733ab1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-46
Best CPU time to get the best result obtained on this benchmark1798.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints126163
Number of constraints which are clauses126163
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
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 1534
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 1534
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: Generic Pseudo-Boolean 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-1880029-1245236327.opb
0.00/0.00	c File size is 3113083 bytes.
0.39/0.41	c Highest Coefficient sum: 1534
0.39/0.41	c Parsing was ok!!
0.39/0.41	c Total parsing time: 0.408 s
0.39/0.45	c Var: 1534 Constr: 126163 126163/0/0 Lit: 252326 Watch. Lit: 252326
0.39/0.45	c Obj. Vars: 1534 (100 % of total variables)
4.58/4.68	c Pre-processing Time: 4.68 s
4.58/4.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.58/4.69	c        0   1534   126163   252326    2   252326   42054      0      0 4.68
4.58/4.69	c Switching off lower bounding mode.
4.69/4.70	o -42
4.69/4.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.72	c        0   1534   126164   253860    2   252370   43054      1      0 4.71
4.69/4.72	o -43
5.09/5.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.15	c        6   1534   126173   267384    2   252507   43054     10      1 4.73
5.09/5.15	c      107   1534   126366   557516    4   256066   47360    203     20 5.12
5.09/5.15	o -44
8.79/8.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.79/8.85	c      109   1534   126370   563554    4   254406   43054    207     21 5.16
8.79/8.85	c      212   1534   126565   856259    6   258153   47360    402     37 5.66
8.79/8.85	c      462   1534   127064  1604592   12   266100   52097    901     61 7.49
8.79/8.85	o -45
1778.16/1778.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1778.16/1778.85	c      604   1534   127344  2025513   15   267590   43054   1181     68 8.86
1778.16/1778.85	c      704   1534   127537  2315170   18   268860   47360   1374     69 10.19
1778.16/1778.85	c      954   1534   128021  3041330   23   277013   52097   1858     69 13.76
1778.16/1778.85	c     1429   1534   128961  4452088   34   291007   57307   2798     66 21.58
1778.16/1778.85	c     2242   1534   130567  6858930   52   313526   63038   4404     53 41.59
1778.16/1778.85	c     3562   1534   133200 10802848   81   349613   69342   7037     38 91.94
1778.16/1778.85	c     5643   1534   137330 16979077  123   400803   76277  11167     31 181.73
1778.16/1778.85	c     8867   1534   143718 26547778  184   475471   83905  17555     21 407.59
1778.16/1778.85	c    13805   1534   153558 41240914  268   593644   92296  27395     15 906.57
1778.16/1778.85	c    21311   1534   168511 63622712  377   769734  101526  42348     12 1741.14
1778.16/1778.85	o -46
1798.06/1798.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.06/1798.79	c    21507   1534   168903 64209049  380   662770   43054  42740     12 1778.24
1798.06/1798.79	c Resources Exceeded
1798.06/1798.80	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1798.06/1798.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.06/1798.80	c   17    21575   1589    24080   169037 64409914  42874     11 1798.17
1798.06/1798.80	c Objective: -46
1798.06/1798.80	s SATISFIABLE
1798.06/1798.80	c Total time: 1798.17 s

Verifier Data 

OK	-46

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880029-1245236327/watcher-1880029-1245236327 -o /tmp/evaluation-result-1880029-1245236327/solver-1880029-1245236327 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880029-1245236327.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.00 0.00 0.00 3/64 10637
/proc/meminfo: memFree=1738360/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=13772 CPUtime=0
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 191229089 14102528 247 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 3443 248 174 640 0 2038 0

[startup+0.082598 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10637
/proc/meminfo: memFree=1738360/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=16244 CPUtime=0.07
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 1010 0 0 0 7 0 0 0 18 0 1 0 191229089 16633856 994 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 4061 994 318 640 0 2656 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16244

[startup+0.1026 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10637
/proc/meminfo: memFree=1738360/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=16796 CPUtime=0.09
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 1197 0 0 0 9 0 0 0 18 0 1 0 191229089 17199104 1181 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 4199 1181 354 640 0 2794 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16796

[startup+0.301633 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10637
/proc/meminfo: memFree=1738360/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=22844 CPUtime=0.29
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 3062 0 0 0 28 1 0 0 19 0 1 0 191229089 23392256 3046 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 5711 3046 721 640 0 4306 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22844

[startup+0.701703 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10637
/proc/meminfo: memFree=1738360/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=33212 CPUtime=0.69
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 6638 0 0 0 67 2 0 0 22 0 1 0 191229089 34009088 5861 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 8303 5861 190 640 0 7659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33212

[startup+1.50184 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 10638
/proc/meminfo: memFree=1715504/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=33212 CPUtime=1.49
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 6638 0 0 0 145 4 0 0 25 0 1 0 191229089 34009088 5861 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 8303 5861 190 640 0 7659 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33212

[startup+3.10112 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 10638
/proc/meminfo: memFree=1715376/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=33212 CPUtime=3.09
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 6638 0 0 0 301 8 0 0 25 0 1 0 191229089 34009088 5861 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 8303 5861 190 640 0 7659 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33212

[startup+6.30167 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 10638
/proc/meminfo: memFree=1713136/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=41144 CPUtime=6.29
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 10556 0 0 0 615 14 0 0 25 0 1 0 191229089 42131456 7854 1992294400 134512640 137136520 4294956256 18446744073709551615 136518979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 10286 7854 196 640 0 9642 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41144

[startup+12.7018 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 10638
/proc/meminfo: memFree=1687408/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=62952 CPUtime=12.69
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 16014 0 0 0 1253 16 0 0 25 0 1 0 191229089 64462848 13312 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 15738 13312 196 640 0 15094 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62952

[startup+25.502 s]
/proc/loadavg: 0.34 0.08 0.02 2/65 10638
/proc/meminfo: memFree=1658032/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=90936 CPUtime=25.49
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 23025 0 0 0 2530 19 0 0 25 0 1 0 191229089 93118464 20323 1992294400 134512640 137136520 4294956256 18446744073709551615 134543959 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 22734 20323 197 640 0 22090 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 90936

[startup+51.1014 s]
/proc/loadavg: 0.56 0.15 0.05 2/65 10638
/proc/meminfo: memFree=1623152/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=126136 CPUtime=51.07
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 31810 0 0 0 5084 23 0 0 25 0 1 0 191229089 129163264 29108 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 31534 29108 197 640 0 30890 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126136

[startup+102.304 s]
/proc/loadavg: 0.81 0.28 0.10 2/65 10638
/proc/meminfo: memFree=1574192/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=174192 CPUtime=102.26
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 43824 0 0 0 10198 28 0 0 25 0 1 0 191229089 178372608 41122 1992294400 134512640 137136520 4294956256 18446744073709551615 134539796 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 43548 41122 197 640 0 42904 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 174192

[startup+162.302 s]
/proc/loadavg: 0.93 0.41 0.15 2/65 10644
/proc/meminfo: memFree=1519144/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=229464 CPUtime=162.23
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 57644 0 0 0 16189 34 0 0 25 0 1 0 191229089 234971136 54942 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 57366 54942 197 640 0 56722 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 229464

[startup+222.302 s]
/proc/loadavg: 0.97 0.51 0.20 2/65 10644
/proc/meminfo: memFree=1476520/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=271456 CPUtime=222.21
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 68163 0 0 0 22182 39 0 0 25 0 1 0 191229089 277970944 65461 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 67864 65461 197 640 0 67220 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 271456

[startup+282.301 s]
/proc/loadavg: 0.99 0.60 0.25 2/65 10644
/proc/meminfo: memFree=1438952/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=309384 CPUtime=282.19
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 77637 0 0 0 28175 44 0 0 25 0 1 0 191229089 316809216 74935 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 77346 74935 197 640 0 76702 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 309384

[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.29 2/65 10644
/proc/meminfo: memFree=1408040/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=339940 CPUtime=342.17
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 85262 0 0 0 34168 49 0 0 25 0 1 0 191229089 348098560 82560 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 84985 82560 197 640 0 84341 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 339940

[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.33 2/65 10644
/proc/meminfo: memFree=1381096/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=367112 CPUtime=402.15
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 92071 0 0 0 40163 52 0 0 25 0 1 0 191229089 375922688 89369 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 91778 89369 197 640 0 91134 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 367112

[startup+462.301 s]
/proc/loadavg: 0.99 0.77 0.37 2/65 10644
/proc/meminfo: memFree=1357808/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=390100 CPUtime=462.13
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 97804 0 0 0 46158 55 0 0 25 0 1 0 191229089 399462400 95102 1992294400 134512640 137136520 4294956256 18446744073709551615 136500562 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 97525 95102 197 640 0 96881 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 390100

[startup+522.302 s]
/proc/loadavg: 1.07 0.83 0.41 2/65 10644
/proc/meminfo: memFree=1333936/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=414140 CPUtime=522.11
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 103831 0 0 0 52153 58 0 0 25 0 1 0 191229089 424079360 101129 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 103535 101129 197 640 0 102891 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 414140

[startup+582.302 s]
/proc/loadavg: 1.02 0.86 0.45 2/65 10644
/proc/meminfo: memFree=1307760/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=439992 CPUtime=582.09
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 110285 0 0 0 58148 61 0 0 25 0 1 0 191229089 450551808 107583 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 109998 107583 197 640 0 109354 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 439992

[startup+642.301 s]
/proc/loadavg: 1.01 0.88 0.48 2/65 10644
/proc/meminfo: memFree=1284656/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=462872 CPUtime=642.06
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 116014 0 0 0 64143 63 0 0 25 0 1 0 191229089 473980928 113312 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 115718 113312 197 640 0 115074 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 462872

[startup+702.302 s]

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

/proc/meminfo: memFree=1122800/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=624816 CPUtime=1061.92
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 156500 0 0 0 106107 85 0 0 25 0 1 0 191229089 639811584 153798 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 156204 153798 197 640 0 155560 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 624816

[startup+1122.3 s]
/proc/loadavg: 1.00 0.96 0.67 2/65 10644
/proc/meminfo: memFree=1098736/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=648684 CPUtime=1121.89
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 162450 0 0 0 112101 88 0 0 25 0 1 0 191229089 664252416 159748 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 162171 159748 197 640 0 161527 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 648684

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.69 2/65 10644
/proc/meminfo: memFree=1077616/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=670044 CPUtime=1181.88
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 167790 0 0 0 118096 92 0 0 25 0 1 0 191229089 686125056 165088 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 167511 165088 197 640 0 166867 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 670044

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.70 2/65 10644
/proc/meminfo: memFree=1056368/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=690976 CPUtime=1241.86
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 173036 0 0 0 124091 95 0 0 25 0 1 0 191229089 707559424 170334 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 172744 170334 197 640 0 172100 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 690976

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.72 2/65 10644
/proc/meminfo: memFree=1034224/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=712752 CPUtime=1301.84
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 178485 0 0 0 130086 98 0 0 25 0 1 0 191229089 729858048 175783 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 178188 175783 197 640 0 177544 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 712752

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.74 2/65 10644
/proc/meminfo: memFree=1013808/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=733292 CPUtime=1361.81
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 183611 0 0 0 136080 101 0 0 25 0 1 0 191229089 750891008 180909 1992294400 134512640 137136520 4294956256 18446744073709551615 134575569 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 183323 180909 197 640 0 182679 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 733292

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.75 2/65 10644
/proc/meminfo: memFree=993392/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=753468 CPUtime=1421.8
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 188663 0 0 0 142074 106 0 0 25 0 1 0 191229089 771551232 185961 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 188367 185961 197 640 0 187723 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 753468

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.76 2/65 10644
/proc/meminfo: memFree=974704/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=772156 CPUtime=1481.77
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 193335 0 0 0 148068 109 0 0 25 0 1 0 191229089 790687744 190633 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 193039 190633 197 640 0 192395 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 772156

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/65 10644
/proc/meminfo: memFree=958064/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=788772 CPUtime=1541.74
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 197472 0 0 0 154063 111 0 0 25 0 1 0 191229089 807702528 194770 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 197193 194770 197 640 0 196549 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 788772

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.78 2/65 10644
/proc/meminfo: memFree=939184/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=807712 CPUtime=1601.72
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 202224 0 0 0 160059 113 0 0 25 0 1 0 191229089 827097088 199522 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 201928 199522 197 640 0 201284 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 807712

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.79 2/65 10644
/proc/meminfo: memFree=921392/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=825320 CPUtime=1661.7
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 206626 0 0 0 166055 115 0 0 25 0 1 0 191229089 845127680 203924 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 206330 203924 197 640 0 205686 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 825320

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/65 10644
/proc/meminfo: memFree=903536/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=843340 CPUtime=1721.68
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 211130 0 0 0 172050 118 0 0 25 0 1 0 191229089 863580160 208428 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 210835 208428 197 640 0 210191 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 843340

[startup+1782.3 s]
/proc/loadavg: 1.15 1.02 0.83 2/65 10644
/proc/meminfo: memFree=890224/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=856316 CPUtime=1781.66
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 214365 0 0 0 178046 120 0 0 25 0 1 0 191229089 876867584 211663 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 214079 211663 197 640 0 213435 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 856316

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

[startup+1791.91 s]
/proc/loadavg: 1.12 1.02 0.83 2/65 10644
/proc/meminfo: memFree=889008/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=857536 CPUtime=1791.26
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 214676 0 0 0 179006 120 0 0 25 0 1 0 191229089 878116864 211974 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 214384 211974 197 640 0 213740 0
Current children cumulated CPU time (s) 1791.26
Current children cumulated vsize (KiB) 857536

[startup+1795.1 s]
/proc/loadavg: 1.11 1.02 0.83 2/65 10644
/proc/meminfo: memFree=888432/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=858128 CPUtime=1794.47
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 214819 0 0 0 179326 121 0 0 25 0 1 0 191229089 878723072 212117 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 214532 212117 197 640 0 213888 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 858128

[startup+1796.7 s]
/proc/loadavg: 1.11 1.02 0.83 2/65 10644
/proc/meminfo: memFree=888176/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=858516 CPUtime=1796.06
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 214905 0 0 0 179485 121 0 0 25 0 1 0 191229089 879120384 212203 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 214629 212203 197 640 0 213985 0
Current children cumulated CPU time (s) 1796.06
Current children cumulated vsize (KiB) 858516

[startup+1798.3 s]
/proc/loadavg: 1.11 1.02 0.83 2/65 10644
/proc/meminfo: memFree=887920/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=858736 CPUtime=1797.66
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 214972 0 0 0 179645 121 0 0 25 0 1 0 191229089 879345664 212270 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 214684 212270 197 640 0 214040 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 858736

[startup+1798.7 s]
/proc/loadavg: 1.10 1.01 0.83 2/65 10644
/proc/meminfo: memFree=887792/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=858856 CPUtime=1798.06
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 214992 0 0 0 179685 121 0 0 25 0 1 0 191229089 879468544 212290 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 214714 212290 197 640 0 214070 0
Current children cumulated CPU time (s) 1798.06
Current children cumulated vsize (KiB) 858856

[startup+1798.9 s]
/proc/loadavg: 1.10 1.01 0.83 2/65 10644
/proc/meminfo: memFree=887792/2055920 swapFree=4181252/4192956
[pid=10637] ppid=10635 vsize=0 CPUtime=1798.26
/proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194308 215003 0 0 0 179695 131 0 0 25 0 1 0 191229089 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10637/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.26
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.93
CPU time (s): 1798.3
CPU user time (s): 1796.96
CPU system time (s): 1.3448
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 858856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.96
system time used= 1.34479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215003
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= 2
involuntary context switches= 2396

runsolver used 1.52077 second user time and 3.46847 second system time

The end

Launcher Data 

Begin job on node48 at 2009-06-17 12:58:47
IDJOB=1880029
IDBENCH=2268
IDSOLVER=701
FILE ID=node48/1880029-1245236327
PBS_JOBID= 9372292
Free space on /tmp= 66232 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880029-1245236327/watcher-1880029-1245236327 -o /tmp/evaluation-result-1880029-1245236327/solver-1880029-1245236327 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1880029-1245236327.opb

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

MD5SUM BENCH= f7a936a02ddf18c17dc27b7b53733ab1
RANDOM SEED=500213177

node48.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.270
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.270
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:       1738776 kB
Buffers:         54960 kB
Cached:         192396 kB
SwapCached:       5468 kB
Active:         100276 kB
Inactive:       154864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1738776 kB
SwapTotal:     4192956 kB
SwapFree:      4181252 kB
Dirty:            7212 kB
Writeback:           0 kB
Mapped:          13400 kB
Slab:            47976 kB
Committed_AS:   173756 kB
PageTables:       1372 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-1880029-1245236327.opb

Free space on /tmp at the end= 66228 MiB
End job on node48 at 2009-06-17 13:28:46