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-exam.pi.opb
MD5SUM	3e917561f3935db250fdeb1759fbe81d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63
Optimality of the best value was proved	NO
Number of terms in the objective function	4677
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	4677
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	4677
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	1.06784
Number of variables	4676
Total number of constraints	509
Number of constraints which are clauses	509
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	3
Maximum length of a constraint	166
Trace number 29126

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-25 04:54:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20478 boxname=wulflinc20 idbench=68 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  3e917561f3935db250fdeb1759fbe81d  /oldhome/oroussel/tmp/wulflinc20/normalized-exam.pi.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc20/normalized-exam.pi.opb
IDLAUNCH: 20478
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 3
cpu MHz		: 451.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        373320 kB
Buffers:         33992 kB
Cached:         597556 kB
SwapCached:        716 kB
Active:          52444 kB
Inactive:       585940 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        373068 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5064 kB
Slab:            17224 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:15:41 (client local time) WITH STATUS 143 IN 1256.01 SECONDS
stats: 20478 0 1256.01 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/wulflinc20/normalized-exam.pi.opb
c reading problem ... done. Time 9.388 ms.
c #vars     4677
c #constraints  509
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 156 		Current CPU time: 10.63 ms
c CURRENT OPTIMUM=                 155 		Current CPU time: 15.20 ms
c CURRENT OPTIMUM=                 120 		Current CPU time: 19.24 ms
c CURRENT OPTIMUM=                 119 		Current CPU time: 21.22 ms
c CURRENT OPTIMUM=                 114 		Current CPU time: 23.07 ms
c CURRENT OPTIMUM=                 113 		Current CPU time: 25.35 ms
c CURRENT OPTIMUM=                 112 		Current CPU time: 30.11 ms
c CURRENT OPTIMUM=                 111 		Current CPU time: 39.23 ms
c CURRENT OPTIMUM=                 110 		Current CPU time: 83.44 ms
c starts	: 11
c conflicts	: 349
c decisions	: 51662
c propagations	: 73520
c inspects	: 66816
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 348
c root simplifications	: 11
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 
c objectif function=110
c Total CPU time (ms) : 1245.513
#### 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.92 0.95 0.97 2/54 771
Raw data (stat): 771 (runsolver) R 770 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836158039 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99991 s]
Raw data (loadavg): 0.93 0.96 0.97 3/63 780
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 17915 0 95 0 493 46 0 0 25 0 10 0 836158039 855076864 19290 4294967295 134512640 134569956 3221224384 3221214464 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208759 19290 13086 16 0 208743 0
vsize: 835036
[startup+20.0005 s]
Raw data (loadavg): 1.02 0.97 0.98 2/64 782
Raw data (stat): 771 (java) S 770 25399 25398 0 -1 0 18011 3 100 0 1254 48 0 0 25 0 11 0 836158039 857624576 21316 4294967295 134512640 134569956 3221224384 3221213336 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209381 21316 13086 16 0 209365 0
vsize: 837524
[startup+30.0037 s]
Raw data (loadavg): 1.02 0.97 0.98 2/64 786
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 2171 48 0 0 25 0 11 0 836158039 857624576 22458 4294967295 134512640 134569956 3221224384 3221214608 1131441414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 22458 13086 16 0 209365 0
vsize: 837524
[startup+40.003 s]
Raw data (loadavg): 1.02 0.97 0.98 2/64 788
Raw data (stat): 771 (java) S 770 25399 25398 0 -1 0 18011 3 100 0 3093 48 0 0 25 0 11 0 836158039 857624576 23116 4294967295 134512640 134569956 3221224384 3221213144 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209381 23116 13086 16 0 209365 0
vsize: 837524
[startup+50.0036 s]
Raw data (loadavg): 1.09 0.99 0.98 2/64 789
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 4006 49 0 0 24 0 11 0 836158039 857624576 23882 4294967295 134512640 134569956 3221224384 3221214608 1131251854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 23882 13086 16 0 209365 0
vsize: 837524
[startup+60.0038 s]
Raw data (loadavg): 1.07 0.99 0.98 2/64 789
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 4915 49 0 0 25 0 11 0 836158039 857624576 25421 4294967295 134512640 134569956 3221224384 3221214520 1131313764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 25421 13086 16 0 209365 0
vsize: 837524
[startup+70.0041 s]
Raw data (loadavg): 1.06 0.99 0.98 2/64 789
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 5837 49 0 0 25 0 11 0 836158039 857624576 28117 4294967295 134512640 134569956 3221224384 3221214520 1131451762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209381 28117 13086 16 0 209365 0
vsize: 837524
[startup+80.0053 s]
Raw data (loadavg): 1.05 0.99 0.98 2/64 789
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 6748 50 0 0 25 0 11 0 836158039 857624576 29692 4294967295 134512640 134569956 3221224384 3221214720 1131246467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 29692 13086 16 0 209365 0
vsize: 837524
[startup+90.005 s]
Raw data (loadavg): 1.04 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 7680 50 0 0 25 0 11 0 836158039 857624576 31061 4294967295 134512640 134569956 3221224384 3221214736 1131370998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209381 31061 13086 16 0 209365 0
vsize: 837524
[startup+100.005 s]
Raw data (loadavg): 1.04 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 8633 50 0 0 25 0 11 0 836158039 857624576 32847 4294967295 134512640 134569956 3221224384 3221214632 1131384901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 32847 13086 16 0 209365 0
vsize: 837524
[startup+110.006 s]
Raw data (loadavg): 1.03 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 9606 51 0 0 25 0 11 0 836158039 857624576 32847 4294967295 134512640 134569956 3221224384 3221214632 1131384935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 32847 13086 16 0 209365 0
vsize: 837524
[startup+120.008 s]
Raw data (loadavg): 1.02 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 10576 51 0 0 25 0 11 0 836158039 857624576 32847 4294967295 134512640 134569956 3221224384 3221214632 1131385644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 32847 13086 16 0 209365 0
vsize: 837524
[startup+130.008 s]
Raw data (loadavg): 1.02 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 11551 52 0 0 25 0 11 0 836158039 857624576 32938 4294967295 134512640 134569956 3221224384 3221214632 1131385196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 32938 13086 16 0 209365 0
vsize: 837524
[startup+140.009 s]
Raw data (loadavg): 1.02 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 12498 52 0 0 25 0 11 0 836158039 857624576 32941 4294967295 134512640 134569956 3221224384 3221214520 1131451762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 32941 13086 16 0 209365 0
vsize: 837524
[startup+150.009 s]
Raw data (loadavg): 1.01 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 13422 53 0 0 25 0 11 0 836158039 857624576 34055 4294967295 134512640 134569956 3221224384 3221214520 1131451764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 34055 13086 16 0 209365 0
vsize: 837524
[startup+160.009 s]
Raw data (loadavg): 1.01 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 14368 53 0 0 25 0 11 0 836158039 857624576 35063 4294967295 134512640 134569956 3221224384 3221214680 1131435395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 35063 13086 16 0 209365 0
vsize: 837524
[startup+170.01 s]
Raw data (loadavg): 1.01 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 15298 54 0 0 25 0 11 0 836158039 857624576 35513 4294967295 134512640 134569956 3221224384 3221214520 1131451754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 35513 13086 16 0 209365 0
vsize: 837524
[startup+180.01 s]
Raw data (loadavg): 1.01 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 16226 54 0 0 24 0 11 0 836158039 857624576 36423 4294967295 134512640 134569956 3221224384 3221214624 1131235656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 36423 13086 16 0 209365 0
vsize: 837524
[startup+190.011 s]
Raw data (loadavg): 1.01 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 17175 54 0 0 25 0 11 0 836158039 857624576 37255 4294967295 134512640 134569956 3221224384 3221214520 1131451849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 37255 13086 16 0 209365 0
vsize: 837524
[startup+200.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 18123 55 0 0 25 0 11 0 836158039 857624576 37780 4294967295 134512640 134569956 3221224384 3221214632 1131385165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 37780 13086 16 0 209365 0
vsize: 837524
[startup+210.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 19037 55 0 0 24 0 11 0 836158039 857624576 40680 4294967295 134512640 134569956 3221224384 3221214712 1131332132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 40680 13086 16 0 209365 0
vsize: 837524
[startup+220.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 20010 55 0 0 25 0 11 0 836158039 857624576 40680 4294967295 134512640 134569956 3221224384 3221214520 1131451762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 40680 13086 16 0 209365 0
vsize: 837524
[startup+230.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 20967 56 0 0 25 0 11 0 836158039 857624576 41240 4294967295 134512640 134569956 3221224384 3221214608 1131251764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 41240 13086 16 0 209365 0
vsize: 837524
[startup+240.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 21897 56 0 0 25 0 11 0 836158039 857624576 41240 4294967295 134512640 134569956 3221224384 3221214736 1131371108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 41240 13086 16 0 209365 0
vsize: 837524
[startup+250.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 22813 56 0 0 25 0 11 0 836158039 857624576 41240 4294967295 134512640 134569956 3221224384 3221214720 1131246467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 41240 13086 16 0 209365 0
vsize: 837524
[startup+260.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 23717 56 0 0 25 0 11 0 836158039 857624576 41240 4294967295 134512640 134569956 3221224384 3221214608 1131251764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 41240 13086 16 0 209365 0
vsize: 837524
[startup+270.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 24622 56 0 0 25 0 11 0 836158039 857624576 42120 4294967295 134512640 134569956 3221224384 3221214632 1131385192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 42120 13086 16 0 209365 0
vsize: 837524
[startup+280.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 25616 57 0 0 25 0 11 0 836158039 857624576 42125 4294967295 134512640 134569956 3221224384 3221214632 1131385633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 42125 13086 16 0 209365 0
vsize: 837524
[startup+290.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 26611 57 0 0 25 0 11 0 836158039 857624576 42130 4294967295 134512640 134569956 3221224384 3221214632 1131384755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 42130 13086 16 0 209365 0
vsize: 837524
[startup+300.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 27605 57 0 0 25 0 11 0 836158039 857624576 42133 4294967295 134512640 134569956 3221224384 3221214608 1131251764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 42133 13086 16 0 209365 0
vsize: 837524
[startup+310.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 790
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 28600 57 0 0 25 0 11 0 836158039 857624576 42135 4294967295 134512640 134569956 3221224384 3221214632 1131384916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 42135 13086 16 0 209365 0
vsize: 837524
[startup+320.038 s]
Raw data (loadavg): 1.16 1.02 1.00 2/66 832
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 29592 62 0 0 25 0 11 0 836158039 857624576 42138 4294967295 134512640 134569956 3221224384 3221214632 1131384741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209381 42138 13086 16 0 209365 0
vsize: 837524
[startup+330.042 s]
Raw data (loadavg): 1.13 1.02 1.00 2/64 845
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 30586 62 0 0 25 0 11 0 836158039 857624576 42141 4294967295 134512640 134569956 3221224384 3221214520 1131451762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 42141 13086 16 0 209365 0
vsize: 837524
[startup+340.041 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 845
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18011 3 100 0 31530 62 0 0 25 0 11 0 836158039 857624576 42142 4294967295 134512640 134569956 3221224384 3221214736 1131371001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209381 42142 13086 16 0 209365 0
vsize: 837524
[startup+350.042 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 845
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 32445 62 0 0 25 0 11 0 836158039 857624576 43743 4294967295 134512640 134569956 3221224384 3221214736 1131370839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 43743 13086 16 0 209365 0
vsize: 837524
[startup+360.042 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 845
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 33391 62 0 0 25 0 11 0 836158039 857624576 43743 4294967295 134512640 134569956 3221224384 3221214520 1131451778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 43743 13086 16 0 209365 0
vsize: 837524
[startup+370.043 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 845
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 34329 62 0 0 25 0 11 0 836158039 857624576 44169 4294967295 134512640 134569956 3221224384 3221214680 1131435363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 44169 13086 16 0 209365 0
vsize: 837524
[startup+380.043 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 845
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 35271 63 0 0 25 0 11 0 836158039 857624576 44558 4294967295 134512640 134569956 3221224384 3221214632 1131384755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 44558 13086 16 0 209365 0
vsize: 837524
[startup+390.043 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 845
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 36186 63 0 0 25 0 11 0 836158039 857624576 45316 4294967295 134512640 134569956 3221224384 3221214632 1131385221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 45316 13086 16 0 209365 0
vsize: 837524
[startup+400.043 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 37119 63 0 0 25 0 11 0 836158039 857624576 46064 4294967295 134512640 134569956 3221224384 3221214536 1131413277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 46064 13086 16 0 209365 0
vsize: 837524
[startup+410.043 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 38067 64 0 0 25 0 11 0 836158039 857624576 46214 4294967295 134512640 134569956 3221224384 3221214520 1131451748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 46214 13086 16 0 209365 0
vsize: 837524
[startup+420.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 847
Raw data (stat): 771 (java) S 770 25399 25398 0 -1 0 18012 3 100 0 38993 64 0 0 25 0 11 0 836158039 857624576 47115 4294967295 134512640 134569956 3221224384 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 47115 13086 16 0 209365 0
vsize: 837524
[startup+430.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 39914 64 0 0 25 0 11 0 836158039 857624576 47115 4294967295 134512640 134569956 3221224384 3221214632 1131385143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 47115 13086 16 0 209365 0
vsize: 837524
[startup+440.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 40838 64 0 0 25 0 11 0 836158039 857624576 48551 4294967295 134512640 134569956 3221224384 3221214632 1131385743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 48551 13086 16 0 209365 0
vsize: 837524
[startup+450.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 41790 64 0 0 25 0 11 0 836158039 857624576 48552 4294967295 134512640 134569956 3221224384 3221214632 1131384763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209381 48552 13086 16 0 209365 0
vsize: 837524
[startup+460.044 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 42720 64 0 0 25 0 11 0 836158039 857624576 48552 4294967295 134512640 134569956 3221224384 3221214520 1131451770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209381 48552 13086 16 0 209365 0
vsize: 837524
[startup+470.046 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 43663 64 0 0 25 0 11 0 836158039 857624576 50824 4294967295 134512640 134569956 3221224384 3221214392 1131251779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209381 50824 13086 16 0 209365 0
vsize: 837524
[startup+480.046 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 44625 64 0 0 25 0 11 0 836158039 857624576 50824 4294967295 134512640 134569956 3221224384 3221214732 1131246523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209381 50824 13086 16 0 209365 0
vsize: 837524
[startup+490.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 847
Raw data (stat): 771 (java) S 770 25399 25398 0 -1 0 18012 3 100 0 45557 65 0 0 25 0 11 0 836158039 857624576 51009 4294967295 134512640 134569956 3221224384 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209381 51009 13086 16 0 209365 0
vsize: 837524
[startup+500.05 s]
Raw data (loadavg): 1.00 1.01 1.00 3/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 46496 65 0 0 25 0 11 0 836158039 857624576 51701 4294967295 134512640 134569956 3221224384 3221214392 1130863170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 51701 13086 16 0 209365 0
vsize: 837524
[startup+510.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18012 3 100 0 47418 65 0 0 25 0 11 0 836158039 857624576 52161 4294967295 134512640 134569956 3221224384 3221214304 1131251769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 52161 13086 16 0 209365 0
vsize: 837524
[startup+520.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18013 3 100 0 48349 65 0 0 25 0 11 0 836158039 857624576 52104 4294967295 134512640 134569956 3221224384 3221214416 1131536771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 52104 13086 16 0 209365 0
vsize: 837524
[startup+530.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18013 3 100 0 49280 66 0 0 24 0 11 0 836158039 858673152 52340 4294967295 134512640 134569956 3221224384 3221214440 1131506399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209637 52340 13086 16 0 209621 0
vsize: 838548
[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 50222 66 0 0 25 0 11 0 836158039 858673152 52341 4294967295 134512640 134569956 3221224384 3221214336 1131413327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209637 52341 13086 16 0 209621 0
vsize: 838548
[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 51164 66 0 0 25 0 11 0 836158039 858673152 52326 4294967295 134512640 134569956 3221224384 3221214288 1131412435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209637 52326 13086 16 0 209621 0
vsize: 838548
[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 52122 66 0 0 25 0 11 0 836158039 858673152 53057 4294967295 134512640 134569956 3221224384 3221214440 1131506568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209637 53057 13086 16 0 209621 0
vsize: 838548
[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 53112 66 0 0 25 0 11 0 836158039 858673152 53057 4294967295 134512640 134569956 3221224384 3221214440 1131506012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209637 53057 13086 16 0 209621 0
vsize: 838548
[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 54102 66 0 0 25 0 11 0 836158039 859136000 53271 4294967295 134512640 134569956 3221224384 3221214336 1131412435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209750 53271 13086 16 0 209734 0
vsize: 839000
[startup+590.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 55094 66 0 0 25 0 11 0 836158039 859721728 53307 4294967295 134512640 134569956 3221224384 3221214440 1131506471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 53307 13086 16 0 209877 0
vsize: 839572
[startup+600.054 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 56063 66 0 0 25 0 11 0 836158039 859873280 53345 4294967295 134512640 134569956 3221224384 3221214504 1131536802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53345 13086 16 0 209914 0
vsize: 839720
[startup+610.054 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 57032 67 0 0 25 0 11 0 836158039 859873280 53404 4294967295 134512640 134569956 3221224384 3221214496 1131506705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53404 13086 16 0 209914 0
vsize: 839720
[startup+620.055 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 58001 67 0 0 25 0 11 0 836158039 859873280 53404 4294967295 134512640 134569956 3221224384 3221214392 1131412288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53404 13086 16 0 209914 0
vsize: 839720
[startup+630.056 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 847
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 58975 67 0 0 25 0 11 0 836158039 859873280 53404 4294967295 134512640 134569956 3221224384 3221214392 1131413343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53404 13086 16 0 209914 0
vsize: 839720
[startup+640.056 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 59944 68 0 0 25 0 11 0 836158039 859873280 53404 4294967295 134512640 134569956 3221224384 3221214632 1131385233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53404 13086 16 0 209914 0
vsize: 839720
[startup+650.057 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 60916 68 0 0 25 0 11 0 836158039 859873280 53481 4294967295 134512640 134569956 3221224384 3221213928 1080019524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53481 13086 16 0 209914 0
vsize: 839720
[startup+660.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 61875 68 0 0 24 0 11 0 836158039 859873280 53481 4294967295 134512640 134569956 3221224384 3221214464 1131412382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53481 13086 16 0 209914 0
vsize: 839720
[startup+670.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 849
Raw data (stat): 771 (java) S 770 25399 25398 0 -1 0 18014 3 100 0 62845 69 0 0 25 0 11 0 836158039 859873280 53481 4294967295 134512640 134569956 3221224384 3221213168 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53481 13086 16 0 209914 0
vsize: 839720
[startup+680.058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 63812 69 0 0 25 0 11 0 836158039 859873280 53481 4294967295 134512640 134569956 3221224384 3221214464 1131412267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53481 13086 16 0 209914 0
vsize: 839720
[startup+690.057 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 64778 69 0 0 25 0 11 0 836158039 859873280 53481 4294967295 134512640 134569956 3221224384 3221214520 1131451821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53481 13086 16 0 209914 0
vsize: 839720
[startup+700.058 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 65746 70 0 0 25 0 11 0 836158039 859873280 53630 4294967295 134512640 134569956 3221224384 3221214568 1131506012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53630 13086 16 0 209914 0
vsize: 839720
[startup+710.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 66705 70 0 0 25 0 11 0 836158039 859873280 53631 4294967295 134512640 134569956 3221224384 3221214576 1131536802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53631 13086 16 0 209914 0
vsize: 839720
[startup+720.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 67665 70 0 0 25 0 11 0 836158039 859873280 53631 4294967295 134512640 134569956 3221224384 3221214464 1131412288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53631 13086 16 0 209914 0
vsize: 839720
[startup+730.06 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 68625 70 0 0 25 0 11 0 836158039 859873280 53631 4294967295 134512640 134569956 3221224384 3221214568 1131506965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53631 13086 16 0 209914 0
vsize: 839720
[startup+740.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 69585 70 0 0 25 0 11 0 836158039 859873280 53631 4294967295 134512640 134569956 3221224384 3221214464 1131412652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53631 13086 16 0 209914 0
vsize: 839720
[startup+750.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 70550 71 0 0 25 0 11 0 836158039 859873280 53925 4294967295 134512640 134569956 3221224384 3221214568 1131460471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53925 13086 16 0 209914 0
vsize: 839720
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 71538 71 0 0 25 0 11 0 836158039 859873280 53980 4294967295 134512640 134569956 3221224384 3221214464 1131412477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53980 13086 16 0 209914 0
vsize: 839720
[startup+770.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 72529 71 0 0 25 0 11 0 836158039 859873280 53980 4294967295 134512640 134569956 3221224384 3221214464 1131412365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53980 13086 16 0 209914 0
vsize: 839720
[startup+780.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 73522 72 0 0 25 0 11 0 836158039 859873280 53980 4294967295 134512640 134569956 3221224384 3221214576 1131536716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53980 13086 16 0 209914 0
vsize: 839720
[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 74513 72 0 0 25 0 11 0 836158039 859873280 53980 4294967295 134512640 134569956 3221224384 3221214464 1131412355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53980 13086 16 0 209914 0
vsize: 839720
[startup+800.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 75504 73 0 0 25 0 11 0 836158039 859873280 53980 4294967295 134512640 134569956 3221224384 3221214464 1131412288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209930 53980 13086 16 0 209914 0
vsize: 839720
[startup+810.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 76495 73 0 0 25 0 11 0 836158039 859873280 53980 4294967295 134512640 134569956 3221224384 3221214568 1131506373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53980 13086 16 0 209914 0
vsize: 839720
[startup+820.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 77486 73 0 0 25 0 11 0 836158039 859873280 53980 4294967295 134512640 134569956 3221224384 3221214568 1131506134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53980 13086 16 0 209914 0
vsize: 839720
[startup+830.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 78479 73 0 0 25 0 11 0 836158039 859873280 53980 4294967295 134512640 134569956 3221224384 3221214464 1131412288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 53980 13086 16 0 209914 0
vsize: 839720
[startup+840.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 79469 74 0 0 25 0 11 0 836158039 859873280 54038 4294967295 134512640 134569956 3221224384 3221214464 1131412698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54038 13086 16 0 209914 0
vsize: 839720
[startup+850.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 80465 74 0 0 25 0 11 0 836158039 859873280 54038 4294967295 134512640 134569956 3221224384 3221214540 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54038 13086 16 0 209914 0
vsize: 839720
[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 81461 75 0 0 25 0 11 0 836158039 859873280 54038 4294967295 134512640 134569956 3221224384 3221214540 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54038 13086 16 0 209914 0
vsize: 839720
[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 82457 75 0 0 25 0 11 0 836158039 859873280 54038 4294967295 134512640 134569956 3221224384 3221214576 1131536716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54038 13086 16 0 209914 0
vsize: 839720
[startup+880.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 83429 76 0 0 25 0 11 0 836158039 859873280 54038 4294967295 134512640 134569956 3221224384 3221214568 1131507009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54038 13086 16 0 209914 0
vsize: 839720
[startup+890.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 84398 76 0 0 25 0 11 0 836158039 859873280 54038 4294967295 134512640 134569956 3221224384 3221214568 1131506373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54038 13086 16 0 209914 0
vsize: 839720
[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 85367 76 0 0 25 0 11 0 836158039 859873280 54038 4294967295 134512640 134569956 3221224384 3221214568 1131506134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54038 13086 16 0 209914 0
vsize: 839720
[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 86337 76 0 0 25 0 11 0 836158039 859873280 54038 4294967295 134512640 134569956 3221224384 3221214568 1131460786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54038 13086 16 0 209914 0
vsize: 839720
[startup+920.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 87310 77 0 0 25 0 11 0 836158039 859873280 54038 4294967295 134512640 134569956 3221224384 3221214568 1131506295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54038 13086 16 0 209914 0
vsize: 839720
[startup+930.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 88287 77 0 0 25 0 11 0 836158039 859873280 54223 4294967295 134512640 134569956 3221224384 3221214568 1131506012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54223 13086 16 0 209914 0
vsize: 839720
[startup+940.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 89278 77 0 0 25 0 11 0 836158039 859873280 54223 4294967295 134512640 134569956 3221224384 3221214568 1131506373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54223 13086 16 0 209914 0
vsize: 839720
[startup+950.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 90270 77 0 0 25 0 11 0 836158039 859873280 54223 4294967295 134512640 134569956 3221224384 3221214568 1131506373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54223 13086 16 0 209914 0
vsize: 839720
[startup+960.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 91261 78 0 0 25 0 11 0 836158039 859873280 54223 4294967295 134512640 134569956 3221224384 3221214568 1131506131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54223 13086 16 0 209914 0
vsize: 839720
[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 92252 78 0 0 25 0 11 0 836158039 859873280 54280 4294967295 134512640 134569956 3221224384 3221214568 1131460769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54280 13086 16 0 209914 0
vsize: 839720
[startup+980.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 93248 78 0 0 25 0 11 0 836158039 859873280 54280 4294967295 134512640 134569956 3221224384 3221214568 1131506824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54280 13086 16 0 209914 0
vsize: 839720
[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 94243 79 0 0 25 0 11 0 836158039 859873280 54280 4294967295 134512640 134569956 3221224384 3221214568 1131506012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54280 13086 16 0 209914 0
vsize: 839720
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 95239 79 0 0 25 0 11 0 836158039 859873280 54280 4294967295 134512640 134569956 3221224384 3221214464 1131251767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54280 13086 16 0 209914 0
vsize: 839720
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 96230 79 0 0 25 0 11 0 836158039 859873280 54280 4294967295 134512640 134569956 3221224384 3221214568 1131506134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54280 13086 16 0 209914 0
vsize: 839720
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 97222 80 0 0 25 0 11 0 836158039 859873280 54280 4294967295 134512640 134569956 3221224384 3221214576 1131536572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54280 13086 16 0 209914 0
vsize: 839720
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 98213 80 0 0 25 0 11 0 836158039 859873280 54280 4294967295 134512640 134569956 3221224384 3221214464 1131412288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54280 13086 16 0 209914 0
vsize: 839720
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 99206 80 0 0 25 0 11 0 836158039 859873280 54280 4294967295 134512640 134569956 3221224384 3221214568 1131506134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54280 13086 16 0 209914 0
vsize: 839720
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 100197 80 0 0 25 0 11 0 836158039 859873280 54280 4294967295 134512640 134569956 3221224384 3221214464 1131412698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54280 13086 16 0 209914 0
vsize: 839720
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 101189 80 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214544 1131235673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 102186 81 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214568 1131506228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 103182 81 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214568 1131506001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 104178 81 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214464 1131412288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 105175 81 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214568 1131506373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 106170 82 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214568 1131506614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 107167 82 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214544 1131235696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 108162 82 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214568 1131506012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 109158 83 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214568 1131506373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 110154 83 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214576 1131536439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 111151 83 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214568 1131506270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 112147 83 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214712 1131453873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 113143 84 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214568 1131506638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 114138 84 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214568 1131460796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 115134 84 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214568 1131460515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 116130 84 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214540 1130885126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 117125 85 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214540 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 118120 85 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214464 1131251767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 119115 85 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214568 1131506373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 849
Raw data (stat): 771 (java) R 770 25399 25398 0 -1 0 18014 3 100 0 120111 85 0 0 25 0 11 0 836158039 859873280 54337 4294967295 134512640 134569956 3221224384 3221214568 1131506643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209930 54337 13086 16 0 209914 0
vsize: 839720
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.8 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 851
Raw data (stat): 771 (java) Z 770 25399 25398 0 -1 1036 18014 39746 100 0 120171 85 5245 97 25 0 1 0 836158039 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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): 1250.8
CPU time (s): 1256.01
CPU user time (s): 1254.18
CPU system time (s): 1.83472
CPU usage (%): 100.416
Max. virtual memory (Kb): 839720
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	110
#### END VERIFIER DATA ####