Trace number 3500424

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 NameAnswerobjective functionCPU timeWall clock time
pwbo 1.1SAT (TO)73 1800.22 900.469

General information on the benchmark

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

Verifier Data 

OK	73

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 /var/tmp/evaluation-result-3500424-1307995011/watcher-3500424-1307995011 -o /var/tmp/evaluation-result-3500424-1307995011/solver-3500424-1307995011 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500424-1307995011.opb 

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: 4.00 4.00 3.93 3/179 23265
/proc/meminfo: memFree=16603936/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=13764 CPUtime=0 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) R 23263 23265 21970 0 -1 4202496 780 0 0 0 0 0 0 0 25 0 1 0 911100907 14094336 732 33554432000 4194304 5714118 140733242983136 18446744073709551615 4267072 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23265/statm: 3441 732 160 372 0 631 0

[startup+0.089073 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23265
/proc/meminfo: memFree=16603936/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=15096 CPUtime=0.08 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) R 23263 23265 21970 0 -1 4202496 1402 0 0 0 8 0 0 0 25 0 1 0 911100907 15458304 1354 33554432000 4194304 5714118 140733242983136 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23265/statm: 3774 1354 453 372 0 964 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15096

[startup+0.101071 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23265
/proc/meminfo: memFree=16603936/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=15360 CPUtime=0.09 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) R 23263 23265 21970 0 -1 4202496 1495 0 0 0 9 0 0 0 25 0 1 0 911100907 15728640 1447 33554432000 4194304 5714118 140733242983136 18446744073709551615 5201600 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23265/statm: 3840 1447 494 372 0 1030 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15360

[startup+0.301036 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23265
/proc/meminfo: memFree=16603936/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=18792 CPUtime=0.29 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) R 23263 23265 21970 0 -1 4202496 3017 0 0 0 29 0 0 0 25 0 1 0 911100907 19243008 2969 33554432000 4194304 5714118 140733242983136 18446744073709551615 4990120 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23265/statm: 4698 2969 1190 372 0 1888 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18792

[startup+0.700964 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23265
/proc/meminfo: memFree=16603936/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=25428 CPUtime=0.69 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) R 23263 23265 21970 0 -1 4202496 6047 0 0 0 69 0 0 0 25 0 1 0 911100907 26038272 5999 33554432000 4194304 5714118 140733242983136 18446744073709551615 4222900 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23265/statm: 6357 5999 2583 372 0 3547 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25428

[startup+1.50083 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23268
/proc/meminfo: memFree=16443604/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=277904 CPUtime=2.28 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 43490 0 0 0 219 9 0 0 25 0 3 0 911100907 284573696 40292 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 69476 40292 181 372 0 69101 0
[pid=23265/tid=23267] ppid=23263 vsize=277904 CPUtime=0.79 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 4229 0 0 0 78 1 0 0 18 0 3 0 911100978 284573696 40292 33554432000 4194304 5714118 140733242983136 18446744073709551615 4345928 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=277904 CPUtime=0.78 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 33132 0 0 0 71 7 0 0 18 0 3 0 911100978 284573696 40292 33554432000 4194304 5714118 140733242983136 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 277904

[startup+3.10054 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23268
/proc/meminfo: memFree=16438164/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=277732 CPUtime=5.48 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 44735 0 0 0 534 14 0 0 25 0 3 0 911100907 284397568 41433 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 69433 41433 181 372 0 69058 0
[pid=23265/tid=23267] ppid=23263 vsize=277732 CPUtime=2.39 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 4954 0 0 0 235 4 0 0 21 0 3 0 911100978 284397568 41433 33554432000 4194304 5714118 140733242983136 18446744073709551615 4310944 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=277732 CPUtime=2.38 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 33652 0 0 0 229 9 0 0 22 0 3 0 911100978 284397568 41433 33554432000 4194304 5714118 140733242983136 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 277732

[startup+6.30097 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23268
/proc/meminfo: memFree=16414492/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=278900 CPUtime=11.89 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 48990 0 0 0 1167 22 0 0 25 0 3 0 911100907 285593600 45648 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 69725 45648 181 372 0 69350 0
[pid=23265/tid=23267] ppid=23263 vsize=278900 CPUtime=5.58 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 7991 0 0 0 549 9 0 0 25 0 3 0 911100978 285593600 45648 33554432000 4194304 5714118 140733242983136 18446744073709551615 4311869 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=278900 CPUtime=5.59 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 34870 0 0 0 548 11 0 0 25 0 3 0 911100978 285593600 45648 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 278900

[startup+12.7009 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23268
/proc/meminfo: memFree=16381752/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=278900 CPUtime=24.68 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 54843 0 0 0 2436 32 0 0 25 0 3 0 911100907 285593600 51501 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 69725 51501 181 372 0 69350 0
[pid=23265/tid=23267] ppid=23263 vsize=278900 CPUtime=11.98 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 12131 0 0 0 1182 16 0 0 25 0 3 0 911100978 285593600 51501 33554432000 4194304 5714118 140733242983136 18446744073709551615 4311859 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=278900 CPUtime=11.99 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 36583 0 0 0 1184 15 0 0 25 0 3 0 911100978 285593600 51501 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.68
Current children cumulated vsize (KiB) 278900

[startup+25.5006 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23269
/proc/meminfo: memFree=16297052/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=345028 CPUtime=50.28 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 73358 0 0 0 4977 51 0 0 25 0 3 0 911100907 353308672 70016 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 86257 70016 181 372 0 85882 0
[pid=23265/tid=23267] ppid=23263 vsize=345028 CPUtime=24.79 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 24224 0 0 0 2450 29 0 0 25 0 3 0 911100978 353308672 70016 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=345028 CPUtime=24.79 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 43005 0 0 0 2458 21 0 0 25 0 3 0 911100978 353308672 70016 33554432000 4194304 5714118 140733242983136 18446744073709551615 4310920 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 345028

[startup+51.1011 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23269
/proc/meminfo: memFree=16216776/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=410932 CPUtime=101.48 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 85122 0 0 0 10058 90 0 0 25 0 3 0 911100907 420794368 81449 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 102733 81449 181 372 0 102358 0
[pid=23265/tid=23267] ppid=23263 vsize=410932 CPUtime=50.39 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 24688 0 0 0 4984 55 0 0 25 0 3 0 911100978 420794368 81449 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=410932 CPUtime=50.38 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 54305 0 0 0 5004 34 0 0 25 0 3 0 911100978 420794368 81449 33554432000 4194304 5714118 140733242983136 18446744073709551615 4305115 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 410932

[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23271
/proc/meminfo: memFree=16050464/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=477404 CPUtime=203.9 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 110652 0 0 0 20233 157 0 0 25 0 3 0 911100907 488861696 106979 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 119351 106979 182 372 0 118976 0
[pid=23265/tid=23267] ppid=23263 vsize=477404 CPUtime=101.59 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 24700 0 0 0 10062 97 0 0 25 0 3 0 911100978 488861696 106979 33554432000 4194304 5714118 140733242983136 18446744073709551615 4311825 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=477404 CPUtime=101.59 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 79823 0 0 0 10101 58 0 0 25 0 3 0 911100978 488861696 106979 33554432000 4194304 5714118 140733242983136 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 477404

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23272
/proc/meminfo: memFree=15820900/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=740424 CPUtime=323.89 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 164023 0 0 0 32161 228 0 0 25 0 3 0 911100907 758194176 160350 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 185106 160350 182 372 0 184731 0
[pid=23265/tid=23267] ppid=23263 vsize=740424 CPUtime=161.59 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 42782 0 0 0 16025 134 0 0 25 0 3 0 911100978 758194176 160350 33554432000 4194304 5714118 140733242983136 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=740424 CPUtime=161.59 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 115112 0 0 0 16066 93 0 0 25 0 3 0 911100978 758194176 160350 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 323.89
Current children cumulated vsize (KiB) 740424

[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23274
/proc/meminfo: memFree=15585276/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=872084 CPUtime=443.89 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 215464 0 0 0 44089 300 0 0 25 0 3 0 911100907 893014016 211791 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 218021 211791 182 372 0 217646 0
[pid=23265/tid=23267] ppid=23263 vsize=872084 CPUtime=221.59 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 47327 0 0 0 21983 176 0 0 25 0 3 0 911100978 893014016 211791 33554432000 4194304 5714118 140733242983136 18446744073709551615 4311400 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=872084 CPUtime=221.59 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 162008 0 0 0 22036 123 0 0 25 0 3 0 911100978 893014016 211791 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 443.89
Current children cumulated vsize (KiB) 872084

[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23285
/proc/meminfo: memFree=15477712/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=1004284 CPUtime=563.89 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 241903 0 0 0 56017 372 0 0 25 0 3 0 911100907 1028386816 238230 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 251071 238230 182 372 0 250696 0
[pid=23265/tid=23267] ppid=23263 vsize=1004284 CPUtime=281.59 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 47392 0 0 0 27939 220 0 0 25 0 3 0 911100978 1028386816 238230 33554432000 4194304 5714118 140733242983136 18446744073709551615 4311869 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=1004284 CPUtime=281.59 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 188382 0 0 0 28008 151 0 0 25 0 3 0 911100978 1028386816 238230 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 563.89
Current children cumulated vsize (KiB) 1004284

[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23286
/proc/meminfo: memFree=15467620/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=1004576 CPUtime=683.9 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 244031 0 0 0 67958 432 0 0 25 0 3 0 911100907 1028685824 240358 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 251144 240358 182 372 0 250769 0
[pid=23265/tid=23267] ppid=23263 vsize=1004576 CPUtime=341.59 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 49471 0 0 0 33894 265 0 0 25 0 3 0 911100978 1028685824 240358 33554432000 4194304 5714118 140733242983136 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=1004576 CPUtime=341.59 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 188431 0 0 0 33994 165 0 0 25 0 3 0 911100978 1028685824 240358 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 683.9
Current children cumulated vsize (KiB) 1004576

[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23288
/proc/meminfo: memFree=15363564/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=1070112 CPUtime=803.9 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 253879 0 0 0 79898 492 0 0 25 0 3 0 911100907 1095794688 250206 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 267528 250206 182 372 0 267153 0
[pid=23265/tid=23267] ppid=23263 vsize=1070112 CPUtime=401.6 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 59310 0 0 0 39851 309 0 0 25 0 3 0 911100978 1095794688 250206 33554432000 4194304 5714118 140733242983136 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=1070112 CPUtime=401.59 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 188440 0 0 0 39977 182 0 0 25 0 3 0 911100978 1095794688 250206 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 803.9
Current children cumulated vsize (KiB) 1070112

[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23292
/proc/meminfo: memFree=15333016/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=1070248 CPUtime=923.9 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 255622 0 0 0 91839 551 0 0 25 0 3 0 911100907 1095933952 251948 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 267562 251948 182 372 0 267187 0
[pid=23265/tid=23267] ppid=23263 vsize=1070248 CPUtime=461.6 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 61023 0 0 0 45816 344 0 0 25 0 3 0 911100978 1095933952 251948 33554432000 4194304 5714118 140733242983136 18446744073709551615 4311789 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=1070248 CPUtime=461.6 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 188470 0 0 0 45953 207 0 0 25 0 3 0 911100978 1095933952 251948 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 923.9
Current children cumulated vsize (KiB) 1070248

[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23294
/proc/meminfo: memFree=15246520/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=1135972 CPUtime=1043.91 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 263360 0 0 0 103778 613 0 0 25 0 3 0 911100907 1163235328 259686 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 283993 259686 182 372 0 283618 0
[pid=23265/tid=23267] ppid=23263 vsize=1135972 CPUtime=521.6 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 68720 0 0 0 51766 394 0 0 25 0 3 0 911100978 1163235328 259686 33554432000 4194304 5714118 140733242983136 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=1135972 CPUtime=521.6 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 188511 0 0 0 51943 217 0 0 25 0 3 0 911100978 1163235328 259686 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1043.91
Current children cumulated vsize (KiB) 1135972

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23296
/proc/meminfo: memFree=15127204/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=1135972 CPUtime=1163.91 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 276162 0 0 0 115696 695 0 0 25 0 3 0 911100907 1163235328 272488 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 283993 272488 182 372 0 283618 0
[pid=23265/tid=23267] ppid=23263 vsize=1135972 CPUtime=581.6 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 81506 0 0 0 57704 456 0 0 25 0 3 0 911100978 1163235328 272488 33554432000 4194304 5714118 140733242983136 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=1135972 CPUtime=581.6 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 188527 0 0 0 57922 238 0 0 25 0 3 0 911100978 1163235328 272488 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1163.91
Current children cumulated vsize (KiB) 1135972

[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23297
/proc/meminfo: memFree=15079808/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=1201644 CPUtime=1283.92 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 279335 0 0 0 127647 745 0 0 25 0 3 0 911100907 1230483456 275661 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 300411 275661 182 372 0 300036 0
[pid=23265/tid=23267] ppid=23263 vsize=1201644 CPUtime=641.61 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 84661 0 0 0 63665 496 0 0 25 0 3 0 911100978 1230483456 275661 33554432000 4194304 5714118 140733242983136 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=1201644 CPUtime=641.61 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 188545 0 0 0 63913 248 0 0 25 0 3 0 911100978 1230483456 275661 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1283.92
Current children cumulated vsize (KiB) 1201644

[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23299
/proc/meminfo: memFree=15053256/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=1200788 CPUtime=1403.92 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 279365 0 0 0 139592 800 0 0 25 0 3 0 911100907 1229606912 275503 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 300197 275503 182 372 0 299822 0
[pid=23265/tid=23267] ppid=23263 vsize=1200788 CPUtime=701.6 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 84661 0 0 0 69616 544 0 0 25 0 3 0 911100978 1229606912 275503 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=1200788 CPUtime=701.61 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 188575 0 0 0 69906 255 0 0 25 0 3 0 911100978 1229606912 275503 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1403.92
Current children cumulated vsize (KiB) 1200788

[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23300
/proc/meminfo: memFree=15030764/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=1200932 CPUtime=1523.93 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 279380 0 0 0 151559 834 0 0 25 0 3 0 911100907 1229754368 275518 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 300233 275518 182 372 0 299858 0
[pid=23265/tid=23267] ppid=23263 vsize=1200932 CPUtime=761.62 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 84663 0 0 0 75592 570 0 0 25 0 3 0 911100978 1229754368 275518 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319734 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=1200932 CPUtime=761.61 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 188588 0 0 0 75898 263 0 0 25 0 3 0 911100978 1229754368 275518 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319266 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1523.93
Current children cumulated vsize (KiB) 1200932

[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23302
/proc/meminfo: memFree=14979284/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=1200932 CPUtime=1643.92 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 279440 0 0 0 163529 863 0 0 25 0 3 0 911100907 1229754368 275578 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 300233 275578 182 372 0 299858 0
[pid=23265/tid=23267] ppid=23263 vsize=1200932 CPUtime=821.61 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 84681 0 0 0 81568 593 0 0 25 0 3 0 911100978 1229754368 275578 33554432000 4194304 5714118 140733242983136 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=1200932 CPUtime=821.61 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 188630 0 0 0 81892 269 0 0 25 0 3 0 911100978 1229754368 275578 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1643.92
Current children cumulated vsize (KiB) 1200932

[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23304
/proc/meminfo: memFree=14875716/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=1332004 CPUtime=1763.93 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 304664 0 0 0 175486 907 0 0 25 0 3 0 911100907 1363972096 300802 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 333001 300802 182 372 0 332626 0
[pid=23265/tid=23267] ppid=23263 vsize=1332004 CPUtime=881.61 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 84704 0 0 0 87542 619 0 0 25 0 3 0 911100978 1363972096 300802 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319145 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=1332004 CPUtime=881.61 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 213831 0 0 0 87874 287 0 0 25 0 3 0 911100978 1363972096 300802 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1763.93
Current children cumulated vsize (KiB) 1332004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.401 s]
/proc/loadavg: 3.84 3.97 3.91 5/182 23345
/proc/meminfo: memFree=15425048/32950904 swapFree=67055440/67111528
[pid=23265] ppid=23263 vsize=1332004 CPUtime=1800.14 cores=1,3,5,7
/proc/23265/stat : 23265 (pwbo1.1) S 23263 23265 21970 0 -1 4202496 314050 0 0 0 179093 921 0 0 25 0 3 0 911100907 1363972096 310188 33554432000 4194304 5714118 140733242983136 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23265/statm: 333001 310188 182 372 0 332626 0
[pid=23265/tid=23267] ppid=23263 vsize=1332004 CPUtime=899.72 cores=1,3,5,7
/proc/23265/task/23267/stat : 23267 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 84704 0 0 0 89346 626 0 0 25 0 3 0 911100978 1363972096 310188 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23265/tid=23268] ppid=23263 vsize=1332004 CPUtime=899.71 cores=1,3,5,7
/proc/23265/task/23268/stat : 23268 (pwbo1.1) R 23263 23265 21970 0 -1 4202560 223217 0 0 0 89678 293 0 0 25 0 3 0 911100978 1363972096 310188 33554432000 4194304 5714118 140733242983136 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 1332004

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

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

Child status: 0
Real time (s): 900.469
CPU time (s): 1800.22
CPU user time (s): 1790.95
CPU system time (s): 9.26659
CPU usage (%): 199.92
Max. virtual memory (cumulated for all children) (KiB): 1332004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.95
system time used= 9.26659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314056
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= 2046
involuntary context switches= 11776

runsolver used 1.49477 second user time and 3.34249 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-13 21:56:52
IDJOB=3500424
IDBENCH=2889
IDSOLVER=1954
FILE ID=node121/3500424-1307995011
RUNJOBID= node121-1307990496-22374
PBS_JOBID= 13559735
Free space on /var/tmp= 2880 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500424-1307995011/watcher-3500424-1307995011 -o /var/tmp/evaluation-result-3500424-1307995011/solver-3500424-1307995011 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500424-1307995011.opb

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

MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0
RANDOM SEED=439649271

node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      16604364 kB
Buffers:        109492 kB
Cached:       15538680 kB
SwapCached:       9696 kB
Active:         513912 kB
Inactive:     15264844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      16604364 kB
SwapTotal:    67111528 kB
SwapFree:     67055440 kB
Dirty:           18580 kB
Writeback:           0 kB
AnonPages:      128164 kB
Mapped:          13804 kB
Slab:           503524 kB
PageTables:       4944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   329220 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2872 MiB
End job on node121 at 2011-06-13 22:11:54