PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUM	09c7b63b87fdc5a38ccb26d9b87fe2d9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	119
Optimality of the best value was proved	NO
Number of terms in the objective function	6140
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	6140
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	6140
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.07
Number of variables	6139
Total number of constraints	1437
Number of constraints which are clauses	1437
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	172
Trace number 29133

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 05:01:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20484 boxname=wulflinc11 idbench=74 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  09c7b63b87fdc5a38ccb26d9b87fe2d9  /oldhome/oroussel/tmp/wulflinc11/normalized-test4.pi.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-test4.pi.opb
IDLAUNCH: 20484
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        878308 kB
Buffers:         17244 kB
Cached:         117988 kB
SwapCached:        768 kB
Active:          34060 kB
Inactive:       103244 kB
HighTotal:      131008 kB
HighFree:        12824 kB
LowTotal:       903652 kB
LowFree:        865484 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            13540 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:22:03 (client local time) WITH STATUS 143 IN 1290.47 SECONDS
stats: 20484 0 1290.47 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-test4.pi.opb
c reading problem ... done. Time 16.569 ms.
c #vars     6140
c #constraints  1437
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 195 		Current CPU time: 19.43 ms
c CURRENT OPTIMUM=                 194 		Current CPU time: 26.81 ms
c CURRENT OPTIMUM=                 178 		Current CPU time: 35.22 ms
c CURRENT OPTIMUM=                 177 		Current CPU time: 39.08 ms
c CURRENT OPTIMUM=                 176 		Current CPU time: 47.07 ms
c CURRENT OPTIMUM=                 175 		Current CPU time: 51.31 ms
c starts	: 9
c conflicts	: 378
c decisions	: 55896
c propagations	: 93995
c inspects	: 121445
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 377
c root simplifications	: 9
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 x3714 x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 x4024 x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 x5360 -x5361 -x5362 -x5363 x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 x5498 x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 x5516 x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 x5677 -x5678 -x5679 -x5680 -x5681 x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 x5777 -x5778 -x5779 -x5780 -x5781 x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 x5973 -x5974 -x5975 -x5976 x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 
c objectif function=175
c Total CPU time (ms) : 1260.014
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.88 0.98 0.95 2/54 4159
Raw data (stat): 4159 (runsolver) R 4158 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777970207 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.90 0.98 0.95 2/63 4168
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18008 0 1 0 883 42 0 0 25 0 10 0 777970207 853565440 19301 4294967295 134512640 134569956 3221224384 3221214548 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 19301 13086 16 0 208374 0
vsize: 833560
[startup+20.0018 s]
Raw data (loadavg): 1.07 1.01 0.96 4/63 4169
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18091 3 1 0 1690 44 0 0 25 0 10 0 777970207 867807232 22883 4294967295 134512640 134569956 3221224384 3221214988 1130893592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211867 22883 13086 16 0 211851 0
vsize: 847468
[startup+30.0022 s]
Raw data (loadavg): 1.14 1.03 0.97 2/64 4173
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18144 3 4 0 2491 44 0 0 25 0 11 0 777970207 872136704 28039 4294967295 134512640 134569956 3221224384 3221214520 1131311521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212924 28039 13086 16 0 212908 0
vsize: 851696
[startup+40.0018 s]
Raw data (loadavg): 1.12 1.03 0.97 3/63 4174
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18154 3 4 0 3429 45 0 0 25 0 10 0 777970207 884690944 31002 4294967295 134512640 134569956 3221224384 3221215024 1131349504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215989 31002 13086 16 0 215973 0
vsize: 863956
[startup+50.0022 s]
Raw data (loadavg): 1.17 1.04 0.97 3/64 4176
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18154 3 4 0 4360 45 0 0 25 0 11 0 777970207 882323456 31579 4294967295 134512640 134569956 3221224384 3221214520 1131312473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215411 31579 13086 16 0 215395 0
vsize: 861644
[startup+60.0025 s]
Raw data (loadavg): 1.22 1.06 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18154 3 4 0 5285 46 0 0 25 0 11 0 777970207 878686208 31267 4294967295 134512640 134569956 3221224384 3221214624 1131352010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 31267 13086 16 0 214507 0
vsize: 858092
[startup+70.0023 s]
Raw data (loadavg): 1.19 1.06 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18154 3 4 0 6208 46 0 0 25 0 11 0 777970207 878686208 31960 4294967295 134512640 134569956 3221224384 3221213988 1077378224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 31960 13086 16 0 214507 0
vsize: 858092
[startup+80.0035 s]
Raw data (loadavg): 1.16 1.05 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18154 3 4 0 7119 46 0 0 25 0 11 0 777970207 878686208 33973 4294967295 134512640 134569956 3221224384 3221214528 1131432988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 33973 13086 16 0 214507 0
vsize: 858092
[startup+90.0039 s]
Raw data (loadavg): 1.13 1.05 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18154 3 4 0 8042 47 0 0 25 0 11 0 777970207 878686208 35153 4294967295 134512640 134569956 3221224384 3221214700 1130885186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 35153 13086 16 0 214507 0
vsize: 858092
[startup+100.004 s]
Raw data (loadavg): 1.11 1.05 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18154 3 4 0 8965 47 0 0 25 0 11 0 777970207 878686208 36707 4294967295 134512640 134569956 3221224384 3221214528 1131433010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 36707 13086 16 0 214507 0
vsize: 858092
[startup+110.005 s]
Raw data (loadavg): 1.09 1.05 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18154 3 4 0 9909 47 0 0 25 0 11 0 777970207 878686208 37509 4294967295 134512640 134569956 3221224384 3221214624 1131351974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 37509 13086 16 0 214507 0
vsize: 858092
[startup+120.005 s]
Raw data (loadavg): 1.08 1.05 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18154 3 4 0 10845 48 0 0 25 0 11 0 777970207 878686208 38216 4294967295 134512640 134569956 3221224384 3221214624 1131353163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 38216 13086 16 0 214507 0
vsize: 858092
[startup+130.006 s]
Raw data (loadavg): 1.07 1.04 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18154 3 4 0 11799 48 0 0 25 0 11 0 777970207 878686208 38590 4294967295 134512640 134569956 3221224384 3221214528 1131432984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 38590 13086 16 0 214507 0
vsize: 858092
[startup+140.006 s]
Raw data (loadavg): 1.06 1.04 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18154 3 4 0 12710 48 0 0 25 0 11 0 777970207 878686208 41991 4294967295 134512640 134569956 3221224384 3221214624 1131353163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 41991 13086 16 0 214507 0
vsize: 858092
[startup+150.007 s]
Raw data (loadavg): 1.05 1.04 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18155 3 4 0 13666 49 0 0 25 0 11 0 777970207 878686208 41992 4294967295 134512640 134569956 3221224384 3221214320 1131635975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 41992 13086 16 0 214507 0
vsize: 858092
[startup+160.006 s]
Raw data (loadavg): 1.04 1.04 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18155 3 4 0 14615 49 0 0 25 0 11 0 777970207 878686208 41992 4294967295 134512640 134569956 3221224384 3221214408 1131436645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 41992 13086 16 0 214507 0
vsize: 858092
[startup+170.006 s]
Raw data (loadavg): 1.03 1.04 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18155 3 4 0 15574 49 0 0 25 0 11 0 777970207 878686208 41999 4294967295 134512640 134569956 3221224384 3221214320 1131638349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 41999 13086 16 0 214507 0
vsize: 858092
[startup+180.021 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18155 3 4 0 16525 49 0 0 24 0 11 0 777970207 878686208 41999 4294967295 134512640 134569956 3221224384 3221214440 1131499116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 41999 13086 16 0 214507 0
vsize: 858092
[startup+190.021 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18155 3 4 0 17483 49 0 0 25 0 11 0 777970207 878686208 41999 4294967295 134512640 134569956 3221224384 3221214440 1131498808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 41999 13086 16 0 214507 0
vsize: 858092
[startup+200.021 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 18444 50 0 0 25 0 11 0 777970207 878686208 42500 4294967295 134512640 134569956 3221224384 3221214408 1131436645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 42500 13086 16 0 214507 0
vsize: 858092
[startup+210.021 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 19441 50 0 0 25 0 11 0 777970207 878686208 42500 4294967295 134512640 134569956 3221224384 3221214412 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 42500 13086 16 0 214507 0
vsize: 858092
[startup+220.021 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 20437 51 0 0 25 0 11 0 777970207 878686208 42501 4294967295 134512640 134569956 3221224384 3221214436 1131421199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 42501 13086 16 0 214507 0
vsize: 858092
[startup+230.022 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 4177
Raw data (stat): 4159 (java) S 4158 25830 25829 0 -1 0 18156 3 4 0 21394 51 0 0 25 0 11 0 777970207 878686208 42501 4294967295 134512640 134569956 3221224384 3221213112 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 42501 13086 16 0 214507 0
vsize: 858092
[startup+240.022 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 22333 51 0 0 25 0 11 0 777970207 878686208 42506 4294967295 134512640 134569956 3221224384 3221214408 1131370752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 42506 13086 16 0 214507 0
vsize: 858092
[startup+250.021 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 23268 51 0 0 25 0 11 0 777970207 878686208 42506 4294967295 134512640 134569956 3221224384 3221214520 1131499297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 42506 13086 16 0 214507 0
vsize: 858092
[startup+260.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 24214 52 0 0 25 0 11 0 777970207 878686208 42506 4294967295 134512640 134569956 3221224384 3221214416 1131370913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 42506 13086 16 0 214507 0
vsize: 858092
[startup+270.021 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 25149 52 0 0 24 0 11 0 777970207 878686208 42506 4294967295 134512640 134569956 3221224384 3221214416 1131370913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 42506 13086 16 0 214507 0
vsize: 858092
[startup+280.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 26095 53 0 0 25 0 11 0 777970207 878686208 42749 4294967295 134512640 134569956 3221224384 3221214520 1131498930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 42749 13086 16 0 214507 0
vsize: 858092
[startup+290.023 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 27079 53 0 0 25 0 11 0 777970207 878686208 43223 4294967295 134512640 134569956 3221224384 3221214516 1131371812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 43223 13086 16 0 214507 0
vsize: 858092
[startup+300.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 28077 53 0 0 25 0 11 0 777970207 878686208 43223 4294967295 134512640 134569956 3221224384 3221214496 1131205291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 43223 13086 16 0 214507 0
vsize: 858092
[startup+310.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 4177
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 29055 54 0 0 25 0 11 0 777970207 878686208 43223 4294967295 134512640 134569956 3221224384 3221214528 1131433010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 43223 13086 16 0 214507 0
vsize: 858092
[startup+320.023 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 29989 55 0 0 25 0 11 0 777970207 878686208 43223 4294967295 134512640 134569956 3221224384 3221214480 1131421183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 43223 13086 16 0 214507 0
vsize: 858092
[startup+330.024 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 30909 55 0 0 25 0 11 0 777970207 878686208 43223 4294967295 134512640 134569956 3221224384 3221214432 1131637971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 43223 13086 16 0 214507 0
vsize: 858092
[startup+340.024 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 31841 56 0 0 25 0 11 0 777970207 878686208 43223 4294967295 134512640 134569956 3221224384 3221214416 1131370865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 43223 13086 16 0 214507 0
vsize: 858092
[startup+350.023 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) S 4158 25830 25829 0 -1 0 18156 3 4 0 32763 56 0 0 25 0 11 0 777970207 878686208 43223 4294967295 134512640 134569956 3221224384 3221213120 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 43223 13086 16 0 214507 0
vsize: 858092
[startup+360.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 33695 56 0 0 25 0 11 0 777970207 878686208 43223 4294967295 134512640 134569956 3221224384 3221214432 1131636234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 43223 13086 16 0 214507 0
vsize: 858092
[startup+370.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 34638 57 0 0 25 0 11 0 777970207 878686208 43935 4294967295 134512640 134569956 3221224384 3221214552 1131398876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 43935 13086 16 0 214507 0
vsize: 858092
[startup+380.025 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 35634 57 0 0 25 0 11 0 777970207 878686208 44094 4294967295 134512640 134569956 3221224384 3221214416 1131370975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44094 13086 16 0 214507 0
vsize: 858092
[startup+390.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 36632 57 0 0 25 0 11 0 777970207 878686208 44094 4294967295 134512640 134569956 3221224384 3221214416 1131370837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44094 13086 16 0 214507 0
vsize: 858092
[startup+400.025 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 37621 58 0 0 25 0 11 0 777970207 878686208 44094 4294967295 134512640 134569956 3221224384 3221214432 1131636473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44094 13086 16 0 214507 0
vsize: 858092
[startup+410.025 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 38611 58 0 0 25 0 11 0 777970207 878686208 44094 4294967295 134512640 134569956 3221224384 3221214432 1131637967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44094 13086 16 0 214507 0
vsize: 858092
[startup+420.025 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 39599 58 0 0 25 0 11 0 777970207 878686208 44094 4294967295 134512640 134569956 3221224384 3221214520 1131499280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44094 13086 16 0 214507 0
vsize: 858092
[startup+430.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 40589 58 0 0 25 0 11 0 777970207 878686208 44094 4294967295 134512640 134569956 3221224384 3221214416 1131370752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 44094 13086 16 0 214507 0
vsize: 858092
[startup+440.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 41577 59 0 0 25 0 11 0 777970207 878686208 44094 4294967295 134512640 134569956 3221224384 3221214416 1131371166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44094 13086 16 0 214507 0
vsize: 858092
[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 42565 59 0 0 25 0 11 0 777970207 878686208 44175 4294967295 134512640 134569956 3221224384 3221214432 1131636288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44175 13086 16 0 214507 0
vsize: 858092
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 43563 60 0 0 25 0 11 0 777970207 878686208 44188 4294967295 134512640 134569956 3221224384 3221214520 1131499528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 44188 13086 16 0 214507 0
vsize: 858092
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 44561 60 0 0 25 0 11 0 777970207 878686208 44188 4294967295 134512640 134569956 3221224384 3221214416 1131370754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44188 13086 16 0 214507 0
vsize: 858092
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 45557 60 0 0 25 0 11 0 777970207 878686208 44188 4294967295 134512640 134569956 3221224384 3221214408 1131370913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44188 13086 16 0 214507 0
vsize: 858092
[startup+490.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 46553 61 0 0 25 0 11 0 777970207 878686208 44188 4294967295 134512640 134569956 3221224384 3221214520 1131498948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44188 13086 16 0 214507 0
vsize: 858092
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 47549 61 0 0 25 0 11 0 777970207 878686208 44188 4294967295 134512640 134569956 3221224384 3221214416 1131370913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44188 13086 16 0 214507 0
vsize: 858092
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 48545 62 0 0 25 0 11 0 777970207 878686208 44188 4294967295 134512640 134569956 3221224384 3221214488 1131436703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44188 13086 16 0 214507 0
vsize: 858092
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 49541 62 0 0 25 0 11 0 777970207 878686208 44188 4294967295 134512640 134569956 3221224384 3221214480 1078032289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44188 13086 16 0 214507 0
vsize: 858092
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 50537 62 0 0 25 0 11 0 777970207 878686208 44188 4294967295 134512640 134569956 3221224384 3221214408 1131370752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44188 13086 16 0 214507 0
vsize: 858092
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 51535 62 0 0 25 0 11 0 777970207 878686208 44207 4294967295 134512640 134569956 3221224384 3221214520 1131498761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44207 13086 16 0 214507 0
vsize: 858092
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 52533 63 0 0 25 0 11 0 777970207 878686208 44207 4294967295 134512640 134569956 3221224384 3221214520 1131498811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44207 13086 16 0 214507 0
vsize: 858092
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 53518 63 0 0 25 0 11 0 777970207 878686208 44207 4294967295 134512640 134569956 3221224384 3221214624 1131352010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44207 13086 16 0 214507 0
vsize: 858092
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 54466 63 0 0 25 0 11 0 777970207 878686208 44207 4294967295 134512640 134569956 3221224384 3221214520 1131311843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44207 13086 16 0 214507 0
vsize: 858092
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) S 4158 25830 25829 0 -1 0 18156 3 4 0 55411 63 0 0 25 0 11 0 777970207 878686208 44207 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44207 13086 16 0 214507 0
vsize: 858092
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 56347 63 0 0 25 0 11 0 777970207 878686208 44207 4294967295 134512640 134569956 3221224384 3221214520 1131311521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44207 13086 16 0 214507 0
vsize: 858092
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 57279 64 0 0 25 0 11 0 777970207 878686208 44207 4294967295 134512640 134569956 3221224384 3221214520 1131311927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44207 13086 16 0 214507 0
vsize: 858092
[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 58247 64 0 0 25 0 11 0 777970207 878686208 44618 4294967295 134512640 134569956 3221224384 3221214624 1131351989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44618 13086 16 0 214507 0
vsize: 858092
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 59240 64 0 0 25 0 11 0 777970207 878686208 44623 4294967295 134512640 134569956 3221224384 3221214520 1131311967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 44623 13086 16 0 214507 0
vsize: 858092
[startup+630.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 60232 65 0 0 25 0 11 0 777970207 878686208 44628 4294967295 134512640 134569956 3221224384 3221214520 1131312188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44628 13086 16 0 214507 0
vsize: 858092
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 61225 65 0 0 25 0 11 0 777970207 878686208 44632 4294967295 134512640 134569956 3221224384 3221214624 1131352007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44632 13086 16 0 214507 0
vsize: 858092
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 62218 65 0 0 25 0 11 0 777970207 878686208 44635 4294967295 134512640 134569956 3221224384 3221214520 1131311939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44635 13086 16 0 214507 0
vsize: 858092
[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 63210 66 0 0 25 0 11 0 777970207 878686208 44640 4294967295 134512640 134569956 3221224384 3221214624 1131353163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44640 13086 16 0 214507 0
vsize: 858092
[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 64203 66 0 0 25 0 11 0 777970207 878686208 44644 4294967295 134512640 134569956 3221224384 3221214624 1131353993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44644 13086 16 0 214507 0
vsize: 858092
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 65199 67 0 0 25 0 11 0 777970207 878686208 44645 4294967295 134512640 134569956 3221224384 3221214528 1131433026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 44645 13086 16 0 214507 0
vsize: 858092
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 66148 67 0 0 25 0 11 0 777970207 878686208 45178 4294967295 134512640 134569956 3221224384 3221214496 1131370754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 45178 13086 16 0 214507 0
vsize: 858092
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 67096 67 0 0 25 0 11 0 777970207 878686208 46220 4294967295 134512640 134569956 3221224384 3221214432 1131289265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 46220 13086 16 0 214507 0
vsize: 858092
[startup+710.036 s]
Raw data (loadavg): 1.08 1.02 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 68023 68 0 0 25 0 11 0 777970207 878686208 46658 4294967295 134512640 134569956 3221224384 3221214624 1131352098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 46658 13086 16 0 214507 0
vsize: 858092
[startup+720.036 s]
Raw data (loadavg): 1.07 1.02 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 68941 68 0 0 25 0 11 0 777970207 878686208 46658 4294967295 134512640 134569956 3221224384 3221214520 1131311542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 46658 13086 16 0 214507 0
vsize: 858092
[startup+730.036 s]
Raw data (loadavg): 1.06 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) S 4158 25830 25829 0 -1 0 18156 3 4 0 69855 68 0 0 25 0 11 0 777970207 878686208 46658 4294967295 134512640 134569956 3221224384 3221213160 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 46658 13086 16 0 214507 0
vsize: 858092
[startup+740.038 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 70779 68 0 0 25 0 11 0 777970207 878686208 46658 4294967295 134512640 134569956 3221224384 3221214656 1131206564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 46658 13086 16 0 214507 0
vsize: 858092
[startup+750.038 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 71732 68 0 0 25 0 11 0 777970207 878686208 47191 4294967295 134512640 134569956 3221224384 3221214656 1131206632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 47191 13086 16 0 214507 0
vsize: 858092
[startup+760.038 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 72686 69 0 0 25 0 11 0 777970207 878686208 47191 4294967295 134512640 134569956 3221224384 3221214528 1131433057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 47191 13086 16 0 214507 0
vsize: 858092
[startup+770.039 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 73623 69 0 0 25 0 11 0 777970207 878686208 47637 4294967295 134512640 134569956 3221224384 3221214520 1131311927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 47637 13086 16 0 214507 0
vsize: 858092
[startup+780.039 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 74554 69 0 0 25 0 11 0 777970207 878686208 49210 4294967295 134512640 134569956 3221224384 3221214528 1131433016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 49210 13086 16 0 214507 0
vsize: 858092
[startup+790.039 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 75517 70 0 0 25 0 11 0 777970207 878686208 49690 4294967295 134512640 134569956 3221224384 3221214496 1131370865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 49690 13086 16 0 214507 0
vsize: 858092
[startup+800.039 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 76479 70 0 0 25 0 11 0 777970207 878686208 50263 4294967295 134512640 134569956 3221224384 3221214624 1131351964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 50263 13086 16 0 214507 0
vsize: 858092
[startup+810.04 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 77392 70 0 0 25 0 11 0 777970207 878686208 53074 4294967295 134512640 134569956 3221224384 3221214528 1131433010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 53074 13086 16 0 214507 0
vsize: 858092
[startup+820.039 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 78346 71 0 0 25 0 11 0 777970207 878686208 53074 4294967295 134512640 134569956 3221224384 3221214528 1131433026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 53074 13086 16 0 214507 0
vsize: 858092
[startup+830.041 s]
Raw data (loadavg): 1.09 1.02 0.99 3/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 79315 72 0 0 25 0 11 0 777970207 878686208 53074 4294967295 134512640 134569956 3221224384 3221214528 1131433019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 53074 13086 16 0 214507 0
vsize: 858092
[startup+840.041 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 80285 72 0 0 25 0 11 0 777970207 878686208 53613 4294967295 134512640 134569956 3221224384 3221214072 1131647608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 53613 13086 16 0 214507 0
vsize: 858092
[startup+850.041 s]
Raw data (loadavg): 1.06 1.02 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 81239 72 0 0 25 0 11 0 777970207 878686208 55203 4294967295 134512640 134569956 3221224384 3221214752 1131422688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 55203 13086 16 0 214507 0
vsize: 858092
[startup+860.041 s]
Raw data (loadavg): 1.05 1.02 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 82187 72 0 0 25 0 11 0 777970207 878686208 55593 4294967295 134512640 134569956 3221224384 3221214520 1131311554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 55593 13086 16 0 214507 0
vsize: 858092
[startup+870.041 s]
Raw data (loadavg): 1.04 1.02 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 83126 73 0 0 25 0 11 0 777970207 878686208 56142 4294967295 134512640 134569956 3221224384 3221214736 1131426569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 56142 13086 16 0 214507 0
vsize: 858092
[startup+880.042 s]
Raw data (loadavg): 1.04 1.02 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 84067 73 0 0 25 0 11 0 777970207 878686208 56585 4294967295 134512640 134569956 3221224384 3221214608 1131371116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 56585 13086 16 0 214507 0
vsize: 858092
[startup+890.042 s]
Raw data (loadavg): 1.03 1.02 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 85007 73 0 0 25 0 11 0 777970207 878686208 57317 4294967295 134512640 134569956 3221224384 3221214520 1131231424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 57317 13086 16 0 214507 0
vsize: 858092
[startup+900.042 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 85936 73 0 0 25 0 11 0 777970207 878686208 57523 4294967295 134512640 134569956 3221224384 3221214528 1131432988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 57523 13086 16 0 214507 0
vsize: 858092
[startup+910.043 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 4179
Raw data (stat): 4159 (java) S 4158 25830 25829 0 -1 0 18156 3 4 0 86875 74 0 0 25 0 11 0 777970207 878686208 57928 4294967295 134512640 134569956 3221224384 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 57928 13086 16 0 214507 0
vsize: 858092
[startup+920.043 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 87803 74 0 0 25 0 11 0 777970207 878686208 58698 4294967295 134512640 134569956 3221224384 3221214520 1131311532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 58698 13086 16 0 214507 0
vsize: 858092
[startup+930.043 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 88734 74 0 0 25 0 11 0 777970207 878686208 59475 4294967295 134512640 134569956 3221224384 3221214528 1131433018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 59475 13086 16 0 214507 0
vsize: 858092
[startup+940.043 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 89714 74 0 0 25 0 11 0 777970207 878686208 59959 4294967295 134512640 134569956 3221224384 3221214520 1131312410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 59959 13086 16 0 214507 0
vsize: 858092
[startup+950.043 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 90678 74 0 0 25 0 11 0 777970207 878686208 59959 4294967295 134512640 134569956 3221224384 3221214520 1131312021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 59959 13086 16 0 214507 0
vsize: 858092
[startup+960.043 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 91617 74 0 0 25 0 11 0 777970207 878686208 59959 4294967295 134512640 134569956 3221224384 3221214520 1131311967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 59959 13086 16 0 214507 0
vsize: 858092
[startup+970.043 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 92544 75 0 0 25 0 11 0 777970207 878686208 59959 4294967295 134512640 134569956 3221224384 3221214624 1131352242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 59959 13086 16 0 214507 0
vsize: 858092
[startup+980.045 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 93472 75 0 0 25 0 11 0 777970207 878686208 59959 4294967295 134512640 134569956 3221224384 3221214520 1131312130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 59959 13086 16 0 214507 0
vsize: 858092
[startup+990.045 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 94388 75 0 0 25 0 11 0 777970207 878686208 59959 4294967295 134512640 134569956 3221224384 3221214520 1131312208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 59959 13086 16 0 214507 0
vsize: 858092
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 95347 76 0 0 25 0 11 0 777970207 878686208 60751 4294967295 134512640 134569956 3221224384 3221214520 1131312556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 60751 13086 16 0 214507 0
vsize: 858092
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 96340 76 0 0 25 0 11 0 777970207 878686208 60753 4294967295 134512640 134569956 3221224384 3221214624 1131353990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 60753 13086 16 0 214507 0
vsize: 858092
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 97332 77 0 0 25 0 11 0 777970207 878686208 60754 4294967295 134512640 134569956 3221224384 3221214520 1131311611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 60754 13086 16 0 214507 0
vsize: 858092
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 98324 77 0 0 25 0 11 0 777970207 878686208 60757 4294967295 134512640 134569956 3221224384 3221214624 1131354061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 60757 13086 16 0 214507 0
vsize: 858092
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 99317 77 0 0 25 0 11 0 777970207 878686208 60759 4294967295 134512640 134569956 3221224384 3221214516 1131230816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 60759 13086 16 0 214507 0
vsize: 858092
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 100308 78 0 0 25 0 11 0 777970207 878686208 60760 4294967295 134512640 134569956 3221224384 3221214624 1131351776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 60760 13086 16 0 214507 0
vsize: 858092
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 101299 78 0 0 25 0 11 0 777970207 878686208 60761 4294967295 134512640 134569956 3221224384 3221214520 1131311741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 60761 13086 16 0 214507 0
vsize: 858092
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 102292 79 0 0 25 0 11 0 777970207 878686208 60763 4294967295 134512640 134569956 3221224384 3221214432 1131230842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 60763 13086 16 0 214507 0
vsize: 858092
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 103284 79 0 0 25 0 11 0 777970207 878686208 60764 4294967295 134512640 134569956 3221224384 3221214624 1131352925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 60764 13086 16 0 214507 0
vsize: 858092
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 104276 80 0 0 25 0 11 0 777970207 878686208 60766 4294967295 134512640 134569956 3221224384 3221214520 1131311967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 60766 13086 16 0 214507 0
vsize: 858092
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 105268 80 0 0 25 0 11 0 777970207 878686208 60767 4294967295 134512640 134569956 3221224384 3221214624 1131353050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 60767 13086 16 0 214507 0
vsize: 858092
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 106257 81 0 0 25 0 11 0 777970207 878686208 60767 4294967295 134512640 134569956 3221224384 3221214308 1130885189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 60767 13086 16 0 214507 0
vsize: 858092
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 107243 81 0 0 25 0 11 0 777970207 878686208 60767 4294967295 134512640 134569956 3221224384 3221214528 1131433010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 60767 13086 16 0 214507 0
vsize: 858092
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 108187 81 0 0 25 0 11 0 777970207 878686208 61670 4294967295 134512640 134569956 3221224384 3221214528 1131432988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 61670 13086 16 0 214507 0
vsize: 858092
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 109157 81 0 0 25 0 11 0 777970207 878686208 62409 4294967295 134512640 134569956 3221224384 3221214528 1131433016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 62409 13086 16 0 214507 0
vsize: 858092
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 110126 81 0 0 25 0 11 0 777970207 878686208 63164 4294967295 134512640 134569956 3221224384 3221214624 1131351839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 63164 13086 16 0 214507 0
vsize: 858092
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 111070 82 0 0 25 0 11 0 777970207 878686208 64576 4294967295 134512640 134569956 3221224384 3221214624 1131352010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 64576 13086 16 0 214507 0
vsize: 858092
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 112025 82 0 0 25 0 11 0 777970207 878686208 64576 4294967295 134512640 134569956 3221224384 3221214624 1131352114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 64576 13086 16 0 214507 0
vsize: 858092
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 112975 83 0 0 25 0 11 0 777970207 878686208 64576 4294967295 134512640 134569956 3221224384 3221214520 1131311729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 64576 13086 16 0 214507 0
vsize: 858092
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 113924 83 0 0 25 0 11 0 777970207 878686208 64576 4294967295 134512640 134569956 3221224384 3221214528 1131433010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 64576 13086 16 0 214507 0
vsize: 858092
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 114909 83 0 0 25 0 11 0 777970207 878686208 64576 4294967295 134512640 134569956 3221224384 3221214328 1131240535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 64576 13086 16 0 214507 0
vsize: 858092
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 115837 83 0 0 25 0 11 0 777970207 878686208 65608 4294967295 134512640 134569956 3221224384 3221214624 1131352104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 65608 13086 16 0 214507 0
vsize: 858092
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 116780 84 0 0 25 0 11 0 777970207 878686208 65608 4294967295 134512640 134569956 3221224384 3221214528 1131433010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 65608 13086 16 0 214507 0
vsize: 858092
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 117729 84 0 0 25 0 11 0 777970207 878686208 66913 4294967295 134512640 134569956 3221224384 3221214528 1131432988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 66913 13086 16 0 214507 0
vsize: 858092
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 118709 85 0 0 25 0 11 0 777970207 878686208 66913 4294967295 134512640 134569956 3221224384 3221214528 1131432988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214523 66913 13086 16 0 214507 0
vsize: 858092
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 119641 85 0 0 25 0 11 0 777970207 878686208 68873 4294967295 134512640 134569956 3221224384 3221214608 1131370987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 68873 13086 16 0 214507 0
vsize: 858092
[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4179
Raw data (stat): 4159 (java) R 4158 25830 25829 0 -1 0 18156 3 4 0 120620 85 0 0 25 0 11 0 777970207 878686208 68873 4294967295 134512640 134569956 3221224384 3221214336 1131312124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214523 68873 13086 16 0 214507 0
vsize: 858092
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1261.12 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 4181
Raw data (stat): 4159 (java) Z 4158 25830 25829 0 -1 1036 18156 69636 4 0 120698 85 8090 173 25 0 1 0 777970207 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1261.12
CPU time (s): 1290.47
CPU user time (s): 1287.88
CPU system time (s): 2.58561
CPU usage (%): 102.327
Max. virtual memory (Kb): 863956
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	175
#### END VERIFIER DATA ####