Trace number 1858881

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
pbclasp 2009-04-24SAT (TO)160 1800.11 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
MD5SUM06ffce7cc6d5515cfd76def90ae69d59
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark180.025
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 136
Optimality of the best value was proved NO
Number of variables3098
Total number of constraints6012
Number of constraints which are clauses6012
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 constraint386
Number of terms in the objective function 3098
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 3098
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3098
Number of bits of the biggest sum of numbers12
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 optimisation-statement found. OPT-category assumed.
0.00/0.43	o 164
0.00/0.75	o 160
1800.07/1800.50	s SATISFIABLE
1800.07/1800.50	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

Verifier Data 

OK	160

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858881-1244916343/watcher-1858881-1244916343 -o /tmp/evaluation-result-1858881-1244916343/solver-1858881-1244916343 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858881-1244916343.opb HOME HOME 

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.07 1.07 1.02 3/64 16254
/proc/meminfo: memFree=1302816/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) R 16252 16254 15897 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 266890607205 0 0 4224 0 0 0 0 17 1 0 0
/proc/16254/statm: 3067 316 242 3 0 167 0

[startup+0.080725 s]
/proc/loadavg: 1.07 1.07 1.02 3/64 16254
/proc/meminfo: memFree=1302816/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.102542 s]
/proc/loadavg: 1.07 1.07 1.02 3/64 16254
/proc/meminfo: memFree=1302816/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.301568 s]
/proc/loadavg: 1.07 1.07 1.02 3/64 16254
/proc/meminfo: memFree=1302816/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701617 s]
/proc/loadavg: 1.07 1.07 1.02 3/64 16254
/proc/meminfo: memFree=1302816/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50277 s]
/proc/loadavg: 1.07 1.07 1.02 2/68 16259
/proc/meminfo: memFree=1295544/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=7924 CPUtime=1.19
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 1775 0 0 0 118 1 0 0 25 0 1 0 159231474 8114176 1749 1992294400 134512640 136070948 4294956272 18446744073709551615 134632758 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 1981 1749 193 380 0 1598 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 26804

[startup+3.10289 s]
/proc/loadavg: 1.07 1.07 1.02 2/68 16259
/proc/meminfo: memFree=1295160/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=7924 CPUtime=2.79
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 1777 0 0 0 278 1 0 0 25 0 1 0 159231474 8114176 1751 1992294400 134512640 136070948 4294956272 18446744073709551615 134802193 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 1981 1751 193 380 0 1598 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 26804

[startup+6.30123 s]
/proc/loadavg: 1.07 1.06 1.02 2/68 16259
/proc/meminfo: memFree=1294904/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=8448 CPUtime=5.99
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 1930 0 0 0 598 1 0 0 25 0 1 0 159231474 8650752 1904 1992294400 134512640 136070948 4294956272 18446744073709551615 134639694 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 2112 1904 193 380 0 1729 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (KiB) 27328

[startup+12.7019 s]
/proc/loadavg: 1.06 1.06 1.02 2/68 16259
/proc/meminfo: memFree=1294080/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=9140 CPUtime=12.38
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 2106 0 0 0 1237 1 0 0 25 0 1 0 159231474 9359360 2079 1992294400 134512640 136070948 4294956272 18446744073709551615 134615450 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 2285 2079 193 380 0 1902 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 28020

[startup+25.5014 s]
/proc/loadavg: 1.05 1.06 1.01 2/68 16259
/proc/meminfo: memFree=1293440/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=9888 CPUtime=25.18
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 2285 0 0 0 2517 1 0 0 25 0 1 0 159231474 10125312 2258 1992294400 134512640 136070948 4294956272 18446744073709551615 134803726 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 2472 2258 193 380 0 2089 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 28768

[startup+51.1012 s]
/proc/loadavg: 1.03 1.05 1.01 2/68 16259
/proc/meminfo: memFree=1292928/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=10212 CPUtime=50.77
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 2382 0 0 0 5075 2 0 0 25 0 1 0 159231474 10457088 2347 1992294400 134512640 136070948 4294956272 18446744073709551615 134841084 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 2553 2347 193 380 0 2170 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 29092

[startup+102.306 s]
/proc/loadavg: 1.01 1.04 1.01 2/68 16259
/proc/meminfo: memFree=1289920/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=13096 CPUtime=101.96
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 3225 0 0 0 10194 2 0 0 25 0 1 0 159231474 13410304 3067 1992294400 134512640 136070948 4294956272 18446744073709551615 134623031 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 3274 3067 193 380 0 2891 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 31976

[startup+162.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/68 16259
/proc/meminfo: memFree=1289920/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=13092 CPUtime=161.94
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 3225 0 0 0 16192 2 0 0 25 0 1 0 159231474 13406208 3066 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 3273 3066 193 380 0 2890 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 31972

[startup+222.301 s]

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

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16259
/proc/meminfo: memFree=1282752/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=20352 CPUtime=1421.61
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 5604 0 0 0 142154 7 0 0 25 0 1 0 159231474 20840448 4880 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 5088 4880 193 380 0 4705 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 39232

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16259
/proc/meminfo: memFree=1281152/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=22040 CPUtime=1481.59
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 6016 0 0 0 148151 8 0 0 25 0 1 0 159231474 22568960 5292 1992294400 134512640 136070948 4294956272 18446744073709551615 134647474 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 5510 5292 193 380 0 5127 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 40920

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16259
/proc/meminfo: memFree=1280832/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=22032 CPUtime=1541.57
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 6143 0 0 0 154149 8 0 0 25 0 1 0 159231474 22560768 5300 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 5508 5300 193 380 0 5125 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 40912

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16259
/proc/meminfo: memFree=1279424/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=23672 CPUtime=1601.56
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 6688 0 0 0 160147 9 0 0 25 0 1 0 159231474 24240128 5706 1992294400 134512640 136070948 4294956272 18446744073709551615 134647526 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 5918 5706 193 380 0 5535 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 42552

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16259
/proc/meminfo: memFree=1280448/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=22448 CPUtime=1661.54
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 7022 0 0 0 166145 9 0 0 25 0 1 0 159231474 22986752 5404 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 5612 5404 193 380 0 5229 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 41328

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16259
/proc/meminfo: memFree=1280448/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=22564 CPUtime=1721.52
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 7215 0 0 0 172143 9 0 0 25 0 1 0 159231474 23105536 5433 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 5641 5433 193 380 0 5258 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 41444

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16259
/proc/meminfo: memFree=1278656/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=24144 CPUtime=1781.51
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 7768 0 0 0 178141 10 0 0 25 0 1 0 159231474 24723456 5826 1992294400 134512640 136070948 4294956272 18446744073709551615 134835638 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 6036 5826 193 380 0 5653 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 43024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16259
/proc/meminfo: memFree=1278656/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=24144 CPUtime=1799.71
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 7768 0 0 0 179960 11 0 0 25 0 1 0 159231474 24723456 5826 1992294400 134512640 136070948 4294956272 18446744073709551615 134647512 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 6036 5826 193 380 0 5653 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 43024

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16259
/proc/meminfo: memFree=1278656/2055920 swapFree=4192044/4192956
[pid=16254] ppid=16252 vsize=12268 CPUtime=0
/proc/16254/stat : 16254 (perl) S 16252 16254 15897 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 159231473 12562432 417 1992294400 4194304 4206940 548682068784 18446744073709551615 266899341204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16254/statm: 3067 417 319 3 0 167 0
[pid=16256] ppid=16254 vsize=5356 CPUtime=0.36
/proc/16256/stat : 16256 (sh) S 16254 16254 15897 0 -1 4194304 305 157 0 0 0 0 36 0 16 0 1 0 159231474 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16256/statm: 1339 227 188 169 0 50 0
[pid=16258] ppid=16256 vsize=24144 CPUtime=1799.71
/proc/16258/stat : 16258 (clasp) R 16256 16254 15897 0 -1 4194304 7768 0 0 0 179960 11 0 0 25 0 1 0 159231474 24723456 5826 1992294400 134512640 136070948 4294956272 18446744073709551615 134647512 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16258/statm: 6036 5826 193 380 0 5653 0
[pid=16259] ppid=16256 vsize=1256 CPUtime=0
/proc/16259/stat : 16259 (pbout) S 16256 16254 15897 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 159231474 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16259/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 43024

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.11
CPU user time (s): 1799.97
CPU system time (s): 0.136979
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 43672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9354
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= 539
involuntary context switches= 1758

runsolver used 1.54576 second user time and 5.01524 second system time

The end

Launcher Data 

Begin job on node38 at 2009-06-13 20:05:43
IDJOB=1858881
IDBENCH=2848
IDSOLVER=687
FILE ID=node38/1858881-1244916343
PBS_JOBID= 9354590
Free space on /tmp= 66280 MiB

SOLVER NAME= pbclasp 2009-04-24
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb
COMMAND LINE= perl HOME/pbclasp BENCHNAME HOME TMPDIR
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1858881-1244916343/watcher-1858881-1244916343 -o /tmp/evaluation-result-1858881-1244916343/solver-1858881-1244916343 -C 1800 -W 2000 -M 1800  perl HOME/pbclasp HOME/instance-1858881-1244916343.opb HOME HOME

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

MD5SUM BENCH= 06ffce7cc6d5515cfd76def90ae69d59
RANDOM SEED=1448476922

node38.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.232
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.232
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:       1303296 kB
Buffers:         79888 kB
Cached:         571852 kB
SwapCached:        448 kB
Active:          61320 kB
Inactive:       603924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1303296 kB
SwapTotal:     4192956 kB
SwapFree:      4192044 kB
Dirty:            6804 kB
Writeback:           0 kB
Mapped:          22512 kB
Slab:            73404 kB
Committed_AS:   117520 kB
PageTables:       1456 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-1858881-1244916343.opb

Free space on /tmp at the end= 66272 MiB
End job on node38 at 2009-06-13 20:35:45