Trace number 3728624

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.02MSAT (TO) 1800.46 900.373

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo
MD5SUM374ed8d346409439b64d782bc7a820e5
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 benchmark2.53161
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 constraints94
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 5200
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5199
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.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3728624-1338671779.wbo.
0.00/0.00	c Instance file HOME/instance-3728624-1338671779.wbo
0.00/0.00	c File size is 89032 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:      5064                                                |
0.00/0.01	c |  Number Clauses:        71                                                  |
0.00/0.01	c |  Number Cardinality:    24                                                  |
0.00/0.01	c |  Number PB Constraints: 46                                                  |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    PB Constraint                                       |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1800.04/900.31	o 48
1800.04/900.31	o 27
1800.04/900.31	o 1
1800.04/900.31	c ===============================================================================
1800.04/900.31	c Wall Clock Time: 900.31 s
1800.04/900.31	c Best Solution: 1
1800.04/900.31	s SATISFIABLE
1800.04/900.31	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-3728624-1338671779/watcher-3728624-1338671779 -o /tmp/evaluation-result-3728624-1338671779/solver-3728624-1338671779 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728624-1338671779.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.90 3.65 4/180 6380
/proc/meminfo: memFree=28917036/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=6056 CPUtime=0 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) R 6378 6380 5745 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 333302724 6201344 711 33554432000 4194304 5964478 140737426454720 140733255348856 4344880 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 1514 711 165 433 0 1056 0

[startup+0.0577621 s]
/proc/loadavg: 3.68 3.90 3.65 4/180 6380
/proc/meminfo: memFree=28917036/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=165052 CPUtime=0.09 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 2614 0 0 0 9 0 0 0 20 0 3 0 333302724 169013248 2431 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 41263 2432 197 433 0 40827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 165052

[startup+0.100204 s]
/proc/loadavg: 3.68 3.90 3.65 4/180 6380
/proc/meminfo: memFree=28917036/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=165052 CPUtime=0.17 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 2831 0 0 0 17 0 0 0 20 0 3 0 333302724 169013248 2648 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 41263 2648 198 433 0 40827 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 165052

[startup+0.300119 s]
/proc/loadavg: 3.68 3.90 3.65 4/180 6380
/proc/meminfo: memFree=28917036/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=165052 CPUtime=0.58 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 3574 0 0 0 57 1 0 0 20 0 3 0 333302724 169013248 3391 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 41263 3391 198 433 0 40827 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 165052

[startup+0.700126 s]
/proc/loadavg: 3.68 3.90 3.65 4/180 6380
/proc/meminfo: memFree=28917036/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=165052 CPUtime=1.37 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 4988 0 0 0 136 1 0 0 20 0 3 0 333302724 169013248 4805 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 41263 4805 198 433 0 40827 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 165052

[startup+1.50027 s]
/proc/loadavg: 3.68 3.90 3.65 5/183 6383
/proc/meminfo: memFree=28852144/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=165052 CPUtime=2.97 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 7687 0 0 0 295 2 0 0 20 0 3 0 333302724 169013248 7504 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 41263 7505 198 433 0 40827 0
[pid=6380/tid=6382] ppid=6378 vsize=165052 CPUtime=1.47 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 3333 0 0 0 146 1 0 0 20 0 3 0 333302725 169013248 7505 33554432000 4194304 5964478 140737426454720 139798619731960 5136490 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=165052 CPUtime=1.47 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 2914 0 0 0 147 0 0 0 20 0 3 0 333302725 169013248 7505 33554432000 4194304 5964478 140737426454720 139798609242472 4381996 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) 165052

[startup+3.10032 s]
/proc/loadavg: 3.68 3.90 3.65 5/183 6383
/proc/meminfo: memFree=28824608/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=165052 CPUtime=6.17 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 12749 0 0 0 612 5 0 0 20 0 3 0 333302724 169013248 12566 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 41263 12566 198 433 0 40827 0
[pid=6380/tid=6382] ppid=6378 vsize=165052 CPUtime=3.07 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 5909 0 0 0 305 2 0 0 20 0 3 0 333302725 169013248 12566 33554432000 4194304 5964478 140737426454720 139798619731960 4381601 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=165052 CPUtime=3.07 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 5399 0 0 0 304 3 0 0 20 0 3 0 333302725 169013248 12566 33554432000 4194304 5964478 140737426454720 139798609242232 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 165052

[startup+6.30027 s]
/proc/loadavg: 3.70 3.91 3.66 5/183 6383
/proc/meminfo: memFree=28768568/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=165052 CPUtime=12.57 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 16226 0 0 0 1250 7 0 0 20 0 3 0 333302724 169013248 16043 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 41263 16044 198 433 0 40827 0
[pid=6380/tid=6382] ppid=6378 vsize=165052 CPUtime=6.27 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 8476 0 0 0 623 4 0 0 20 0 3 0 333302725 169013248 16044 33554432000 4194304 5964478 140737426454720 139798619731960 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=165052 CPUtime=6.28 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 6310 0 0 0 624 4 0 0 20 0 3 0 333302725 169013248 16044 33554432000 4194304 5964478 140737426454720 139798609242424 4400087 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) 165052

[startup+12.7003 s]
/proc/loadavg: 3.73 3.91 3.66 5/183 6383
/proc/meminfo: memFree=28699076/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=165484 CPUtime=25.36 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 22078 0 0 0 2527 9 0 0 20 0 3 0 333302724 169455616 21895 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 41371 21895 198 433 0 40935 0
[pid=6380/tid=6382] ppid=6378 vsize=165484 CPUtime=12.67 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 11821 0 0 0 1261 6 0 0 20 0 3 0 333302725 169455616 21895 33554432000 4194304 5964478 140737426454720 139798619731960 4400018 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=165484 CPUtime=12.67 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 8816 0 0 0 1263 4 0 0 20 0 3 0 333302725 169455616 21895 33554432000 4194304 5964478 140737426454720 139798609242424 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 165484

[startup+25.5068 s]
/proc/loadavg: 3.79 3.91 3.66 5/183 6383
/proc/meminfo: memFree=28569984/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=231236 CPUtime=50.97 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 34667 0 0 0 5078 19 0 0 20 0 3 0 333302724 236785664 34484 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 57809 34484 198 433 0 57373 0
[pid=6380/tid=6382] ppid=6378 vsize=231236 CPUtime=25.47 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 16446 0 0 0 2536 11 0 0 20 0 3 0 333302725 236785664 34484 33554432000 4194304 5964478 140737426454720 139798619731960 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=231236 CPUtime=25.48 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 16780 0 0 0 2539 9 0 0 20 0 3 0 333302725 236785664 34484 33554432000 4194304 5964478 140737426454720 139798609242472 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 231236

[startup+51.1004 s]
/proc/loadavg: 3.86 3.92 3.67 5/183 6383
/proc/meminfo: memFree=28310032/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=362628 CPUtime=102.15 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 66927 0 0 0 10187 28 0 0 20 0 3 0 333302724 371331072 66744 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 90657 66744 198 433 0 90221 0
[pid=6380/tid=6382] ppid=6378 vsize=362628 CPUtime=51.06 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 30974 0 0 0 5089 17 0 0 20 0 3 0 333302725 371331072 66744 33554432000 4194304 5964478 140737426454720 139798619731960 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=362628 CPUtime=51.07 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 34512 0 0 0 5095 12 0 0 20 0 3 0 333302725 371331072 66744 33554432000 4194304 5964478 140737426454720 139798609242424 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 362628

[startup+102.3 s]
/proc/loadavg: 3.94 3.93 3.68 5/183 6383
/proc/meminfo: memFree=27847804/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=559716 CPUtime=204.53 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 125233 0 0 0 20400 53 0 0 20 0 3 0 333302724 573149184 125050 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 139929 125050 198 433 0 139493 0
[pid=6380/tid=6382] ppid=6378 vsize=559716 CPUtime=102.26 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 59175 0 0 0 10196 30 0 0 20 0 3 0 333302725 573149184 125050 33554432000 4194304 5964478 140737426454720 139798619731960 4381996 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=559716 CPUtime=102.27 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 64617 0 0 0 10200 27 0 0 20 0 3 0 333302725 573149184 125050 33554432000 4194304 5964478 140737426454720 139798609242424 4381677 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 559716

[startup+162.3 s]
/proc/loadavg: 3.98 3.94 3.70 5/183 6383
/proc/meminfo: memFree=27572428/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=691056 CPUtime=324.52 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 141574 0 0 0 32386 66 0 0 20 0 3 0 333302724 707641344 141391 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 172764 141391 198 433 0 172328 0
[pid=6380/tid=6382] ppid=6378 vsize=691056 CPUtime=162.26 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 65810 0 0 0 16192 34 0 0 20 0 3 0 333302725 707641344 141391 33554432000 4194304 5964478 140737426454720 139798619731768 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=691056 CPUtime=162.28 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 74323 0 0 0 16192 36 0 0 20 0 3 0 333302725 707641344 141391 33554432000 4194304 5964478 140737426454720 139798609242424 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 691056

[startup+222.3 s]
/proc/loadavg: 3.99 3.95 3.72 5/184 6387
/proc/meminfo: memFree=27411816/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=691188 CPUtime=444.51 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 142568 0 0 0 44385 66 0 0 20 0 3 0 333302724 707776512 142374 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 172797 142374 198 433 0 172361 0
[pid=6380/tid=6382] ppid=6378 vsize=691188 CPUtime=222.27 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 66765 0 0 0 22191 36 0 0 20 0 3 0 333302725 707776512 142374 33554432000 4194304 5964478 140737426454720 139798619731960 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=691188 CPUtime=222.28 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 74362 0 0 0 22191 37 0 0 20 0 3 0 333302725 707776512 142374 33554432000 4194304 5964478 140737426454720 139798609242184 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.51
Current children cumulated vsize (KiB) 691188

[startup+282.3 s]
/proc/loadavg: 4.03 3.97 3.74 5/184 6387
/proc/meminfo: memFree=27120096/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=756724 CPUtime=564.43 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 174079 0 0 0 56356 87 0 0 20 0 3 0 333302724 774885376 173868 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 189181 173868 198 433 0 188745 0
[pid=6380/tid=6382] ppid=6378 vsize=756724 CPUtime=282.24 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 93767 0 0 0 28171 53 0 0 20 0 3 0 333302725 774885376 173868 33554432000 4194304 5964478 140737426454720 139798619731960 4400103 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=756724 CPUtime=282.26 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 78871 0 0 0 28183 43 0 0 20 0 3 0 333302725 774885376 173868 33554432000 4194304 5964478 140737426454720 139798609242424 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 756724

[startup+342.307 s]
/proc/loadavg: 4.01 3.97 3.75 5/183 6387
/proc/meminfo: memFree=26940828/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=756724 CPUtime=684.38 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 175117 0 0 0 68351 87 0 0 20 0 3 0 333302724 774885376 174897 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 189181 174897 198 433 0 188745 0
[pid=6380/tid=6382] ppid=6378 vsize=756724 CPUtime=342.23 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 94770 0 0 0 34169 54 0 0 20 0 3 0 333302725 774885376 174897 33554432000 4194304 5964478 140737426454720 139798619731960 4400091 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=756724 CPUtime=342.24 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 78906 0 0 0 34180 44 0 0 20 0 3 0 333302725 774885376 174897 33554432000 4194304 5964478 140737426454720 139798609242424 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 756724

[startup+402.3 s]
/proc/loadavg: 4.04 3.99 3.77 5/183 6387
/proc/meminfo: memFree=26751880/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=888364 CPUtime=804.3 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 196601 0 0 0 80329 101 0 0 20 0 3 0 333302724 909684736 196252 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 222091 196252 198 433 0 221655 0
[pid=6380/tid=6382] ppid=6378 vsize=888364 CPUtime=402.2 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 116194 0 0 0 40151 69 0 0 20 0 3 0 333302725 909684736 196252 33554432000 4194304 5964478 140737426454720 139798619731960 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=888364 CPUtime=402.23 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 78966 0 0 0 40178 45 0 0 20 0 3 0 333302725 909684736 196252 33554432000 4194304 5964478 140737426454720 139798609242184 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.3
Current children cumulated vsize (KiB) 888364

[startup+462.3 s]
/proc/loadavg: 4.01 3.99 3.78 5/183 6387
/proc/meminfo: memFree=26656864/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=954048 CPUtime=924.24 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 204038 0 0 0 92319 105 0 0 20 0 3 0 333302724 976945152 203671 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 238512 203671 198 433 0 238076 0
[pid=6380/tid=6382] ppid=6378 vsize=954048 CPUtime=462.17 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 116222 0 0 0 46147 70 0 0 20 0 3 0 333302725 976945152 203671 33554432000 4194304 5964478 140737426454720 139798619731960 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=954048 CPUtime=462.21 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 86375 0 0 0 46171 50 0 0 20 0 3 0 333302725 976945152 203671 33554432000 4194304 5964478 140737426454720 139798609242184 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.24
Current children cumulated vsize (KiB) 954048

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.79 5/183 6388
/proc/meminfo: memFree=26510696/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=1020188 CPUtime=1044.17 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 229492 0 0 0 104297 120 0 0 20 0 3 0 333302724 1044672512 228774 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 255047 228774 198 433 0 254611 0
[pid=6380/tid=6382] ppid=6378 vsize=1020188 CPUtime=522.16 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 116256 0 0 0 52146 70 0 0 20 0 3 0 333302725 1044672512 228774 33554432000 4194304 5964478 140737426454720 139798619731992 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=1020188 CPUtime=522.17 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 111795 0 0 0 52152 65 0 0 20 0 3 0 333302725 1044672512 228774 33554432000 4194304 5964478 140737426454720 139798609242424 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.17
Current children cumulated vsize (KiB) 1020188

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.80 5/183 6388
/proc/meminfo: memFree=26302252/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=1151620 CPUtime=1164.13 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 262109 0 0 0 116269 144 0 0 20 0 3 0 333302724 1179258880 262592 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 287905 262592 198 433 0 287469 0
[pid=6380/tid=6382] ppid=6378 vsize=1151620 CPUtime=582.14 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 116277 0 0 0 58143 71 0 0 20 0 3 0 333302725 1179258880 262592 33554432000 4194304 5964478 140737426454720 139798619731992 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=1151620 CPUtime=582.17 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 144391 0 0 0 58128 89 0 0 20 0 3 0 333302725 1179258880 262592 33554432000 4194304 5964478 140737426454720 139798609242424 4381974 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.13
Current children cumulated vsize (KiB) 1151620

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.81 5/183 6388
/proc/meminfo: memFree=26168616/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=1283052 CPUtime=1284.11 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 296551 0 0 0 128243 168 0 0 20 0 3 0 333302724 1313845248 297034 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 320763 297034 198 433 0 320327 0
[pid=6380/tid=6382] ppid=6378 vsize=1283052 CPUtime=642.14 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 133603 0 0 0 64135 79 0 0 20 0 3 0 333302725 1313845248 297034 33554432000 4194304 5964478 140737426454720 139798619731960 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=1283052 CPUtime=642.18 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 161507 0 0 0 64110 108 0 0 20 0 3 0 333302725 1313845248 297034 33554432000 4194304 5964478 140737426454720 139798609242424 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.11
Current children cumulated vsize (KiB) 1283052

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.82 5/183 6388
/proc/meminfo: memFree=26094368/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=1348588 CPUtime=1404.09 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 313643 0 0 0 140234 175 0 0 20 0 3 0 333302724 1380954112 314126 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 337147 314126 198 433 0 336711 0
[pid=6380/tid=6382] ppid=6378 vsize=1348588 CPUtime=702.14 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 150659 0 0 0 70126 88 0 0 20 0 3 0 333302725 1380954112 314126 33554432000 4194304 5964478 140737426454720 139798619731960 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=1348588 CPUtime=702.18 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 161543 0 0 0 70109 109 0 0 20 0 3 0 333302725 1380954112 314126 33554432000 4194304 5964478 140737426454720 139798609242424 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.09
Current children cumulated vsize (KiB) 1348588

[startup+762.3 s]
/proc/loadavg: 4.00 3.99 3.83 5/183 6388
/proc/meminfo: memFree=26093220/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=1348588 CPUtime=1524.07 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 313646 0 0 0 152232 175 0 0 20 0 3 0 333302724 1380954112 314129 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 337147 314129 198 433 0 336711 0
[pid=6380/tid=6382] ppid=6378 vsize=1348588 CPUtime=762.15 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 150659 0 0 0 76126 89 0 0 20 0 3 0 333302725 1380954112 314129 33554432000 4194304 5964478 140737426454720 139798619731960 4382008 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=1348588 CPUtime=762.18 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 161546 0 0 0 76108 110 0 0 20 0 3 0 333302725 1380954112 314129 33554432000 4194304 5964478 140737426454720 139798609242424 4381974 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.07
Current children cumulated vsize (KiB) 1348588

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.83 5/183 6389
/proc/meminfo: memFree=26092072/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=1348588 CPUtime=1644.05 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 313646 0 0 0 164230 175 0 0 20 0 3 0 333302724 1380954112 314129 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 337147 314129 198 433 0 336711 0
[pid=6380/tid=6382] ppid=6378 vsize=1348588 CPUtime=822.15 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 150659 0 0 0 82125 90 0 0 20 0 3 0 333302725 1380954112 314129 33554432000 4194304 5964478 140737426454720 139798619731960 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=1348588 CPUtime=822.19 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 161546 0 0 0 82108 111 0 0 20 0 3 0 333302725 1380954112 314129 33554432000 4194304 5964478 140737426454720 139798609242424 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.05
Current children cumulated vsize (KiB) 1348588

[startup+882.3 s]
/proc/loadavg: 4.04 4.00 3.84 5/183 6392
/proc/meminfo: memFree=26007152/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=1348744 CPUtime=1764.05 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 313657 0 0 0 176230 175 0 0 20 0 3 0 333302724 1381113856 314140 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 337186 314140 198 433 0 336750 0
[pid=6380/tid=6382] ppid=6378 vsize=1348744 CPUtime=882.15 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 150659 0 0 0 88124 91 0 0 20 0 3 0 333302725 1381113856 314140 33554432000 4194304 5964478 140737426454720 139798619731960 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=1348744 CPUtime=882.2 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 161557 0 0 0 88108 112 0 0 20 0 3 0 333302725 1381113856 314140 33554432000 4194304 5964478 140737426454720 139798609242184 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.05
Current children cumulated vsize (KiB) 1348744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.03 4.00 3.85 4/183 6393
/proc/meminfo: memFree=26189680/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=1348744 CPUtime=1800.04 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 313657 0 0 0 179829 175 0 0 20 0 3 0 333302724 1381113856 314140 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 337186 314140 198 433 0 336750 0
[pid=6380/tid=6382] ppid=6378 vsize=1348744 CPUtime=900.16 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 150659 0 0 0 89925 91 0 0 20 0 3 0 333302725 1381113856 314140 33554432000 4194304 5964478 140737426454720 139798619731960 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=1348744 CPUtime=900.2 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 161557 0 0 0 89908 112 0 0 20 0 3 0 333302725 1381113856 314140 33554432000 4194304 5964478 140737426454720 139798609242184 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1348744

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

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

[startup+900.3 s]
/proc/loadavg: 4.03 4.00 3.85 4/183 6393
/proc/meminfo: memFree=26189680/32873844 swapFree=7380/7380
[pid=6380] ppid=6378 vsize=1348744 CPUtime=1800.04 cores=1,3,5,7
/proc/6380/stat : 6380 (pwbo2.02) S 6378 6380 5745 0 -1 4202496 313657 0 0 0 179829 175 0 0 20 0 3 0 333302724 1381113856 314140 33554432000 4194304 5964478 140737426454720 140737426454240 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6380/statm: 337186 314140 198 433 0 336750 0
[pid=6380/tid=6382] ppid=6378 vsize=1348744 CPUtime=900.16 cores=1,3,5,7
/proc/6380/task/6382/stat : 6382 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 150659 0 0 0 89925 91 0 0 20 0 3 0 333302725 1381113856 314140 33554432000 4194304 5964478 140737426454720 139798619731960 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6380/tid=6383] ppid=6378 vsize=1348744 CPUtime=900.2 cores=1,3,5,7
/proc/6380/task/6383/stat : 6383 (pwbo2.02) R 6378 6380 5745 0 -1 4202560 161557 0 0 0 89908 112 0 0 20 0 3 0 333302725 1381113856 314140 33554432000 4194304 5964478 140737426454720 139798609242184 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1348744

Child status: 0
Real time (s): 900.373
CPU time (s): 1800.46
CPU user time (s): 1798.34
CPU system time (s): 2.11468
CPU usage (%): 199.968
Max. virtual memory (cumulated for all children) (KiB): 1348744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.34
system time used= 2.11468
maximum resident set size= 1256568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313659
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= 987
involuntary context switches= 3728

runsolver used 2.10968 second user time and 5.2852 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-02 23:16:19
IDJOB=3728624
IDBENCH=78732
IDSOLVER=2316
FILE ID=node133/3728624-1338671779
RUNJOBID= node133-1338669974-6148
PBS_JOBID= 14636490
Free space on /tmp= 70480 MiB

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

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

MD5SUM BENCH= 374ed8d346409439b64d782bc7a820e5
RANDOM SEED=986607303

node133.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.540
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.08
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.540
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.92
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.540
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.540
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.540
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.540
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.90
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.540
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.540
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:       32873844 kB
MemFree:        28924060 kB
Buffers:          366048 kB
Cached:          2700032 kB
SwapCached:          676 kB
Active:          1341360 kB
Inactive:        1737136 kB
Active(anon):       3960 kB
Inactive(anon):    10240 kB
Active(file):    1337400 kB
Inactive(file):  1726896 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             10920 kB
Writeback:             0 kB
AnonPages:         17820 kB
Mapped:            10484 kB
Shmem:                 0 kB
Slab:             732628 kB
SReclaimable:     174572 kB
SUnreclaim:       558056 kB
KernelStack:        1464 kB
PageTables:         4388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     118636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70472 MiB
End job on node133 at 2012-06-02 23:31:22