Trace number 3500773

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 1.1SAT (TO) 1800.24 900.874

General information on the benchmark

Name/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_3_shg.opb
MD5SUM5ce23254bdc15fb1c07c51b856e9b57c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark40
Best CPU time to get the best result obtained on this benchmark1797.61
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5048
Total number of constraints65280
Number of constraints which are clauses65280
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 constraint18
Maximum length of a constraint45
Number of terms in the objective function 5048
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 5048
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 5048
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

Solver Data 

0.00/0.00	c pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500773-1307998090.opb.
0.00/0.00	c Instance file HOME/instance-3500773-1307998090.opb
0.00/0.00	c File size is 21212150 bytes.
1.39/1.47	c Highest Coefficient sum: 46
1.39/1.47	c ============================[ Problem Statistics ]=============================
1.39/1.47	c |                                                                             |
1.39/1.47	c |  Parsing time:          1.46         s                                      |
1.39/1.47	c |  Number Variables:      5048                                                |
1.39/1.47	c |  Number Clauses:        65280                                               |
1.39/1.47	c |  Number Cardinality:    0                                                   |
1.39/1.47	c |  Number PB Constraints: 0                                                   |
1.39/1.49	c init lb 0
1.39/1.49	c init ub 5049
1.71/1.64	c lb 1 (thread 0)
1.71/1.65	c ub 49 (thread 1)
1.91/1.75	o 49
1.91/1.75	c lb 2 (thread 0)
2.10/1.86	c lb 3 (thread 0)
2.31/1.96	c lb 4 (thread 0)
2.51/2.07	c lb 5 (thread 0)
2.72/2.18	c lb 6 (thread 0)
3.11/2.30	c lb 7 (thread 0)
3.31/2.41	c lb 8 (thread 0)
3.51/2.53	c lb 9 (thread 0)
3.71/2.66	c lb 10 (thread 0)
3.90/2.79	c lb 11 (thread 0)
4.30/2.93	c lb 12 (thread 0)
4.50/3.06	c lb 13 (thread 0)
4.70/3.20	c lb 14 (thread 0)
5.12/3.34	c lb 15 (thread 0)
5.30/3.48	c lb 16 (thread 0)
5.71/3.62	c lb 17 (thread 0)
5.91/3.76	c lb 18 (thread 0)
6.31/3.90	c lb 19 (thread 0)
6.51/4.05	c lb 20 (thread 0)
6.71/4.19	c lb 21 (thread 0)
7.12/4.34	c lb 22 (thread 0)
7.32/4.49	c lb 23 (thread 0)
7.70/4.64	c lb 24 (thread 0)
8.10/4.85	c lb 25 (thread 0)
12.51/7.03	c lb 26 (thread 0)
811.53/406.57	c lb 27 (thread 0)
1800.17/900.81	s SATISFIABLE
1800.17/900.81	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
1800.17/900.81	c Memory used           : 1359.27 MB
1800.17/900.81	c CPU time              : 1790.75 s

Verifier Data 

OK	49

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-3500773-1307998090/watcher-3500773-1307998090 -o /var/tmp/evaluation-result-3500773-1307998090/solver-3500773-1307998090 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500773-1307998090.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: 3.84 3.95 3.90 3/179 13010
/proc/meminfo: memFree=11903532/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=24740 CPUtime=0 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) R 13008 13010 11028 0 -1 4202496 775 0 0 0 0 0 0 0 25 0 1 0 644000329 25333760 727 33554432000 4194304 5714118 140734650772864 18446744073709551615 4267072 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13010/statm: 6185 727 159 372 0 631 0

[startup+0.0727701 s]
/proc/loadavg: 3.84 3.95 3.90 3/179 13010
/proc/meminfo: memFree=11903532/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=26068 CPUtime=0.07 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) R 13008 13010 11028 0 -1 4202496 1330 0 0 0 7 0 0 0 25 0 1 0 644000329 26693632 1282 33554432000 4194304 5714118 140734650772864 18446744073709551615 4345781 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13010/statm: 6517 1283 397 372 0 963 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26068

[startup+0.100762 s]
/proc/loadavg: 3.84 3.95 3.90 3/179 13010
/proc/meminfo: memFree=11903532/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=26744 CPUtime=0.1 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) R 13008 13010 11028 0 -1 4202496 1577 0 0 0 10 0 0 0 25 0 1 0 644000329 27385856 1529 33554432000 4194304 5714118 140734650772864 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13010/statm: 6686 1529 496 372 0 1132 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 26744

[startup+0.30073 s]
/proc/loadavg: 3.84 3.95 3.90 3/179 13010
/proc/meminfo: memFree=11903532/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=30948 CPUtime=0.3 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) R 13008 13010 11028 0 -1 4202496 3311 0 0 0 30 0 0 0 25 0 1 0 644000329 31690752 3263 33554432000 4194304 5714118 140734650772864 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13010/statm: 7737 3264 1199 372 0 2183 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 30948

[startup+0.700659 s]
/proc/loadavg: 3.84 3.95 3.90 3/179 13010
/proc/meminfo: memFree=11903532/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=39352 CPUtime=0.69 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) R 13008 13010 11028 0 -1 4202496 6765 0 0 0 69 0 0 0 25 0 1 0 644000329 40296448 6717 33554432000 4194304 5714118 140734650772864 18446744073709551615 4223050 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13010/statm: 9838 6718 2603 372 0 4284 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39352

[startup+1.50053 s]
/proc/loadavg: 3.84 3.95 3.90 4/180 13011
/proc/meminfo: memFree=11879756/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=168084 CPUtime=1.51 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 14488 0 0 0 150 1 0 0 18 0 3 0 644000329 172118016 9194 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 42021 9196 176 372 0 41646 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 168084

[startup+3.10023 s]
/proc/loadavg: 3.77 3.93 3.90 5/182 13013
/proc/meminfo: memFree=11764420/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=209440 CPUtime=4.7 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 41491 0 0 0 462 8 0 0 18 0 3 0 644000329 214466560 35399 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 52360 35399 179 372 0 51985 0
[pid=13010/tid=13012] ppid=13008 vsize=209440 CPUtime=1.61 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 8287 0 0 0 159 2 0 0 20 0 3 0 644000476 214466560 35399 33554432000 4194304 5714118 140734650772864 18446744073709551615 4336604 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=209440 CPUtime=1.61 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 19702 0 0 0 156 5 0 0 20 0 3 0 644000476 214466560 35399 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 209440

[startup+6.30068 s]
/proc/loadavg: 3.77 3.93 3.90 5/182 13013
/proc/meminfo: memFree=11754384/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=209440 CPUtime=11.11 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 43706 0 0 0 1098 13 0 0 18 0 3 0 644000329 214466560 37017 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 52360 37017 179 372 0 51985 0
[pid=13010/tid=13012] ppid=13008 vsize=209440 CPUtime=4.82 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 9636 0 0 0 477 5 0 0 25 0 3 0 644000476 214466560 37017 33554432000 4194304 5714118 140734650772864 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=209440 CPUtime=4.81 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 20568 0 0 0 474 7 0 0 25 0 3 0 644000476 214466560 37017 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.11
Current children cumulated vsize (KiB) 209440

[startup+12.7005 s]
/proc/loadavg: 3.81 3.93 3.90 5/182 13013
/proc/meminfo: memFree=11734508/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=209440 CPUtime=23.9 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 48145 0 0 0 2369 21 0 0 18 0 3 0 644000329 214466560 41455 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 52360 41455 179 372 0 51985 0
[pid=13010/tid=13012] ppid=13008 vsize=209440 CPUtime=11.22 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 13329 0 0 0 1111 11 0 0 25 0 3 0 644000476 214466560 41455 33554432000 4194304 5714118 140734650772864 18446744073709551615 4320291 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=209440 CPUtime=11.21 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 21314 0 0 0 1112 9 0 0 25 0 3 0 644000476 214466560 41455 33554432000 4194304 5714118 140734650772864 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.9
Current children cumulated vsize (KiB) 209440

[startup+25.5003 s]
/proc/loadavg: 3.84 3.93 3.90 5/182 13014
/proc/meminfo: memFree=11719352/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=209440 CPUtime=49.5 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 51600 0 0 0 4917 33 0 0 18 0 3 0 644000329 214466560 44910 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 52360 44910 179 372 0 51985 0
[pid=13010/tid=13012] ppid=13008 vsize=209440 CPUtime=24.01 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 15151 0 0 0 2382 19 0 0 25 0 3 0 644000476 214466560 44910 33554432000 4194304 5714118 140734650772864 18446744073709551615 4311846 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=209440 CPUtime=24.01 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 22947 0 0 0 2389 12 0 0 25 0 3 0 644000476 214466560 44910 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.5
Current children cumulated vsize (KiB) 209440

[startup+51.1008 s]
/proc/loadavg: 3.89 3.94 3.90 5/182 13015
/proc/meminfo: memFree=11647688/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=340512 CPUtime=100.71 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 69111 0 0 0 10006 65 0 0 18 0 3 0 644000329 348684288 62421 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 85128 62422 180 372 0 84753 0
[pid=13010/tid=13012] ppid=13008 vsize=340512 CPUtime=49.61 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 28961 0 0 0 4918 43 0 0 25 0 3 0 644000476 348684288 62422 33554432000 4194304 5714118 140734650772864 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=340512 CPUtime=49.62 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 26649 0 0 0 4942 20 0 0 25 0 3 0 644000476 348684288 62422 33554432000 4194304 5714118 140734650772864 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.71
Current children cumulated vsize (KiB) 340512

[startup+102.307 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 13016
/proc/meminfo: memFree=11468240/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=472668 CPUtime=203.12 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 112748 0 0 0 20186 126 0 0 18 0 3 0 644000329 484012032 106058 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 118167 106058 180 372 0 117792 0
[pid=13010/tid=13012] ppid=13008 vsize=472668 CPUtime=100.82 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 60547 0 0 0 9990 92 0 0 25 0 3 0 644000476 484012032 106058 33554432000 4194304 5714118 140734650772864 18446744073709551615 4311869 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=472668 CPUtime=100.82 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 38699 0 0 0 10050 32 0 0 25 0 3 0 644000476 484012032 106058 33554432000 4194304 5714118 140734650772864 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.12
Current children cumulated vsize (KiB) 472668

[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 13017
/proc/meminfo: memFree=11365004/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=603740 CPUtime=323.12 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 138162 0 0 0 32137 175 0 0 18 0 3 0 644000329 618229760 131472 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 150935 131472 180 372 0 150560 0
[pid=13010/tid=13012] ppid=13008 vsize=603740 CPUtime=160.82 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 75391 0 0 0 15954 128 0 0 25 0 3 0 644000476 618229760 131472 33554432000 4194304 5714118 140734650772864 18446744073709551615 4311846 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=603740 CPUtime=160.81 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 49269 0 0 0 16036 45 0 0 25 0 3 0 644000476 618229760 131472 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319325 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 323.12
Current children cumulated vsize (KiB) 603740

[startup+222.301 s]
/proc/loadavg: 4.04 3.99 3.92 5/182 13019
/proc/meminfo: memFree=11168284/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=800348 CPUtime=443.12 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 183533 0 0 0 44077 235 0 0 18 0 3 0 644000329 819556352 176843 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 200087 176843 180 372 0 199712 0
[pid=13010/tid=13012] ppid=13008 vsize=800348 CPUtime=220.82 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 109324 0 0 0 21908 174 0 0 25 0 3 0 644000476 819556352 176843 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319206 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=800348 CPUtime=220.81 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 60707 0 0 0 22022 59 0 0 25 0 3 0 644000476 819556352 176843 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 443.12
Current children cumulated vsize (KiB) 800348

[startup+282.301 s]
/proc/loadavg: 4.01 3.99 3.92 5/182 13021
/proc/meminfo: memFree=10957900/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=998040 CPUtime=563.12 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 231440 0 0 0 56023 289 0 0 18 0 3 0 644000329 1021992960 224750 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 249510 224750 180 372 0 249135 0
[pid=13010/tid=13012] ppid=13008 vsize=998040 CPUtime=280.82 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 149383 0 0 0 27866 216 0 0 25 0 3 0 644000476 1021992960 224750 33554432000 4194304 5714118 140734650772864 18446744073709551615 4311800 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=998040 CPUtime=280.82 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 68555 0 0 0 28011 71 0 0 25 0 3 0 644000476 1021992960 224750 33554432000 4194304 5714118 140734650772864 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 563.12
Current children cumulated vsize (KiB) 998040

[startup+342.3 s]
/proc/loadavg: 3.38 3.84 3.87 3/174 13047
/proc/meminfo: memFree=11401748/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=1063576 CPUtime=683.12 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 239492 0 0 0 67970 342 0 0 18 0 3 0 644000329 1089101824 232802 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 265894 232802 180 372 0 265519 0
[pid=13010/tid=13012] ppid=13008 vsize=1063576 CPUtime=340.82 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 150454 0 0 0 33827 255 0 0 25 0 3 0 644000476 1089101824 232802 33554432000 4194304 5714118 140734650772864 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=1063576 CPUtime=340.81 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 75536 0 0 0 33996 85 0 0 25 0 3 0 644000476 1089101824 232802 33554432000 4194304 5714118 140734650772864 18446744073709551615 4305115 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 683.12
Current children cumulated vsize (KiB) 1063576

[startup+402.301 s]
/proc/loadavg: 2.50 3.50 3.75 3/174 13049
/proc/meminfo: memFree=11363640/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=1063796 CPUtime=803.13 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 249093 0 0 0 79914 399 0 0 18 0 3 0 644000329 1089327104 242403 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 265949 242403 180 372 0 265574 0
[pid=13010/tid=13012] ppid=13008 vsize=1063796 CPUtime=400.82 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 150520 0 0 0 39793 289 0 0 25 0 3 0 644000476 1089327104 242403 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=1063796 CPUtime=400.82 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 85071 0 0 0 39974 108 0 0 25 0 3 0 644000476 1089327104 242403 33554432000 4194304 5714118 140734650772864 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 803.13
Current children cumulated vsize (KiB) 1063796

[startup+462.3 s]
/proc/loadavg: 2.26 3.24 3.64 3/174 13053
/proc/meminfo: memFree=11388016/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=1063252 CPUtime=923.13 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 257303 0 0 0 91839 474 0 0 18 0 3 0 644000329 1088770048 236374 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 265813 236374 180 372 0 265438 0
[pid=13010/tid=13012] ppid=13008 vsize=1063252 CPUtime=460.82 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 150609 0 0 0 45734 348 0 0 25 0 3 0 644000476 1088770048 236374 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=1063252 CPUtime=460.82 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 93192 0 0 0 45958 124 0 0 25 0 3 0 644000476 1088770048 236374 33554432000 4194304 5714118 140734650772864 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 923.13
Current children cumulated vsize (KiB) 1063252

[startup+522.301 s]
/proc/loadavg: 2.10 3.03 3.54 3/174 13055
/proc/meminfo: memFree=11331924/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=1128788 CPUtime=1043.13 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 271534 0 0 0 103768 545 0 0 18 0 3 0 644000329 1155878912 250605 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 282197 250605 180 372 0 281822 0
[pid=13010/tid=13012] ppid=13008 vsize=1128788 CPUtime=520.83 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 150673 0 0 0 51686 397 0 0 25 0 3 0 644000476 1155878912 250605 33554432000 4194304 5714118 140734650772864 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=1128788 CPUtime=520.82 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 107359 0 0 0 51935 147 0 0 25 0 3 0 644000476 1155878912 250605 33554432000 4194304 5714118 140734650772864 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1043.13
Current children cumulated vsize (KiB) 1128788

[startup+582.3 s]
/proc/loadavg: 2.03 2.83 3.44 3/174 13057
/proc/meminfo: memFree=11283276/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=1128788 CPUtime=1163.14 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 283518 0 0 0 115704 610 0 0 18 0 3 0 644000329 1155878912 262589 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 282197 262589 180 372 0 281822 0
[pid=13010/tid=13012] ppid=13008 vsize=1128788 CPUtime=580.82 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 150784 0 0 0 57642 440 0 0 25 0 3 0 644000476 1155878912 262589 33554432000 4194304 5714118 140734650772864 18446744073709551615 4311800 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=1128788 CPUtime=580.82 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 119232 0 0 0 57914 168 0 0 25 0 3 0 644000476 1155878912 262589 33554432000 4194304 5714118 140734650772864 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1163.14
Current children cumulated vsize (KiB) 1128788

[startup+642.301 s]
/proc/loadavg: 2.01 2.67 3.34 3/174 13058
/proc/meminfo: memFree=11236708/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=1194324 CPUtime=1283.15 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 295036 0 0 0 127642 673 0 0 18 0 3 0 644000329 1222987776 274107 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 298581 274107 180 372 0 298206 0
[pid=13010/tid=13012] ppid=13008 vsize=1194324 CPUtime=640.83 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 150812 0 0 0 63597 486 0 0 25 0 3 0 644000476 1222987776 274107 33554432000 4194304 5714118 140734650772864 18446744073709551615 4311846 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=1194324 CPUtime=640.82 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 130722 0 0 0 63898 184 0 0 25 0 3 0 644000476 1222987776 274107 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1283.15
Current children cumulated vsize (KiB) 1194324

[startup+702.301 s]
/proc/loadavg: 2.00 2.55 3.26 3/174 13060
/proc/meminfo: memFree=11202432/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=1194476 CPUtime=1403.13 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 303601 0 0 0 139584 729 0 0 18 0 3 0 644000329 1223143424 282672 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 298619 282672 180 372 0 298244 0
[pid=13010/tid=13012] ppid=13008 vsize=1194476 CPUtime=700.83 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 150834 0 0 0 69560 523 0 0 25 0 3 0 644000476 1223143424 282672 33554432000 4194304 5714118 140734650772864 18446744073709551615 4311859 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=1194476 CPUtime=700.82 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 139265 0 0 0 69878 204 0 0 25 0 3 0 644000476 1223143424 282672 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1403.13
Current children cumulated vsize (KiB) 1194476

[startup+762.307 s]
/proc/loadavg: 2.06 2.46 3.18 3/174 13061
/proc/meminfo: memFree=11151300/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=1260820 CPUtime=1523.15 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 316381 0 0 0 151523 792 0 0 18 0 3 0 644000329 1291079680 295452 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 315205 295452 180 372 0 314830 0
[pid=13010/tid=13012] ppid=13008 vsize=1260820 CPUtime=760.83 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 150979 0 0 0 75525 558 0 0 25 0 3 0 644000476 1291079680 295452 33554432000 4194304 5714118 140734650772864 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=1260820 CPUtime=760.83 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 151900 0 0 0 75851 232 0 0 25 0 3 0 644000476 1291079680 295452 33554432000 4194304 5714118 140734650772864 18446744073709551615 4305048 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1523.15
Current children cumulated vsize (KiB) 1260820

[startup+822.301 s]
/proc/loadavg: 2.02 2.38 3.10 3/174 13072
/proc/meminfo: memFree=11106096/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=1326356 CPUtime=1643.14 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 327559 0 0 0 163449 865 0 0 18 0 3 0 644000329 1358188544 306630 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 331589 306630 180 372 0 331214 0
[pid=13010/tid=13012] ppid=13008 vsize=1326356 CPUtime=820.84 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 151019 0 0 0 81484 600 0 0 25 0 3 0 644000476 1358188544 306630 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=1326356 CPUtime=820.83 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 163038 0 0 0 81819 264 0 0 25 0 3 0 644000476 1358188544 306630 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1643.14
Current children cumulated vsize (KiB) 1326356

[startup+882.3 s]
/proc/loadavg: 2.00 2.31 3.03 3/174 13074
/proc/meminfo: memFree=11060296/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=1391892 CPUtime=1763.15 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 338923 0 0 0 175387 928 0 0 18 0 3 0 644000329 1425297408 317994 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 347973 317994 180 372 0 347598 0
[pid=13010/tid=13012] ppid=13008 vsize=1391892 CPUtime=880.83 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 151019 0 0 0 87446 637 0 0 25 0 3 0 644000476 1425297408 317994 33554432000 4194304 5714118 140734650772864 18446744073709551615 4311825 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=1391892 CPUtime=880.82 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 174402 0 0 0 87794 288 0 0 25 0 3 0 644000476 1425297408 317994 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1763.15
Current children cumulated vsize (KiB) 1391892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.801 s]
/proc/loadavg: 2.00 2.29 3.02 3/174 13074
/proc/meminfo: memFree=11046524/32951124 swapFree=67055716/67111528
[pid=13010] ppid=13008 vsize=1391892 CPUtime=1800.17 cores=1,3,5,7
/proc/13010/stat : 13010 (pwbo1.1) S 13008 13010 11028 0 -1 4202496 342313 0 0 0 179074 943 0 0 18 0 3 0 644000329 1425297408 321384 33554432000 4194304 5714118 140734650772864 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13010/statm: 347973 321384 180 372 0 347598 0
[pid=13010/tid=13012] ppid=13008 vsize=1391892 CPUtime=899.34 cores=1,3,5,7
/proc/13010/task/13012/stat : 13012 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 151019 0 0 0 89288 646 0 0 25 0 3 0 644000476 1425297408 321384 33554432000 4194304 5714118 140734650772864 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13010/tid=13013] ppid=13008 vsize=1391892 CPUtime=899.34 cores=1,3,5,7
/proc/13010/task/13013/stat : 13013 (pwbo1.1) R 13008 13010 11028 0 -1 4202560 177792 0 0 0 89639 295 0 0 25 0 3 0 644000476 1425297408 321384 33554432000 4194304 5714118 140734650772864 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 1391892

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.874
CPU time (s): 1800.24
CPU user time (s): 1790.75
CPU system time (s): 9.49056
CPU usage (%): 199.833
Max. virtual memory (cumulated for all children) (KiB): 1391892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.75
system time used= 9.49056
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342318
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= 2290
involuntary context switches= 10922

runsolver used 1.20382 second user time and 3.07053 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-13 22:48:11
IDJOB=3500773
IDBENCH=89910
IDSOLVER=1954
FILE ID=node107/3500773-1307998090
RUNJOBID= node107-1307991152-11278
PBS_JOBID= 13559743
Free space on /var/tmp= 2864 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500773-1307998090/watcher-3500773-1307998090 -o /var/tmp/evaluation-result-3500773-1307998090/solver-3500773-1307998090 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500773-1307998090.opb

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

MD5SUM BENCH= 5ce23254bdc15fb1c07c51b856e9b57c
RANDOM SEED=419226036

node107.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.829
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.65
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.829
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	: 5332.75
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11903968 kB
Buffers:        117060 kB
Cached:       19792076 kB
SwapCached:      20168 kB
Active:        4972124 kB
Inactive:     15386308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11903968 kB
SwapTotal:    67111528 kB
SwapFree:     67055716 kB
Dirty:           25048 kB
Writeback:           0 kB
AnonPages:      446632 kB
Mapped:          13716 kB
Slab:           624076 kB
PageTables:       5912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   631004 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= 2868 MiB
End job on node107 at 2011-06-13 23:03:13