Trace number 3712455

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pwbo 2.01MSAT (TO) 1800.44 900.437

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM5648463b311d39ee56e08f95de13a148
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark2.01369
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints71
Number of constraints which are clauses102
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 3850
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3849
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.01 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3712455-1338183296.wbo.
0.00/0.00	c Instance file HOME/instance-3712455-1338183296.wbo
0.00/0.00	c File size is 91718 bytes.
0.00/0.01	c Highest Coefficient sum: 52
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:      5171                                                |
0.00/0.01	c |  Number Clauses:        102                                                 |
0.00/0.01	c |  Number Cardinality:    63                                                  |
0.00/0.01	c |  Number PB Constraints: 37                                                  |
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.19/900.41	o 104
1800.19/900.41	o 96
1800.19/900.41	o 85
1800.19/900.41	o 83
1800.19/900.41	o 81
1800.19/900.41	o 69
1800.19/900.41	o 61
1800.19/900.41	o 47
1800.19/900.41	o 35
1800.19/900.41	o 23
1800.19/900.41	o 22
1800.19/900.41	o 12
1800.19/900.41	c ===============================================================================
1800.19/900.41	c Wall Clock Time: 900.41 s
1800.19/900.41	c Best Solution: 12
1800.19/900.41	s SATISFIABLE
1800.19/900.41	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 x4970 -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

Verifier Data

OK	12

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-3712455-1338183296/watcher-3712455-1338183296 -o /tmp/evaluation-result-3712455-1338183296/solver-3712455-1338183296 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712455-1338183296.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.80 3.07 2/171 26502
/proc/meminfo: memFree=31037336/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=6060 CPUtime=0 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) R 26500 26502 26380 0 -1 4202496 726 0 0 0 0 0 0 0 20 0 1 0 284455551 6205440 679 33554432000 4194304 5964478 140737324986176 140737091521752 5179243 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 1515 690 164 433 0 1056 0

[startup+0.0772009 s]
/proc/loadavg: 3.68 3.80 3.07 2/171 26502
/proc/meminfo: memFree=31037336/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=165172 CPUtime=0.13 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 2774 0 0 0 12 1 0 0 20 0 3 0 284455551 169136128 2614 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 41293 2614 198 433 0 40857 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 165172

[startup+0.100191 s]
/proc/loadavg: 3.68 3.80 3.07 2/171 26502
/proc/meminfo: memFree=31037336/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=165172 CPUtime=0.18 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 2879 0 0 0 17 1 0 0 20 0 3 0 284455551 169136128 2719 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 41293 2720 198 433 0 40857 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 165172

[startup+0.300127 s]
/proc/loadavg: 3.68 3.80 3.07 2/171 26502
/proc/meminfo: memFree=31037336/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=165172 CPUtime=0.57 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 3775 0 0 0 56 1 0 0 20 0 3 0 284455551 169136128 3615 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 41293 3615 198 433 0 40857 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 165172

[startup+0.70014 s]
/proc/loadavg: 3.68 3.80 3.07 2/171 26502
/proc/meminfo: memFree=31037336/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=165172 CPUtime=1.37 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 5506 0 0 0 135 2 0 0 20 0 3 0 284455551 169136128 5346 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 41293 5346 198 433 0 40857 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 165172

[startup+1.50026 s]
/proc/loadavg: 3.68 3.80 3.07 5/181 26521
/proc/meminfo: memFree=30973308/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=165172 CPUtime=2.96 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 7924 0 0 0 293 3 0 0 20 0 3 0 284455551 169136128 7764 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 41293 7764 198 433 0 40857 0
[pid=26502/tid=26504] ppid=26500 vsize=165172 CPUtime=1.47 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 3718 0 0 0 145 2 0 0 20 0 3 0 284455552 169136128 7764 33554432000 4194304 5964478 140737324986176 140375126870008 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=165172 CPUtime=1.47 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 2750 0 0 0 145 2 0 0 20 0 3 0 284455552 169136128 7765 33554432000 4194304 5964478 140737324986176 140375116380472 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 165172

[startup+3.10027 s]
/proc/loadavg: 3.68 3.80 3.07 5/181 26521
/proc/meminfo: memFree=30955096/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=165172 CPUtime=6.17 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 10603 0 0 0 613 4 0 0 20 0 3 0 284455551 169136128 10443 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 41293 10443 198 433 0 40857 0
[pid=26502/tid=26504] ppid=26500 vsize=165172 CPUtime=3.07 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 4984 0 0 0 305 2 0 0 20 0 3 0 284455552 169136128 10443 33554432000 4194304 5964478 140737324986176 140375126870008 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=165172 CPUtime=3.07 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 4162 0 0 0 305 2 0 0 20 0 3 0 284455552 169136128 10443 33554432000 4194304 5964478 140737324986176 140375116380472 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 165172

[startup+6.30026 s]
/proc/loadavg: 3.87 3.84 3.09 5/181 26521
/proc/meminfo: memFree=30930084/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=165388 CPUtime=12.56 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 16243 0 0 0 1250 6 0 0 20 0 3 0 284455551 169357312 16083 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 41347 16083 198 433 0 40911 0
[pid=26502/tid=26504] ppid=26500 vsize=165388 CPUtime=6.27 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 8186 0 0 0 624 3 0 0 20 0 3 0 284455552 169357312 16083 33554432000 4194304 5964478 140737324986176 140375126870008 4400062 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=165388 CPUtime=6.27 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 6600 0 0 0 623 4 0 0 20 0 3 0 284455552 169357312 16083 33554432000 4194304 5964478 140737324986176 140375116380472 4381980 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 165388

[startup+12.7002 s]
/proc/loadavg: 3.96 3.86 3.10 4/181 26521
/proc/meminfo: memFree=30880056/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=165604 CPUtime=25.35 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 24175 0 0 0 2525 10 0 0 20 0 3 0 284455551 169578496 24210 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 41401 24210 198 433 0 40965 0
[pid=26502/tid=26504] ppid=26500 vsize=165604 CPUtime=12.67 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 11657 0 0 0 1262 5 0 0 20 0 3 0 284455552 169578496 24210 33554432000 4194304 5964478 140737324986176 140375126870008 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=165604 CPUtime=12.66 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 11061 0 0 0 1260 6 0 0 20 0 3 0 284455552 169578496 24210 33554432000 4194304 5964478 140737324986176 140375116380472 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 165604

[startup+25.5003 s]
/proc/loadavg: 4.04 3.88 3.11 5/181 26521
/proc/meminfo: memFree=30825732/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=296892 CPUtime=50.94 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 35696 0 0 0 5078 16 0 0 20 0 3 0 284455551 304017408 35724 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 74223 35724 198 433 0 73787 0
[pid=26502/tid=26504] ppid=26500 vsize=296892 CPUtime=25.47 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 17234 0 0 0 2540 7 0 0 20 0 3 0 284455552 304017408 35724 33554432000 4194304 5964478 140737324986176 140375126870008 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=296892 CPUtime=25.45 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 17005 0 0 0 2535 10 0 0 20 0 3 0 284455552 304017408 35724 33554432000 4194304 5964478 140737324986176 140375116380472 4381560 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 296892

[startup+51.1004 s]
/proc/loadavg: 4.02 3.89 3.14 5/181 26521
/proc/meminfo: memFree=30720440/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=297344 CPUtime=102.12 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 58538 0 0 0 10185 27 0 0 20 0 3 0 284455551 304480256 58565 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 74336 58565 198 433 0 73900 0
[pid=26502/tid=26504] ppid=26500 vsize=297344 CPUtime=51.06 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 28064 0 0 0 5094 12 0 0 20 0 3 0 284455552 304480256 58565 33554432000 4194304 5964478 140737324986176 140375126870008 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=297344 CPUtime=51.04 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 29017 0 0 0 5088 16 0 0 20 0 3 0 284455552 304480256 58565 33554432000 4194304 5964478 140737324986176 140375116380472 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 297344

[startup+102.3 s]
/proc/loadavg: 4.01 3.90 3.18 5/181 26521
/proc/meminfo: memFree=30575136/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=494840 CPUtime=204.47 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 87177 0 0 0 20408 39 0 0 20 0 3 0 284455551 506716160 88412 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 123710 88412 198 433 0 123274 0
[pid=26502/tid=26504] ppid=26500 vsize=494840 CPUtime=102.24 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 36225 0 0 0 10208 16 0 0 20 0 3 0 284455552 506716160 88412 33554432000 4194304 5964478 140737324986176 140375126869816 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=494840 CPUtime=102.24 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 49495 0 0 0 10198 26 0 0 20 0 3 0 284455552 506716160 88412 33554432000 4194304 5964478 140737324986176 140375116380472 4400075 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 494840

[startup+162.3 s]
/proc/loadavg: 4.04 3.93 3.23 5/181 26521
/proc/meminfo: memFree=30382324/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=626176 CPUtime=324.43 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 130695 0 0 0 32388 55 0 0 20 0 3 0 284455551 641204224 131930 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 156544 131930 198 433 0 156108 0
[pid=26502/tid=26504] ppid=26500 vsize=626176 CPUtime=162.23 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 68038 0 0 0 16195 28 0 0 20 0 3 0 284455552 641204224 131930 33554432000 4194304 5964478 140737324986176 140375126870008 4391680 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=626176 CPUtime=162.23 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 61200 0 0 0 16190 33 0 0 20 0 3 0 284455552 641204224 131930 33554432000 4194304 5964478 140737324986176 140375116380472 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 324.43
Current children cumulated vsize (KiB) 626176

[startup+222.307 s]
/proc/loadavg: 4.05 3.95 3.28 5/181 26522
/proc/meminfo: memFree=30325400/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=691984 CPUtime=444.42 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 140925 0 0 0 44381 61 0 0 20 0 3 0 284455551 708591616 142153 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 172996 142153 198 433 0 172560 0
[pid=26502/tid=26504] ppid=26500 vsize=691984 CPUtime=222.23 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 68045 0 0 0 22194 29 0 0 20 0 3 0 284455552 708591616 142153 33554432000 4194304 5964478 140737324986176 140375126870008 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=691984 CPUtime=222.22 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 71423 0 0 0 22183 39 0 0 20 0 3 0 284455552 708591616 142153 33554432000 4194304 5964478 140737324986176 140375116380472 4400075 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 691984

[startup+282.3 s]
/proc/loadavg: 4.02 3.96 3.32 5/181 26522
/proc/meminfo: memFree=30299512/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=692116 CPUtime=564.37 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 143332 0 0 0 56375 62 0 0 20 0 3 0 284455551 708726784 144481 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 173029 144481 198 433 0 172593 0
[pid=26502/tid=26504] ppid=26500 vsize=692116 CPUtime=282.22 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 70399 0 0 0 28191 31 0 0 20 0 3 0 284455552 708726784 144481 33554432000 4194304 5964478 140737324986176 140375126870008 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=692116 CPUtime=282.19 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 71476 0 0 0 28179 40 0 0 20 0 3 0 284455552 708726784 144481 33554432000 4194304 5964478 140737324986176 140375116380232 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 564.37
Current children cumulated vsize (KiB) 692116

[startup+342.3 s]
/proc/loadavg: 4.00 3.97 3.37 5/182 26525
/proc/meminfo: memFree=30233924/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=758012 CPUtime=684.32 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 156425 0 0 0 68363 69 0 0 20 0 3 0 284455551 776204288 157663 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 189503 157663 198 433 0 189067 0
[pid=26502/tid=26504] ppid=26500 vsize=758012 CPUtime=342.19 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 71031 0 0 0 34187 32 0 0 20 0 3 0 284455552 776204288 157663 33554432000 4194304 5964478 140737324986176 140375126869816 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=758012 CPUtime=342.18 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 83937 0 0 0 34170 48 0 0 20 0 3 0 284455552 776204288 157663 33554432000 4194304 5964478 140737324986176 140375116380472 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 684.32
Current children cumulated vsize (KiB) 758012

[startup+402.3 s]
/proc/loadavg: 4.00 3.97 3.40 5/181 26525
/proc/meminfo: memFree=30085036/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=889444 CPUtime=804.26 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 191018 0 0 0 80336 90 0 0 20 0 3 0 284455551 910790656 192133 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 222361 192133 198 433 0 221925 0
[pid=26502/tid=26504] ppid=26500 vsize=889444 CPUtime=402.16 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 88130 0 0 0 40171 45 0 0 20 0 3 0 284455552 910790656 192133 33554432000 4194304 5964478 140737324986176 140375126870008 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=889444 CPUtime=402.16 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 101431 0 0 0 40158 58 0 0 20 0 3 0 284455552 910790656 192133 33554432000 4194304 5964478 140737324986176 140375116380504 4400040 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 804.26
Current children cumulated vsize (KiB) 889444

[startup+462.3 s]
/proc/loadavg: 4.00 3.97 3.44 5/181 26525
/proc/meminfo: memFree=30075000/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=889736 CPUtime=924.23 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 191112 0 0 0 92333 90 0 0 20 0 3 0 284455551 911089664 192080 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 222434 192080 198 433 0 221998 0
[pid=26502/tid=26504] ppid=26500 vsize=889736 CPUtime=462.16 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 88160 0 0 0 46170 46 0 0 20 0 3 0 284455552 911089664 192080 33554432000 4194304 5964478 140737324986176 140375126870040 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=889736 CPUtime=462.15 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 101495 0 0 0 46156 59 0 0 20 0 3 0 284455552 911089664 192080 33554432000 4194304 5964478 140737324986176 140375116380232 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 924.23
Current children cumulated vsize (KiB) 889736

[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.47 5/181 26526
/proc/meminfo: memFree=30064272/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=889736 CPUtime=1044.21 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 193093 0 0 0 104330 91 0 0 20 0 3 0 284455551 911089664 194061 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 222434 194061 198 433 0 221998 0
[pid=26502/tid=26504] ppid=26500 vsize=889736 CPUtime=522.15 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 88160 0 0 0 52169 46 0 0 20 0 3 0 284455552 911089664 194061 33554432000 4194304 5964478 140737324986176 140375126870040 4400503 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=889736 CPUtime=522.14 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 103476 0 0 0 52154 60 0 0 20 0 3 0 284455552 911089664 194061 33554432000 4194304 5964478 140737324986176 140375116380472 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1044.21
Current children cumulated vsize (KiB) 889736

[startup+582.3 s]
/proc/loadavg: 4.04 3.99 3.50 5/181 26526
/proc/meminfo: memFree=29912900/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=1022212 CPUtime=1164.19 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 228336 0 0 0 116304 115 0 0 20 0 3 0 284455551 1046745088 229304 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 255553 229304 198 433 0 255117 0
[pid=26502/tid=26504] ppid=26500 vsize=1022212 CPUtime=582.15 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 101828 0 0 0 58157 58 0 0 20 0 3 0 284455552 1046745088 229304 33554432000 4194304 5964478 140737324986176 140375126870008 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=1022212 CPUtime=582.14 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125051 0 0 0 58141 73 0 0 20 0 3 0 284455552 1046745088 229304 33554432000 4194304 5964478 140737324986176 140375116380472 4400480 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1164.19
Current children cumulated vsize (KiB) 1022212

[startup+642.3 s]
/proc/loadavg: 4.01 3.99 3.53 5/181 26526
/proc/meminfo: memFree=29901132/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=1022212 CPUtime=1284.17 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 228696 0 0 0 128302 115 0 0 20 0 3 0 284455551 1046745088 229893 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 255553 229893 198 433 0 255117 0
[pid=26502/tid=26504] ppid=26500 vsize=1022212 CPUtime=642.15 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 102188 0 0 0 64155 60 0 0 20 0 3 0 284455552 1046745088 229893 33554432000 4194304 5964478 140737324986176 140375126870008 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=1022212 CPUtime=642.14 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125051 0 0 0 64140 74 0 0 20 0 3 0 284455552 1046745088 229893 33554432000 4194304 5964478 140737324986176 140375116380472 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1284.17
Current children cumulated vsize (KiB) 1022212

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.56 5/181 26526
/proc/meminfo: memFree=29801960/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=1087748 CPUtime=1404.13 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 252013 0 0 0 140282 131 0 0 20 0 3 0 284455551 1113853952 253425 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 271937 253425 198 433 0 271501 0
[pid=26502/tid=26504] ppid=26500 vsize=1087748 CPUtime=702.13 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125502 0 0 0 70137 76 0 0 20 0 3 0 284455552 1113853952 253425 33554432000 4194304 5964478 140737324986176 140375126870008 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=1087748 CPUtime=702.13 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125054 0 0 0 70138 75 0 0 20 0 3 0 284455552 1113853952 253425 33554432000 4194304 5964478 140737324986176 140375116380472 4400779 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1404.13
Current children cumulated vsize (KiB) 1087748

[startup+762.3 s]
/proc/loadavg: 4.03 4.00 3.59 5/181 26526
/proc/meminfo: memFree=29699916/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=1219468 CPUtime=1524.08 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 275559 0 0 0 152258 150 0 0 20 0 3 0 284455551 1248735232 276954 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 304867 276954 198 433 0 304431 0
[pid=26502/tid=26504] ppid=26500 vsize=1219468 CPUtime=762.12 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 149003 0 0 0 76115 97 0 0 20 0 3 0 284455552 1248735232 276956 33554432000 4194304 5964478 140737324986176 140375126870008 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=1219468 CPUtime=762.1 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125101 0 0 0 76134 76 0 0 20 0 3 0 284455552 1248735232 276956 33554432000 4194304 5964478 140737324986176 140375116380472 4400062 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1524.08
Current children cumulated vsize (KiB) 1219468

[startup+822.3 s]
/proc/loadavg: 4.01 4.00 3.61 5/181 26527
/proc/meminfo: memFree=29612980/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=1287656 CPUtime=1644.03 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 296559 0 0 0 164237 166 0 0 20 0 3 0 284455551 1318559744 296474 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 321914 296474 198 433 0 321478 0
[pid=26502/tid=26504] ppid=26500 vsize=1287656 CPUtime=822.1 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 169872 0 0 0 82097 113 0 0 20 0 3 0 284455552 1318559744 296474 33554432000 4194304 5964478 140737324986176 140375126869816 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=1287656 CPUtime=822.09 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125230 0 0 0 82132 77 0 0 20 0 3 0 284455552 1318559744 296474 33554432000 4194304 5964478 140737324986176 140375116380232 4400053 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1644.03
Current children cumulated vsize (KiB) 1287656

[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.63 5/181 26527
/proc/meminfo: memFree=29549924/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=1293312 CPUtime=1763.99 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 308508 0 0 0 176221 178 0 0 20 0 3 0 284455551 1324351488 308439 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 323328 308439 198 433 0 322892 0
[pid=26502/tid=26504] ppid=26500 vsize=1293312 CPUtime=882.1 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 181771 0 0 0 88083 127 0 0 20 0 3 0 284455552 1324351488 308439 33554432000 4194304 5964478 140737324986176 140375126869816 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=1293312 CPUtime=882.06 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125280 0 0 0 88127 79 0 0 20 0 3 0 284455552 1324351488 308439 33554432000 4194304 5964478 140737324986176 140375116380232 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1763.99
Current children cumulated vsize (KiB) 1293312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.07 4.02 3.65 3/178 26528
/proc/meminfo: memFree=29794680/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=1293312 CPUtime=1800.19 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 308521 0 0 0 179841 178 0 0 20 0 3 0 284455551 1324351488 308452 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 323328 308452 198 433 0 322892 0
[pid=26502/tid=26504] ppid=26500 vsize=1293312 CPUtime=900.2 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 181771 0 0 0 89893 127 0 0 20 0 3 0 284455552 1324351488 308452 33554432000 4194304 5964478 140737324986176 140375126869816 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=1293312 CPUtime=900.16 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125293 0 0 0 89937 79 0 0 20 0 3 0 284455552 1324351488 308452 33554432000 4194304 5964478 140737324986176 140375116380232 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 1293312

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

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

[startup+900.4 s]
/proc/loadavg: 4.07 4.02 3.65 3/178 26528
/proc/meminfo: memFree=29794680/32873648 swapFree=7112/7112
[pid=26502] ppid=26500 vsize=1293312 CPUtime=1800.19 cores=1,3,5,7
/proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 308521 0 0 0 179841 178 0 0 20 0 3 0 284455551 1324351488 308452 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26502/statm: 323328 308452 198 433 0 322892 0
[pid=26502/tid=26504] ppid=26500 vsize=1293312 CPUtime=900.2 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 181771 0 0 0 89893 127 0 0 20 0 3 0 284455552 1324351488 308452 33554432000 4194304 5964478 140737324986176 140375126869816 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=1293312 CPUtime=900.16 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125293 0 0 0 89937 79 0 0 20 0 3 0 284455552 1324351488 308452 33554432000 4194304 5964478 140737324986176 140375116380232 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 1293312

Child status: 0
Real time (s): 900.437
CPU time (s): 1800.44
CPU user time (s): 1798.34
CPU system time (s): 2.10368
CPU usage (%): 199.952
Max. virtual memory (cumulated for all children) (KiB): 1293312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.34
system time used= 2.10368
maximum resident set size= 1233812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308522
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= 1036
involuntary context switches= 3816

runsolver used 1.83172 second user time and 5.11422 second system time

The end

Launcher Data

Begin job on node126 at 2012-05-28 07:34:56
IDJOB=3712455
IDBENCH=78664
IDSOLVER=2292
FILE ID=node126/3712455-1338183296
RUNJOBID= node126-1338182394-26397
PBS_JOBID= 14624566
Free space on /tmp= 71356 MiB

SOLVER NAME= pwbo 2.01
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712455-1338183296/watcher-3712455-1338183296 -o /tmp/evaluation-result-3712455-1338183296/solver-3712455-1338183296 -C 1800 -W 1900 -M 15500  pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712455-1338183296.wbo

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

MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148
RANDOM SEED=1896441471

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31032112 kB
Buffers:          332336 kB
Cached:           680752 kB
SwapCached:        17756 kB
Active:           763632 kB
Inactive:         269988 kB
Active(anon):       2308 kB
Inactive(anon):    20452 kB
Active(file):     761324 kB
Inactive(file):   249536 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:              5472 kB
Writeback:             0 kB
AnonPages:         10496 kB
Mapped:             8996 kB
Shmem:                 0 kB
Slab:             669192 kB
SReclaimable:     113660 kB
SUnreclaim:       555532 kB
KernelStack:        1440 kB
PageTables:         3960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71356 MiB
End job on node126 at 2012-05-28 07:49:59