Trace number 3712541

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
pwbo 2.01MSAT (TO) 1800.43 900.495

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
MD5SUM6ce7da05711cce00ec3b2d5a1c7699c2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.73773
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4970
Total number of constraints141
Number of soft constraints43
Number of constraints which are clauses71
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint71
Top cost 2285
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2284
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
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 ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.01 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3712541-1338195028.wbo.
0.00/0.00	c Instance file HOME/instance-3712541-1338195028.wbo
0.00/0.00	c File size is 88776 bytes.
0.00/0.01	c Highest Coefficient sum: 72
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      5013                                                |
0.00/0.01	c |  Number Clauses:        71                                                  |
0.00/0.01	c |  Number Cardinality:    52                                                  |
0.00/0.01	c |  Number PB Constraints: 18                                                  |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1800.14/900.41	o 74
1800.14/900.41	o 4
1800.14/900.41	o 1
1800.14/900.41	c ===============================================================================
1800.14/900.41	c Wall Clock Time: 900.41 s
1800.14/900.41	c Best Solution: 1
1800.14/900.41	s SATISFIABLE
1800.14/900.41	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 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970

Verifier Data 

OK	1

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-3712541-1338195028/watcher-3712541-1338195028 -o /tmp/evaluation-result-3712541-1338195028/solver-3712541-1338195028 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712541-1338195028.wbo 

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: 3.68 3.93 3.95 3/175 27719
/proc/meminfo: memFree=31028116/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=5656 CPUtime=0 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) R 27715 27719 26380 0 -1 4202496 674 0 0 0 0 0 0 0 20 0 1 0 285628737 5791744 627 33554432000 4194304 5964478 140733637438192 140735987872872 5179696 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 1414 639 164 433 0 956 0

[startup+0.0463539 s]
/proc/loadavg: 3.68 3.93 3.95 3/175 27719
/proc/meminfo: memFree=31028116/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=172968 CPUtime=0.06 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 5353 0 0 0 5 1 0 0 20 0 3 0 285628737 177119232 5115 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 43242 5119 205 433 0 42806 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 172968

[startup+0.100213 s]
/proc/loadavg: 3.68 3.93 3.95 3/175 27719
/proc/meminfo: memFree=31028116/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=185548 CPUtime=0.16 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 11063 0 0 0 13 3 0 0 20 0 3 0 285628737 190001152 10825 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 46387 10827 206 433 0 45951 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 185548

[startup+0.300184 s]
/proc/loadavg: 3.68 3.93 3.95 3/175 27719
/proc/meminfo: memFree=31028116/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=192632 CPUtime=0.56 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 12823 0 0 0 52 4 0 0 20 0 3 0 285628737 197255168 12585 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 48158 12585 207 433 0 47722 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 192632

[startup+0.700148 s]
/proc/loadavg: 3.68 3.93 3.95 3/175 27719
/proc/meminfo: memFree=31028116/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=192632 CPUtime=1.37 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 14212 0 0 0 132 5 0 0 20 0 3 0 285628737 197255168 13974 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 48158 13974 207 433 0 47722 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 192632

[startup+1.5002 s]
/proc/loadavg: 3.68 3.93 3.95 5/182 27759
/proc/meminfo: memFree=30933564/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=192632 CPUtime=2.97 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 16999 0 0 0 291 6 0 0 20 0 3 0 285628737 197255168 16761 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 48158 16761 207 433 0 47722 0
[pid=27719/tid=27725] ppid=27715 vsize=192632 CPUtime=1.47 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 3411 0 0 0 145 2 0 0 20 0 3 0 285628739 197255168 16761 33554432000 4194304 5964478 140733637438192 139791559485432 4382013 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=192632 CPUtime=1.47 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 12148 0 0 0 142 5 0 0 20 0 3 0 285628739 197255168 16761 33554432000 4194304 5964478 140733637438192 139791548995896 4381944 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 192632

[startup+3.1002 s]
/proc/loadavg: 3.68 3.93 3.95 5/182 27759
/proc/meminfo: memFree=30908384/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=192632 CPUtime=6.16 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 22167 0 0 0 608 8 0 0 20 0 3 0 285628737 197255168 21929 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 48158 21929 207 433 0 47722 0
[pid=27719/tid=27725] ppid=27715 vsize=192632 CPUtime=3.07 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 5921 0 0 0 304 3 0 0 20 0 3 0 285628739 197255168 21929 33554432000 4194304 5964478 140733637438192 139791559485432 4382007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=192632 CPUtime=3.07 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 14806 0 0 0 301 6 0 0 20 0 3 0 285628739 197255168 21929 33554432000 4194304 5964478 140733637438192 139791548995896 4382013 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 192632

[startup+6.30022 s]
/proc/loadavg: 3.70 3.93 3.95 5/182 27759
/proc/meminfo: memFree=30857220/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=192848 CPUtime=12.57 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 28000 0 0 0 1246 11 0 0 20 0 3 0 285628737 197476352 27762 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 48212 27762 207 433 0 47776 0
[pid=27719/tid=27725] ppid=27715 vsize=192848 CPUtime=6.27 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 7048 0 0 0 623 4 0 0 20 0 3 0 285628739 197476352 27762 33554432000 4194304 5964478 140733637438192 139791559485432 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=192848 CPUtime=6.27 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 19512 0 0 0 619 8 0 0 20 0 3 0 285628739 197476352 27762 33554432000 4194304 5964478 140733637438192 139791548995896 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 192848

[startup+12.7003 s]
/proc/loadavg: 3.73 3.94 3.95 5/182 27759
/proc/meminfo: memFree=30788068/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=258708 CPUtime=25.37 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 38714 0 0 0 2521 16 0 0 20 0 3 0 285628737 264916992 38476 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 64677 38476 207 433 0 64241 0
[pid=27719/tid=27725] ppid=27715 vsize=258708 CPUtime=12.67 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 10329 0 0 0 1262 5 0 0 20 0 3 0 285628739 264916992 38476 33554432000 4194304 5964478 140733637438192 139791559485432 4400060 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=258708 CPUtime=12.67 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 26946 0 0 0 1256 11 0 0 20 0 3 0 285628739 264916992 38477 33554432000 4194304 5964478 140733637438192 139791548995896 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 258708

[startup+25.5004 s]
/proc/loadavg: 3.79 3.94 3.95 5/182 27759
/proc/meminfo: memFree=30664664/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=390048 CPUtime=50.95 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 60083 0 0 0 5072 23 0 0 20 0 3 0 285628737 399409152 59840 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 97512 59840 207 433 0 97076 0
[pid=27719/tid=27725] ppid=27715 vsize=390048 CPUtime=25.46 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 18694 0 0 0 2538 8 0 0 20 0 3 0 285628739 399409152 59840 33554432000 4194304 5964478 140733637438192 139791559485432 4382013 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=390048 CPUtime=25.47 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 39949 0 0 0 2531 16 0 0 20 0 3 0 285628739 399409152 59840 33554432000 4194304 5964478 140733637438192 139791548995704 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 390048

[startup+51.1003 s]
/proc/loadavg: 3.86 3.94 3.95 5/181 27760
/proc/meminfo: memFree=30463556/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=521880 CPUtime=102.13 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 99551 0 0 0 10173 40 0 0 20 0 3 0 285628737 534405120 99297 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 130470 99297 207 433 0 130034 0
[pid=27719/tid=27725] ppid=27715 vsize=521880 CPUtime=51.05 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 34924 0 0 0 5092 13 0 0 20 0 3 0 285628739 534405120 99297 33554432000 4194304 5964478 140733637438192 139791559485432 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=521880 CPUtime=51.05 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 63187 0 0 0 5078 27 0 0 20 0 3 0 285628739 534405120 99297 33554432000 4194304 5964478 140733637438192 139791548995896 4381977 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 521880

[startup+102.3 s]
/proc/loadavg: 3.94 3.95 3.95 5/181 27760
/proc/meminfo: memFree=30118292/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=784944 CPUtime=204.47 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 175625 0 0 0 20374 73 0 0 20 0 3 0 285628737 803782656 175986 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 196236 175986 207 433 0 195800 0
[pid=27719/tid=27725] ppid=27715 vsize=784944 CPUtime=102.22 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 72502 0 0 0 10192 30 0 0 20 0 3 0 285628739 803782656 175986 33554432000 4194304 5964478 140733637438192 139791559485432 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=784944 CPUtime=102.24 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 101683 0 0 0 10177 47 0 0 20 0 3 0 285628739 803782656 175986 33554432000 4194304 5964478 140733637438192 139791548995896 4400062 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 784944

[startup+162.3 s]
/proc/loadavg: 3.98 3.95 3.95 5/181 27760
/proc/meminfo: memFree=29901896/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=983092 CPUtime=324.44 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 220266 0 0 0 32348 96 0 0 20 0 3 0 285628737 1006686208 222154 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 245773 222154 207 433 0 245337 0
[pid=27719/tid=27725] ppid=27715 vsize=983092 CPUtime=162.22 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 76780 0 0 0 16188 34 0 0 20 0 3 0 285628739 1006686208 222154 33554432000 4194304 5964478 140733637438192 139791559485432 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=983092 CPUtime=162.21 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 142046 0 0 0 16154 67 0 0 20 0 3 0 285628739 1006686208 222154 33554432000 4194304 5964478 140733637438192 139791548995896 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 983092

[startup+222.307 s]
/proc/loadavg: 3.99 3.96 3.95 5/181 27760
/proc/meminfo: memFree=29769548/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=1114164 CPUtime=444.43 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 248023 0 0 0 44326 117 0 0 20 0 3 0 285628737 1140903936 248535 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 278541 248535 207 433 0 278105 0
[pid=27719/tid=27725] ppid=27715 vsize=1114164 CPUtime=222.22 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 76780 0 0 0 22187 35 0 0 20 0 3 0 285628739 1140903936 248535 33554432000 4194304 5964478 140733637438192 139791559485464 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=1114164 CPUtime=222.21 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 169803 0 0 0 22132 89 0 0 20 0 3 0 285628739 1140903936 248535 33554432000 4194304 5964478 140733637438192 139791548995896 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 1114164

[startup+282.3 s]
/proc/loadavg: 3.99 3.96 3.95 5/181 27760
/proc/meminfo: memFree=29588104/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=1312912 CPUtime=564.4 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 291481 0 0 0 56299 141 0 0 20 0 3 0 285628737 1344421888 291993 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 328228 291993 207 433 0 327792 0
[pid=27719/tid=27725] ppid=27715 vsize=1312912 CPUtime=282.21 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 86672 0 0 0 28181 40 0 0 20 0 3 0 285628739 1344421888 291993 33554432000 4194304 5964478 140733637438192 139791559485432 4382013 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=1312912 CPUtime=282.21 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 203369 0 0 0 28111 110 0 0 20 0 3 0 285628739 1344421888 291993 33554432000 4194304 5964478 140733637438192 139791548995896 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 1312912

[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.95 5/180 27760
/proc/meminfo: memFree=29480316/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=1378588 CPUtime=684.37 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 314453 0 0 0 68275 162 0 0 20 0 3 0 285628737 1411674112 315351 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 344647 315351 207 433 0 344211 0
[pid=27719/tid=27725] ppid=27715 vsize=1378588 CPUtime=342.21 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 88579 0 0 0 34177 44 0 0 20 0 3 0 285628739 1411674112 315351 33554432000 4194304 5964478 140733637438192 139791559485432 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=1378588 CPUtime=342.2 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 224434 0 0 0 34091 129 0 0 20 0 3 0 285628739 1411674112 315351 33554432000 4194304 5964478 140733637438192 139791548995896 4382005 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.37
Current children cumulated vsize (KiB) 1378588

[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.95 5/181 27761
/proc/meminfo: memFree=29400356/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=1444560 CPUtime=804.32 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 332755 0 0 0 80252 180 0 0 20 0 3 0 285628737 1479229440 333786 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 361140 333786 207 433 0 360704 0
[pid=27719/tid=27725] ppid=27715 vsize=1444560 CPUtime=402.2 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 90120 0 0 0 40174 46 0 0 20 0 3 0 285628739 1479229440 333786 33554432000 4194304 5964478 140733637438192 139791559485432 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=1444560 CPUtime=402.18 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 241195 0 0 0 40071 147 0 0 20 0 3 0 285628739 1479229440 333786 33554432000 4194304 5964478 140733637438192 139791548995896 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 1444560

[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.95 5/181 27761
/proc/meminfo: memFree=29241536/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=1575992 CPUtime=924.28 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 362584 0 0 0 92227 201 0 0 20 0 3 0 285628737 1613815808 363968 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 393998 363968 207 433 0 393562 0
[pid=27719/tid=27725] ppid=27715 vsize=1575992 CPUtime=462.19 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 94048 0 0 0 46169 50 0 0 20 0 3 0 285628739 1613815808 363968 33554432000 4194304 5964478 140733637438192 139791559485432 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=1575992 CPUtime=462.15 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 267096 0 0 0 46049 166 0 0 20 0 3 0 285628739 1613815808 363968 33554432000 4194304 5964478 140733637438192 139791548995896 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.28
Current children cumulated vsize (KiB) 1575992

[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.95 5/181 27761
/proc/meminfo: memFree=29072212/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=1707824 CPUtime=1044.24 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 401651 0 0 0 104197 227 0 0 20 0 3 0 285628737 1748811776 403145 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 426956 403145 207 433 0 426520 0
[pid=27719/tid=27725] ppid=27715 vsize=1707824 CPUtime=522.19 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 111695 0 0 0 52159 60 0 0 20 0 3 0 285628739 1748811776 403145 33554432000 4194304 5964478 140733637438192 139791559485432 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=1707824 CPUtime=522.14 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 288516 0 0 0 52031 183 0 0 20 0 3 0 285628739 1748811776 403145 33554432000 4194304 5964478 140733637438192 139791548995896 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.24
Current children cumulated vsize (KiB) 1707824

[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.95 5/182 27764
/proc/meminfo: memFree=28873648/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=1904652 CPUtime=1164.19 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 447496 0 0 0 116162 257 0 0 20 0 3 0 285628737 1950363648 449034 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 476163 449034 207 433 0 475727 0
[pid=27719/tid=27725] ppid=27715 vsize=1904652 CPUtime=582.18 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 132837 0 0 0 58144 74 0 0 20 0 3 0 285628739 1950363648 449034 33554432000 4194304 5964478 140733637438192 139791559485432 4381992 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=1904652 CPUtime=582.11 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 313219 0 0 0 58011 200 0 0 20 0 3 0 285628739 1950363648 449034 33554432000 4194304 5964478 140733637438192 139791548995896 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.19
Current children cumulated vsize (KiB) 1904652

[startup+642.3 s]
/proc/loadavg: 3.99 3.97 3.95 5/182 27787
/proc/meminfo: memFree=28778892/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=2036012 CPUtime=1284.14 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 468448 0 0 0 128136 278 0 0 20 0 3 0 285628737 2084876288 470167 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 509003 470167 207 433 0 508567 0
[pid=27719/tid=27725] ppid=27715 vsize=2036012 CPUtime=642.17 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 132845 0 0 0 64142 75 0 0 20 0 3 0 285628739 2084876288 470167 33554432000 4194304 5964478 140733637438192 139791559485432 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=2036012 CPUtime=642.09 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 334163 0 0 0 63987 222 0 0 20 0 3 0 285628739 2084876288 470167 33554432000 4194304 5964478 140733637438192 139791548995896 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.14
Current children cumulated vsize (KiB) 2036012

[startup+702.3 s]
/proc/loadavg: 4.04 3.99 3.95 5/181 27788
/proc/meminfo: memFree=28695044/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=2103560 CPUtime=1404.1 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 485581 0 0 0 140115 295 0 0 20 0 3 0 285628737 2154045440 487320 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 525890 487320 207 433 0 525454 0
[pid=27719/tid=27725] ppid=27715 vsize=2103560 CPUtime=702.16 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 132853 0 0 0 70140 76 0 0 20 0 3 0 285628739 2154045440 487320 33554432000 4194304 5964478 140733637438192 139791559485432 4400454 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=2103560 CPUtime=702.06 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 351288 0 0 0 69966 240 0 0 20 0 3 0 285628739 2154045440 487320 33554432000 4194304 5964478 140733637438192 139791548995896 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.1
Current children cumulated vsize (KiB) 2103560

[startup+762.3 s]
/proc/loadavg: 4.01 3.99 3.95 5/181 27788
/proc/meminfo: memFree=28610100/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=2169240 CPUtime=1524.06 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 503698 0 0 0 152096 310 0 0 20 0 3 0 285628737 2221301760 505433 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 542310 505433 207 433 0 541874 0
[pid=27719/tid=27725] ppid=27715 vsize=2169240 CPUtime=762.15 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 136111 0 0 0 76137 78 0 0 20 0 3 0 285628739 2221301760 505433 33554432000 4194304 5964478 140733637438192 139791559485432 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=2169240 CPUtime=762.05 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 366147 0 0 0 75950 255 0 0 20 0 3 0 285628739 2221301760 505433 33554432000 4194304 5964478 140733637438192 139791548995896 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.06
Current children cumulated vsize (KiB) 2169240

[startup+822.3 s]
/proc/loadavg: 4.04 4.00 3.96 5/181 27788
/proc/meminfo: memFree=28411008/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=2365848 CPUtime=1644 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 552607 0 0 0 164061 339 0 0 20 0 3 0 285628737 2422628352 554324 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 591462 554324 207 433 0 591026 0
[pid=27719/tid=27725] ppid=27715 vsize=2365848 CPUtime=822.11 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 167025 0 0 0 82115 96 0 0 20 0 3 0 285628739 2422628352 554324 33554432000 4194304 5964478 140733637438192 139791559485432 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=2365848 CPUtime=822.03 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 384142 0 0 0 81935 268 0 0 20 0 3 0 285628739 2422628352 554324 33554432000 4194304 5964478 140733637438192 139791548995944 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644
Current children cumulated vsize (KiB) 2365848

[startup+882.307 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 27788
/proc/meminfo: memFree=28261600/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=2496920 CPUtime=1763.96 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 588267 0 0 0 176031 365 0 0 20 0 3 0 285628737 2556846080 589999 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 624230 589999 207 433 0 623794 0
[pid=27719/tid=27725] ppid=27715 vsize=2496920 CPUtime=882.1 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 186492 0 0 0 88097 113 0 0 20 0 3 0 285628739 2556846080 589999 33554432000 4194304 5964478 140733637438192 139791559485432 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=2496920 CPUtime=882.02 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 400335 0 0 0 87922 280 0 0 20 0 3 0 285628739 2556846080 589999 33554432000 4194304 5964478 140733637438192 139791548995896 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.96
Current children cumulated vsize (KiB) 2496920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.01 4.00 3.96 3/178 27789
/proc/meminfo: memFree=28611352/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=2497136 CPUtime=1800.14 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 601080 0 0 0 179638 376 0 0 20 0 3 0 285628737 2557067264 602800 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 624284 602800 207 433 0 623848 0
[pid=27719/tid=27725] ppid=27715 vsize=2497136 CPUtime=900.18 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 192785 0 0 0 89900 118 0 0 20 0 3 0 285628739 2557067264 602800 33554432000 4194304 5964478 140733637438192 139791559485432 4400062 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=2497136 CPUtime=900.12 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 406855 0 0 0 89727 285 0 0 20 0 3 0 285628739 2557067264 602800 33554432000 4194304 5964478 140733637438192 139791548995896 4399936 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 2497136

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

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

[startup+900.4 s]
/proc/loadavg: 4.01 4.00 3.96 3/178 27789
/proc/meminfo: memFree=28611352/32873648 swapFree=7112/7112
[pid=27719] ppid=27715 vsize=2497136 CPUtime=1800.14 cores=1,3,5,7
/proc/27719/stat : 27719 (pwbo2.01) S 27715 27719 26380 0 -1 4202496 601080 0 0 0 179638 376 0 0 20 0 3 0 285628737 2557067264 602800 33554432000 4194304 5964478 140733637438192 140733637437712 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 624284 602800 207 433 0 623848 0
[pid=27719/tid=27725] ppid=27715 vsize=2497136 CPUtime=900.18 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 192785 0 0 0 89900 118 0 0 20 0 3 0 285628739 2557067264 602800 33554432000 4194304 5964478 140733637438192 139791559485432 4400062 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27715 vsize=2497136 CPUtime=900.12 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (pwbo2.01) R 27715 27719 26380 0 -1 4202560 406855 0 0 0 89727 285 0 0 20 0 3 0 285628739 2557067264 602800 33554432000 4194304 5964478 140733637438192 139791548995896 4399936 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 2497136

Child status: 0
Real time (s): 900.495
CPU time (s): 1800.43
CPU user time (s): 1796.29
CPU system time (s): 4.14137
CPU usage (%): 199.938
Max. virtual memory (cumulated for all children) (KiB): 2497136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.29
system time used= 4.14137
maximum resident set size= 2411212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601083
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= 1883
involuntary context switches= 4002

runsolver used 1.45378 second user time and 5.55215 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-28 10:50:28
IDJOB=3712541
IDBENCH=78727
IDSOLVER=2292
FILE ID=node126/3712541-1338195028
RUNJOBID= node126-1338182394-26397
PBS_JOBID= 14624566
Free space on /tmp= 71356 MiB

SOLVER NAME= pwbo 2.01
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
COMMAND LINE= pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712541-1338195028/watcher-3712541-1338195028 -o /tmp/evaluation-result-3712541-1338195028/solver-3712541-1338195028 -C 1800 -W 1900 -M 15500  pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712541-1338195028.wbo

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

MD5SUM BENCH= 6ce7da05711cce00ec3b2d5a1c7699c2
RANDOM SEED=1030820323

node126.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.456
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	: 5332.91
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.456
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.456
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	: 5331.92
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.456
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.456
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.92
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.456
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	: 5331.91
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.456
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.90
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.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31026512 kB
Buffers:          334360 kB
Cached:           681424 kB
SwapCached:        17756 kB
Active:           767140 kB
Inactive:         271768 kB
Active(anon):       4272 kB
Inactive(anon):    20452 kB
Active(file):     762868 kB
Inactive(file):   251316 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:              5536 kB
Writeback:             0 kB
AnonPages:         12368 kB
Mapped:             9664 kB
Shmem:                 0 kB
Slab:             669560 kB
SReclaimable:     113948 kB
SUnreclaim:       555612 kB
KernelStack:        1456 kB
PageTables:         3640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     136912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71356 MiB
End job on node126 at 2012-05-28 11:05:31