Trace number 3728539

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.1 900.446

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.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3728539-1338669486.wbo.
0.00/0.00	c Instance file HOME/instance-3728539-1338669486.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.10/900.41	o 104
1800.10/900.41	o 96
1800.10/900.41	o 85
1800.10/900.41	o 83
1800.10/900.41	o 81
1800.10/900.41	o 69
1800.10/900.41	o 61
1800.10/900.41	o 47
1800.10/900.41	o 35
1800.10/900.41	o 23
1800.10/900.41	o 22
1800.10/900.41	o 12
1800.10/900.41	c ===============================================================================
1800.10/900.41	c Wall Clock Time: 900.41 s
1800.10/900.41	c Best Solution: 12
1800.10/900.41	s SATISFIABLE
1800.10/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-3728539-1338669486/watcher-3728539-1338669486 -o /tmp/evaluation-result-3728539-1338669486/solver-3728539-1338669486 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728539-1338669486.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: 2.01 2.01 1.97 3/173 3936
/proc/meminfo: memFree=28477748/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=6060 CPUtime=0 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) R 3933 3936 3617 0 -1 4202496 775 0 0 0 0 0 0 0 20 0 1 0 333072939 6205440 727 33554432000 4194304 5964478 140734160003360 140734189242040 4395649 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 1515 727 166 433 0 1056 0

[startup+0.0295409 s]
/proc/loadavg: 2.01 2.01 1.97 3/173 3936
/proc/meminfo: memFree=28477748/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=165172 CPUtime=0.03 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 2490 0 0 0 3 0 0 0 20 0 3 0 333072939 169136128 2331 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 41293 2331 197 433 0 40857 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 165172

[startup+0.100176 s]
/proc/loadavg: 2.01 2.01 1.97 3/173 3936
/proc/meminfo: memFree=28477748/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=165172 CPUtime=0.17 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 2877 0 0 0 17 0 0 0 20 0 3 0 333072939 169136128 2718 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 41293 2718 198 433 0 40857 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 165172

[startup+0.300119 s]
/proc/loadavg: 2.01 2.01 1.97 3/173 3936
/proc/meminfo: memFree=28477748/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=165172 CPUtime=0.57 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 3771 0 0 0 56 1 0 0 20 0 3 0 333072939 169136128 3612 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 41293 3612 198 433 0 40857 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 165172

[startup+0.700134 s]
/proc/loadavg: 2.01 2.01 1.97 3/173 3936
/proc/meminfo: memFree=28477748/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=165172 CPUtime=1.37 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 5495 0 0 0 136 1 0 0 20 0 3 0 333072939 169136128 5336 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 41293 5336 198 433 0 40857 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 165172

[startup+1.5003 s]
/proc/loadavg: 2.01 2.01 1.97 5/181 3944
/proc/meminfo: memFree=28420132/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=165172 CPUtime=2.97 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 7870 0 0 0 292 5 0 0 20 0 3 0 333072939 169136128 7711 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 41293 7711 198 433 0 40857 0
[pid=3936/tid=3943] ppid=3933 vsize=165172 CPUtime=1.47 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 3667 0 0 0 145 2 0 0 20 0 3 0 333072940 169136128 7711 33554432000 4194304 5964478 140734160003360 140018267588600 4400056 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=165172 CPUtime=1.47 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 2746 0 0 0 144 3 0 0 20 0 3 0 333072940 169136128 7711 33554432000 4194304 5964478 140734160003360 140018257099064 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 165172

[startup+3.10025 s]
/proc/loadavg: 2.17 2.04 1.98 5/181 3944
/proc/meminfo: memFree=28402384/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=165172 CPUtime=6.17 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 10302 0 0 0 609 8 0 0 20 0 3 0 333072939 169136128 10143 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 41293 10143 198 433 0 40857 0
[pid=3936/tid=3943] ppid=3933 vsize=165172 CPUtime=3.06 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 4700 0 0 0 304 2 0 0 20 0 3 0 333072940 169136128 10143 33554432000 4194304 5964478 140734160003360 140018267588600 4400056 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=165172 CPUtime=3.06 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 4145 0 0 0 300 6 0 0 20 0 3 0 333072940 169136128 10143 33554432000 4194304 5964478 140734160003360 140018257099064 4389208 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 165172

[startup+6.30031 s]
/proc/loadavg: 2.17 2.04 1.98 5/181 3944
/proc/meminfo: memFree=28377212/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=165388 CPUtime=12.57 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 15954 0 0 0 1246 11 0 0 20 0 3 0 333072939 169357312 15795 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 41347 15795 198 433 0 40911 0
[pid=3936/tid=3943] ppid=3933 vsize=165388 CPUtime=6.25 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 7916 0 0 0 622 3 0 0 20 0 3 0 333072940 169357312 15796 33554432000 4194304 5964478 140734160003360 140018267588600 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=165388 CPUtime=6.26 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 6582 0 0 0 619 7 0 0 20 0 3 0 333072940 169357312 15796 33554432000 4194304 5964478 140734160003360 140018257099064 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 165388

[startup+12.7003 s]
/proc/loadavg: 2.45 2.10 2.01 5/181 3944
/proc/meminfo: memFree=28328536/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=165604 CPUtime=25.37 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 24164 0 0 0 2522 15 0 0 20 0 3 0 333072939 169578496 24005 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 41401 24005 198 433 0 40965 0
[pid=3936/tid=3943] ppid=3933 vsize=165604 CPUtime=12.63 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 11653 0 0 0 1259 4 0 0 20 0 3 0 333072940 169578496 24005 33554432000 4194304 5964478 140734160003360 140018267588600 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=165604 CPUtime=12.64 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 11054 0 0 0 1254 10 0 0 20 0 3 0 333072940 169578496 24005 33554432000 4194304 5964478 140734160003360 140018257099064 4400490 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165604

[startup+25.5004 s]
/proc/loadavg: 2.69 2.17 2.03 5/181 3944
/proc/meminfo: memFree=28271828/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=296892 CPUtime=50.94 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 35477 0 0 0 5037 57 0 0 20 0 3 0 333072939 304017408 35318 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 74223 35318 198 433 0 73787 0
[pid=3936/tid=3943] ppid=3933 vsize=296892 CPUtime=25.4 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 17029 0 0 0 2512 28 0 0 20 0 3 0 333072940 304017408 35318 33554432000 4194304 5964478 140734160003360 140018267588600 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=296892 CPUtime=25.41 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 16991 0 0 0 2513 28 0 0 20 0 3 0 333072940 304017408 35318 33554432000 4194304 5964478 140734160003360 140018257099064 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 296892

[startup+51.1003 s]
/proc/loadavg: 3.13 2.31 2.08 5/181 3944
/proc/meminfo: memFree=28162508/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=297344 CPUtime=102.12 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 57899 0 0 0 10118 94 0 0 20 0 3 0 333072939 304480256 57754 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 74336 57754 198 433 0 73900 0
[pid=3936/tid=3943] ppid=3933 vsize=297344 CPUtime=50.93 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 27886 0 0 0 5042 51 0 0 20 0 3 0 333072940 304480256 57754 33554432000 4194304 5964478 140734160003360 140018267588600 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=297344 CPUtime=50.94 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 28556 0 0 0 5051 43 0 0 20 0 3 0 333072940 304480256 57754 33554432000 4194304 5964478 140734160003360 140018257099064 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 297344

[startup+102.307 s]
/proc/loadavg: 3.65 2.59 2.19 5/181 3944
/proc/meminfo: memFree=28024292/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=494840 CPUtime=204.46 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 87128 0 0 0 20297 149 0 0 20 0 3 0 333072939 506716160 87002 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 123710 87002 198 433 0 123274 0
[pid=3936/tid=3943] ppid=3933 vsize=494840 CPUtime=101.98 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 36196 0 0 0 10122 76 0 0 20 0 3 0 333072940 506716160 87002 33554432000 4194304 5964478 140734160003360 140018267588408 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=494840 CPUtime=101.99 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 49475 0 0 0 10125 74 0 0 20 0 3 0 333072940 506716160 87002 33554432000 4194304 5964478 140734160003360 140018257099064 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.46
Current children cumulated vsize (KiB) 494840

[startup+162.3 s]
/proc/loadavg: 3.86 2.83 2.29 5/181 3947
/proc/meminfo: memFree=27833484/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=626176 CPUtime=324.36 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 130705 0 0 0 32241 195 0 0 20 0 3 0 333072939 641204224 130579 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 156544 130579 198 433 0 156108 0
[pid=3936/tid=3943] ppid=3933 vsize=626176 CPUtime=161.81 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 68027 0 0 0 16071 110 0 0 20 0 3 0 333072940 641204224 130579 33554432000 4194304 5964478 140734160003360 140018267588600 4399952 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=626176 CPUtime=161.78 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 61221 0 0 0 16090 88 0 0 20 0 3 0 333072940 641204224 130579 33554432000 4194304 5964478 140734160003360 140018257099064 4382286 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.36
Current children cumulated vsize (KiB) 626176

[startup+222.3 s]
/proc/loadavg: 3.95 3.05 2.40 5/181 3948
/proc/meminfo: memFree=27774628/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=691984 CPUtime=444.3 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 140958 0 0 0 44212 218 0 0 20 0 3 0 333072939 708591616 142159 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 172996 142159 198 433 0 172560 0
[pid=3936/tid=3943] ppid=3933 vsize=691984 CPUtime=221.62 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 68064 0 0 0 22051 111 0 0 20 0 3 0 333072940 708591616 142159 33554432000 4194304 5964478 140734160003360 140018267588600 4381702 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=691984 CPUtime=221.62 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 71437 0 0 0 22049 113 0 0 20 0 3 0 333072940 708591616 142159 33554432000 4194304 5964478 140734160003360 140018257099064 4388283 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.3
Current children cumulated vsize (KiB) 691984

[startup+282.3 s]
/proc/loadavg: 3.98 3.21 2.49 5/181 3948
/proc/meminfo: memFree=27755908/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=692116 CPUtime=564.28 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 143335 0 0 0 56201 227 0 0 20 0 3 0 333072939 708726784 144464 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 173029 144464 198 433 0 172593 0
[pid=3936/tid=3943] ppid=3933 vsize=692116 CPUtime=281.47 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 70406 0 0 0 28026 121 0 0 20 0 3 0 333072940 708726784 144464 33554432000 4194304 5964478 140734160003360 140018267588600 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=692116 CPUtime=281.47 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 71472 0 0 0 28033 114 0 0 20 0 3 0 333072940 708726784 144464 33554432000 4194304 5964478 140734160003360 140018257098824 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.28
Current children cumulated vsize (KiB) 692116

[startup+342.3 s]
/proc/loadavg: 3.99 3.36 2.59 5/181 3949
/proc/meminfo: memFree=27680092/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=758012 CPUtime=684.24 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 159221 0 0 0 68183 241 0 0 20 0 3 0 333072939 776204288 160716 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 189503 160716 198 433 0 189067 0
[pid=3936/tid=3943] ppid=3933 vsize=758012 CPUtime=341.31 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 72694 0 0 0 34008 123 0 0 20 0 3 0 333072940 776204288 160716 33554432000 4194304 5964478 140734160003360 140018267588600 4388292 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=758012 CPUtime=341.29 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 85070 0 0 0 34002 127 0 0 20 0 3 0 333072940 776204288 160716 33554432000 4194304 5964478 140734160003360 140018257099064 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.24
Current children cumulated vsize (KiB) 758012

[startup+402.3 s]
/proc/loadavg: 4.10 3.50 2.68 5/181 3949
/proc/meminfo: memFree=27537272/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=889444 CPUtime=804.16 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 191002 0 0 0 80130 286 0 0 20 0 3 0 333072939 910790656 192335 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 222361 192335 198 433 0 221925 0
[pid=3936/tid=3943] ppid=3933 vsize=889444 CPUtime=401.13 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 88102 0 0 0 39962 151 0 0 20 0 3 0 333072940 910790656 192335 33554432000 4194304 5964478 140734160003360 140018267588600 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=889444 CPUtime=401.11 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 101443 0 0 0 39965 146 0 0 20 0 3 0 333072940 910790656 192335 33554432000 4194304 5964478 140734160003360 140018257099096 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.16
Current children cumulated vsize (KiB) 889444

[startup+462.3 s]
/proc/loadavg: 4.03 3.59 2.76 5/181 3949
/proc/meminfo: memFree=27530108/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=889736 CPUtime=924.1 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 191125 0 0 0 92124 286 0 0 20 0 3 0 333072939 911089664 192389 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 222434 192389 198 433 0 221998 0
[pid=3936/tid=3943] ppid=3933 vsize=889736 CPUtime=460.96 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 88147 0 0 0 45945 151 0 0 20 0 3 0 333072940 911089664 192389 33554432000 4194304 5964478 140734160003360 140018267588632 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=889736 CPUtime=460.93 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 101521 0 0 0 45947 146 0 0 20 0 3 0 333072940 911089664 192389 33554432000 4194304 5964478 140734160003360 140018257098824 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.1
Current children cumulated vsize (KiB) 889736

[startup+522.3 s]
/proc/loadavg: 4.01 3.66 2.83 6/181 3949
/proc/meminfo: memFree=27504208/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=889736 CPUtime=1044.06 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 196313 0 0 0 104110 296 0 0 20 0 3 0 333072939 911089664 197561 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 222434 197561 198 433 0 221998 0
[pid=3936/tid=3943] ppid=3933 vsize=889736 CPUtime=520.79 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 88169 0 0 0 51927 152 0 0 20 0 3 0 333072940 911089664 197561 33554432000 4194304 5964478 140734160003360 140018267588632 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=889736 CPUtime=520.78 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 106687 0 0 0 51921 157 0 0 20 0 3 0 333072940 911089664 197561 33554432000 4194304 5964478 140734160003360 140018257099064 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.06
Current children cumulated vsize (KiB) 889736

[startup+582.3 s]
/proc/loadavg: 4.00 3.72 2.91 5/181 3949
/proc/meminfo: memFree=27365204/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=1022212 CPUtime=1164.04 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 228728 0 0 0 116029 375 0 0 20 0 3 0 333072939 1046745088 229976 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 255553 229976 198 433 0 255117 0
[pid=3936/tid=3943] ppid=3933 vsize=1022212 CPUtime=580.63 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 102196 0 0 0 57866 197 0 0 20 0 3 0 333072940 1046745088 229976 33554432000 4194304 5964478 140734160003360 140018267588600 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=1022212 CPUtime=580.62 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 125075 0 0 0 57869 193 0 0 20 0 3 0 333072940 1046745088 229976 33554432000 4194304 5964478 140734160003360 140018257099064 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.04
Current children cumulated vsize (KiB) 1022212

[startup+642.3 s]
/proc/loadavg: 4.00 3.77 2.97 5/181 3950
/proc/meminfo: memFree=27350696/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=1022212 CPUtime=1284.03 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 231215 0 0 0 128022 381 0 0 20 0 3 0 333072939 1046745088 232463 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 255553 232463 198 433 0 255117 0
[pid=3936/tid=3943] ppid=3933 vsize=1022212 CPUtime=640.49 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 104683 0 0 0 63845 204 0 0 20 0 3 0 333072940 1046745088 232463 33554432000 4194304 5964478 140734160003360 140018267588600 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=1022212 CPUtime=640.48 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 125075 0 0 0 63854 194 0 0 20 0 3 0 333072940 1046745088 232463 33554432000 4194304 5964478 140734160003360 140018257099064 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.03
Current children cumulated vsize (KiB) 1022212

[startup+702.3 s]
/proc/loadavg: 4.00 3.81 3.03 5/181 3950
/proc/meminfo: memFree=27241744/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=1087748 CPUtime=1404 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 256723 0 0 0 139936 464 0 0 20 0 3 0 333072939 1113853952 257971 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 271937 257971 198 433 0 271501 0
[pid=3936/tid=3943] ppid=3933 vsize=1087748 CPUtime=700.33 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 130191 0 0 0 69745 288 0 0 20 0 3 0 333072940 1113853952 257971 33554432000 4194304 5964478 140734160003360 140018267588600 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=1087748 CPUtime=700.32 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 125075 0 0 0 69837 195 0 0 20 0 3 0 333072940 1113853952 257971 33554432000 4194304 5964478 140734160003360 140018257099064 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404
Current children cumulated vsize (KiB) 1087748

[startup+762.307 s]
/proc/loadavg: 4.00 3.84 3.09 5/182 3953
/proc/meminfo: memFree=27147652/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=1219972 CPUtime=1524 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 279906 0 0 0 151875 525 0 0 20 0 3 0 333072939 1249251328 279658 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 304993 279658 198 433 0 304557 0
[pid=3936/tid=3943] ppid=3933 vsize=1219972 CPUtime=760.18 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 153319 0 0 0 75668 350 0 0 20 0 3 0 333072940 1249251328 279658 33554432000 4194304 5964478 140734160003360 140018267588600 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=1219972 CPUtime=760.17 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 125130 0 0 0 75820 197 0 0 20 0 3 0 333072940 1249251328 279658 33554432000 4194304 5964478 140734160003360 140018257098824 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524
Current children cumulated vsize (KiB) 1219972

[startup+822.3 s]
/proc/loadavg: 4.00 3.86 3.14 5/181 3953
/proc/meminfo: memFree=27059304/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=1288896 CPUtime=1643.93 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 300705 0 0 0 163812 581 0 0 20 0 3 0 333072939 1319829504 300516 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 322224 300516 198 433 0 321788 0
[pid=3936/tid=3943] ppid=3933 vsize=1288896 CPUtime=819.99 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 174044 0 0 0 81593 406 0 0 20 0 3 0 333072940 1319829504 300516 33554432000 4194304 5964478 140734160003360 140018267588600 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=1288896 CPUtime=820.01 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 125204 0 0 0 81803 198 0 0 20 0 3 0 333072940 1319829504 300516 33554432000 4194304 5964478 140734160003360 140018257098824 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.93
Current children cumulated vsize (KiB) 1288896

[startup+882.3 s]
/proc/loadavg: 4.00 3.89 3.20 5/181 3953
/proc/meminfo: memFree=27023992/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=1293312 CPUtime=1763.9 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 308442 0 0 0 175788 602 0 0 20 0 3 0 333072939 1324351488 308364 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 323328 308364 198 433 0 322892 0
[pid=3936/tid=3943] ppid=3933 vsize=1293312 CPUtime=879.82 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 181753 0 0 0 87554 428 0 0 20 0 3 0 333072940 1324351488 308364 33554432000 4194304 5964478 140734160003360 140018267588408 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=1293312 CPUtime=879.86 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 125232 0 0 0 87787 199 0 0 20 0 3 0 333072940 1324351488 308364 33554432000 4194304 5964478 140734160003360 140018257098824 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.9
Current children cumulated vsize (KiB) 1293312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.00 3.89 3.21 3/176 3954
/proc/meminfo: memFree=27240884/32873844 swapFree=7632/7632
[pid=3936] ppid=3933 vsize=1293312 CPUtime=1800.1 cores=0,2,4,6
/proc/3936/stat : 3936 (pwbo2.02) S 3933 3936 3617 0 -1 4202496 308448 0 0 0 179408 602 0 0 20 0 3 0 333072939 1324351488 308373 33554432000 4194304 5964478 140734160003360 140734160002880 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3936/statm: 323328 308373 198 433 0 322892 0
[pid=3936/tid=3943] ppid=3933 vsize=1293312 CPUtime=897.88 cores=0,2,4,6
/proc/3936/task/3943/stat : 3943 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 181759 0 0 0 89360 428 0 0 20 0 3 0 333072940 1324351488 308373 33554432000 4194304 5964478 140734160003360 140018267588408 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3936/tid=3944] ppid=3933 vsize=1293312 CPUtime=897.92 cores=0,2,4,6
/proc/3936/task/3944/stat : 3944 (pwbo2.02) R 3933 3936 3617 0 -1 4202560 125232 0 0 0 89593 199 0 0 20 0 3 0 333072940 1324351488 308373 33554432000 4194304 5964478 140734160003360 140018257098824 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3936 and gives
#  childrusage.ru_utime.tv_sec=1789
#  childrusage.ru_utime.tv_usec=559945
#  childrusage.ru_stime.tv_sec=6
#  childrusage.ru_stime.tv_usec=320039
# CPU time returned by wait4() is 1795.88
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.446
CPU time (s): 1800.1
CPU user time (s): 1794.08
CPU system time (s): 6.02
CPU usage (%): 199.912
Max. virtual memory (cumulated for all children) (KiB): 1293312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.56
system time used= 6.32004
maximum resident set size= 1233496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308449
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= 1247
involuntary context switches= 1916

runsolver used 1.22181 second user time and 5.9251 second system time

The end

Launcher Data 

Begin job on node141 at 2012-06-02 22:38:06
IDJOB=3728539
IDBENCH=78664
IDSOLVER=2316
FILE ID=node141/3728539-1338669486
RUNJOBID= node141-1338669486-3911
PBS_JOBID= 14636518
Free space on /tmp= 70720 MiB

SOLVER NAME= pwbo 2.02
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.02 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728539-1338669486/watcher-3728539-1338669486 -o /tmp/evaluation-result-3728539-1338669486/solver-3728539-1338669486 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728539-1338669486.wbo

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

MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148
RANDOM SEED=1606742943

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28478756 kB
Buffers:          382848 kB
Cached:          3120196 kB
SwapCached:          216 kB
Active:          1214140 kB
Inactive:        2299956 kB
Active(anon):       1932 kB
Inactive(anon):    11300 kB
Active(file):    1212208 kB
Inactive(file):  2288656 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:             10856 kB
Writeback:            16 kB
AnonPages:        118376 kB
Mapped:             9956 kB
Shmem:               172 kB
Slab:             738904 kB
SReclaimable:     181012 kB
SUnreclaim:       557892 kB
KernelStack:        1416 kB
PageTables:         3580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70712 MiB
End job on node141 at 2012-06-02 22:53:09