Trace number 3728626

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.61 900.363

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo
MD5SUMbbaf7e04a2e14186c5cc5b74d1689780
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark3.52746
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5250
Total number of constraints145
Number of soft constraints94
Number of constraints which are clauses75
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 constraint75
Top cost 4943
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 4942
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 76
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-3728626-1338672010.wbo.
0.00/0.00	c Instance file HOME/instance-3728626-1338672010.wbo
0.00/0.00	c File size is 94097 bytes.
0.00/0.01	c Highest Coefficient sum: 76
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:      5344                                                |
0.00/0.01	c |  Number Clauses:        75                                                  |
0.00/0.01	c |  Number Cardinality:    23                                                  |
0.00/0.01	c |  Number PB Constraints: 47                                                  |
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.10/900.31	o 243
1800.10/900.31	o 163
1800.10/900.31	o 114
1800.10/900.31	o 84
1800.10/900.31	o 77
1800.10/900.31	o 70
1800.10/900.31	o 64
1800.10/900.31	o 62
1800.10/900.31	o 49
1800.10/900.31	o 41
1800.10/900.31	o 40
1800.10/900.31	o 38
1800.10/900.31	o 32
1800.10/900.31	o 21
1800.10/900.31	o 9
1800.10/900.31	o 6
1800.10/900.31	c ===============================================================================
1800.10/900.31	c Wall Clock Time: 900.31 s
1800.10/900.31	c Best Solution: 6
1800.10/900.31	s SATISFIABLE
1800.10/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 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250

Verifier Data 

OK	6

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

running on 4 cores: 0,2,4,6

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: 4.00 3.90 3.22 5/176 8580
/proc/meminfo: memFree=27279412/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=6052 CPUtime=0 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) R 8578 8580 8129 0 -1 4202496 768 0 0 0 0 0 0 0 20 0 1 0 333325129 6197248 720 33554432000 4194304 5964478 140736496748160 140734090398600 4395406 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 1513 720 165 433 0 1054 0

[startup+0.0863201 s]
/proc/loadavg: 4.00 3.90 3.22 5/176 8580
/proc/meminfo: memFree=27279412/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=165204 CPUtime=0.15 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 2926 0 0 0 15 0 0 0 20 0 3 0 333325129 169168896 2740 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 41301 2740 198 433 0 40865 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 165204

[startup+0.100179 s]
/proc/loadavg: 4.00 3.90 3.22 5/176 8580
/proc/meminfo: memFree=27279412/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=165204 CPUtime=0.17 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 2967 0 0 0 17 0 0 0 20 0 3 0 333325129 169168896 2781 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 41301 2781 198 433 0 40865 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 165204

[startup+0.30011 s]
/proc/loadavg: 4.00 3.90 3.22 5/176 8580
/proc/meminfo: memFree=27279412/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=165204 CPUtime=0.57 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 3682 0 0 0 57 0 0 0 20 0 3 0 333325129 169168896 3496 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 41301 3496 198 433 0 40865 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 165204

[startup+0.700114 s]
/proc/loadavg: 4.00 3.90 3.22 5/176 8580
/proc/meminfo: memFree=27279412/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=165204 CPUtime=1.38 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 5108 0 0 0 137 1 0 0 20 0 3 0 333325129 169168896 4922 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 41301 4922 198 433 0 40865 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 165204

[startup+1.50025 s]
/proc/loadavg: 4.00 3.90 3.22 6/182 8586
/proc/meminfo: memFree=27212204/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=165204 CPUtime=2.97 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 7741 0 0 0 295 2 0 0 20 0 3 0 333325129 169168896 7555 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 41301 7555 198 433 0 40865 0
[pid=8580/tid=8585] ppid=8578 vsize=165204 CPUtime=1.47 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 3431 0 0 0 147 0 0 0 20 0 3 0 333325130 169168896 7555 33554432000 4194304 5964478 140736496748160 140444604737528 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=165204 CPUtime=1.47 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 2844 0 0 0 146 1 0 0 20 0 3 0 333325130 169168896 7555 33554432000 4194304 5964478 140736496748160 140444594247992 4381996 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 165204

[startup+3.10638 s]
/proc/loadavg: 4.00 3.90 3.22 6/182 8586
/proc/meminfo: memFree=27181768/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=165204 CPUtime=6.18 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 12724 0 0 0 614 4 0 0 20 0 3 0 333325129 169168896 12538 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 41301 12538 198 433 0 40865 0
[pid=8580/tid=8585] ppid=8578 vsize=165204 CPUtime=3.08 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 6131 0 0 0 305 3 0 0 20 0 3 0 333325130 169168896 12538 33554432000 4194304 5964478 140736496748160 140444604737576 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=165204 CPUtime=3.08 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 5127 0 0 0 305 3 0 0 20 0 3 0 333325130 169168896 12538 33554432000 4194304 5964478 140736496748160 140444594247992 4382019 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 165204

[startup+6.30024 s]
/proc/loadavg: 4.00 3.90 3.22 6/182 8586
/proc/meminfo: memFree=27135472/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=165204 CPUtime=12.57 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 16374 0 0 0 1251 6 0 0 20 0 3 0 333325129 169168896 16188 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 41301 16188 198 433 0 40865 0
[pid=8580/tid=8585] ppid=8578 vsize=165204 CPUtime=6.27 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 8002 0 0 0 623 4 0 0 20 0 3 0 333325130 169168896 16188 33554432000 4194304 5964478 140736496748160 140444604737528 4381993 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=165204 CPUtime=6.27 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 6906 0 0 0 624 3 0 0 20 0 3 0 333325130 169168896 16188 33554432000 4194304 5964478 140736496748160 140444594248040 4400519 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 165204

[startup+12.7003 s]
/proc/loadavg: 4.00 3.90 3.23 6/182 8586
/proc/meminfo: memFree=27047008/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=165636 CPUtime=25.36 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 23869 0 0 0 2527 9 0 0 20 0 3 0 333325129 169611264 23683 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 41409 23683 198 433 0 40973 0
[pid=8580/tid=8585] ppid=8578 vsize=165636 CPUtime=12.67 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 11843 0 0 0 1261 6 0 0 20 0 3 0 333325130 169611264 23683 33554432000 4194304 5964478 140736496748160 140444604737528 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=165636 CPUtime=12.67 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 10560 0 0 0 1263 4 0 0 20 0 3 0 333325130 169611264 23683 33554432000 4194304 5964478 140736496748160 140444594248040 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 165636

[startup+25.5004 s]
/proc/loadavg: 4.00 3.91 3.24 6/182 8586
/proc/meminfo: memFree=26928424/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=165636 CPUtime=50.96 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 32549 0 0 0 5083 13 0 0 20 0 3 0 333325129 169611264 32363 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 41409 32363 198 433 0 40973 0
[pid=8580/tid=8585] ppid=8578 vsize=165636 CPUtime=25.47 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 16156 0 0 0 2539 8 0 0 20 0 3 0 333325130 169611264 32363 33554432000 4194304 5964478 140736496748160 140444604737528 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=165636 CPUtime=25.47 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 14927 0 0 0 2540 7 0 0 20 0 3 0 333325130 169611264 32363 33554432000 4194304 5964478 140736496748160 140444594247992 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 165636

[startup+51.1004 s]
/proc/loadavg: 4.00 3.91 3.26 6/180 8586
/proc/meminfo: memFree=26730360/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=296924 CPUtime=102.15 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 54089 0 0 0 10172 43 0 0 20 0 3 0 333325129 304050176 53903 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 74231 53903 198 433 0 73795 0
[pid=8580/tid=8585] ppid=8578 vsize=296924 CPUtime=51.07 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 27161 0 0 0 5084 23 0 0 20 0 3 0 333325130 304050176 53903 33554432000 4194304 5964478 140736496748160 140444604737528 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=296924 CPUtime=51.07 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 25462 0 0 0 5085 22 0 0 20 0 3 0 333325130 304050176 53903 33554432000 4194304 5964478 140736496748160 140444594247992 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 296924

[startup+102.3 s]
/proc/loadavg: 4.00 3.92 3.30 6/181 8587
/proc/meminfo: memFree=26380976/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=494132 CPUtime=204.53 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 102033 0 0 0 20292 161 0 0 20 0 3 0 333325129 505991168 101847 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 123533 101847 198 433 0 123097 0
[pid=8580/tid=8585] ppid=8578 vsize=494132 CPUtime=102.28 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 46649 0 0 0 10164 64 0 0 20 0 3 0 333325130 505991168 101847 33554432000 4194304 5964478 140736496748160 140444604737528 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=494132 CPUtime=102.28 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 53918 0 0 0 10128 100 0 0 20 0 3 0 333325130 505991168 101848 33554432000 4194304 5964478 140736496748160 140444594247992 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 494132

[startup+162.3 s]
/proc/loadavg: 4.00 3.94 3.34 6/181 8587
/proc/meminfo: memFree=26074004/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=560148 CPUtime=324.48 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 130153 0 0 0 32221 227 0 0 20 0 3 0 333325129 573591552 130307 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 140037 130307 198 433 0 139601 0
[pid=8580/tid=8585] ppid=8578 vsize=560148 CPUtime=162.27 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 63953 0 0 0 16129 98 0 0 20 0 3 0 333325130 573591552 130307 33554432000 4194304 5964478 140736496748160 140444604737528 4400457 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=560148 CPUtime=162.27 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 64734 0 0 0 16092 135 0 0 20 0 3 0 333325130 573591552 130307 33554432000 4194304 5964478 140736496748160 140444594247992 4400632 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 560148

[startup+222.307 s]
/proc/loadavg: 4.00 3.94 3.38 6/181 8587
/proc/meminfo: memFree=25854860/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=691360 CPUtime=444.44 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 147501 0 0 0 44176 268 0 0 20 0 3 0 333325129 707952640 147322 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 172840 147322 198 433 0 172404 0
[pid=8580/tid=8585] ppid=8578 vsize=691360 CPUtime=222.27 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 77343 0 0 0 22100 127 0 0 20 0 3 0 333325130 707952640 147322 33554432000 4194304 5964478 140736496748160 140444604737528 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=691360 CPUtime=222.27 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 68692 0 0 0 22079 148 0 0 20 0 3 0 333325130 707952640 147322 33554432000 4194304 5964478 140736496748160 140444594247752 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 691360

[startup+282.3 s]
/proc/loadavg: 4.00 3.95 3.41 6/181 8587
/proc/meminfo: memFree=25660704/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=691492 CPUtime=564.39 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 147566 0 0 0 56171 268 0 0 20 0 3 0 333325129 708087808 147368 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 172873 147368 198 433 0 172437 0
[pid=8580/tid=8585] ppid=8578 vsize=691492 CPUtime=282.27 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 77344 0 0 0 28099 128 0 0 20 0 3 0 333325130 708087808 147368 33554432000 4194304 5964478 140736496748160 140444604737560 4381993 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=691492 CPUtime=282.25 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 68756 0 0 0 28076 149 0 0 20 0 3 0 333325130 708087808 147368 33554432000 4194304 5964478 140736496748160 140444594247752 4400059 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 691492

[startup+342.3 s]
/proc/loadavg: 4.00 3.96 3.45 6/181 8587
/proc/meminfo: memFree=25461596/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=757168 CPUtime=684.34 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 167617 0 0 0 68106 328 0 0 20 0 3 0 333325129 775340032 167428 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 189292 167428 198 433 0 188856 0
[pid=8580/tid=8585] ppid=8578 vsize=757168 CPUtime=342.26 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 88728 0 0 0 34070 156 0 0 20 0 3 0 333325130 775340032 167428 33554432000 4194304 5964478 140736496748160 140444604737528 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=757168 CPUtime=342.24 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 77423 0 0 0 34041 183 0 0 20 0 3 0 333325130 775340032 167428 33554432000 4194304 5964478 140736496748160 140444594247992 4381960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 757168

[startup+402.3 s]
/proc/loadavg: 4.07 3.99 3.49 6/181 8588
/proc/meminfo: memFree=25130300/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=1019616 CPUtime=804.29 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 224193 0 0 0 79997 432 0 0 20 0 3 0 333325129 1044086784 223978 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 254904 223978 198 433 0 254468 0
[pid=8580/tid=8585] ppid=8578 vsize=1019616 CPUtime=402.23 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 120797 0 0 0 40016 207 0 0 20 0 3 0 333325130 1044086784 223978 33554432000 4194304 5964478 140736496748160 140444604737528 4381809 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=1019616 CPUtime=402.24 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 101930 0 0 0 39986 238 0 0 20 0 3 0 333325130 1044086784 223978 33554432000 4194304 5964478 140736496748160 140444594247992 4381993 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.29
Current children cumulated vsize (KiB) 1019616

[startup+462.3 s]
/proc/loadavg: 4.02 3.99 3.52 6/182 8589
/proc/meminfo: memFree=25056912/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=1019920 CPUtime=924.24 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 228029 0 0 0 91986 438 0 0 20 0 3 0 333325129 1044398080 227799 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 254980 227799 198 433 0 254544 0
[pid=8580/tid=8585] ppid=8578 vsize=1019920 CPUtime=462.22 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 124538 0 0 0 46009 213 0 0 20 0 3 0 333325130 1044398080 227799 33554432000 4194304 5964478 140736496748160 140444604737528 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=1019920 CPUtime=462.22 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 102025 0 0 0 45984 238 0 0 20 0 3 0 333325130 1044398080 227799 33554432000 4194304 5964478 140736496748160 140444594247752 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.24
Current children cumulated vsize (KiB) 1019920

[startup+522.3 s]
/proc/loadavg: 4.01 3.99 3.55 6/181 8589
/proc/meminfo: memFree=25060516/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=1020640 CPUtime=1044.21 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 228069 0 0 0 103983 438 0 0 20 0 3 0 333325129 1045135360 226012 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 255160 226012 198 433 0 254724 0
[pid=8580/tid=8585] ppid=8578 vsize=1020640 CPUtime=522.23 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 124555 0 0 0 52009 214 0 0 20 0 3 0 333325130 1045135360 226012 33554432000 4194304 5964478 140736496748160 140444604737560 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=1020640 CPUtime=522.22 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 102048 0 0 0 51983 239 0 0 20 0 3 0 333325130 1045135360 226012 33554432000 4194304 5964478 140736496748160 140444594248024 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.21
Current children cumulated vsize (KiB) 1020640

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.57 6/181 8589
/proc/meminfo: memFree=25059996/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=1020784 CPUtime=1164.2 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 228086 0 0 0 115982 438 0 0 20 0 3 0 333325129 1045282816 226029 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 255196 226029 198 433 0 254760 0
[pid=8580/tid=8585] ppid=8578 vsize=1020784 CPUtime=582.23 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 124555 0 0 0 58008 215 0 0 20 0 3 0 333325130 1045282816 226029 33554432000 4194304 5964478 140736496748160 140444604737560 4403304 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=1020784 CPUtime=582.22 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 102065 0 0 0 57982 240 0 0 20 0 3 0 333325130 1045282816 226029 33554432000 4194304 5964478 140736496748160 140444594247752 4400528 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.2
Current children cumulated vsize (KiB) 1020784

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.59 6/182 8592
/proc/meminfo: memFree=24810576/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=1217392 CPUtime=1284.17 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 282672 0 0 0 127874 543 0 0 20 0 3 0 333325129 1246609408 280615 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 304348 280615 198 433 0 303912 0
[pid=8580/tid=8585] ppid=8578 vsize=1217392 CPUtime=642.23 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 157685 0 0 0 63955 268 0 0 20 0 3 0 333325130 1246609408 280615 33554432000 4194304 5964478 140736496748160 140444604737528 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=1217392 CPUtime=642.23 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 123521 0 0 0 63929 294 0 0 20 0 3 0 333325130 1246609408 280615 33554432000 4194304 5964478 140736496748160 140444594247992 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.17
Current children cumulated vsize (KiB) 1217392

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.62 6/181 8593
/proc/meminfo: memFree=24623700/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=1348680 CPUtime=1404.15 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 324156 0 0 0 139786 629 0 0 20 0 3 0 333325129 1381048320 322099 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 337170 322099 198 433 0 336734 0
[pid=8580/tid=8585] ppid=8578 vsize=1348680 CPUtime=702.24 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 176716 0 0 0 69927 297 0 0 20 0 3 0 333325130 1381048320 322099 33554432000 4194304 5964478 140736496748160 140444604737528 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=1348680 CPUtime=702.23 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 145974 0 0 0 69870 353 0 0 20 0 3 0 333325130 1381048320 322099 33554432000 4194304 5964478 140736496748160 140444594247992 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.15
Current children cumulated vsize (KiB) 1348680

[startup+762.3 s]
/proc/loadavg: 4.00 3.99 3.64 6/181 8593
/proc/meminfo: memFree=24581072/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=1348680 CPUtime=1524.14 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 324171 0 0 0 151785 629 0 0 20 0 3 0 333325129 1381048320 322025 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 337170 322025 198 433 0 336734 0
[pid=8580/tid=8585] ppid=8578 vsize=1348680 CPUtime=762.25 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 176727 0 0 0 75927 298 0 0 20 0 3 0 333325130 1381048320 322025 33554432000 4194304 5964478 140736496748160 140444604737560 4381974 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=1348680 CPUtime=762.24 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 145978 0 0 0 75870 354 0 0 20 0 3 0 333325130 1381048320 322025 33554432000 4194304 5964478 140736496748160 140444594247992 4382029 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.14
Current children cumulated vsize (KiB) 1348680

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.66 6/181 8593
/proc/meminfo: memFree=24496232/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=1348828 CPUtime=1644.11 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 324205 0 0 0 163782 629 0 0 20 0 3 0 333325129 1381199872 321633 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 337207 321633 198 433 0 336771 0
[pid=8580/tid=8585] ppid=8578 vsize=1348828 CPUtime=822.25 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 176727 0 0 0 81926 299 0 0 20 0 3 0 333325130 1381199872 321633 33554432000 4194304 5964478 140736496748160 140444604737560 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=1348828 CPUtime=822.24 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 146012 0 0 0 81869 355 0 0 20 0 3 0 333325130 1381199872 321633 33554432000 4194304 5964478 140736496748160 140444594247752 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.11
Current children cumulated vsize (KiB) 1348828

[startup+882.307 s]
/proc/loadavg: 4.08 4.02 3.69 6/181 8593
/proc/meminfo: memFree=24495420/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=1348828 CPUtime=1764.1 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 324207 0 0 0 175781 629 0 0 20 0 3 0 333325129 1381199872 321635 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 337207 321635 198 433 0 336771 0
[pid=8580/tid=8585] ppid=8578 vsize=1348828 CPUtime=882.26 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 176727 0 0 0 87926 300 0 0 20 0 3 0 333325130 1381199872 321635 33554432000 4194304 5964478 140736496748160 140444604737560 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=1348828 CPUtime=882.25 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 146014 0 0 0 87869 356 0 0 20 0 3 0 333325130 1381199872 321635 33554432000 4194304 5964478 140736496748160 140444594247752 4381960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.1
Current children cumulated vsize (KiB) 1348828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.06 4.02 3.69 6/181 8593
/proc/meminfo: memFree=24495448/32873648 swapFree=7368/7368
[pid=8580] ppid=8578 vsize=1348828 CPUtime=1800.1 cores=0,2,4,6
/proc/8580/stat : 8580 (pwbo2.02) S 8578 8580 8129 0 -1 4202496 324207 0 0 0 179381 629 0 0 20 0 3 0 333325129 1381199872 321635 33554432000 4194304 5964478 140736496748160 140736496747680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8580/statm: 337207 321635 198 433 0 336771 0
[pid=8580/tid=8585] ppid=8578 vsize=1348828 CPUtime=900.26 cores=0,2,4,6
/proc/8580/task/8585/stat : 8585 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 176727 0 0 0 89726 300 0 0 20 0 3 0 333325130 1381199872 321635 33554432000 4194304 5964478 140736496748160 140444604737560 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=1348828 CPUtime=900.25 cores=0,2,4,6
/proc/8580/task/8586/stat : 8586 (pwbo2.02) R 8578 8580 8129 0 -1 4202560 146014 0 0 0 89669 356 0 0 20 0 3 0 333325130 1381199872 321635 33554432000 4194304 5964478 140736496748160 140444594247752 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1348828

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

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

Child status: 0
Real time (s): 900.363
CPU time (s): 1800.61
CPU user time (s): 1793.98
CPU system time (s): 6.62999
CPU usage (%): 199.987
Max. virtual memory (cumulated for all children) (KiB): 1348828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.98
system time used= 6.62999
maximum resident set size= 1288452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 324209
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= 1179
involuntary context switches= 1870

runsolver used 2.10068 second user time and 4.5953 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-02 23:20:10
IDJOB=3728626
IDBENCH=78742
IDSOLVER=2316
FILE ID=node149/3728626-1338672010
RUNJOBID= node149-1338671108-8462
PBS_JOBID= 14636500
Free space on /tmp= 71056 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-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-3728626-1338672010/watcher-3728626-1338672010 -o /tmp/evaluation-result-3728626-1338672010/solver-3728626-1338672010 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728626-1338672010.wbo

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

MD5SUM BENCH= bbaf7e04a2e14186c5cc5b74d1689780
RANDOM SEED=1640587449

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27280956 kB
Buffers:          692420 kB
Cached:          4009552 kB
SwapCached:         2468 kB
Active:          1875816 kB
Inactive:        2846228 kB
Active(anon):       2592 kB
Inactive(anon):     9368 kB
Active(file):    1873224 kB
Inactive(file):  2836860 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             10996 kB
Writeback:             0 kB
AnonPages:         14832 kB
Mapped:            13412 kB
Shmem:                96 kB
Slab:             731780 kB
SReclaimable:     175756 kB
SUnreclaim:       556024 kB
KernelStack:        1448 kB
PageTables:         3952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     103900 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= 71044 MiB
End job on node149 at 2012-06-02 23:35:13