Trace number 2699025

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 NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.06 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
MD5SUM7e0724db75f314e84b0472c27c0a5114
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.19297
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3900
Total number of constraints125
Number of soft constraints39
Number of constraints which are clauses65
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint65
Top cost 2003
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2002
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 66
Number of bits of the biggest sum of numbers7
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.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 45/15 clauses 41/24 units 0
0.00/0.01	c vars 3900
0.09/0.13	c 0.115982 30.3477 16 4950
0.09/0.13	o 578
0.09/0.14	c 0.119981 30.6836 17 5099
0.09/0.14	o 57
0.09/0.15	c 0.122981 30.6836 17 5313
0.09/0.15	o 38
0.09/0.15	c 0.12598 30.6836 17 5594
0.09/0.15	o 32
0.09/0.16	c 0.12898 30.6836 17 5816
0.09/0.16	o 23
0.09/0.17	c 0.13098 30.6836 17 5974
0.09/0.17	o 4
1800.04/1800.00	s SATISFIABLE
1800.04/1800.00	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 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 x3765 -x3766 x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900

Verifier Data 

OK	4

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699025-1278459255/watcher-2699025-1278459255 -o /tmp/evaluation-result-2699025-1278459255/solver-2699025-1278459255 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699025-1278459255.wbo 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 11854
/proc/meminfo: memFree=30448852/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=2136 CPUtime=0
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 255 0 0 0 0 0 0 0 23 0 1 0 14138936 2187264 174 4089446400 134512640 136422188 4294034704 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11854/statm: 534 174 144 467 0 65 0

[startup+0.09532 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 11854
/proc/meminfo: memFree=30448852/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=28060 CPUtime=0.09
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 6766 0 0 0 8 1 0 0 23 0 1 0 14138936 28733440 6586 4089446400 134512640 136422188 4294034704 18446744073709551615 134640840 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 7015 6604 195 467 0 6546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28060

[startup+0.10032 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 11854
/proc/meminfo: memFree=30448852/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=28704 CPUtime=0.09
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 6956 0 0 0 8 1 0 0 23 0 1 0 14138936 29392896 6682 4089446400 134512640 136422188 4294034704 18446744073709551615 134709434 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 7176 6682 203 467 0 6707 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28704

[startup+0.300285 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 11854
/proc/meminfo: memFree=30448852/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=32076 CPUtime=0.29
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 7816 0 0 0 19 10 0 0 23 0 1 0 14138936 32845824 7536 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 8019 7536 237 467 0 7550 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32076

[startup+0.700219 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 11854
/proc/meminfo: memFree=30448852/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=36172 CPUtime=0.69
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 8843 0 0 0 45 24 0 0 25 0 1 0 14138936 37040128 8563 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 9043 8563 237 467 0 8574 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36172

[startup+1.50112 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 11865
/proc/meminfo: memFree=30374852/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=38416 CPUtime=1.49
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 9411 0 0 0 94 55 0 0 25 0 1 0 14138936 39337984 9131 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 9604 9131 237 467 0 9135 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38416

[startup+3.1009 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 11865
/proc/meminfo: memFree=30365676/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=44752 CPUtime=3.09
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 10977 0 0 0 195 114 0 0 25 0 1 0 14138936 45826048 10697 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 11188 10697 237 467 0 10719 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44752

[startup+6.30022 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 11865
/proc/meminfo: memFree=30355884/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=48852 CPUtime=6.29
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 12013 0 0 0 415 214 0 0 25 0 1 0 14138936 50024448 11733 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 12213 11733 237 467 0 11744 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48852

[startup+12.7001 s]
/proc/loadavg: 1.94 1.97 1.68 3/179 11866
/proc/meminfo: memFree=30342436/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=52152 CPUtime=12.69
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 12838 0 0 0 875 394 0 0 25 0 1 0 14138936 53403648 12558 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 13038 12558 237 467 0 12569 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52152

[startup+25.5009 s]
/proc/loadavg: 1.95 1.97 1.68 3/179 11867
/proc/meminfo: memFree=30317368/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=61808 CPUtime=25.5
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 15261 0 0 0 1882 668 0 0 25 0 1 0 14138936 63291392 14981 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 15452 14981 237 467 0 14983 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 61808

[startup+51.1004 s]
/proc/loadavg: 1.96 1.97 1.69 3/179 11867
/proc/meminfo: memFree=30293776/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=72988 CPUtime=51.09
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 18049 0 0 0 3971 1138 0 0 25 0 1 0 14138936 74739712 17769 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 18247 17769 237 467 0 17778 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 72988

[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.70 3/179 11869
/proc/meminfo: memFree=30263132/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=93136 CPUtime=102.3
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 23033 0 0 0 8353 1877 0 0 25 0 1 0 14138936 95371264 22753 4089446400 134512640 136422188 4294034704 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 23284 22753 237 467 0 22815 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 93136

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.72 3/179 11870
/proc/meminfo: memFree=30257528/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=96040 CPUtime=162.3
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 23767 0 0 0 13264 2966 0 0 25 0 1 0 14138936 98344960 23487 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 24010 23487 237 467 0 23541 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 96040

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/179 11871
/proc/meminfo: memFree=30232088/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=101800 CPUtime=222.3
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 25196 0 0 0 18372 3858 0 0 25 0 1 0 14138936 104243200 24916 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 25450 24916 237 467 0 24981 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 101800

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.75 3/179 11873
/proc/meminfo: memFree=30215704/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=111084 CPUtime=282.3
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 27526 0 0 0 23637 4593 0 0 25 0 1 0 14138936 113750016 27246 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 27771 27246 237 467 0 27302 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 111084

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.76 3/179 11875
/proc/meminfo: memFree=30215560/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=111084 CPUtime=342.3
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 27527 0 0 0 28551 5679 0 0 25 0 1 0 14138936 113750016 27247 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 27771 27247 237 467 0 27302 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 111084

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.77 3/179 11877
/proc/meminfo: memFree=30185032/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=141180 CPUtime=402.3
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 35143 0 0 0 33704 6526 0 0 25 0 1 0 14138936 144568320 34770 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 35295 34770 237 467 0 34826 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 141180

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.78 3/179 11878
/proc/meminfo: memFree=30174972/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=141180 CPUtime=462.31
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 35143 0 0 0 38637 7594 0 0 25 0 1 0 14138936 144568320 34770 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 35295 34770 237 467 0 34826 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 141180

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.79 3/179 11879
/proc/meminfo: memFree=30174704/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=141180 CPUtime=522.3
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 35146 0 0 0 43905 8325 0 0 25 0 1 0 14138936 144568320 34773 4089446400 134512640 136422188 4294034704 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 35295 34773 237 467 0 34826 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 141180

[startup+582.3 s]
/proc/loadavg: 2.10 2.00 1.82 3/179 11881
/proc/meminfo: memFree=30174688/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=141180 CPUtime=582.31
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 35148 0 0 0 49332 8899 0 0 25 0 1 0 14138936 144568320 34775 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 35295 34775 237 467 0 34826 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 141180

[startup+642.301 s]
/proc/loadavg: 2.03 2.00 1.82 3/179 11883
/proc/meminfo: memFree=30164128/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=143448 CPUtime=642.31
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 35702 0 0 0 54939 9292 0 0 25 0 1 0 14138936 146890752 35329 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 35862 35329 237 467 0 35393 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 143448

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.84 3/179 11887
/proc/meminfo: memFree=30158740/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=143448 CPUtime=822.31
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 35705 0 0 0 70197 12034 0 0 25 0 1 0 14138936 146890752 35332 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 35862 35332 237 467 0 35393 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 143448

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 11889
/proc/meminfo: memFree=30158836/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=143448 CPUtime=882.32
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 35705 0 0 0 75199 13033 0 0 25 0 1 0 14138936 146890752 35332 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 35862 35332 237 467 0 35393 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 143448

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 11891
/proc/meminfo: memFree=30157812/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=144508 CPUtime=942.31
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 35976 0 0 0 80625 13606 0 0 25 0 1 0 14138936 147976192 35603 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 36127 35603 237 467 0 35658 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 144508

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 11893
/proc/meminfo: memFree=30144772/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=146824 CPUtime=1002.32
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 36526 0 0 0 85804 14428 0 0 25 0 1 0 14138936 150347776 36153 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 36706 36153 237 467 0 36237 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 146824

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 11894
/proc/meminfo: memFree=30144632/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=146824 CPUtime=1062.32
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 36526 0 0 0 90877 15355 0 0 25 0 1 0 14138936 150347776 36153 4089446400 134512640 136422188 4294034704 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 36706 36153 237 467 0 36237 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 146824

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 1.88 3/179 11895
/proc/meminfo: memFree=30140524/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=150604 CPUtime=1122.32
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 37592 0 0 0 96008 16224 0 0 25 0 1 0 14138936 154218496 37115 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 37651 37115 237 467 0 37182 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 150604

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.88 3/179 11897
/proc/meminfo: memFree=30138768/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=152012 CPUtime=1182.32
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 38788 0 0 0 101012 17220 0 0 25 0 1 0 14138936 155660288 37467 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 38003 37467 237 467 0 37534 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 152012

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/179 11899
/proc/meminfo: memFree=30128820/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=162348 CPUtime=1242.32
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 41345 0 0 0 106445 17787 0 0 25 0 1 0 14138936 166244352 40024 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 40587 40024 237 467 0 40118 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 162348

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 11901
/proc/meminfo: memFree=30128660/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=162348 CPUtime=1302.33
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 41346 0 0 0 111922 18311 0 0 25 0 1 0 14138936 166244352 40025 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 40587 40025 237 467 0 40118 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 162348

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 11902
/proc/meminfo: memFree=30102456/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=178852 CPUtime=1362.32
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 45469 0 0 0 117369 18863 0 0 25 0 1 0 14138936 183144448 44148 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 44713 44148 237 467 0 44244 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 178852

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11903
/proc/meminfo: memFree=30086172/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=188752 CPUtime=1422.33
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 47951 0 0 0 122800 19433 0 0 25 0 1 0 14138936 193282048 46630 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 47188 46630 237 467 0 46719 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 188752

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11905
/proc/meminfo: memFree=30086136/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=188752 CPUtime=1482.33
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 47952 0 0 0 128268 19965 0 0 25 0 1 0 14138936 193282048 46631 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 47188 46631 237 467 0 46719 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 188752

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11907
/proc/meminfo: memFree=30083372/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=188752 CPUtime=1542.33
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 47953 0 0 0 133860 20373 0 0 25 0 1 0 14138936 193282048 46632 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 47188 46632 237 467 0 46719 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 188752

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11909
/proc/meminfo: memFree=30054820/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=190412 CPUtime=1602.33
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 48476 0 0 0 139357 20876 0 0 25 0 1 0 14138936 194981888 47067 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 47603 47067 237 467 0 47134 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 190412

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/179 11919
/proc/meminfo: memFree=30041432/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=190412 CPUtime=1662.33
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 48476 0 0 0 144369 21864 0 0 25 0 1 0 14138936 194981888 47067 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 47603 47067 237 467 0 47134 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 190412

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 11920
/proc/meminfo: memFree=30027024/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=190412 CPUtime=1722.33
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 48476 0 0 0 149625 22608 0 0 25 0 1 0 14138936 194981888 47067 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 47603 47067 237 467 0 47134 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 190412

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11922
/proc/meminfo: memFree=30026384/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=190412 CPUtime=1782.33
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 48476 0 0 0 154629 23604 0 0 25 0 1 0 14138936 194981888 47067 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 47603 47067 237 467 0 47134 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 190412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11922
/proc/meminfo: memFree=30026368/32950928 swapFree=4192956/4192956
[pid=11854] ppid=11852 vsize=190412 CPUtime=1800.04
/proc/11854/stat : 11854 (pbct) R 11852 11854 11722 0 -1 4202496 48476 0 0 0 156061 23943 0 0 25 0 1 0 14138936 194981888 47067 4089446400 134512640 136422188 4294034704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11854/statm: 47603 47067 237 467 0 47134 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 190412

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

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1560.62
CPU system time (s): 239.442
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 190796

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

runsolver used 2.58761 second user time and 5.60715 second system time

The end

Launcher Data 

Begin job on node124 at 2010-07-07 01:34:15
IDJOB=2699025
IDBENCH=78729
IDSOLVER=1212
FILE ID=node124/2699025-1278459255
PBS_JOBID= 11233745
Free space on /tmp= 130272 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699025-1278459255/watcher-2699025-1278459255 -o /tmp/evaluation-result-2699025-1278459255/solver-2699025-1278459255 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699025-1278459255.wbo

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

MD5SUM BENCH= 7e0724db75f314e84b0472c27c0a5114
RANDOM SEED=1578258531

node124.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30449372 kB
Buffers:        101876 kB
Cached:        2232940 kB
SwapCached:          0 kB
Active:         751936 kB
Inactive:      1644904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30449372 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1956 kB
Writeback:           0 kB
AnonPages:       62376 kB
Mapped:          14424 kB
Slab:            72060 kB
PageTables:       4500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:   185896 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130268 MiB
End job on node124 at 2010-07-07 02:04:17