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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namesubmitted/manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUM09c7b63b87fdc5a38ccb26d9b87fe2d9
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 137
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 numbers13
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.95
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint172

Trace number 1169

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-18 13:41:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5931 boxname=wulflinc7 idbench=71 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  09c7b63b87fdc5a38ccb26d9b87fe2d9  /oldhome/oroussel/tmp/wulflinc7/normalized-test4.pi.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc7/normalized-test4.pi.opb
IDLAUNCH: 5931
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        925084 kB
Buffers:         34388 kB
Cached:          50756 kB
SwapCached:        740 kB
Active:          64048 kB
Inactive:        23688 kB
HighTotal:      131008 kB
HighFree:        78148 kB
LowTotal:       903652 kB
LowFree:        846936 kB
SwapTotal:     2097136 kB
SwapFree:      2095892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            16284 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 14:01:38 (client local time) WITH STATUS 143 IN 1217.08 SECONDS
stats: 5931 0 1217.08 143

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 JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-test4.pi.opb
c reading problem ... done. Time 5.394 ms.
c #vars     6140
c #constraints  1437
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 195 		Current CPU time: 7.46 ms
c CURRENT OPTIMUM=                 194 		Current CPU time: 13.77 ms
c CURRENT OPTIMUM=                 193 		Current CPU time: 908.32 ms
c starts		: 4
c conflicts		: 39
c decisions		: 23937
c propagations		: 25749
c inspects		: 12504
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 38
c root simplifications	: 4
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 77.19770119390854
c non guided choices	23558
c random choices	0
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 objective function=193
c Total CPU time (ms) : 1219.431

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1783489567 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 39 3 38 16 0 23 0
[pid=18365] vsize: 156
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/18365
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=18366
New thread pid=18367
New thread pid=18368
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=18369
New thread pid=18370
New thread pid=18371
New thread pid=18372
New thread pid=18373
New thread pid=18374
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-test4.pi.opb
New thread pid=18375
One traced child (pid=18375) exited with status: 0
New thread pid=18376

[startup+10.0023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 18376
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18185 4 3 0 695 54 0 0 25 0 11 0 1783489567 858857472 22259 4294967295 134512640 134569956 3221224352 3221214584 1131501297 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209682 22259 13129 16 0 209666 0
[pid=18365] vsize: 838728
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (Kb) 838728
One traced child (pid=18376) exited with status: 0
New thread pid=18377

[startup+20.002 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18199 4 3 0 1624 55 0 0 25 0 11 0 1783489567 857407488 24396 4294967295 134512640 134569956 3221224352 3221214368 1131453840 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 24396 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 16.79
Current children cumulated vsize (Kb) 837312

[startup+30.0026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18205 4 3 0 2525 55 0 0 21 0 11 0 1783489567 857407488 27191 4294967295 134512640 134569956 3221224352 3221214336 1131561421 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 27191 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 25.8
Current children cumulated vsize (Kb) 837312

[startup+40.0032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18211 4 3 0 3456 55 0 0 16 0 11 0 1783489567 857407488 27601 4294967295 134512640 134569956 3221224352 3221213604 1077123659 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 27601 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 35.11
Current children cumulated vsize (Kb) 837312

[startup+50.0039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18216 4 3 0 4402 55 0 0 25 0 11 0 1783489567 857407488 27613 4294967295 134512640 134569956 3221224352 3221214432 1131681079 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 27613 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 44.57
Current children cumulated vsize (Kb) 837312

[startup+60.0045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18222 4 3 0 5338 56 0 0 20 0 11 0 1783489567 857407488 27626 4294967295 134512640 134569956 3221224352 3221214440 1131672721 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 27626 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 53.94
Current children cumulated vsize (Kb) 837312

[startup+70.0041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18227 4 3 0 6284 56 0 0 25 0 11 0 1783489567 857407488 27618 4294967295 134512640 134569956 3221224352 3221214432 1131611106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 27618 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 63.4
Current children cumulated vsize (Kb) 837312

[startup+80.0058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18233 4 3 0 7222 56 0 0 20 0 11 0 1783489567 857407488 27618 4294967295 134512640 134569956 3221224352 3221214440 1131671942 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 27618 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 72.78
Current children cumulated vsize (Kb) 837312

[startup+90.0064 s]
Raw data (loadavg): 1.15 1.03 1.01 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18238 4 3 0 8184 57 0 0 25 0 11 0 1783489567 857407488 28486 4294967295 134512640 134569956 3221224352 3221214440 1131672315 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28486 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 82.41
Current children cumulated vsize (Kb) 837312

[startup+100.006 s]
Raw data (loadavg): 1.12 1.03 1.01 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18244 4 3 0 9181 57 0 0 24 0 11 0 1783489567 857407488 28486 4294967295 134512640 134569956 3221224352 3221214440 1131671820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28486 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 92.38
Current children cumulated vsize (Kb) 837312

[startup+110.009 s]
Raw data (loadavg): 1.11 1.03 1.01 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18249 4 3 0 10177 58 0 0 25 0 11 0 1783489567 857407488 28487 4294967295 134512640 134569956 3221224352 3221214440 1131671942 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28487 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (Kb) 837312

[startup+120.009 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18255 4 3 0 11172 59 0 0 25 0 11 0 1783489567 857407488 28487 4294967295 134512640 134569956 3221224352 3221214196 1076697496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28487 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 112.31
Current children cumulated vsize (Kb) 837312

[startup+130.01 s]
Raw data (loadavg): 1.07 1.03 1.01 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18261 4 3 0 12168 59 0 0 25 0 11 0 1783489567 857407488 28487 4294967295 134512640 134569956 3221224352 3221214544 1131681079 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28487 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 122.27
Current children cumulated vsize (Kb) 837312

[startup+140.011 s]
Raw data (loadavg): 1.06 1.03 1.01 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18267 4 3 0 13164 60 0 0 25 0 11 0 1783489567 857407488 28487 4294967295 134512640 134569956 3221224352 3221214520 1131672315 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28487 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 132.24
Current children cumulated vsize (Kb) 837312

[startup+150.011 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18273 4 3 0 14159 60 0 0 25 0 11 0 1783489567 857407488 28487 4294967295 134512640 134569956 3221224352 3221214544 1131681084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28487 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 142.19
Current children cumulated vsize (Kb) 837312

[startup+160.012 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18279 4 3 0 15155 60 0 0 25 0 11 0 1783489567 857407488 28487 4294967295 134512640 134569956 3221224352 3221214432 1131389623 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28487 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 152.15
Current children cumulated vsize (Kb) 837312

[startup+170.012 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18285 4 3 0 16152 61 0 0 25 0 11 0 1783489567 857407488 28502 4294967295 134512640 134569956 3221224352 3221214468 1131084430 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28502 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (Kb) 837312

[startup+180.013 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18290 4 3 0 17148 61 0 0 25 0 11 0 1783489567 857407488 28504 4294967295 134512640 134569956 3221224352 3221214516 1131610624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28504 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 172.09
Current children cumulated vsize (Kb) 837312

[startup+190.014 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18296 4 3 0 18146 61 0 0 25 0 11 0 1783489567 857407488 28504 4294967295 134512640 134569956 3221224352 3221214544 1131681084 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28504 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 182.07
Current children cumulated vsize (Kb) 837312

[startup+200.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18302 4 3 0 19142 61 0 0 25 0 11 0 1783489567 857407488 28504 4294967295 134512640 134569956 3221224352 3221214432 1131389623 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28504 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 192.03
Current children cumulated vsize (Kb) 837312

[startup+210.015 s]
Raw data (loadavg): 1.10 1.04 1.01 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18308 4 3 0 20137 62 0 0 19 0 11 0 1783489567 857407488 28504 4294967295 134512640 134569956 3221224352 3221214416 1131561774 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28504 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 201.99
Current children cumulated vsize (Kb) 837312

[startup+220.016 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18314 4 3 0 21133 62 0 0 25 0 11 0 1783489567 857407488 28504 4294967295 134512640 134569956 3221224352 3221214416 1131561534 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28504 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 211.95
Current children cumulated vsize (Kb) 837312

[startup+230.016 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18320 4 3 0 22129 63 0 0 25 0 11 0 1783489567 857407488 28504 4294967295 134512640 134569956 3221224352 3221214416 1131561509 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28504 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 221.92
Current children cumulated vsize (Kb) 837312

[startup+240.017 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18326 4 3 0 23125 63 0 0 17 0 11 0 1783489567 857407488 28504 4294967295 134512640 134569956 3221224352 3221214520 1131671764 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28504 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 231.88
Current children cumulated vsize (Kb) 837312

[startup+250.018 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18332 4 3 0 24121 64 0 0 25 0 11 0 1783489567 857407488 28520 4294967295 134512640 134569956 3221224352 3221214520 1131671779 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28520 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 241.85
Current children cumulated vsize (Kb) 837312

[startup+260.018 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18338 4 3 0 25118 64 0 0 25 0 11 0 1783489567 857407488 28520 4294967295 134512640 134569956 3221224352 3221214520 1131671820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28520 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 251.82
Current children cumulated vsize (Kb) 837312

[startup+270.019 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18343 4 3 0 26116 64 0 0 25 0 11 0 1783489567 857407488 28520 4294967295 134512640 134569956 3221224352 3221214416 1131561344 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28520 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 261.8
Current children cumulated vsize (Kb) 837312

[startup+280.019 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18350 4 3 0 27092 65 0 0 25 0 11 0 1783489567 857407488 28520 4294967295 134512640 134569956 3221224352 3221214416 1131561344 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28520 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 271.57
Current children cumulated vsize (Kb) 837312

[startup+290.02 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18356 4 3 0 28065 65 0 0 25 0 11 0 1783489567 857407488 28520 4294967295 134512640 134569956 3221224352 3221214560 1131611106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28520 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 281.3
Current children cumulated vsize (Kb) 837312

[startup+300.02 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18362 4 3 0 29038 65 0 0 25 0 11 0 1783489567 857407488 28520 4294967295 134512640 134569956 3221224352 3221214520 1131672543 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28520 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 291.03
Current children cumulated vsize (Kb) 837312

[startup+310.02 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18368 4 3 0 30011 65 0 0 20 0 11 0 1783489567 857407488 28520 4294967295 134512640 134569956 3221224352 3221214520 1131671942 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28520 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 300.76
Current children cumulated vsize (Kb) 837312

[startup+320.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18374 4 3 0 30984 66 0 0 24 0 11 0 1783489567 857407488 28520 4294967295 134512640 134569956 3221224352 3221214416 1131562386 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28520 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 310.5
Current children cumulated vsize (Kb) 837312

[startup+330.022 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18379 4 3 0 31969 66 0 0 25 0 11 0 1783489567 857407488 28784 4294967295 134512640 134569956 3221224352 3221214544 1131681106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28784 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 320.35
Current children cumulated vsize (Kb) 837312

[startup+340.022 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18385 4 3 0 32966 66 0 0 25 0 11 0 1783489567 857407488 28784 4294967295 134512640 134569956 3221224352 3221214492 1131057186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28784 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 330.32
Current children cumulated vsize (Kb) 837312

[startup+350.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18390 4 3 0 33963 66 0 0 25 0 11 0 1783489567 857407488 28784 4294967295 134512640 134569956 3221224352 3221214520 1131672646 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28784 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 340.29
Current children cumulated vsize (Kb) 837312

[startup+360.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18396 4 3 0 34958 67 0 0 25 0 11 0 1783489567 857407488 28784 4294967295 134512640 134569956 3221224352 3221214544 1131681143 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28784 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 350.25
Current children cumulated vsize (Kb) 837312

[startup+370.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18402 4 3 0 35954 67 0 0 25 0 11 0 1783489567 857407488 28784 4294967295 134512640 134569956 3221224352 3221214416 1131561509 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28784 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 360.21
Current children cumulated vsize (Kb) 837312

[startup+380.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18408 4 3 0 36950 68 0 0 25 0 11 0 1783489567 857407488 28784 4294967295 134512640 134569956 3221224352 3221214416 1131561509 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28784 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 370.18
Current children cumulated vsize (Kb) 837312

[startup+390.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18414 4 3 0 37945 68 0 0 25 0 11 0 1783489567 857407488 28784 4294967295 134512640 134569956 3221224352 3221214492 1131057275 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28784 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 380.13
Current children cumulated vsize (Kb) 837312

[startup+400.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18420 4 3 0 38940 68 0 0 25 0 11 0 1783489567 857407488 28784 4294967295 134512640 134569956 3221224352 3221214544 1131681076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28784 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 390.08
Current children cumulated vsize (Kb) 837312

[startup+410.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18426 4 3 0 39937 69 0 0 25 0 11 0 1783489567 857407488 28798 4294967295 134512640 134569956 3221224352 3221214492 1131057275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28798 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 400.06
Current children cumulated vsize (Kb) 837312

[startup+420.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18432 4 3 0 40934 69 0 0 25 0 11 0 1783489567 857407488 28799 4294967295 134512640 134569956 3221224352 3221214520 1131671826 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28799 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 410.03
Current children cumulated vsize (Kb) 837312

[startup+430.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18437 4 3 0 41931 69 0 0 23 0 11 0 1783489567 857407488 28799 4294967295 134512640 134569956 3221224352 3221214416 1131561509 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28799 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 420
Current children cumulated vsize (Kb) 837312

[startup+440.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18443 4 3 0 42926 70 0 0 25 0 11 0 1783489567 857407488 28799 4294967295 134512640 134569956 3221224352 3221214536 1131621113 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28799 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 429.96
Current children cumulated vsize (Kb) 837312

[startup+450.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18449 4 3 0 43922 70 0 0 25 0 11 0 1783489567 857407488 28799 4294967295 134512640 134569956 3221224352 3221214416 1131561429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28799 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 439.92
Current children cumulated vsize (Kb) 837312

[startup+460.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18455 4 3 0 44918 70 0 0 25 0 11 0 1783489567 857407488 28799 4294967295 134512640 134569956 3221224352 3221214416 1131561344 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28799 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 449.88
Current children cumulated vsize (Kb) 837312

[startup+470.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18461 4 3 0 45914 70 0 0 25 0 11 0 1783489567 857407488 28799 4294967295 134512640 134569956 3221224352 3221214416 1131561754 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28799 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 459.84
Current children cumulated vsize (Kb) 837312

[startup+480.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18467 4 3 0 46909 71 0 0 25 0 11 0 1783489567 857407488 28799 4294967295 134512640 134569956 3221224352 3221214520 1131672330 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28799 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 469.8
Current children cumulated vsize (Kb) 837312

[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18473 4 3 0 47906 71 0 0 18 0 11 0 1783489567 857407488 28813 4294967295 134512640 134569956 3221224352 3221214416 1131561307 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28813 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 479.77
Current children cumulated vsize (Kb) 837312

[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18478 4 3 0 48903 71 0 0 25 0 11 0 1783489567 857407488 28813 4294967295 134512640 134569956 3221224352 3221214416 1131561421 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28813 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 489.74
Current children cumulated vsize (Kb) 837312

[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18484 4 3 0 49900 72 0 0 25 0 11 0 1783489567 857407488 28813 4294967295 134512640 134569956 3221224352 3221214520 1131671906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28813 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 499.72
Current children cumulated vsize (Kb) 837312

[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18490 4 3 0 50872 72 0 0 16 0 11 0 1783489567 857407488 28813 4294967295 134512640 134569956 3221224352 3221214544 1131681079 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28813 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 509.44
Current children cumulated vsize (Kb) 837312

[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18496 4 3 0 51845 72 0 0 16 0 11 0 1783489567 857407488 28813 4294967295 134512640 134569956 3221224352 3221214432 1131390308 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28813 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 519.17
Current children cumulated vsize (Kb) 837312

[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18501 4 3 0 52823 72 0 0 25 0 11 0 1783489567 857407488 28813 4294967295 134512640 134569956 3221224352 3221214520 1131671942 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28813 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 528.95
Current children cumulated vsize (Kb) 837312

[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18507 4 3 0 53796 72 0 0 25 0 11 0 1783489567 857407488 28813 4294967295 134512640 134569956 3221224352 3221214520 1131671826 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 28813 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 538.68
Current children cumulated vsize (Kb) 837312

[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18513 4 3 0 54769 72 0 0 25 0 11 0 1783489567 857407488 28813 4294967295 134512640 134569956 3221224352 3221214544 1131681300 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 28813 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 548.41
Current children cumulated vsize (Kb) 837312

[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18519 4 3 0 55752 72 0 0 19 0 11 0 1783489567 857407488 29078 4294967295 134512640 134569956 3221224352 3221214560 1131611088 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29078 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 558.24
Current children cumulated vsize (Kb) 837312

[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18524 4 3 0 56750 73 0 0 25 0 11 0 1783489567 857407488 29078 4294967295 134512640 134569956 3221224352 3221214416 1131561509 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29078 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 568.23
Current children cumulated vsize (Kb) 837312

[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18530 4 3 0 57747 73 0 0 20 0 11 0 1783489567 857407488 29078 4294967295 134512640 134569956 3221224352 3221214544 1131681882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29078 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 578.2
Current children cumulated vsize (Kb) 837312

[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18536 4 3 0 58741 73 0 0 18 0 11 0 1783489567 857407488 29078 4294967295 134512640 134569956 3221224352 3221214416 1131561525 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29078 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 588.14
Current children cumulated vsize (Kb) 837312

[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18542 4 3 0 59737 74 0 0 19 0 11 0 1783489567 857407488 29078 4294967295 134512640 134569956 3221224352 3221214416 1131561758 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29078 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 598.11
Current children cumulated vsize (Kb) 837312

[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18548 4 3 0 60734 74 0 0 21 0 11 0 1783489567 857407488 29078 4294967295 134512640 134569956 3221224352 3221214416 1131561429 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29078 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 608.08
Current children cumulated vsize (Kb) 837312

[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18554 4 3 0 61729 74 0 0 20 0 11 0 1783489567 857407488 29078 4294967295 134512640 134569956 3221224352 3221214520 1131671933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29078 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 618.03
Current children cumulated vsize (Kb) 837312

[startup+640.039 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18560 4 3 0 62726 74 0 0 25 0 11 0 1783489567 857407488 29078 4294967295 134512640 134569956 3221224352 3221214560 1131611100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29078 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 628
Current children cumulated vsize (Kb) 837312

[startup+650.04 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18566 4 3 0 63723 74 0 0 25 0 11 0 1783489567 857407488 29092 4294967295 134512640 134569956 3221224352 3221214520 1131672838 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29092 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 637.97
Current children cumulated vsize (Kb) 837312

[startup+660.041 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18571 4 3 0 64721 74 0 0 25 0 11 0 1783489567 857407488 29092 4294967295 134512640 134569956 3221224352 3221214516 1131610633 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29092 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 647.95
Current children cumulated vsize (Kb) 837312

[startup+670.041 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18577 4 3 0 65717 75 0 0 25 0 11 0 1783489567 857407488 29092 4294967295 134512640 134569956 3221224352 3221214520 1131672315 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29092 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 657.92
Current children cumulated vsize (Kb) 837312

[startup+680.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18583 4 3 0 66713 75 0 0 25 0 11 0 1783489567 857407488 29092 4294967295 134512640 134569956 3221224352 3221214416 1131561344 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29092 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 667.88
Current children cumulated vsize (Kb) 837312

[startup+690.043 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18589 4 3 0 67708 76 0 0 17 0 11 0 1783489567 857407488 29092 4294967295 134512640 134569956 3221224352 3221214416 1131561344 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29092 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 677.84
Current children cumulated vsize (Kb) 837312

[startup+700.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18595 4 3 0 68703 76 0 0 25 0 11 0 1783489567 857407488 29092 4294967295 134512640 134569956 3221224352 3221214520 1131672195 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29092 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 687.79
Current children cumulated vsize (Kb) 837312

[startup+710.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18601 4 3 0 69699 76 0 0 25 0 11 0 1783489567 857407488 29092 4294967295 134512640 134569956 3221224352 3221214432 1131389654 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29092 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 697.75
Current children cumulated vsize (Kb) 837312

[startup+720.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18606 4 3 0 70695 77 0 0 25 0 11 0 1783489567 857407488 29092 4294967295 134512640 134569956 3221224352 3221214544 1131681478 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29092 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 707.72
Current children cumulated vsize (Kb) 837312

[startup+730.046 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18612 4 3 0 71691 77 0 0 25 0 11 0 1783489567 857407488 29106 4294967295 134512640 134569956 3221224352 3221214520 1131671942 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29106 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 717.68
Current children cumulated vsize (Kb) 837312

[startup+740.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18618 4 3 0 72689 78 0 0 25 0 11 0 1783489567 857407488 29106 4294967295 134512640 134569956 3221224352 3221214520 1131672317 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29106 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 727.67
Current children cumulated vsize (Kb) 837312

[startup+750.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18623 4 3 0 73687 78 0 0 25 0 11 0 1783489567 857407488 29106 4294967295 134512640 134569956 3221224352 3221214520 1131671942 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29106 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 737.65
Current children cumulated vsize (Kb) 837312

[startup+760.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18629 4 3 0 74681 78 0 0 25 0 11 0 1783489567 857407488 29106 4294967295 134512640 134569956 3221224352 3221214520 1131671820 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29106 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 747.59
Current children cumulated vsize (Kb) 837312

[startup+770.049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18635 4 3 0 75677 78 0 0 25 0 11 0 1783489567 857407488 29106 4294967295 134512640 134569956 3221224352 3221214496 1131501100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29106 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 757.55
Current children cumulated vsize (Kb) 837312

[startup+780.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18642 4 3 0 76672 79 0 0 25 0 11 0 1783489567 857407488 29106 4294967295 134512640 134569956 3221224352 3221214492 1131057173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29106 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 767.51
Current children cumulated vsize (Kb) 837312

[startup+790.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/66 18377
Raw data (/proc/18365/stat): 18365 (java) S 18364 18365 15400 0 -1 0 18648 4 3 0 77667 79 0 0 25 0 11 0 1783489567 857407488 29106 4294967295 134512640 134569956 3221224352 3221213160 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29106 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 777.46
Current children cumulated vsize (Kb) 837312

[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18653 4 3 0 78664 79 0 0 25 0 11 0 1783489567 857407488 29106 4294967295 134512640 134569956 3221224352 3221214520 1131671820 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29106 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 787.43
Current children cumulated vsize (Kb) 837312

[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18659 4 3 0 79661 79 0 0 25 0 11 0 1783489567 857407488 29122 4294967295 134512640 134569956 3221224352 3221214416 1131561509 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29122 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 797.4
Current children cumulated vsize (Kb) 837312

[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18665 4 3 0 80658 79 0 0 25 0 11 0 1783489567 857407488 29122 4294967295 134512640 134569956 3221224352 3221214416 1131561509 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29122 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 807.37
Current children cumulated vsize (Kb) 837312

[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18670 4 3 0 81655 79 0 0 25 0 11 0 1783489567 857407488 29122 4294967295 134512640 134569956 3221224352 3221214560 1131611106 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29122 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 817.34
Current children cumulated vsize (Kb) 837312

[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18676 4 3 0 82650 80 0 0 25 0 11 0 1783489567 857407488 29122 4294967295 134512640 134569956 3221224352 3221214416 1131561639 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29122 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 827.3
Current children cumulated vsize (Kb) 837312

[startup+850.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18682 4 3 0 83646 80 0 0 25 0 11 0 1783489567 857407488 29122 4294967295 134512640 134569956 3221224352 3221214416 1131561656 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29122 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 837.26
Current children cumulated vsize (Kb) 837312

[startup+860.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18688 4 3 0 84642 80 0 0 25 0 11 0 1783489567 857407488 29122 4294967295 134512640 134569956 3221224352 3221214520 1131672300 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29122 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 847.22
Current children cumulated vsize (Kb) 837312

[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18694 4 3 0 85638 80 0 0 25 0 11 0 1783489567 857407488 29122 4294967295 134512640 134569956 3221224352 3221214560 1131611147 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29122 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 857.18
Current children cumulated vsize (Kb) 837312

[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18700 4 3 0 86634 80 0 0 25 0 11 0 1783489567 857407488 29122 4294967295 134512640 134569956 3221224352 3221214520 1131672048 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29122 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 867.14
Current children cumulated vsize (Kb) 837312

[startup+890.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18706 4 3 0 87631 80 0 0 25 0 11 0 1783489567 857407488 29136 4294967295 134512640 134569956 3221224352 3221214520 1131671942 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29136 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 877.11
Current children cumulated vsize (Kb) 837312

[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18377
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18711 4 3 0 88628 81 0 0 25 0 11 0 1783489567 857407488 29136 4294967295 134512640 134569956 3221224352 3221214544 1131681385 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29136 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 887.09
Current children cumulated vsize (Kb) 837312
One traced child (pid=18377) exited with status: 0
New thread pid=18378

[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18718 4 3 0 89614 81 0 0 25 0 11 0 1783489567 857407488 29136 4294967295 134512640 134569956 3221224352 3221214664 1131580918 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29136 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 896.95
Current children cumulated vsize (Kb) 837312

[startup+920.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18724 4 3 0 90554 81 0 0 18 0 11 0 1783489567 857407488 29445 4294967295 134512640 134569956 3221224352 3221214416 1131561509 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29445 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 906.35
Current children cumulated vsize (Kb) 837312

[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) S 18364 18365 15400 0 -1 0 18729 4 3 0 91492 81 0 0 25 0 11 0 1783489567 857407488 29445 4294967295 134512640 134569956 3221224352 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29445 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 915.73
Current children cumulated vsize (Kb) 837312

[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18735 4 3 0 92433 81 0 0 25 0 11 0 1783489567 857407488 29445 4294967295 134512640 134569956 3221224352 3221214520 1131672376 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29445 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 925.14
Current children cumulated vsize (Kb) 837312

[startup+950.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18741 4 3 0 93366 82 0 0 21 0 11 0 1783489567 857407488 29445 4294967295 134512640 134569956 3221224352 3221214520 1131671942 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29445 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 934.48
Current children cumulated vsize (Kb) 837312

[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18747 4 3 0 94298 82 0 0 16 0 11 0 1783489567 857407488 29445 4294967295 134512640 134569956 3221224352 3221214516 1131610633 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 29445 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 943.8
Current children cumulated vsize (Kb) 837312

[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18752 4 3 0 95244 82 0 0 25 0 11 0 1783489567 857407488 29694 4294967295 134512640 134569956 3221224352 3221214520 1131671942 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 29694 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 953.26
Current children cumulated vsize (Kb) 837312

[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18758 4 3 0 96224 82 0 0 25 0 11 0 1783489567 857407488 30359 4294967295 134512640 134569956 3221224352 3221214496 1131429209 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30359 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 963.06
Current children cumulated vsize (Kb) 837312

[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18763 4 3 0 97221 82 0 0 25 0 11 0 1783489567 857407488 30359 4294967295 134512640 134569956 3221224352 3221214520 1131671820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30359 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 973.03
Current children cumulated vsize (Kb) 837312

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18769 4 3 0 98218 82 0 0 25 0 11 0 1783489567 857407488 30359 4294967295 134512640 134569956 3221224352 3221214496 1131429204 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 30359 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 983
Current children cumulated vsize (Kb) 837312

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18775 4 3 0 99214 82 0 0 25 0 11 0 1783489567 857407488 30359 4294967295 134512640 134569956 3221224352 3221214496 1131429192 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30359 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 992.96
Current children cumulated vsize (Kb) 837312

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18781 4 3 0 100210 82 0 0 25 0 11 0 1783489567 857407488 30359 4294967295 134512640 134569956 3221224352 3221214492 1131057236 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30359 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1002.92
Current children cumulated vsize (Kb) 837312

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18787 4 3 0 101205 83 0 0 25 0 11 0 1783489567 857407488 30359 4294967295 134512640 134569956 3221224352 3221214520 1131671942 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 30359 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1012.88
Current children cumulated vsize (Kb) 837312

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18793 4 3 0 102200 83 0 0 25 0 11 0 1783489567 857407488 30359 4294967295 134512640 134569956 3221224352 3221214416 1131561616 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 30359 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1022.83
Current children cumulated vsize (Kb) 837312

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18799 4 3 0 103195 84 0 0 25 0 11 0 1783489567 857407488 30359 4294967295 134512640 134569956 3221224352 3221214432 1131389781 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30359 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1032.79
Current children cumulated vsize (Kb) 837312

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18805 4 3 0 104192 84 0 0 20 0 11 0 1783489567 857407488 30374 4294967295 134512640 134569956 3221224352 3221214416 1131561639 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 30374 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1042.76
Current children cumulated vsize (Kb) 837312

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18810 4 3 0 105189 84 0 0 25 0 11 0 1783489567 857407488 30374 4294967295 134512640 134569956 3221224352 3221214416 1131561716 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30374 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1052.73
Current children cumulated vsize (Kb) 837312

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18816 4 3 0 106187 84 0 0 25 0 11 0 1783489567 857407488 30374 4294967295 134512640 134569956 3221224352 3221214520 1131671820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30374 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1062.71
Current children cumulated vsize (Kb) 837312

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18822 4 3 0 107182 85 0 0 25 0 11 0 1783489567 857407488 30374 4294967295 134512640 134569956 3221224352 3221214416 1131561509 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 30374 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1072.67
Current children cumulated vsize (Kb) 837312

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18828 4 3 0 108177 85 0 0 25 0 11 0 1783489567 857407488 30374 4294967295 134512640 134569956 3221224352 3221214520 1131672300 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30374 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1082.62
Current children cumulated vsize (Kb) 837312

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18834 4 3 0 109173 85 0 0 25 0 11 0 1783489567 857407488 30374 4294967295 134512640 134569956 3221224352 3221214416 1131561429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30374 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1092.58
Current children cumulated vsize (Kb) 837312

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18840 4 3 0 110168 86 0 0 23 0 11 0 1783489567 857407488 30374 4294967295 134512640 134569956 3221224352 3221214416 1131561344 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 30374 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1102.54
Current children cumulated vsize (Kb) 837312

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18846 4 3 0 111164 86 0 0 25 0 11 0 1783489567 857407488 30374 4294967295 134512640 134569956 3221224352 3221214416 1131561509 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30374 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1112.5
Current children cumulated vsize (Kb) 837312

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18852 4 3 0 112160 86 0 0 25 0 11 0 1783489567 857407488 30388 4294967295 134512640 134569956 3221224352 3221214416 1131562372 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30388 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1122.46
Current children cumulated vsize (Kb) 837312

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18857 4 3 0 113157 86 0 0 25 0 11 0 1783489567 857407488 30388 4294967295 134512640 134569956 3221224352 3221214520 1131671942 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 30388 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1132.43
Current children cumulated vsize (Kb) 837312

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18863 4 3 0 114154 87 0 0 25 0 11 0 1783489567 857407488 30388 4294967295 134512640 134569956 3221224352 3221214520 1131671794 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 30388 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1142.41
Current children cumulated vsize (Kb) 837312

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18868 4 3 0 115130 87 0 0 25 0 11 0 1783489567 857407488 30388 4294967295 134512640 134569956 3221224352 3221214520 1131671889 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 30388 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1152.17
Current children cumulated vsize (Kb) 837312

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18874 4 3 0 116102 87 0 0 25 0 11 0 1783489567 857407488 30388 4294967295 134512640 134569956 3221224352 3221214520 1131671933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18365/statm): 209328 30388 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1161.89
Current children cumulated vsize (Kb) 837312

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18880 4 3 0 117075 87 0 0 25 0 11 0 1783489567 857407488 30388 4294967295 134512640 134569956 3221224352 3221214544 1131681973 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30388 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1171.62
Current children cumulated vsize (Kb) 837312

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18886 4 3 0 118047 87 0 0 25 0 11 0 1783489567 857407488 30388 4294967295 134512640 134569956 3221224352 3221214560 1131611114 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30388 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1181.34
Current children cumulated vsize (Kb) 837312

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18892 4 3 0 119019 88 0 0 25 0 11 0 1783489567 857407488 30388 4294967295 134512640 134569956 3221224352 3221214520 1131671942 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30388 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1191.07
Current children cumulated vsize (Kb) 837312

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18897 4 3 0 120004 88 0 0 25 0 11 0 1783489567 857407488 30655 4294967295 134512640 134569956 3221224352 3221214416 1131561344 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30655 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1200.92
Current children cumulated vsize (Kb) 837312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18378
Raw data (/proc/18365/stat): 18365 (java) R 18364 18365 15400 0 -1 0 18897 4 3 0 120004 88 0 0 25 0 11 0 1783489567 857407488 30655 4294967295 134512640 134569956 3221224352 3221214520 1131671820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18365/statm): 209328 30655 13129 16 0 209312 0
[pid=18365] vsize: 837312
Current children cumulated CPU time (s) 1200.92
Current children cumulated vsize (Kb) 837312

Sending SIGTERM to -18365
Sleeping 2 seconds
New thread pid=18380
New thread pid=18381
One traced child (pid=18381) exited with status: 0
One traced child (pid=18374) exited with status: 0
One traced child (pid=18369) exited with status: 0
One traced child (pid=18366) exited with status: 143
One traced child (pid=18367) exited with status: 143
One traced child (pid=18368) exited with status: 143
One traced child (pid=18370) exited with status: 143
One traced child (pid=18373) exited with status: 143
One traced child (pid=18378) exited with status: 143
One traced child (pid=18372) exited with status: 143
One traced child (pid=18371) exited with status: 143
One traced child (pid=18380) exited with status: 143
One traced child (pid=18365) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.77
CPU time (s): 1217.08
CPU user time (s): 1215.58
CPU system time (s): 1.49277
CPU usage (%): 99.6971
Max. virtual memory (cumulated for all children) (Kb): 838728

Verifier Data

Verifier:	OK	193