Trace number 3730052

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
PB11: borg pb-dec-11.04.03SAT 268.242 392.859

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
MD5SUM81a731c23b82a1147f726d3bcf60f6bf
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.6526
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4500
Total number of constraints2559501
Number of constraints which are clauses2554450
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 462
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2049
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

Solver Data 

0.32/0.48	c INFO: loaded portfolio from HOME/etc/borg-mix+class.dec.pickle
0.32/0.48	c INFO: solving HOME/instance-3730052-1338715397.opb
15.70/15.83	c INFO: parsing took 15.05 s
39.89/40.03	c INFO: features took 24.15 CPU seconds
174.37/174.58	c INFO: wrote minion input file to HOME/tmpr8zDgo.minion
174.37/174.58	c INFO: running minion-0.12@0 for 45 with 1760 remaining (b = 0.67)
214.56/339.39	c INFO: running clasp-1.3.7@0 for 45 with 1590 remaining (b = 0.62)
261.83/386.54	c INFO: running wbo1.4a@0 for 45 with 1543 remaining (b = 0.19)
268.03/392.74	s SATISFIABLE
268.03/392.74	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 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 x4209 x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 x4455 x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 x4500

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3730052-1338715397/watcher-3730052-1338715397 -o /tmp/evaluation-result-3730052-1338715397/solver-3730052-1338715397 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730052-1338715397.opb -seed 621608195 -budget 1800 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.09 2.03 1.95 3/226 4689
/proc/meminfo: memFree=27877104/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/4689/stat : 4689 (python) D 4687 4689 3958 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 337665996 15749120 631 33554432000 4194304 5683644 140734074601744 140734074542232 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/4689/statm: 3845 631 334 364 0 287 0

[startup+0.01013 s]
/proc/loadavg: 2.09 2.03 1.95 3/226 4689
/proc/meminfo: memFree=27877104/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=15972 CPUtime=0 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 904 0 0 0 0 0 0 0 20 0 1 0 337665996 16355328 756 33554432000 4194304 5683644 140734074601744 140734074519016 217410520352 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/4689/statm: 3993 756 348 364 0 435 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15972

[startup+0.100157 s]
/proc/loadavg: 2.09 2.03 1.95 3/226 4689
/proc/meminfo: memFree=27877104/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=94456 CPUtime=0.07 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 3447 1011 1 0 5 2 0 0 20 0 1 0 337665996 96722944 2547 33554432000 4194304 5683644 140734074601744 140734074554216 5172002 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4689/statm: 23614 2547 820 364 0 1620 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94456

[startup+0.300227 s]
/proc/loadavg: 2.09 2.03 1.95 3/226 4689
/proc/meminfo: memFree=27877104/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=176484 CPUtime=0.24 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 6878 1011 1 0 18 6 0 0 20 0 1 0 337665996 180719616 4629 33554432000 4194304 5683644 140734074601744 140734074492232 217410146123 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4689/statm: 44113 4629 1265 364 0 3561 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 176484

[startup+0.700228 s]
/proc/loadavg: 2.09 2.03 1.95 3/226 4689
/proc/meminfo: memFree=27877104/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=374828 CPUtime=0.6 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 11398 1011 1 0 48 12 0 0 20 0 1 0 337665996 383823872 30406 33554432000 4194304 5683644 140734074601744 140734074594984 4302613 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4689/statm: 93707 30407 1811 364 0 28936 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 374828

[startup+1.50018 s]
/proc/loadavg: 2.08 2.03 1.95 3/227 4694
/proc/meminfo: memFree=27753080/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=401128 CPUtime=1.4 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 17695 1011 1 0 127 13 0 0 20 0 1 0 337665996 410755072 36703 33554432000 4194304 5683644 140734074601744 140734074594984 217410146196 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4689/statm: 100282 36705 1811 364 0 35511 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 401128

[startup+3.10013 s]
/proc/loadavg: 2.08 2.03 1.95 3/227 4694
/proc/meminfo: memFree=27716384/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=456072 CPUtime=3.01 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 30940 1011 1 0 285 16 0 0 20 0 1 0 337665996 467017728 49948 33554432000 4194304 5683644 140734074601744 140734074594360 217410576554 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4689/statm: 114018 49948 1811 364 0 49247 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 456072

[startup+6.30019 s]
/proc/loadavg: 2.23 2.06 1.96 3/227 4694
/proc/meminfo: memFree=27600316/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=566532 CPUtime=6.2 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 56561 1011 1 0 599 21 0 0 20 0 1 0 337665996 580128768 77102 33554432000 4194304 5683644 140734074601744 140734074594360 217410146196 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4689/statm: 141633 77102 1811 364 0 76862 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 566532

[startup+12.7001 s]
/proc/loadavg: 2.21 2.06 1.96 3/227 4694
/proc/meminfo: memFree=27374372/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=788856 CPUtime=12.6 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 100848 1011 1 0 1229 31 0 0 20 0 1 0 337665996 807788544 131609 33554432000 4194304 5683644 140734074601744 140734074594808 217410146196 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4689/statm: 197214 131609 1811 364 0 132443 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 788856

[startup+25.5002 s]
/proc/loadavg: 2.24 2.07 1.97 3/227 4694
/proc/meminfo: memFree=27272428/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=867664 CPUtime=25.41 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 111562 1011 1 0 2500 41 0 0 20 0 1 0 337665996 888487936 153668 33554432000 4194304 5683644 140734074601744 140734074588568 217410140506 0 0 16781312 33554434 0 0 0 17 1 0 0 0 0 0
/proc/4689/statm: 216916 153668 1846 364 0 152145 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 867664

[startup+51.1001 s]
/proc/loadavg: 2.22 2.08 1.97 3/227 4694
/proc/meminfo: memFree=27339316/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=790152 CPUtime=50.99 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 113751 1011 1 0 5054 45 0 0 20 0 1 0 337665996 809115648 134334 33554432000 4194304 5683644 140734074601744 140734074596072 4562950 0 0 16781312 33554434 0 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 197538 134334 1893 364 0 132764 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 790152

[startup+102.3 s]
/proc/loadavg: 2.29 2.11 1.99 3/197 4761
/proc/meminfo: memFree=28379040/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=790152 CPUtime=102.18 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 113757 1011 1 0 10158 60 0 0 20 0 1 0 337665996 809115648 134334 33554432000 4194304 5683644 140734074601744 140734074596072 4876492 0 0 16781312 33554434 0 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 197538 134334 1893 364 0 132764 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 790152

[startup+162.3 s]
/proc/loadavg: 2.75 2.27 2.05 3/177 4872
/proc/meminfo: memFree=28605028/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=790152 CPUtime=162.16 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 113757 1011 1 0 16136 80 0 0 20 0 1 0 337665996 809115648 134334 33554432000 4194304 5683644 140734074601744 140734074596072 5120145 0 0 16781312 33554434 0 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 197538 134334 1893 364 0 132764 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 790152

[startup+222.3 s]
/proc/loadavg: 2.66 2.32 2.08 3/182 4877
/proc/meminfo: memFree=19612676/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=865940 CPUtime=174.45 cores=1,3,5,7
/proc/4689/stat : 4689 (python) S 4687 4689 3958 0 -1 4202496 113926 1011 1 0 17361 84 0 0 20 0 2 0 337665996 886722560 134348 33554432000 4194304 5683644 140734074601744 140734074596576 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 216485 134348 1902 364 0 151708 0
[pid=4874] ppid=4689 vsize=790160 CPUtime=0.07 cores=1,3,5,7
/proc/4874/stat : 4874 (python) S 4689 4689 3958 0 -1 4202560 709 0 0 0 4 3 0 0 20 0 1 0 337683454 809123840 132802 33554432000 4194304 5683644 140734074601744 140734074592832 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4874/statm: 197540 132802 362 364 0 132763 0
[pid=4876] ppid=4874 vsize=4126048 CPUtime=38.62 cores=1,3,5,7
/proc/4876/stat : 4876 (minion) S 4874 4876 4876 0 -1 4204032 331947 0 0 0 3618 244 0 0 20 0 1 0 337683455 4225073152 1021580 33554432000 134512640 165565024 4290301024 4290298256 159737071 0 0 16781312 8396802 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4876/statm: 1031512 1021580 359 7582 0 1023927 0
[pid=4689/tid=4875] ppid=4687 vsize=865940 CPUtime=0 cores=1,3,5,7
/proc/4689/task/4875/stat : 4875 (python) S 4687 4689 3958 0 -1 4202560 24 1011 0 0 0 0 0 0 20 0 2 0 337683455 886722560 134348 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 213.14
Current children cumulated vsize (KiB) 5782148

[startup+282.3 s]
/proc/loadavg: 4.14 2.80 2.26 2/181 4877
/proc/meminfo: memFree=15862452/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=865940 CPUtime=174.45 cores=1,3,5,7
/proc/4689/stat : 4689 (python) S 4687 4689 3958 0 -1 4202496 113926 1011 1 0 17361 84 0 0 20 0 2 0 337665996 886722560 134348 33554432000 4194304 5683644 140734074601744 140734074596576 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 216485 134348 1902 364 0 151708 0
[pid=4874] ppid=4689 vsize=790160 CPUtime=0.15 cores=1,3,5,7
/proc/4874/stat : 4874 (python) S 4689 4689 3958 0 -1 4202560 715 0 0 0 9 6 0 0 20 0 1 0 337683454 809123840 132802 33554432000 4194304 5683644 140734074601744 140734074592832 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4874/statm: 197540 132802 362 364 0 132763 0
[pid=4876] ppid=4874 vsize=4126048 CPUtime=39.87 cores=1,3,5,7
/proc/4876/stat : 4876 (minion) S 4874 4876 4876 0 -1 4204032 331947 0 0 0 3618 369 0 0 20 0 1 0 337683455 4225073152 1021580 33554432000 134512640 165565024 4290301024 4290298256 159737071 0 0 16781312 8396802 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4876/statm: 1031512 1021580 359 7582 0 1023927 0
[pid=4689/tid=4875] ppid=4687 vsize=865940 CPUtime=0 cores=1,3,5,7
/proc/4689/task/4875/stat : 4875 (python) S 4687 4689 3958 0 -1 4202560 24 1011 0 0 0 0 0 0 20 0 2 0 337683455 886722560 134348 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 214.47
Current children cumulated vsize (KiB) 5782148
heavy processes:
  %CPU=20 pid=4877 uid=0 cmd=

[startup+342.3 s]
/proc/loadavg: 4.76 3.22 2.43 3/185 4885
/proc/meminfo: memFree=23368424/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=941732 CPUtime=214.68 cores=1,3,5,7
/proc/4689/stat : 4689 (python) S 4687 4689 3958 0 -1 4202496 114377 333855 1 0 17363 85 3633 387 20 0 3 0 337665996 964333568 134357 33554432000 4194304 5683644 140734074601744 140734074596576 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 235433 134357 1905 364 0 170653 0
[pid=4883] ppid=4689 vsize=865952 CPUtime=0.01 cores=1,3,5,7
/proc/4883/stat : 4883 (python) S 4689 4689 3958 0 -1 4202560 623 0 0 0 0 1 0 0 20 0 1 0 337699935 886734848 132781 33554432000 4194304 5683644 140734074601744 140734074592832 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4883/statm: 216488 132781 335 364 0 151708 0
[pid=4885] ppid=4883 vsize=167240 CPUtime=2.89 cores=1,3,5,7
/proc/4885/stat : 4885 (clasp-1.3.7-x86) R 4883 4885 4885 0 -1 4202496 42297 0 0 0 279 10 0 0 20 0 1 0 337699936 171253760 40284 33554432000 134512640 136139019 4289147168 4289146272 134815804 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4885/statm: 41810 40284 171 398 0 41410 0
[pid=4689/tid=4875] ppid=4687 vsize=941732 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4875/stat : 4875 (python) S 4687 4689 3958 0 -1 4202560 24 333855 0 0 0 0 3633 387 20 0 3 0 337683455 964333568 134357 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4689/tid=4884] ppid=4687 vsize=941732 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4884/stat : 4884 (python) S 4687 4689 3958 0 -1 4202560 21 333855 0 0 0 0 3633 387 20 0 3 0 337699935 964333568 134357 33554432000 4194304 5683644 140734074601744 140141129777712 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 217.58
Current children cumulated vsize (KiB) 1974924
heavy processes:

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

[startup+359.4 s]
/proc/loadavg: 4.15 3.16 2.42 3/185 4885
/proc/meminfo: memFree=23131128/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=941732 CPUtime=214.68 cores=1,3,5,7
/proc/4689/stat : 4689 (python) S 4687 4689 3958 0 -1 4202496 114377 333855 1 0 17363 85 3633 387 20 0 3 0 337665996 964333568 134357 33554432000 4194304 5683644 140734074601744 140734074596576 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 235433 134357 1905 364 0 170653 0

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

/proc/4885/statm: 41810 40284 171 398 0 41410 0
[pid=4689/tid=4875] ppid=4687 vsize=941732 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4875/stat : 4875 (python) S 4687 4689 3958 0 -1 4202560 24 333855 0 0 0 0 3633 387 20 0 3 0 337683455 964333568 134357 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4689/tid=4884] ppid=4687 vsize=941732 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4884/stat : 4884 (python) S 4687 4689 3958 0 -1 4202560 21 333855 0 0 0 0 3633 387 20 0 3 0 337699935 964333568 134357 33554432000 4194304 5683644 140734074601744 140141129777712 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 234.7
Current children cumulated vsize (KiB) 1974924

[startup+372.2 s]
/proc/loadavg: 3.99 3.16 2.44 4/186 4886
/proc/meminfo: memFree=14285464/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=941732 CPUtime=214.68 cores=1,3,5,7
/proc/4689/stat : 4689 (python) S 4687 4689 3958 0 -1 4202496 114377 333855 1 0 17363 85 3633 387 20 0 3 0 337665996 964333568 134357 33554432000 4194304 5683644 140734074601744 140734074596576 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 235433 134357 1905 364 0 170653 0
[pid=4883] ppid=4689 vsize=865952 CPUtime=0.05 cores=1,3,5,7
/proc/4883/stat : 4883 (python) S 4689 4689 3958 0 -1 4202560 678 0 0 0 2 3 0 0 20 0 1 0 337699935 886734848 132804 33554432000 4194304 5683644 140734074601744 140734074592832 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4883/statm: 216488 132804 358 364 0 151708 0
[pid=4885] ppid=4883 vsize=167240 CPUtime=32.79 cores=1,3,5,7
/proc/4885/stat : 4885 (clasp-1.3.7-x86) R 4883 4885 4885 0 -1 4202496 42297 0 0 0 3269 10 0 0 20 0 1 0 337699936 171253760 40284 33554432000 134512640 136139019 4289147168 4289146272 134815804 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4885/statm: 41810 40284 171 398 0 41410 0
[pid=4689/tid=4875] ppid=4687 vsize=941732 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4875/stat : 4875 (python) S 4687 4689 3958 0 -1 4202560 24 333855 0 0 0 0 3633 387 20 0 3 0 337683455 964333568 134357 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4689/tid=4884] ppid=4687 vsize=941732 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4884/stat : 4884 (python) S 4687 4689 3958 0 -1 4202560 21 333855 0 0 0 0 3633 387 20 0 3 0 337699935 964333568 134357 33554432000 4194304 5683644 140734074601744 140141129777712 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 247.52
Current children cumulated vsize (KiB) 1974924

[startup+385.007 s]
/proc/loadavg: 4.14 3.22 2.46 3/186 4886
/proc/meminfo: memFree=13486648/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=941732 CPUtime=214.68 cores=1,3,5,7
/proc/4689/stat : 4689 (python) S 4687 4689 3958 0 -1 4202496 114377 333855 1 0 17363 85 3633 387 20 0 3 0 337665996 964333568 134357 33554432000 4194304 5683644 140734074601744 140734074596576 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 235433 134357 1905 364 0 170653 0
[pid=4883] ppid=4689 vsize=865952 CPUtime=0.07 cores=1,3,5,7
/proc/4883/stat : 4883 (python) S 4689 4689 3958 0 -1 4202560 680 0 0 0 3 4 0 0 20 0 1 0 337699935 886734848 132804 33554432000 4194304 5683644 140734074601744 140734074592832 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4883/statm: 216488 132804 358 364 0 151708 0
[pid=4885] ppid=4883 vsize=167240 CPUtime=45.59 cores=1,3,5,7
/proc/4885/stat : 4885 (clasp-1.3.7-x86) R 4883 4885 4885 0 -1 4202496 42297 0 0 0 4549 10 0 0 20 0 1 0 337699936 171253760 40284 33554432000 134512640 136139019 4289147168 4289146272 134815804 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4885/statm: 41810 40284 171 398 0 41410 0
[pid=4689/tid=4875] ppid=4687 vsize=941732 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4875/stat : 4875 (python) S 4687 4689 3958 0 -1 4202560 24 333855 0 0 0 0 3633 387 20 0 3 0 337683455 964333568 134357 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4689/tid=4884] ppid=4687 vsize=941732 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4884/stat : 4884 (python) S 4687 4689 3958 0 -1 4202560 21 333855 0 0 0 0 3633 387 20 0 3 0 337699935 964333568 134357 33554432000 4194304 5683644 140734074601744 140141129777712 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 260.34
Current children cumulated vsize (KiB) 1974924

[startup+388.2 s]
/proc/loadavg: 4.21 3.25 2.48 2/190 4890
/proc/meminfo: memFree=12220428/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=1017524 CPUtime=214.7 cores=1,3,5,7
/proc/4689/stat : 4689 (python) S 4687 4689 3958 0 -1 4202496 114819 333855 1 0 17365 85 3633 387 20 0 4 0 337665996 1041944576 134365 33554432000 4194304 5683644 140734074601744 140734074596576 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 254381 134365 1907 364 0 189598 0
[pid=4883] ppid=4689 vsize=865952 CPUtime=0.07 cores=1,3,5,7
/proc/4883/stat : 4883 (python) S 4689 4689 3958 0 -1 4202560 799 0 0 0 3 4 0 0 20 0 2 0 337699935 886734848 132830 33554432000 4194304 5683644 140734074601744 140734074593392 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4883/statm: 216488 132830 383 364 0 151708 0
[pid=4885] ppid=4883 vsize=167240 CPUtime=47.11 cores=1,3,5,7
/proc/4885/stat : 4885 (clasp-1.3.7-x86) T 4883 4885 4885 0 -1 4202496 42297 0 0 0 4701 10 0 0 20 0 1 0 337699936 171253760 40284 33554432000 134512640 136139019 4289147168 4289146272 134817460 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4885/statm: 41810 40284 171 398 0 41410 0
[pid=4883/tid=4887] ppid=4689 vsize=865952 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (python) S 4689 4689 3958 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 337704649 886734848 132830 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4888] ppid=4689 vsize=941744 CPUtime=0 cores=1,3,5,7
/proc/4888/stat : 4888 (python) S 4689 4689 3958 0 -1 4202560 638 0 0 0 0 0 0 0 20 0 1 0 337704651 964345856 132787 33554432000 4194304 5683644 140734074601744 140734074592832 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4888/statm: 235436 132787 335 364 0 170653 0
[pid=4890] ppid=4888 vsize=133096 CPUtime=1.64 cores=1,3,5,7
/proc/4890/stat : 4890 (wbo1.4a) R 4888 4890 4890 0 -1 4202496 16786 0 0 0 162 2 0 0 20 0 1 0 337704651 136290304 16552 33554432000 134512640 135751879 4294405856 4293355368 135206651 0 0 16781312 3 0 0 0 17 3 0 0 0 0 0
/proc/4890/statm: 33274 16552 6329 303 0 10800 0
[pid=4689/tid=4875] ppid=4687 vsize=1017524 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4875/stat : 4875 (python) S 4687 4689 3958 0 -1 4202560 24 333855 0 0 0 0 3633 387 20 0 4 0 337683455 1041944576 134365 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4689/tid=4884] ppid=4687 vsize=1017524 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4884/stat : 4884 (python) S 4687 4689 3958 0 -1 4202560 21 333855 0 0 0 0 3633 387 20 0 4 0 337699935 1041944576 134365 33554432000 4194304 5683644 140734074601744 140141129777712 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4689/tid=4889] ppid=4687 vsize=1017524 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4889/stat : 4889 (python) S 4687 4689 3958 0 -1 4202560 20 333855 0 0 0 0 3633 387 20 0 4 0 337704651 1041944576 134365 33554432000 4194304 5683644 140734074601744 140141119287856 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 263.52
Current children cumulated vsize (KiB) 3125556

[startup+391.4 s]
/proc/loadavg: 4.19 3.27 2.49 2/190 4890
/proc/meminfo: memFree=12023080/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=1017524 CPUtime=214.7 cores=1,3,5,7
/proc/4689/stat : 4689 (python) S 4687 4689 3958 0 -1 4202496 114819 333855 1 0 17365 85 3633 387 20 0 4 0 337665996 1041944576 134365 33554432000 4194304 5683644 140734074601744 140734074596576 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 254381 134365 1907 364 0 189598 0
[pid=4883] ppid=4689 vsize=865952 CPUtime=0.07 cores=1,3,5,7
/proc/4883/stat : 4883 (python) S 4689 4689 3958 0 -1 4202560 799 0 0 0 3 4 0 0 20 0 2 0 337699935 886734848 132830 33554432000 4194304 5683644 140734074601744 140734074593392 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4883/statm: 216488 132830 383 364 0 151708 0
[pid=4885] ppid=4883 vsize=167240 CPUtime=47.11 cores=1,3,5,7
/proc/4885/stat : 4885 (clasp-1.3.7-x86) T 4883 4885 4885 0 -1 4202496 42297 0 0 0 4701 10 0 0 20 0 1 0 337699936 171253760 40284 33554432000 134512640 136139019 4289147168 4289146272 134817460 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4885/statm: 41810 40284 171 398 0 41410 0
[pid=4883/tid=4887] ppid=4689 vsize=865952 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (python) S 4689 4689 3958 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 337704649 886734848 132830 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4888] ppid=4689 vsize=941744 CPUtime=0.01 cores=1,3,5,7
/proc/4888/stat : 4888 (python) S 4689 4689 3958 0 -1 4202560 686 0 0 0 0 1 0 0 20 0 1 0 337704651 964345856 132810 33554432000 4194304 5683644 140734074601744 140734074592832 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4888/statm: 235436 132810 358 364 0 170653 0
[pid=4890] ppid=4888 vsize=209492 CPUtime=4.84 cores=1,3,5,7
/proc/4890/stat : 4890 (wbo1.4a) R 4888 4890 4890 0 -1 4202496 47377 0 0 0 478 6 0 0 20 0 1 0 337704651 214519808 47654 33554432000 134512640 135751879 4294405856 4293355324 135228447 0 0 16781312 3 0 0 0 17 3 0 0 0 0 0
/proc/4890/statm: 52373 47654 18224 303 0 29899 0
[pid=4689/tid=4875] ppid=4687 vsize=1017524 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4875/stat : 4875 (python) S 4687 4689 3958 0 -1 4202560 24 333855 0 0 0 0 3633 387 20 0 4 0 337683455 1041944576 134365 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4689/tid=4884] ppid=4687 vsize=1017524 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4884/stat : 4884 (python) S 4687 4689 3958 0 -1 4202560 21 333855 0 0 0 0 3633 387 20 0 4 0 337699935 1041944576 134365 33554432000 4194304 5683644 140734074601744 140141129777712 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4689/tid=4889] ppid=4687 vsize=1017524 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4889/stat : 4889 (python) S 4687 4689 3958 0 -1 4202560 20 333855 0 0 0 0 3633 387 20 0 4 0 337704651 1041944576 134365 33554432000 4194304 5683644 140734074601744 140141119287856 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 266.73
Current children cumulated vsize (KiB) 3201952

[startup+392.2 s]
/proc/loadavg: 4.19 3.27 2.49 2/190 4890
/proc/meminfo: memFree=11981416/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=1017524 CPUtime=214.7 cores=1,3,5,7
/proc/4689/stat : 4689 (python) S 4687 4689 3958 0 -1 4202496 114819 333855 1 0 17365 85 3633 387 20 0 4 0 337665996 1041944576 134365 33554432000 4194304 5683644 140734074601744 140734074596576 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 254381 134365 1907 364 0 189598 0
[pid=4883] ppid=4689 vsize=865952 CPUtime=0.07 cores=1,3,5,7
/proc/4883/stat : 4883 (python) S 4689 4689 3958 0 -1 4202560 799 0 0 0 3 4 0 0 20 0 2 0 337699935 886734848 132830 33554432000 4194304 5683644 140734074601744 140734074593392 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4883/statm: 216488 132830 383 364 0 151708 0
[pid=4885] ppid=4883 vsize=167240 CPUtime=47.11 cores=1,3,5,7
/proc/4885/stat : 4885 (clasp-1.3.7-x86) T 4883 4885 4885 0 -1 4202496 42297 0 0 0 4701 10 0 0 20 0 1 0 337699936 171253760 40284 33554432000 134512640 136139019 4289147168 4289146272 134817460 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4885/statm: 41810 40284 171 398 0 41410 0
[pid=4883/tid=4887] ppid=4689 vsize=865952 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (python) S 4689 4689 3958 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 337704649 886734848 132830 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4888] ppid=4689 vsize=941744 CPUtime=0.01 cores=1,3,5,7
/proc/4888/stat : 4888 (python) S 4689 4689 3958 0 -1 4202560 686 0 0 0 0 1 0 0 20 0 1 0 337704651 964345856 132810 33554432000 4194304 5683644 140734074601744 140734074592832 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4888/statm: 235436 132810 358 364 0 170653 0
[pid=4890] ppid=4888 vsize=228956 CPUtime=5.63 cores=1,3,5,7
/proc/4890/stat : 4890 (wbo1.4a) R 4888 4890 4890 0 -1 4202496 54285 0 0 0 557 6 0 0 20 0 1 0 337704651 234450944 54562 33554432000 134512640 135751879 4294405856 4293355200 135206651 0 0 16781312 3 0 0 0 17 3 0 0 0 0 0
/proc/4890/statm: 57239 54562 21080 303 0 34765 0
[pid=4689/tid=4875] ppid=4687 vsize=1017524 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4875/stat : 4875 (python) S 4687 4689 3958 0 -1 4202560 24 333855 0 0 0 0 3633 387 20 0 4 0 337683455 1041944576 134365 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4689/tid=4884] ppid=4687 vsize=1017524 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4884/stat : 4884 (python) S 4687 4689 3958 0 -1 4202560 21 333855 0 0 0 0 3633 387 20 0 4 0 337699935 1041944576 134365 33554432000 4194304 5683644 140734074601744 140141129777712 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4689/tid=4889] ppid=4687 vsize=1017524 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4889/stat : 4889 (python) S 4687 4689 3958 0 -1 4202560 20 333855 0 0 0 0 3633 387 20 0 4 0 337704651 1041944576 134365 33554432000 4194304 5683644 140734074601744 140141119287856 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 267.52
Current children cumulated vsize (KiB) 3221416

[startup+392.6 s]
/proc/loadavg: 4.19 3.27 2.49 2/190 4890
/proc/meminfo: memFree=11953268/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=1017524 CPUtime=214.7 cores=1,3,5,7
/proc/4689/stat : 4689 (python) S 4687 4689 3958 0 -1 4202496 114819 333855 1 0 17365 85 3633 387 20 0 4 0 337665996 1041944576 134365 33554432000 4194304 5683644 140734074601744 140734074596576 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4689/statm: 254381 134365 1907 364 0 189598 0
[pid=4883] ppid=4689 vsize=865952 CPUtime=0.07 cores=1,3,5,7
/proc/4883/stat : 4883 (python) S 4689 4689 3958 0 -1 4202560 799 0 0 0 3 4 0 0 20 0 2 0 337699935 886734848 132830 33554432000 4194304 5683644 140734074601744 140734074593392 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4883/statm: 216488 132830 383 364 0 151708 0
[pid=4885] ppid=4883 vsize=167240 CPUtime=47.11 cores=1,3,5,7
/proc/4885/stat : 4885 (clasp-1.3.7-x86) T 4883 4885 4885 0 -1 4202496 42297 0 0 0 4701 10 0 0 20 0 1 0 337699936 171253760 40284 33554432000 134512640 136139019 4289147168 4289146272 134817460 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4885/statm: 41810 40284 171 398 0 41410 0
[pid=4883/tid=4887] ppid=4689 vsize=865952 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (python) S 4689 4689 3958 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 337704649 886734848 132830 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4888] ppid=4689 vsize=941744 CPUtime=0.01 cores=1,3,5,7
/proc/4888/stat : 4888 (python) S 4689 4689 3958 0 -1 4202560 686 0 0 0 0 1 0 0 20 0 1 0 337704651 964345856 132810 33554432000 4194304 5683644 140734074601744 140734074592832 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4888/statm: 235436 132810 358 364 0 170653 0
[pid=4890] ppid=4888 vsize=239244 CPUtime=6.04 cores=1,3,5,7
/proc/4890/stat : 4890 (wbo1.4a) R 4888 4890 4890 0 -1 4202496 58053 0 0 0 598 6 0 0 20 0 1 0 337704651 244985856 58330 33554432000 134512640 135751879 4294405856 4293355248 134564528 0 0 16781312 3 0 0 0 17 3 0 0 0 0 0
/proc/4890/statm: 59811 58330 22238 303 0 37337 0
[pid=4689/tid=4875] ppid=4687 vsize=1017524 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4875/stat : 4875 (python) S 4687 4689 3958 0 -1 4202560 24 333855 0 0 0 0 3633 387 20 0 4 0 337683455 1041944576 134365 33554432000 4194304 5683644 140734074601744 140141140267568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4689/tid=4884] ppid=4687 vsize=1017524 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4884/stat : 4884 (python) S 4687 4689 3958 0 -1 4202560 21 333855 0 0 0 0 3633 387 20 0 4 0 337699935 1041944576 134365 33554432000 4194304 5683644 140734074601744 140141129777712 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4689/tid=4889] ppid=4687 vsize=1017524 CPUtime=40.2 cores=1,3,5,7
/proc/4689/task/4889/stat : 4889 (python) S 4687 4689 3958 0 -1 4202560 20 333855 0 0 0 0 3633 387 20 0 4 0 337704651 1041944576 134365 33554432000 4194304 5683644 140734074601744 140141119287856 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 267.93
Current children cumulated vsize (KiB) 3231704

[startup+392.8 s]
/proc/loadavg: 4.19 3.27 2.49 2/190 4890
/proc/meminfo: memFree=11953268/32873648 swapFree=7628/7628
[pid=4689] ppid=4687 vsize=832984 CPUtime=268.16 cores=1,3,5,7
/proc/4689/stat : 4689 (python) R 4687 4689 3958 0 -1 4202496 134568 438710 1 0 17368 88 8947 413 20 0 1 0 337665996 852975616 88267 33554432000 4194304 5683644 140734074601744 140734074600648 217410140986 0 0 16781312 0 0 0 0 17 5 0 0 0 0 0
/proc/4689/statm: 208246 88267 1900 364 0 143475 0
Current children cumulated CPU time (s) 268.16
Current children cumulated vsize (KiB) 832984

Child status: 0
Real time (s): 392.859
CPU time (s): 268.242
CPU user time (s): 263.198
CPU system time (s): 5.04423
CPU usage (%): 68.2795
Max. virtual memory (cumulated for all children) (KiB): 5782148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 263.198
system time used= 5.04423
maximum resident set size= 4086320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583683
page faults= 1
swaps= 0
block input operations= 0
block output operations= 284208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1018155
involuntary context switches= 419

runsolver used 0.657899 second user time and 1.61975 second system time

The end

Launcher Data 

Begin job on node122 at 2012-06-03 11:23:20
IDJOB=3730052
IDBENCH=1380
IDSOLVER=2327
FILE ID=node122/3730052-1338715397
RUNJOBID= node122-1338713392-3975
PBS_JOBID= 14636732
Free space on /tmp= 71000 MiB

SOLVER NAME= PB11: borg pb-dec-11.04.03
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.dec.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730052-1338715397/watcher-3730052-1338715397 -o /tmp/evaluation-result-3730052-1338715397/solver-3730052-1338715397 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730052-1338715397.opb -seed 621608195 -budget 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 81a731c23b82a1147f726d3bcf60f6bf
RANDOM SEED=621608195

node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27877112 kB
Buffers:          200628 kB
Cached:          1971356 kB
SwapCached:         1800 kB
Active:          2804720 kB
Inactive:        1382404 kB
Active(anon):    2015632 kB
Inactive(anon):     2088 kB
Active(file):     789088 kB
Inactive(file):  1380316 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100160 kB
Dirty:            191656 kB
Writeback:             0 kB
AnonPages:       2021376 kB
Mapped:            32788 kB
Shmem:               108 kB
Slab:             661556 kB
SReclaimable:     103636 kB
SUnreclaim:       557920 kB
KernelStack:        1848 kB
PageTables:        13560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    3019292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1777664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 63108 MiB
End job on node122 at 2012-06-03 11:29:53