Trace number 2668242

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
PB/CT 0.1SAT (TO)16 1800.07 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir05_area_delay.opb
MD5SUMb0c7ff7d1fa11c8e15b9d528879223a9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1.91671
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 14
Optimality of the best value was proved YES
Number of variables3659
Total number of constraints9385
Number of constraints which are clauses9385
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 1787
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 1787
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1787
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 PB/CT 0.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.10/0.11	c constraints 0/0 clauses 8433/0 units 202
0.10/0.11	c vars 3659
0.10/0.12	c objective 1726 + 1
0.40/0.45	c 0.415936 39.2969 0 1048
0.40/0.45	o 19
1.69/1.70	c 1.22281 39.9688 450 3565
1.69/1.70	o 18
7.29/7.36	c 4.94225 40.3984 2358 11617
7.29/7.36	o 17
108.46/108.59	c 72.133 41.1719 5479 136699
108.46/108.59	o 16
1800.05/1800.60	s SATISFIABLE
1800.05/1800.60	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 x46 -x47 -x48 -x49 -x50 -x51 x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 x109 -x110 x111 -x112 x113 -x114 -x115 x116 x117 x118 -x119 -x120 x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 x145 x146 x147 x148 x149 x150 x151 -x152 x153 x154 x155 x156 x157 x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 x169 -x170 x171 x172 x173 x174 x175 -x176 -x177 x178 -x179 -x180 x181 -x182 x183 x184 x185 x186 x187 x188 x189 x190 -x191 x192 x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 x2371 x2372 x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 x3406 x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659

Verifier Data 

OK	16

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668242-1276638184/watcher-2668242-1276638184 -o /tmp/evaluation-result-2668242-1276638184/solver-2668242-1276638184 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668242-1276638184.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: 1.06 1.06 1.01 3/106 12161
/proc/meminfo: memFree=1738084/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=2352 CPUtime=0
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 282 0 0 0 0 0 0 0 25 0 1 0 5110400 2408448 205 1992294400 134512640 136485738 4288631168 18446744073709551615 134549132 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12161/statm: 588 205 156 482 0 104 0

[startup+0.10793 s]
/proc/loadavg: 1.06 1.06 1.01 3/106 12161
/proc/meminfo: memFree=1738084/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=2616 CPUtime=0.1
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 366 0 0 0 10 0 0 0 25 0 1 0 5110400 2678784 289 1992294400 134512640 136485738 4288631168 18446744073709551615 135178805 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12161/statm: 654 289 157 482 0 170 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2616

[startup+0.20194 s]
/proc/loadavg: 1.06 1.06 1.01 3/106 12161
/proc/meminfo: memFree=1738084/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=13104 CPUtime=0.19
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 2913 0 0 0 18 1 0 0 25 0 1 0 5110400 13418496 2836 1992294400 134512640 136485738 4288631168 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 3276 2837 194 482 0 2792 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13104

[startup+0.30195 s]
/proc/loadavg: 1.06 1.06 1.01 3/106 12161
/proc/meminfo: memFree=1738084/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=23072 CPUtime=0.29
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 5469 0 0 0 27 2 0 0 25 0 1 0 5110400 23625728 5326 1992294400 134512640 136485738 4288631168 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 5768 5327 198 482 0 5284 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23072

[startup+0.701993 s]
/proc/loadavg: 1.06 1.06 1.01 3/106 12161
/proc/meminfo: memFree=1738084/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=40924 CPUtime=0.69
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10120 0 0 0 57 12 0 0 25 0 1 0 5110400 41906176 9423 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10231 9423 244 482 0 9747 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40924

[startup+1.50108 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 12162
/proc/meminfo: memFree=1701124/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=40924 CPUtime=1.49
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10120 0 0 0 108 41 0 0 25 0 1 0 5110400 41906176 9423 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10231 9423 244 482 0 9747 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40924

[startup+3.10125 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 12162
/proc/meminfo: memFree=1700628/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=41100 CPUtime=3.09
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10192 0 0 0 212 97 0 0 25 0 1 0 5110400 42086400 9440 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10275 9440 244 482 0 9791 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41100

[startup+6.3016 s]
/proc/loadavg: 1.05 1.06 1.01 2/107 12162
/proc/meminfo: memFree=1700628/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=41232 CPUtime=6.29
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10229 0 0 0 423 206 0 0 25 0 1 0 5110400 42221568 9477 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10308 9477 244 482 0 9824 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41232

[startup+12.7013 s]
/proc/loadavg: 1.05 1.05 1.00 2/107 12162
/proc/meminfo: memFree=1700132/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=41628 CPUtime=12.68
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10329 0 0 0 846 422 0 0 25 0 1 0 5110400 42627072 9576 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10407 9576 244 482 0 9923 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41628

[startup+25.5017 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 12162
/proc/meminfo: memFree=1700008/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=41760 CPUtime=25.49
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10363 0 0 0 1696 853 0 0 25 0 1 0 5110400 42762240 9610 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10440 9610 244 482 0 9956 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41760

[startup+51.1014 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 12164
/proc/meminfo: memFree=1699760/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=42024 CPUtime=51.08
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10435 0 0 0 3388 1720 0 0 25 0 1 0 5110400 43032576 9682 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10506 9682 244 482 0 10022 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42024

[startup+102.302 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 12164
/proc/meminfo: memFree=1699512/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=42156 CPUtime=102.27
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10460 0 0 0 6797 3430 0 0 25 0 1 0 5110400 43167744 9707 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10539 9707 244 482 0 10055 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42156

[startup+162.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 12166
/proc/meminfo: memFree=1699388/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=42156 CPUtime=162.25
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10461 0 0 0 10788 5437 0 0 25 0 1 0 5110400 43167744 9707 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10539 9707 244 482 0 10055 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 42156

[startup+222.309 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12168
/proc/meminfo: memFree=1699388/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=42156 CPUtime=222.23
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10461 0 0 0 14770 7453 0 0 25 0 1 0 5110400 43167744 9707 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10539 9707 244 482 0 10055 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 42156

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12170
/proc/meminfo: memFree=1699140/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=42288 CPUtime=282.21
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10498 0 0 0 18767 9454 0 0 25 0 1 0 5110400 43302912 9744 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10572 9744 244 482 0 10088 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 42288

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12172
/proc/meminfo: memFree=1699140/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=42420 CPUtime=342.2
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10525 0 0 0 22762 11458 0 0 25 0 1 0 5110400 43438080 9771 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10605 9771 244 482 0 10121 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 42420

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12172
/proc/meminfo: memFree=1699016/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=42420 CPUtime=402.18
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10525 0 0 0 26760 13458 0 0 25 0 1 0 5110400 43438080 9771 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10605 9771 244 482 0 10121 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 42420

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12174
/proc/meminfo: memFree=1699016/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=42420 CPUtime=462.16
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10525 0 0 0 30756 15460 0 0 25 0 1 0 5110400 43438080 9771 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10605 9771 244 482 0 10121 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 42420

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12176
/proc/meminfo: memFree=1698892/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=42556 CPUtime=522.14
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10543 0 0 0 34744 17470 0 0 25 0 1 0 5110400 43577344 9789 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10639 9789 244 482 0 10155 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 42556

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12178
/proc/meminfo: memFree=1698396/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=42952 CPUtime=582.12
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10661 0 0 0 38759 19453 0 0 25 0 1 0 5110400 43982848 9907 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10738 9907 244 482 0 10254 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 42952

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12180
/proc/meminfo: memFree=1698272/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=42952 CPUtime=642.1
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10673 0 0 0 42782 21428 0 0 25 0 1 0 5110400 43982848 9919 1992294400 134512640 136485738 4288631168 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10738 9919 244 482 0 10254 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 42952

[startup+702.301 s]

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

[startup+882.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12186
/proc/meminfo: memFree=1698024/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43084 CPUtime=882.04
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10683 0 0 0 58694 29510 0 0 25 0 1 0 5110400 44118016 9929 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10771 9929 244 482 0 10287 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 43084

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12188
/proc/meminfo: memFree=1697900/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43216 CPUtime=942.01
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10708 0 0 0 62677 31524 0 0 25 0 1 0 5110400 44253184 9954 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10804 9954 244 482 0 10320 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 43216

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12188
/proc/meminfo: memFree=1697900/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43216 CPUtime=1001.99
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10708 0 0 0 66661 33538 0 0 25 0 1 0 5110400 44253184 9954 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10804 9954 244 482 0 10320 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 43216

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12190
/proc/meminfo: memFree=1697776/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43348 CPUtime=1061.97
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10743 0 0 0 70652 35545 0 0 25 0 1 0 5110400 44388352 9989 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10837 9989 244 482 0 10353 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 43348

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12201
/proc/meminfo: memFree=1696660/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43348 CPUtime=1121.95
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10743 0 0 0 74661 37534 0 0 25 0 1 0 5110400 44388352 9989 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10837 9989 244 482 0 10353 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 43348

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12203
/proc/meminfo: memFree=1696660/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43348 CPUtime=1181.92
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10743 0 0 0 78626 39566 0 0 25 0 1 0 5110400 44388352 9989 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10837 9989 244 482 0 10353 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 43348

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12205
/proc/meminfo: memFree=1696660/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43348 CPUtime=1241.91
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10765 0 0 0 82637 41554 0 0 25 0 1 0 5110400 44388352 10011 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10837 10011 244 482 0 10353 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 43348

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12205
/proc/meminfo: memFree=1696660/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43480 CPUtime=1301.89
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10802 0 0 0 86653 43536 0 0 25 0 1 0 5110400 44523520 10048 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10870 10048 244 482 0 10386 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 43480

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12207
/proc/meminfo: memFree=1696660/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43748 CPUtime=1361.87
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10844 0 0 0 90679 45508 0 0 25 0 1 0 5110400 44797952 10090 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10937 10090 244 482 0 10453 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 43748

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12209
/proc/meminfo: memFree=1696660/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43748 CPUtime=1421.86
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10860 0 0 0 94692 47494 0 0 25 0 1 0 5110400 44797952 10106 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10937 10106 244 482 0 10453 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 43748

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12211
/proc/meminfo: memFree=1696660/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43748 CPUtime=1481.84
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10864 0 0 0 98685 49499 0 0 25 0 1 0 5110400 44797952 10110 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10937 10110 244 482 0 10453 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 43748

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12213
/proc/meminfo: memFree=1696660/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43748 CPUtime=1541.82
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10864 0 0 0 102688 51494 0 0 25 0 1 0 5110400 44797952 10110 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10937 10110 244 482 0 10453 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 43748

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12213
/proc/meminfo: memFree=1696660/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43748 CPUtime=1601.81
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10864 0 0 0 106671 53510 0 0 25 0 1 0 5110400 44797952 10110 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10937 10110 244 482 0 10453 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 43748

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12215
/proc/meminfo: memFree=1696660/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43748 CPUtime=1661.78
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10864 0 0 0 110677 55501 0 0 25 0 1 0 5110400 44797952 10110 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10937 10110 244 482 0 10453 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 43748

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12217
/proc/meminfo: memFree=1696536/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43748 CPUtime=1721.76
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10870 0 0 0 114681 57495 0 0 25 0 1 0 5110400 44797952 10116 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10937 10116 244 482 0 10453 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 43748

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12219
/proc/meminfo: memFree=1696288/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43748 CPUtime=1781.75
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10874 0 0 0 118666 59509 0 0 25 0 1 0 5110400 44797952 10120 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10937 10120 244 482 0 10453 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 43748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12219
/proc/meminfo: memFree=1696288/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43748 CPUtime=1800.05
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10874 0 0 0 119875 60130 0 0 25 0 1 0 5110400 44797952 10120 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10937 10120 244 482 0 10453 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 43748

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

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12219
/proc/meminfo: memFree=1696288/2059040 swapFree=4192956/4192956
[pid=12161] ppid=12159 vsize=43748 CPUtime=1800.05
/proc/12161/stat : 12161 (pbct) R 12159 12161 11726 0 -1 4202496 10874 0 0 0 119875 60130 0 0 25 0 1 0 5110400 44797952 10120 1992294400 134512640 136485738 4288631168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12161/statm: 10937 10120 244 482 0 10453 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 43748

Child status: 0
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1198.76
CPU system time (s): 601.308
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 43748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.76
system time used= 601.308
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10874
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= 2950

runsolver used 2.98055 second user time and 8.50071 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-15 23:43:04
IDJOB=2668242
IDBENCH=25007
IDSOLVER=1170
FILE ID=node047/2668242-1276638184
PBS_JOBID= 11172386
Free space on /tmp= 62540 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668242-1276638184/watcher-2668242-1276638184 -o /tmp/evaluation-result-2668242-1276638184/solver-2668242-1276638184 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668242-1276638184.opb

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

MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9
RANDOM SEED=1873595243

node047.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.244
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.48
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.244
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1738488 kB
Buffers:         56456 kB
Cached:         139468 kB
SwapCached:          0 kB
Active:         124156 kB
Inactive:       131300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1738488 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2416 kB
Writeback:           0 kB
AnonPages:       59564 kB
Mapped:          15444 kB
Slab:            43240 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180732 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= 62540 MiB
End job on node047 at 2010-06-16 00:13:06