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-bench1.pi.opb
MD5SUM773129c71f80eff294fafd0a8a5769cd
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 121
Optimality of the best value was proved YES
Number of terms in the objective function 4677
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4677
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4677
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark201.816
Number of variables4676
Total number of constraints398
Number of constraints which are clauses398
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 constraint2
Maximum length of a constraint80

Trace number 1161

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-18 13:33:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5921 boxname=wulflinc18 idbench=61 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  773129c71f80eff294fafd0a8a5769cd  /oldhome/oroussel/tmp/wulflinc18/normalized-bench1.pi.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc18/normalized-bench1.pi.opb
IDLAUNCH: 5921
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        936224 kB
Buffers:         34784 kB
Cached:          29108 kB
SwapCached:        844 kB
Active:          57412 kB
Inactive:         9140 kB
HighTotal:      131008 kB
HighFree:        98868 kB
LowTotal:       903652 kB
LowFree:        837356 kB
SwapTotal:     2097892 kB
SwapFree:      2096548 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5764 kB
Slab:            26316 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 13:54:17 (client local time) WITH STATUS 143 IN 1281.09 SECONDS
stats: 5921 0 1281.09 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/wulflinc18/normalized-bench1.pi.opb
c reading problem ... done. Time 3.145 ms.
c #vars     4677
c #constraints  398
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 264 		Current CPU time: 5.68 ms
c CURRENT OPTIMUM=                 263 		Current CPU time: 10.54 ms
c CURRENT OPTIMUM=                 262 		Current CPU time: 14.68 ms
c CURRENT OPTIMUM=                 261 		Current CPU time: 18.74 ms
c CURRENT OPTIMUM=                 260 		Current CPU time: 23.07 ms
c CURRENT OPTIMUM=                 259 		Current CPU time: 28.38 ms
c CURRENT OPTIMUM=                 258 		Current CPU time: 34.56 ms
c CURRENT OPTIMUM=                 257 		Current CPU time: 48.61 ms
c CURRENT OPTIMUM=                 256 		Current CPU time: 63.05 ms
c CURRENT OPTIMUM=                 255 		Current CPU time: 79.52 ms
c CURRENT OPTIMUM=                 254 		Current CPU time: 96.71 ms
c CURRENT OPTIMUM=                 253 		Current CPU time: 114.55 ms
c CURRENT OPTIMUM=                 252 		Current CPU time: 186.23 ms
c CURRENT OPTIMUM=                 251 		Current CPU time: 252.51 ms
c CURRENT OPTIMUM=                 250 		Current CPU time: 275.34 ms
c CURRENT OPTIMUM=                 249 		Current CPU time: 302.30 ms
c CURRENT OPTIMUM=                 248 		Current CPU time: 338.74 ms
c CURRENT OPTIMUM=                 247 		Current CPU time: 376.53 ms
c CURRENT OPTIMUM=                 246 		Current CPU time: 446.42 ms
c CURRENT OPTIMUM=                 245 		Current CPU time: 524.52 ms
c CURRENT OPTIMUM=                 244 		Current CPU time: 815.67 ms
c CURRENT OPTIMUM=                 243 		Current CPU time: 883.66 ms
c starts		: 23
c conflicts		: 436
c decisions		: 101938
c propagations		: 126103
c inspects		: 82633
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 435
c root simplifications	: 23
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 27278
c speed (decisions/second)	: 265.7410472915727
c non guided choices	95359
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 
c objective function=243
c Total CPU time (ms) : 1267.914

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/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1841610472 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 39 3 38 16 0 23 0
[pid=3191] 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/3191
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=3192
New thread pid=3193
New thread pid=3194
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=3195
New thread pid=3196
New thread pid=3197
New thread pid=3198
New thread pid=3199
New thread pid=3200
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/wulflinc18/normalized-bench1.pi.opb
New thread pid=3201
One traced child (pid=3201) exited with status: 0
New thread pid=3202

[startup+10.0086 s]
Raw data (loadavg): 1.09 1.02 0.93 2/66 3202
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 16888 4 100 0 578 52 0 0 21 0 11 0 1841610472 858214400 18282 4294967295 134512640 134569956 3221224336 3221214520 1131517083 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 209525 18286 13129 16 0 209509 0
[pid=3191] vsize: 838100
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (Kb) 838100
One traced child (pid=3202) exited with status: 0
New thread pid=3203
One traced child (pid=3203) exited with status: 0
New thread pid=3204

[startup+20.0085 s]
Raw data (loadavg): 1.08 1.02 0.93 2/66 3204
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18088 5 100 0 1493 55 0 0 18 0 11 0 1841610472 858021888 21878 4294967295 134512640 134569956 3221224336 3221214680 1131609123 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 209478 21878 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 15.48
Current children cumulated vsize (Kb) 837912
One traced child (pid=3204) exited with status: 0
New thread pid=3205
One traced child (pid=3205) exited with status: 0
New thread pid=3206

[startup+30.0094 s]
Raw data (loadavg): 1.07 1.01 0.93 2/66 3206
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18099 5 100 0 2426 55 0 0 19 0 11 0 1841610472 858021888 22301 4294967295 134512640 134569956 3221224336 3221214736 1131090340 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 22301 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 24.81
Current children cumulated vsize (Kb) 837912
One traced child (pid=3206) exited with status: 0
New thread pid=3207
One traced child (pid=3207) exited with status: 0
New thread pid=3208

[startup+40.0103 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 3208
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18106 5 100 0 3322 56 0 0 17 0 11 0 1841610472 858021888 25317 4294967295 134512640 134569956 3221224336 3221214608 1131576804 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 25317 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 33.78
Current children cumulated vsize (Kb) 837912

[startup+50.0113 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 3208
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18113 5 100 0 4217 56 0 0 16 0 11 0 1841610472 858021888 28089 4294967295 134512640 134569956 3221224336 3221214520 1131516795 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 28089 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 42.73
Current children cumulated vsize (Kb) 837912
One traced child (pid=3208) exited with status: 0
New thread pid=3209

[startup+60.0122 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 3209
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18121 5 100 0 5185 56 0 0 16 0 11 0 1841610472 858021888 28090 4294967295 134512640 134569956 3221224336 3221214608 1131575715 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 28090 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 52.41
Current children cumulated vsize (Kb) 837912
One traced child (pid=3209) exited with status: 0
New thread pid=3210

[startup+70.0131 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 3210
Raw data (/proc/3191/stat): 3191 (java) S 3190 3191 31027 0 -1 0 18126 5 100 0 6112 57 0 0 16 0 11 0 1841610472 858021888 28985 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 28985 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 61.69
Current children cumulated vsize (Kb) 837912

[startup+80.015 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 3210
Raw data (/proc/3191/stat): 3191 (java) S 3190 3191 31027 0 -1 0 18132 5 100 0 7030 57 0 0 16 0 11 0 1841610472 858021888 29991 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 29991 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 70.87
Current children cumulated vsize (Kb) 837912
One traced child (pid=3210) exited with status: 0
New thread pid=3211

[startup+90.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 3211
Raw data (/proc/3191/stat): 3191 (java) S 3190 3191 31027 0 -1 0 18139 5 100 0 7937 58 0 0 17 0 11 0 1841610472 858021888 32627 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 209478 32628 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 79.95
Current children cumulated vsize (Kb) 837912
One traced child (pid=3211) exited with status: 0
New thread pid=3212

[startup+100.018 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 3212
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18146 5 100 0 8872 58 0 0 16 0 11 0 1841610472 858021888 33349 4294967295 134512640 134569956 3221224336 3221214520 1131516293 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 33349 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 89.3
Current children cumulated vsize (Kb) 837912

[startup+110.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 3212
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18153 5 100 0 9800 58 0 0 16 0 11 0 1841610472 858021888 33658 4294967295 134512640 134569956 3221224336 3221214376 1131529225 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 209478 33658 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 98.58
Current children cumulated vsize (Kb) 837912
One traced child (pid=3212) exited with status: 0
New thread pid=3213

[startup+120.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 3213
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18159 5 100 0 10715 59 0 0 16 0 11 0 1841610472 858021888 34867 4294967295 134512640 134569956 3221224336 3221214608 1131575650 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 34867 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 107.74
Current children cumulated vsize (Kb) 837912

[startup+130.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 3213
Raw data (/proc/3191/stat): 3191 (java) S 3190 3191 31027 0 -1 0 18165 5 100 0 11644 59 0 0 16 0 11 0 1841610472 858021888 35171 4294967295 134512640 134569956 3221224336 3221213224 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 35171 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 117.03
Current children cumulated vsize (Kb) 837912

[startup+140.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 3213
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18171 5 100 0 12557 59 0 0 16 0 11 0 1841610472 858021888 35903 4294967295 134512640 134569956 3221224336 3221214344 1131486766 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 209478 35903 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 126.16
Current children cumulated vsize (Kb) 837912

[startup+150.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 3213
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18177 5 100 0 13502 60 0 0 16 0 11 0 1841610472 858021888 36372 4294967295 134512640 134569956 3221224336 3221214344 1131486422 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 209478 36372 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 135.62
Current children cumulated vsize (Kb) 837912

[startup+160.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3213
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18183 5 100 0 14460 60 0 0 17 0 11 0 1841610472 858021888 36420 4294967295 134512640 134569956 3221224336 3221214440 1131706519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 36420 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 145.2
Current children cumulated vsize (Kb) 837912

[startup+170.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3213
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18189 5 100 0 15411 60 0 0 16 0 11 0 1841610472 858021888 36377 4294967295 134512640 134569956 3221224336 3221214320 1131730325 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 36377 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 154.71
Current children cumulated vsize (Kb) 837912

[startup+180.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3213
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18194 5 100 0 16370 61 0 0 17 0 11 0 1841610472 858021888 36377 4294967295 134512640 134569956 3221224336 3221214440 1131706540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 36377 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 164.31
Current children cumulated vsize (Kb) 837912
One traced child (pid=3213) exited with status: 0
New thread pid=3214

[startup+190.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3214
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18200 5 100 0 17321 61 0 0 17 0 11 0 1841610472 858021888 36377 4294967295 134512640 134569956 3221224336 3221214608 1131575491 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 209478 36377 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 173.82
Current children cumulated vsize (Kb) 837912

[startup+200.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3214
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18206 5 100 0 18277 62 0 0 17 0 11 0 1841610472 858021888 36760 4294967295 134512640 134569956 3221224336 3221214320 1131730325 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 209478 36760 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 183.39
Current children cumulated vsize (Kb) 837912

[startup+210.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3214
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18212 5 100 0 19241 62 0 0 17 0 11 0 1841610472 858021888 36760 4294967295 134512640 134569956 3221224336 3221214320 1131730325 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 209478 36760 13129 16 0 209462 0
[pid=3191] vsize: 837912
Current children cumulated CPU time (s) 193.03
Current children cumulated vsize (Kb) 837912

[startup+220.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3214
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18218 5 100 0 20205 63 0 0 16 0 11 0 1841610472 861384704 37523 4294967295 134512640 134569956 3221224336 3221214344 1131486422 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210299 37523 13129 16 0 210283 0
[pid=3191] vsize: 841196
Current children cumulated CPU time (s) 202.68
Current children cumulated vsize (Kb) 841196

[startup+230.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3214
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18223 5 100 0 21175 63 0 0 18 0 11 0 1841610472 861384704 37523 4294967295 134512640 134569956 3221224336 3221214440 1131706357 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210299 37523 13129 16 0 210283 0
[pid=3191] vsize: 841196
Current children cumulated CPU time (s) 212.38
Current children cumulated vsize (Kb) 841196

[startup+240.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3214
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18229 5 100 0 22145 64 0 0 17 0 11 0 1841610472 861384704 37523 4294967295 134512640 134569956 3221224336 3221214520 1131516213 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210299 37523 13129 16 0 210283 0
[pid=3191] vsize: 841196
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (Kb) 841196

[startup+250.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3214
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18237 5 100 0 23078 64 0 0 16 0 11 0 1841610472 861384704 38338 4294967295 134512640 134569956 3221224336 3221214608 1131575715 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210299 38338 13129 16 0 210283 0
[pid=3191] vsize: 841196
Current children cumulated CPU time (s) 231.42
Current children cumulated vsize (Kb) 841196
One traced child (pid=3214) exited with status: 0
New thread pid=3215

[startup+260.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3215
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18244 5 100 0 23982 64 0 1 16 0 11 0 1841610472 861384704 39021 4294967295 134512640 134569956 3221224336 3221214608 1131575715 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210299 39021 13129 16 0 210283 0
[pid=3191] vsize: 841196
Current children cumulated CPU time (s) 240.47
Current children cumulated vsize (Kb) 841196

[startup+270.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3215
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18250 5 100 0 24905 65 0 1 17 0 11 0 1841610472 861384704 39721 4294967295 134512640 134569956 3221224336 3221214304 1131678695 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210299 39721 13129 16 0 210283 0
[pid=3191] vsize: 841196
Current children cumulated CPU time (s) 249.71
Current children cumulated vsize (Kb) 841196
One traced child (pid=3215) exited with status: 0
New thread pid=3216

[startup+280.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3216
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18257 5 100 0 25805 65 0 1 16 0 11 0 1841610472 861384704 42706 4294967295 134512640 134569956 3221224336 3221214520 1131516208 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210299 42706 13129 16 0 210283 0
[pid=3191] vsize: 841196
Current children cumulated CPU time (s) 258.71
Current children cumulated vsize (Kb) 841196

[startup+290.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3216
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18264 5 100 0 26740 66 0 1 16 0 11 0 1841610472 861384704 42706 4294967295 134512640 134569956 3221224336 3221214608 1131575780 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210299 42706 13129 16 0 210283 0
[pid=3191] vsize: 841196
Current children cumulated CPU time (s) 268.07
Current children cumulated vsize (Kb) 841196

[startup+300.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3216
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18270 5 100 0 27652 66 0 1 16 0 11 0 1841610472 861384704 44426 4294967295 134512640 134569956 3221224336 3221214608 1131575493 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210299 44426 13129 16 0 210283 0
[pid=3191] vsize: 841196
Current children cumulated CPU time (s) 277.19
Current children cumulated vsize (Kb) 841196
One traced child (pid=3216) exited with status: 0
New thread pid=3217

[startup+310.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3217
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18277 5 100 0 28583 66 0 1 16 0 11 0 1841610472 861384704 44426 4294967295 134512640 134569956 3221224336 3221214520 1131516600 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210299 44426 13129 16 0 210283 0
[pid=3191] vsize: 841196
Current children cumulated CPU time (s) 286.5
Current children cumulated vsize (Kb) 841196

[startup+320.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 3217
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18285 5 100 0 29487 66 0 1 16 0 11 0 1841610472 861384704 45041 4294967295 134512640 134569956 3221224336 3221214608 1131576797 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210299 45041 13129 16 0 210283 0
[pid=3191] vsize: 841196
Current children cumulated CPU time (s) 295.54
Current children cumulated vsize (Kb) 841196

[startup+330.04 s]
Raw data (loadavg): 1.29 1.06 0.95 2/66 3217
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18291 5 100 0 30411 67 0 1 16 0 11 0 1841610472 862433280 46085 4294967295 134512640 134569956 3221224336 3221214608 1131575650 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 46085 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 304.79
Current children cumulated vsize (Kb) 842220

[startup+340.041 s]
Raw data (loadavg): 1.25 1.06 0.95 2/66 3217
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18299 5 100 0 31325 67 0 1 16 0 11 0 1841610472 862433280 46085 4294967295 134512640 134569956 3221224336 3221214624 1131694426 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 46085 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 313.93
Current children cumulated vsize (Kb) 842220
One traced child (pid=3217) exited with status: 0
New thread pid=3218

[startup+350.043 s]
Raw data (loadavg): 1.21 1.06 0.95 2/66 3218
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18303 5 100 0 32276 67 0 1 16 0 11 0 1841610472 862433280 46563 4294967295 134512640 134569956 3221224336 3221214608 1131575682 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 46563 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 323.44
Current children cumulated vsize (Kb) 842220

[startup+360.044 s]
Raw data (loadavg): 1.18 1.06 0.95 2/66 3218
Raw data (/proc/3191/stat): 3191 (java) S 3190 3191 31027 0 -1 0 18309 5 100 0 33189 67 0 1 16 0 11 0 1841610472 862433280 46563 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 46563 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 332.57
Current children cumulated vsize (Kb) 842220

[startup+370.045 s]
Raw data (loadavg): 1.15 1.05 0.95 2/66 3218
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18316 5 100 0 34098 68 0 1 17 0 11 0 1841610472 862433280 46946 4294967295 134512640 134569956 3221224336 3221214584 1131486422 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 46946 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 341.67
Current children cumulated vsize (Kb) 842220
One traced child (pid=3218) exited with status: 0
New thread pid=3219

[startup+380.046 s]
Raw data (loadavg): 1.13 1.05 0.95 2/66 3219
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18321 5 100 0 35018 68 0 1 18 0 11 0 1841610472 862433280 48537 4294967295 134512640 134569956 3221224336 3221214120 1085806334 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 48537 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 350.87
Current children cumulated vsize (Kb) 842220

[startup+390.046 s]
Raw data (loadavg): 1.11 1.05 0.95 2/66 3219
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18325 5 100 0 35968 69 0 1 16 0 11 0 1841610472 862433280 48537 4294967295 134512640 134569956 3221224336 3221214520 1131516603 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 48537 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 360.38
Current children cumulated vsize (Kb) 842220

[startup+400.048 s]
Raw data (loadavg): 1.09 1.05 0.95 2/66 3219
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18332 5 100 0 36882 69 0 1 17 0 11 0 1841610472 862433280 49058 4294967295 134512640 134569956 3221224336 3221214608 1131575715 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 49058 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 369.52
Current children cumulated vsize (Kb) 842220

[startup+410.049 s]
Raw data (loadavg): 1.08 1.05 0.95 2/66 3219
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18339 5 100 0 37802 69 0 1 16 0 11 0 1841610472 862433280 49058 4294967295 134512640 134569956 3221224336 3221214512 1131486422 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 49058 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 378.72
Current children cumulated vsize (Kb) 842220

[startup+420.05 s]
Raw data (loadavg): 1.06 1.04 0.95 2/66 3219
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18344 5 100 0 38716 69 0 1 17 0 11 0 1841610472 862433280 50177 4294967295 134512640 134569956 3221224336 3221214680 1131609181 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 50177 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 387.86
Current children cumulated vsize (Kb) 842220

[startup+430.05 s]
Raw data (loadavg): 1.05 1.04 0.95 2/66 3219
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18349 5 100 0 39652 70 0 1 16 0 11 0 1841610472 862433280 50648 4294967295 134512640 134569956 3221224336 3221214520 1131516603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 50648 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 397.23
Current children cumulated vsize (Kb) 842220

[startup+440.051 s]
Raw data (loadavg): 1.04 1.04 0.95 2/66 3219
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18356 5 100 0 40555 70 0 1 16 0 11 0 1841610472 862433280 51866 4294967295 134512640 134569956 3221224336 3221214608 1131577747 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 51866 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 406.26
Current children cumulated vsize (Kb) 842220
One traced child (pid=3219) exited with status: 0
New thread pid=3220

[startup+450.052 s]
Raw data (loadavg): 1.04 1.04 0.95 2/66 3220
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18363 5 100 0 41455 70 0 1 17 0 11 0 1841610472 862433280 52489 4294967295 134512640 134569956 3221224336 3221214348 1131757260 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 52489 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 415.26
Current children cumulated vsize (Kb) 842220

[startup+460.052 s]
Raw data (loadavg): 1.03 1.04 0.95 2/66 3220
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18366 5 100 0 42429 70 0 1 17 0 11 0 1841610472 862433280 52489 4294967295 134512640 134569956 3221224336 3221214608 1131575790 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 52489 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 425
Current children cumulated vsize (Kb) 842220

[startup+470.053 s]
Raw data (loadavg): 1.03 1.04 0.95 2/66 3220
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18372 5 100 0 43351 71 0 1 16 0 11 0 1841610472 862433280 52792 4294967295 134512640 134569956 3221224336 3221214608 1131575650 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 52792 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 434.23
Current children cumulated vsize (Kb) 842220

[startup+480.054 s]
Raw data (loadavg): 1.02 1.03 0.95 2/66 3220
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18379 5 100 0 44256 71 0 1 17 0 11 0 1841610472 862433280 52792 4294967295 134512640 134569956 3221224336 3221214384 1131470806 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 52792 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 443.28
Current children cumulated vsize (Kb) 842220

[startup+490.055 s]
Raw data (loadavg): 1.02 1.03 0.95 2/66 3220
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18383 5 100 0 45185 71 0 1 16 0 11 0 1841610472 862433280 54062 4294967295 134512640 134569956 3221224336 3221214608 1131575507 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 54062 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 452.57
Current children cumulated vsize (Kb) 842220

[startup+500.056 s]
Raw data (loadavg): 1.01 1.03 0.95 2/66 3220
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18388 5 100 0 46118 71 0 1 17 0 11 0 1841610472 862433280 54062 4294967295 134512640 134569956 3221224336 3221214680 1131608835 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 54062 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (Kb) 842220

[startup+510.057 s]
Raw data (loadavg): 1.01 1.03 0.95 2/66 3220
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18395 5 100 0 47036 71 0 1 16 0 11 0 1841610472 862433280 55287 4294967295 134512640 134569956 3221224336 3221214624 1131694426 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 55287 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 471.08
Current children cumulated vsize (Kb) 842220

[startup+520.058 s]
Raw data (loadavg): 1.01 1.03 0.95 2/66 3220
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18401 5 100 0 47974 71 0 1 17 0 11 0 1841610472 862433280 55287 4294967295 134512640 134569956 3221224336 3221214608 1131575650 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 55287 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 480.46
Current children cumulated vsize (Kb) 842220
One traced child (pid=3220) exited with status: 0
New thread pid=3221

[startup+530.059 s]
Raw data (loadavg): 1.01 1.03 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18407 5 100 0 48895 72 0 1 22 0 11 0 1841610472 862433280 56443 4294967295 134512640 134569956 3221224336 3221214564 1085743744 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 56443 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 489.68
Current children cumulated vsize (Kb) 842220

[startup+540.06 s]
Raw data (loadavg): 1.01 1.03 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18410 5 100 0 49865 72 0 1 16 0 11 0 1841610472 862433280 56443 4294967295 134512640 134569956 3221224336 3221214520 1131516757 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 56443 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 499.38
Current children cumulated vsize (Kb) 842220

[startup+550.061 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18416 5 100 0 50803 73 0 1 16 0 11 0 1841610472 862433280 56443 4294967295 134512640 134569956 3221224336 3221214520 1131516603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 56443 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 508.77
Current children cumulated vsize (Kb) 842220

[startup+560.061 s]
Raw data (loadavg): 1.08 1.04 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18424 5 100 0 51715 73 0 1 17 0 11 0 1841610472 862433280 56443 4294967295 134512640 134569956 3221224336 3221214520 1131516603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 56443 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 517.89
Current children cumulated vsize (Kb) 842220

[startup+570.062 s]
Raw data (loadavg): 1.07 1.04 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18432 5 100 0 52610 73 0 1 16 0 11 0 1841610472 862433280 56909 4294967295 134512640 134569956 3221224336 3221214520 1131516208 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 56909 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 526.84
Current children cumulated vsize (Kb) 842220

[startup+580.063 s]
Raw data (loadavg): 1.06 1.04 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18437 5 100 0 53499 74 0 1 17 0 11 0 1841610472 862433280 61355 4294967295 134512640 134569956 3221224336 3221214344 1131486422 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 61355 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 535.74
Current children cumulated vsize (Kb) 842220

[startup+590.064 s]
Raw data (loadavg): 1.05 1.03 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18443 5 100 0 54456 74 0 1 16 0 11 0 1841610472 862433280 61355 4294967295 134512640 134569956 3221224336 3221214440 1131706262 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 61355 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 545.31
Current children cumulated vsize (Kb) 842220

[startup+600.065 s]
Raw data (loadavg): 1.04 1.03 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18449 5 100 0 55413 74 0 1 16 0 11 0 1841610472 862433280 61355 4294967295 134512640 134569956 3221224336 3221214412 1131057275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 61355 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 554.88
Current children cumulated vsize (Kb) 842220

[startup+610.066 s]
Raw data (loadavg): 1.03 1.03 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18454 5 100 0 56377 75 0 1 17 0 11 0 1841610472 862433280 61355 4294967295 134512640 134569956 3221224336 3221214344 1131486422 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 61355 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 564.53
Current children cumulated vsize (Kb) 842220

[startup+620.066 s]
Raw data (loadavg): 1.03 1.03 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18459 5 100 0 57342 75 0 1 17 0 11 0 1841610472 862433280 61355 4294967295 134512640 134569956 3221224336 3221214320 1131729848 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 61355 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 574.18
Current children cumulated vsize (Kb) 842220

[startup+630.067 s]
Raw data (loadavg): 1.02 1.03 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18465 5 100 0 58304 75 0 1 17 0 11 0 1841610472 862433280 61306 4294967295 134512640 134569956 3221224336 3221214400 1131486479 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 61306 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 583.8
Current children cumulated vsize (Kb) 842220

[startup+640.068 s]
Raw data (loadavg): 1.02 1.03 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18471 5 100 0 59260 75 0 1 17 0 11 0 1841610472 862433280 61560 4294967295 134512640 134569956 3221224336 3221214408 1131729848 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 61560 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 593.36
Current children cumulated vsize (Kb) 842220

[startup+650.069 s]
Raw data (loadavg): 1.02 1.03 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18477 5 100 0 60227 75 0 1 17 0 11 0 1841610472 862433280 61560 4294967295 134512640 134569956 3221224336 3221214496 1131706262 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 61560 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 603.03
Current children cumulated vsize (Kb) 842220

[startup+660.07 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18482 5 100 0 61200 75 0 1 20 0 11 0 1841610472 862433280 61560 4294967295 134512640 134569956 3221224336 3221214400 1131486247 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 61560 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 612.76
Current children cumulated vsize (Kb) 842220

[startup+670.071 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18488 5 100 0 62166 76 0 1 17 0 11 0 1841610472 862433280 61560 4294967295 134512640 134569956 3221224336 3221214496 1131706256 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 61560 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 622.43
Current children cumulated vsize (Kb) 842220

[startup+680.072 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18494 5 100 0 63133 76 0 1 16 0 11 0 1841610472 862433280 61666 4294967295 134512640 134569956 3221224336 3221214456 1131486585 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 61666 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 632.1
Current children cumulated vsize (Kb) 842220

[startup+690.072 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18500 5 100 0 64125 76 0 1 19 0 11 0 1841610472 862433280 61777 4294967295 134512640 134569956 3221224336 3221214456 1131486542 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 61777 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (Kb) 842220

[startup+700.074 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18506 5 100 0 65119 76 0 1 17 0 11 0 1841610472 862433280 61777 4294967295 134512640 134569956 3221224336 3221214468 1131057152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 61777 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 651.96
Current children cumulated vsize (Kb) 842220

[startup+710.075 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18511 5 100 0 66114 76 0 1 18 0 11 0 1841610472 862433280 61777 4294967295 134512640 134569956 3221224336 3221214400 1131486422 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 61777 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 661.91
Current children cumulated vsize (Kb) 842220

[startup+720.075 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18516 5 100 0 67088 76 0 1 17 0 11 0 1841610472 862433280 61777 4294967295 134512640 134569956 3221224336 3221214400 1131486376 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 61777 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 671.65
Current children cumulated vsize (Kb) 842220

[startup+730.076 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18522 5 100 0 68033 77 0 1 17 0 11 0 1841610472 862433280 61777 4294967295 134512640 134569956 3221224336 3221214400 1131486542 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 61777 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 681.11
Current children cumulated vsize (Kb) 842220

[startup+740.076 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18528 5 100 0 68979 77 0 1 17 0 11 0 1841610472 862433280 61777 4294967295 134512640 134569956 3221224336 3221214468 1131057275 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 61777 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 690.57
Current children cumulated vsize (Kb) 842220

[startup+750.077 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18534 5 100 0 69924 77 0 1 16 0 11 0 1841610472 862433280 61777 4294967295 134512640 134569956 3221224336 3221214496 1131706323 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 61777 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 700.02
Current children cumulated vsize (Kb) 842220

[startup+760.078 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18539 5 100 0 70878 78 0 1 16 0 11 0 1841610472 862433280 61777 4294967295 134512640 134569956 3221224336 3221214528 1131325401 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 61777 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 709.57
Current children cumulated vsize (Kb) 842220

[startup+770.079 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18544 5 100 0 71832 78 0 1 17 0 11 0 1841610472 862433280 61777 4294967295 134512640 134569956 3221224336 3221214400 1131486422 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 61777 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 719.11
Current children cumulated vsize (Kb) 842220

[startup+780.08 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18550 5 100 0 72809 79 0 1 20 0 11 0 1841610472 862433280 62314 4294967295 134512640 134569956 3221224336 3221214400 1131486734 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 62314 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 728.89
Current children cumulated vsize (Kb) 842220

[startup+790.081 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18556 5 100 0 73802 79 0 1 20 0 11 0 1841610472 862433280 62314 4294967295 134512640 134569956 3221224336 3221214472 1131325424 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 62314 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 738.82
Current children cumulated vsize (Kb) 842220

[startup+800.082 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18562 5 100 0 74796 80 0 1 25 0 11 0 1841610472 862433280 62314 4294967295 134512640 134569956 3221224336 3221214400 1131486542 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 62314 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 748.77
Current children cumulated vsize (Kb) 842220

[startup+810.082 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 3221
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18567 5 100 0 75781 81 0 1 22 0 11 0 1841610472 862433280 62314 4294967295 134512640 134569956 3221224336 3221214608 1131580139 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 62314 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 758.63
Current children cumulated vsize (Kb) 842220
One traced child (pid=3221) exited with status: 0
New thread pid=3222

[startup+820.083 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 3222
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18573 5 100 0 76756 82 0 1 21 0 11 0 1841610472 862433280 62314 4294967295 134512640 134569956 3221224336 3221214648 1131813107 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 62314 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 768.39
Current children cumulated vsize (Kb) 842220

[startup+830.084 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 3222
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18575 5 100 0 77744 82 0 1 25 0 11 0 1841610472 862433280 62314 4294967295 134512640 134569956 3221224336 3221214520 1131516607 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 62314 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 778.27
Current children cumulated vsize (Kb) 842220

[startup+840.085 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 3222
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18580 5 100 0 78710 82 0 1 16 0 11 0 1841610472 862433280 62314 4294967295 134512640 134569956 3221224336 3221214608 1131576779 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 62314 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 787.93
Current children cumulated vsize (Kb) 842220

[startup+850.086 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 3222
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18587 5 100 0 79650 82 0 1 17 0 11 0 1841610472 862433280 62314 4294967295 134512640 134569956 3221224336 3221214608 1131575650 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 62314 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 797.33
Current children cumulated vsize (Kb) 842220

[startup+860.086 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 3222
Raw data (/proc/3191/stat): 3191 (java) S 3190 3191 31027 0 -1 0 18595 5 100 0 80564 82 0 1 16 0 11 0 1841610472 862433280 62321 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 62321 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 806.47
Current children cumulated vsize (Kb) 842220

[startup+870.087 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3222
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18601 5 100 0 81473 83 0 1 16 0 11 0 1841610472 862433280 63531 4294967295 134512640 134569956 3221224336 3221214608 1131575643 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 63531 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 815.57
Current children cumulated vsize (Kb) 842220

[startup+880.088 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3222
Raw data (/proc/3191/stat): 3191 (java) S 3190 3191 31027 0 -1 0 18606 5 100 0 82423 83 0 1 17 0 11 0 1841610472 862433280 64307 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 64307 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 825.07
Current children cumulated vsize (Kb) 842220
One traced child (pid=3222) exited with status: 0
New thread pid=3223

[startup+890.089 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18611 5 100 0 83352 83 0 1 16 0 11 0 1841610472 862433280 64541 4294967295 134512640 134569956 3221224336 3221214320 1085806260 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 64541 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 834.36
Current children cumulated vsize (Kb) 842220

[startup+900.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18612 5 100 0 84337 83 0 1 21 0 11 0 1841610472 862433280 64709 4294967295 134512640 134569956 3221224336 3221214648 1131680914 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 64709 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 844.21
Current children cumulated vsize (Kb) 842220

[startup+910.091 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18617 5 100 0 85264 84 0 1 16 0 11 0 1841610472 862433280 65428 4294967295 134512640 134569956 3221224336 3221214608 1131576597 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 65428 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 853.49
Current children cumulated vsize (Kb) 842220

[startup+920.091 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18624 5 100 0 86185 84 0 1 16 0 11 0 1841610472 862433280 65428 4294967295 134512640 134569956 3221224336 3221214520 1131517312 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 65428 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 862.7
Current children cumulated vsize (Kb) 842220

[startup+930.092 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18632 5 100 0 87096 84 0 1 16 0 11 0 1841610472 862433280 65428 4294967295 134512640 134569956 3221224336 3221214520 1131516603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 65428 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 871.81
Current children cumulated vsize (Kb) 842220

[startup+940.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18637 5 100 0 88008 84 0 1 17 0 11 0 1841610472 862433280 66897 4294967295 134512640 134569956 3221224336 3221214496 1131706390 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 66897 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 880.93
Current children cumulated vsize (Kb) 842220

[startup+950.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18643 5 100 0 88961 84 0 1 17 0 11 0 1841610472 862433280 66897 4294967295 134512640 134569956 3221224336 3221214468 1131057275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 66897 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 890.46
Current children cumulated vsize (Kb) 842220

[startup+960.094 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18649 5 100 0 89913 84 0 1 17 0 11 0 1841610472 862433280 66897 4294967295 134512640 134569956 3221224336 3221214496 1131706625 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 66897 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 899.98
Current children cumulated vsize (Kb) 842220

[startup+970.095 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18655 5 100 0 90865 85 0 1 16 0 11 0 1841610472 862433280 66897 4294967295 134512640 134569956 3221224336 3221214496 1131706256 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 66897 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 909.51
Current children cumulated vsize (Kb) 842220

[startup+980.096 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18660 5 100 0 91826 85 0 1 16 0 11 0 1841610472 862433280 66897 4294967295 134512640 134569956 3221224336 3221214400 1131486250 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 66897 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 919.12
Current children cumulated vsize (Kb) 842220

[startup+990.097 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18665 5 100 0 92782 85 0 1 16 0 11 0 1841610472 862433280 66897 4294967295 134512640 134569956 3221224336 3221214456 1131486695 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 66897 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 928.68
Current children cumulated vsize (Kb) 842220

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18671 5 100 0 93743 85 0 1 17 0 11 0 1841610472 862433280 67208 4294967295 134512640 134569956 3221224336 3221214400 1131486448 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67208 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 938.29
Current children cumulated vsize (Kb) 842220

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18677 5 100 0 94711 85 0 1 16 0 11 0 1841610472 862433280 67208 4294967295 134512640 134569956 3221224336 3221214400 1131486602 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67208 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 947.97
Current children cumulated vsize (Kb) 842220

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18682 5 100 0 95682 86 0 1 19 0 11 0 1841610472 862433280 67208 4294967295 134512640 134569956 3221224336 3221214496 1131706390 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 67208 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 957.69
Current children cumulated vsize (Kb) 842220

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18687 5 100 0 96656 87 0 1 20 0 11 0 1841610472 862433280 67208 4294967295 134512640 134569956 3221224336 3221214472 1131325396 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 67208 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 967.44
Current children cumulated vsize (Kb) 842220

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18694 5 100 0 97622 87 0 1 16 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214496 1131706390 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 977.1
Current children cumulated vsize (Kb) 842220

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18700 5 100 0 98615 87 0 1 25 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214468 1131057236 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 987.03
Current children cumulated vsize (Kb) 842220

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18706 5 100 0 99608 87 0 1 19 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214496 1131706390 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 996.96
Current children cumulated vsize (Kb) 842220

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18711 5 100 0 100602 88 0 1 20 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214472 1131325384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1006.91
Current children cumulated vsize (Kb) 842220

[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18717 5 100 0 101594 88 0 1 18 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214468 1131057176 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1016.83
Current children cumulated vsize (Kb) 842220

[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18723 5 100 0 102587 89 0 1 25 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214408 1131730337 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1026.77
Current children cumulated vsize (Kb) 842220

[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18729 5 100 0 103581 89 0 1 25 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214492 1131325344 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1036.71
Current children cumulated vsize (Kb) 842220

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18735 5 100 0 104574 89 0 1 20 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214400 1131486781 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1046.64
Current children cumulated vsize (Kb) 842220

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18741 5 100 0 105567 90 0 1 18 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214400 1131486422 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1056.58
Current children cumulated vsize (Kb) 842220

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18747 5 100 0 106560 90 0 1 17 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214408 1131730409 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1066.51
Current children cumulated vsize (Kb) 842220

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18753 5 100 0 107553 90 0 1 17 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214496 1131706304 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1076.44
Current children cumulated vsize (Kb) 842220

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18759 5 100 0 108547 90 0 1 17 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214496 1131706484 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1086.38
Current children cumulated vsize (Kb) 842220

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18764 5 100 0 109541 90 0 1 25 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214408 1131731853 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1096.32
Current children cumulated vsize (Kb) 842220

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18770 5 100 0 110534 91 0 1 21 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214496 1131706772 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1106.26
Current children cumulated vsize (Kb) 842220

[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18777 5 100 0 111527 91 0 1 16 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214472 1131325413 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1116.19
Current children cumulated vsize (Kb) 842220

[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18782 5 100 0 112521 92 0 1 18 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214496 1131706610 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1126.14
Current children cumulated vsize (Kb) 842220

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18788 5 100 0 113514 92 0 1 19 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214496 1131706232 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1136.07
Current children cumulated vsize (Kb) 842220

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18794 5 100 0 114507 92 0 1 21 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214496 1131706381 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1146
Current children cumulated vsize (Kb) 842220

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18800 5 100 0 115500 92 0 1 17 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214552 1131858343 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1155.93
Current children cumulated vsize (Kb) 842220

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18806 5 100 0 116493 93 0 1 17 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214400 1131486353 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1165.87
Current children cumulated vsize (Kb) 842220

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18811 5 100 0 117488 93 0 1 18 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214468 1131057152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1175.82
Current children cumulated vsize (Kb) 842220

[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18817 5 100 0 118481 93 0 1 17 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214456 1131486542 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1185.75
Current children cumulated vsize (Kb) 842220

[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18823 5 100 0 119475 93 0 1 20 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214400 1131486369 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1195.69
Current children cumulated vsize (Kb) 842220

[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18829 5 100 0 120468 93 0 1 25 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214496 1131706390 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1205.62
Current children cumulated vsize (Kb) 842220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 3223
Raw data (/proc/3191/stat): 3191 (java) R 3190 3191 31027 0 -1 0 18829 5 100 0 120468 93 0 1 25 0 11 0 1841610472 862433280 67400 4294967295 134512640 134569956 3221224336 3221214496 1131706390 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3191/statm): 210555 67400 13129 16 0 210539 0
[pid=3191] vsize: 842220
Current children cumulated CPU time (s) 1205.62
Current children cumulated vsize (Kb) 842220

Sending SIGTERM to -3191
Sleeping 2 seconds
New thread pid=3225
New thread pid=3226
One traced child (pid=3226) exited with status: 0
One traced child (pid=3200) exited with status: 0
One traced child (pid=3195) exited with status: 0
One traced child (pid=3192) exited with status: 143
One traced child (pid=3194) exited with status: 143
One traced child (pid=3193) exited with status: 143
One traced child (pid=3196) exited with status: 143
One traced child (pid=3199) exited with status: 143
One traced child (pid=3223) exited with status: 143
One traced child (pid=3198) exited with status: 143
One traced child (pid=3197) exited with status: 143
One traced child (pid=3225) exited with status: 143
One traced child (pid=3191) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1270.73
CPU time (s): 1281.09
CPU user time (s): 1278.41
CPU system time (s): 2.67759
CPU usage (%): 100.815
Max. virtual memory (cumulated for all children) (Kb): 842220

Verifier Data

Verifier:	OK	243