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/een/normalized-seymour.opb
MD5SUM23a177449585151350479e80b33e6416
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 343
Optimality of the best value was proved NO
Number of terms in the objective function 1372
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 1372
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1372
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.02
Number of variables1255
Total number of constraints4827
Number of constraints which are clauses4827
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 constraint19

Trace number 3252

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-18 22:46:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6148 boxname=wulflinc29 idbench=288 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  23a177449585151350479e80b33e6416  /oldhome/oroussel/tmp/wulflinc29/normalized-seymour.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc29/normalized-seymour.opb
IDLAUNCH: 6148
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        907544 kB
Buffers:         33924 kB
Cached:          63680 kB
SwapCached:        792 kB
Active:          34616 kB
Inactive:        65664 kB
HighTotal:      131008 kB
HighFree:        66276 kB
LowTotal:       903652 kB
LowFree:        841268 kB
SwapTotal:     2097892 kB
SwapFree:      2096664 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            21220 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 23:07:38 (client local time) WITH STATUS 143 IN 1256.9 SECONDS
stats: 6148 0 1256.9 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/wulflinc29/normalized-seymour.opb
c reading problem ... done. Time 3.663 ms.
c #vars     1372
c #constraints  4827
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 385 		Current CPU time: 4.30 ms
c CURRENT OPTIMUM=                 384 		Current CPU time: 6.50 ms
c CURRENT OPTIMUM=                 383 		Current CPU time: 8.66 ms
c CURRENT OPTIMUM=                 382 		Current CPU time: 47.69 ms
c CURRENT OPTIMUM=                 381 		Current CPU time: 51.94 ms
c CURRENT OPTIMUM=                 380 		Current CPU time: 58.67 ms
c CURRENT OPTIMUM=                 379 		Current CPU time: 690.33 ms
c starts		: 10
c conflicts		: 612
c decisions		: 14038
c propagations		: 29150
c inspects		: 463830
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 611
c root simplifications	: 10
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 25.137343943615566
c non guided choices	7179
c random choices	0
s SATISFIABLE
v -x0 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 
c objective function=379
c Total CPU time (ms) : 1248.979

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/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1844956308 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 39 3 38 16 0 23 0
[pid=25720] 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/25720
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=25721
New thread pid=25722
New thread pid=25723
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=25724
New thread pid=25725
New thread pid=25726
New thread pid=25727
New thread pid=25728
New thread pid=25729
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/wulflinc29/normalized-seymour.opb
New thread pid=25730
One traced child (pid=25730) exited with status: 0
New thread pid=25731
One traced child (pid=25731) exited with status: 0
New thread pid=25732
One traced child (pid=25732) exited with status: 0

[startup+10.0026 s]
Raw data (loadavg): 1.16 1.03 1.01 2/65 25732
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18191 4 1 0 724 52 0 0 25 0 10 0 1844956308 856031232 21339 4294967295 134512640 134569956 3221224336 3221214796 1131077155 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 208992 21339 13129 16 0 208976 0
[pid=25720] vsize: 835968
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (Kb) 835968
New thread pid=25733

[startup+20.0034 s]
Raw data (loadavg): 1.13 1.03 1.01 2/66 25733
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18200 4 1 0 1654 53 0 0 20 0 11 0 1844956308 857378816 22999 4294967295 134512640 134569956 3221224336 3221214504 1131434834 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 209321 22999 13129 16 0 209305 0
[pid=25720] vsize: 837284
Current children cumulated CPU time (s) 17.07
Current children cumulated vsize (Kb) 837284

[startup+30.0042 s]
Raw data (loadavg): 1.11 1.03 1.01 2/66 25733
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18208 4 1 0 2613 53 0 0 25 0 11 0 1844956308 860946432 23936 4294967295 134512640 134569956 3221224336 3221214560 1131513189 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210192 23936 13129 16 0 210176 0
[pid=25720] vsize: 840768
Current children cumulated CPU time (s) 26.66
Current children cumulated vsize (Kb) 840768

[startup+40.004 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 25733
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18215 4 1 0 3564 53 0 0 25 0 11 0 1844956308 860225536 23762 4294967295 134512640 134569956 3221224336 3221214504 1131434954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 23762 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 36.17
Current children cumulated vsize (Kb) 840064
One traced child (pid=25733) exited with status: 0
New thread pid=25734

[startup+50.0048 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 25734
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18222 4 1 0 4512 54 0 0 19 0 11 0 1844956308 860225536 23762 4294967295 134512640 134569956 3221224336 3221214696 1131407744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 23762 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 45.66
Current children cumulated vsize (Kb) 840064
One traced child (pid=25734) exited with status: 0
New thread pid=25735
One traced child (pid=25735) exited with status: 0

[startup+60.0045 s]
Raw data (loadavg): 1.07 1.03 1.01 2/65 25735
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18232 4 1 0 5402 54 0 0 17 0 10 0 1844956308 860225536 26007 4294967295 134512640 134569956 3221224336 3221214672 1131458609 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 26007 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 54.56
Current children cumulated vsize (Kb) 840064
New thread pid=25736

[startup+70.0053 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18239 4 1 0 6329 55 0 0 25 0 11 0 1844956308 860225536 26887 4294967295 134512640 134569956 3221224336 3221214440 1131434834 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 26887 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 63.84
Current children cumulated vsize (Kb) 840064

[startup+80.0061 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18245 4 1 0 7276 55 0 0 24 0 11 0 1844956308 860225536 26887 4294967295 134512640 134569956 3221224336 3221214632 1131470155 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 26887 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 73.31
Current children cumulated vsize (Kb) 840064

[startup+90.0069 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18250 4 1 0 8225 56 0 0 25 0 11 0 1844956308 860225536 26887 4294967295 134512640 134569956 3221224336 3221214440 1131435107 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 26887 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 82.81
Current children cumulated vsize (Kb) 840064

[startup+100.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18256 4 1 0 9162 56 0 0 20 0 11 0 1844956308 860225536 26887 4294967295 134512640 134569956 3221224336 3221214528 1131578336 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 26887 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 92.18
Current children cumulated vsize (Kb) 840064

[startup+110.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) S 25719 25720 19818 0 -1 0 18261 4 1 0 10106 56 0 0 17 0 11 0 1844956308 860225536 26935 4294967295 134512640 134569956 3221224336 3221213176 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 26935 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (Kb) 840064

[startup+120.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18268 4 1 0 11043 56 0 0 25 0 11 0 1844956308 860225536 27214 4294967295 134512640 134569956 3221224336 3221214524 1131505161 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 27214 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 110.99
Current children cumulated vsize (Kb) 840064

[startup+130.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18274 4 1 0 11989 57 0 0 25 0 11 0 1844956308 860225536 27543 4294967295 134512640 134569956 3221224336 3221214528 1131578321 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 27543 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 120.46
Current children cumulated vsize (Kb) 840064

[startup+140.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18279 4 1 0 12952 57 0 0 25 0 11 0 1844956308 860225536 27714 4294967295 134512640 134569956 3221224336 3221214432 1131435231 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 27714 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 130.09
Current children cumulated vsize (Kb) 840064

[startup+150.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18286 4 1 0 13896 57 0 0 24 0 11 0 1844956308 860225536 27755 4294967295 134512640 134569956 3221224336 3221214432 1131434997 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 27755 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 139.53
Current children cumulated vsize (Kb) 840064

[startup+160.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18291 4 1 0 14845 58 0 0 25 0 11 0 1844956308 860225536 28010 4294967295 134512640 134569956 3221224336 3221214432 1131435584 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 28010 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 149.03
Current children cumulated vsize (Kb) 840064

[startup+170.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18297 4 1 0 15787 58 0 0 25 0 11 0 1844956308 860225536 28094 4294967295 134512640 134569956 3221224336 3221214440 1131434937 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 28094 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 158.45
Current children cumulated vsize (Kb) 840064

[startup+180.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18303 4 1 0 16732 58 0 0 17 0 11 0 1844956308 860225536 28178 4294967295 134512640 134569956 3221224336 3221214540 1131645262 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 28178 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 167.9
Current children cumulated vsize (Kb) 840064

[startup+190.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18308 4 1 0 17689 59 0 0 25 0 11 0 1844956308 860225536 28221 4294967295 134512640 134569956 3221224336 3221214536 1131534643 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 28221 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 177.48
Current children cumulated vsize (Kb) 840064

[startup+200.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18314 4 1 0 18641 59 0 0 22 0 11 0 1844956308 860225536 28387 4294967295 134512640 134569956 3221224336 3221214432 1131434834 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 28387 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 187
Current children cumulated vsize (Kb) 840064

[startup+210.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18320 4 1 0 19608 59 0 0 20 0 11 0 1844956308 860225536 28760 4294967295 134512640 134569956 3221224336 3221214528 1131578608 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 28760 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 196.67
Current children cumulated vsize (Kb) 840064

[startup+220.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18326 4 1 0 20585 59 0 0 25 0 11 0 1844956308 860225536 28808 4294967295 134512640 134569956 3221224336 3221214484 1131057186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 28808 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 206.44
Current children cumulated vsize (Kb) 840064

[startup+230.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18332 4 1 0 21564 60 0 0 25 0 11 0 1844956308 860225536 28874 4294967295 134512640 134569956 3221224336 3221214508 1131395376 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 28874 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 216.24
Current children cumulated vsize (Kb) 840064

[startup+240.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18337 4 1 0 22549 60 0 0 25 0 11 0 1844956308 860225536 28895 4294967295 134512640 134569956 3221224336 3221214528 1131578175 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 28895 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 226.09
Current children cumulated vsize (Kb) 840064

[startup+250.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18343 4 1 0 23528 61 0 0 25 0 11 0 1844956308 860225536 28917 4294967295 134512640 134569956 3221224336 3221214508 1131395376 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 28917 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 235.89
Current children cumulated vsize (Kb) 840064

[startup+260.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18349 4 1 0 24508 61 0 0 25 0 11 0 1844956308 860225536 28986 4294967295 134512640 134569956 3221224336 3221214528 1131578336 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 28986 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 245.69
Current children cumulated vsize (Kb) 840064

[startup+270.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18355 4 1 0 25490 61 0 0 25 0 11 0 1844956308 860225536 29028 4294967295 134512640 134569956 3221224336 3221214432 1131435172 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 29028 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 255.51
Current children cumulated vsize (Kb) 840064

[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18361 4 1 0 26471 61 0 0 25 0 11 0 1844956308 860225536 29049 4294967295 134512640 134569956 3221224336 3221214496 1131513283 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 29049 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 265.32
Current children cumulated vsize (Kb) 840064

[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18367 4 1 0 27451 62 0 0 22 0 11 0 1844956308 860225536 29070 4294967295 134512640 134569956 3221224336 3221214432 1131583422 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 29070 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 275.13
Current children cumulated vsize (Kb) 840064

[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18373 4 1 0 28431 62 0 0 19 0 11 0 1844956308 860225536 29092 4294967295 134512640 134569956 3221224336 3221214536 1131534627 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 29092 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 284.93
Current children cumulated vsize (Kb) 840064

[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18379 4 1 0 29409 62 0 0 25 0 11 0 1844956308 860225536 29139 4294967295 134512640 134569956 3221224336 3221214528 1131578321 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 29139 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 294.71
Current children cumulated vsize (Kb) 840064

[startup+320.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18384 4 1 0 30389 63 0 0 25 0 11 0 1844956308 860225536 29161 4294967295 134512640 134569956 3221224336 3221214432 1131434997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 29161 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 304.52
Current children cumulated vsize (Kb) 840064

[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18390 4 1 0 31366 63 0 0 25 0 11 0 1844956308 860225536 29183 4294967295 134512640 134569956 3221224336 3221214432 1131584287 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 29183 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 314.29
Current children cumulated vsize (Kb) 840064

[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18394 4 1 0 32348 64 0 0 25 0 11 0 1844956308 860225536 29226 4294967295 134512640 134569956 3221224336 3221214632 1131469860 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 29226 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 324.12
Current children cumulated vsize (Kb) 840064

[startup+350.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18400 4 1 0 33321 65 0 0 25 0 11 0 1844956308 860225536 29270 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 29270 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 333.86
Current children cumulated vsize (Kb) 840064

[startup+360.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18407 4 1 0 34293 65 0 0 25 0 11 0 1844956308 860225536 29312 4294967295 134512640 134569956 3221224336 3221214680 1131407765 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 29312 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 343.58
Current children cumulated vsize (Kb) 840064

[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18415 4 1 0 35266 65 0 0 25 0 11 0 1844956308 860225536 29399 4294967295 134512640 134569956 3221224336 3221214544 1131448312 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 29399 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 353.31
Current children cumulated vsize (Kb) 840064

[startup+380.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18424 4 1 0 36240 66 0 0 17 0 11 0 1844956308 860225536 29455 4294967295 134512640 134569956 3221224336 3221214728 1131488048 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 29455 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 363.06
Current children cumulated vsize (Kb) 840064

[startup+390.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18432 4 1 0 37224 66 0 0 25 0 11 0 1844956308 860225536 29488 4294967295 134512640 134569956 3221224336 3221214680 1131407761 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 29488 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 372.9
Current children cumulated vsize (Kb) 840064

[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18441 4 1 0 38209 66 0 0 25 0 11 0 1844956308 860225536 29516 4294967295 134512640 134569956 3221224336 3221214632 1131470674 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 29516 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 382.75
Current children cumulated vsize (Kb) 840064

[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18451 4 1 0 39193 66 0 0 17 0 11 0 1844956308 860225536 29537 4294967295 134512640 134569956 3221224336 3221214704 1131478129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 29537 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 392.59
Current children cumulated vsize (Kb) 840064

[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18458 4 1 0 40143 67 0 0 16 0 11 0 1844956308 860225536 30457 4294967295 134512640 134569956 3221224336 3221214680 1131407832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 30457 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (Kb) 840064

[startup+430.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) S 25719 25720 19818 0 -1 0 18465 4 1 0 41085 67 0 0 25 0 11 0 1844956308 860225536 30871 4294967295 134512640 134569956 3221224336 3221213376 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 30871 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 411.52
Current children cumulated vsize (Kb) 840064

[startup+440.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18472 4 1 0 42007 67 0 0 25 0 11 0 1844956308 860225536 31620 4294967295 134512640 134569956 3221224336 3221214440 1131434705 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 31620 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 420.74
Current children cumulated vsize (Kb) 840064

[startup+450.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18477 4 1 0 42946 68 0 0 17 0 11 0 1844956308 860225536 32067 4294967295 134512640 134569956 3221224336 3221214536 1131534545 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 32067 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 430.14
Current children cumulated vsize (Kb) 840064

[startup+460.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18480 4 1 0 43915 68 0 0 25 0 11 0 1844956308 860225536 32067 4294967295 134512640 134569956 3221224336 3221214680 1131407761 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 32067 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 439.83
Current children cumulated vsize (Kb) 840064

[startup+470.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18486 4 1 0 44852 68 0 0 15 0 11 0 1844956308 860225536 32067 4294967295 134512640 134569956 3221224336 3221214680 1131407871 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 32067 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 449.2
Current children cumulated vsize (Kb) 840064

[startup+480.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18492 4 1 0 45789 68 0 0 25 0 11 0 1844956308 860225536 32067 4294967295 134512640 134569956 3221224336 3221214632 1131470051 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 32067 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 458.57
Current children cumulated vsize (Kb) 840064

[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18500 4 1 0 46704 69 0 0 15 0 11 0 1844956308 860225536 32299 4294967295 134512640 134569956 3221224336 3221214632 1131470085 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 32299 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 467.73
Current children cumulated vsize (Kb) 840064

[startup+500.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18507 4 1 0 47654 69 0 0 25 0 11 0 1844956308 860225536 32821 4294967295 134512640 134569956 3221224336 3221214632 1131470695 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 32821 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 477.23
Current children cumulated vsize (Kb) 840064

[startup+510.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18516 4 1 0 48638 69 0 0 19 0 11 0 1844956308 860225536 32912 4294967295 134512640 134569956 3221224336 3221214728 1131487877 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 32912 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 487.07
Current children cumulated vsize (Kb) 840064

[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18525 4 1 0 49625 69 0 0 17 0 11 0 1844956308 860225536 32930 4294967295 134512640 134569956 3221224336 3221214632 1131470155 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 32930 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 496.94
Current children cumulated vsize (Kb) 840064

[startup+530.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18533 4 1 0 50616 69 0 0 25 0 11 0 1844956308 860225536 32937 4294967295 134512640 134569956 3221224336 3221214680 1131407797 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 32937 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 506.85
Current children cumulated vsize (Kb) 840064

[startup+540.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18542 4 1 0 51604 70 0 0 25 0 11 0 1844956308 860225536 32941 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 32941 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 516.74
Current children cumulated vsize (Kb) 840064

[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18552 4 1 0 52593 70 0 0 24 0 11 0 1844956308 860225536 32946 4294967295 134512640 134569956 3221224336 3221214680 1131407741 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 32946 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 526.63
Current children cumulated vsize (Kb) 840064

[startup+560.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18561 4 1 0 53582 70 0 0 25 0 11 0 1844956308 860225536 32950 4294967295 134512640 134569956 3221224336 3221214632 1131470323 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 32950 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 536.52
Current children cumulated vsize (Kb) 840064

[startup+570.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18570 4 1 0 54569 71 0 0 25 0 11 0 1844956308 860225536 32954 4294967295 134512640 134569956 3221224336 3221214680 1131407761 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 32954 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 546.4
Current children cumulated vsize (Kb) 840064

[startup+580.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18580 4 1 0 55556 71 0 0 17 0 11 0 1844956308 860225536 32959 4294967295 134512640 134569956 3221224336 3221214632 1131469846 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 32959 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 556.27
Current children cumulated vsize (Kb) 840064

[startup+590.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18589 4 1 0 56545 72 0 0 25 0 11 0 1844956308 860225536 32964 4294967295 134512640 134569956 3221224336 3221214680 1131407942 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 32964 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 566.17
Current children cumulated vsize (Kb) 840064

[startup+600.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18598 4 1 0 57510 72 0 0 25 0 11 0 1844956308 860225536 32990 4294967295 134512640 134569956 3221224336 3221214624 1131549750 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 32990 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 575.82
Current children cumulated vsize (Kb) 840064

[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18605 4 1 0 58435 72 0 0 25 0 11 0 1844956308 860225536 34401 4294967295 134512640 134569956 3221224336 3221214648 1131434834 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 34401 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 585.07
Current children cumulated vsize (Kb) 840064

[startup+620.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18610 4 1 0 59353 73 0 0 25 0 11 0 1844956308 860225536 35924 4294967295 134512640 134569956 3221224336 3221214744 1131515094 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 35924 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 594.26
Current children cumulated vsize (Kb) 840064

[startup+630.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18616 4 1 0 60309 73 0 0 18 0 11 0 1844956308 860225536 36410 4294967295 134512640 134569956 3221224336 3221214728 1131487873 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 36410 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 603.82
Current children cumulated vsize (Kb) 840064

[startup+640.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18621 4 1 0 61275 73 0 0 25 0 11 0 1844956308 860225536 36410 4294967295 134512640 134569956 3221224336 3221214632 1131470095 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 36410 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 613.48
Current children cumulated vsize (Kb) 840064

[startup+650.055 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18627 4 1 0 62228 73 0 0 22 0 11 0 1844956308 860225536 36410 4294967295 134512640 134569956 3221224336 3221214728 1131487877 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 36410 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 623.01
Current children cumulated vsize (Kb) 840064

[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18633 4 1 0 63174 73 0 0 25 0 11 0 1844956308 860225536 36410 4294967295 134512640 134569956 3221224336 3221214512 1131434997 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 36410 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 632.47
Current children cumulated vsize (Kb) 840064

[startup+670.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18639 4 1 0 64113 74 0 0 17 0 11 0 1844956308 860225536 36410 4294967295 134512640 134569956 3221224336 3221214512 1131434867 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 36410 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (Kb) 840064

[startup+680.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18644 4 1 0 65070 74 0 0 25 0 11 0 1844956308 860225536 36862 4294967295 134512640 134569956 3221224336 3221214512 1131435584 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 36862 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 651.44
Current children cumulated vsize (Kb) 840064

[startup+690.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25736
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18652 4 1 0 66015 74 0 0 25 0 11 0 1844956308 860225536 36908 4294967295 134512640 134569956 3221224336 3221214632 1131470155 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 36908 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 660.89
Current children cumulated vsize (Kb) 840064
One traced child (pid=25736) exited with status: 0
New thread pid=25737

[startup+700.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18656 4 1 0 66987 74 0 0 21 0 11 0 1844956308 860225536 36996 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 36996 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 670.61
Current children cumulated vsize (Kb) 840064

[startup+710.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18661 4 1 0 67954 75 0 0 25 0 11 0 1844956308 860225536 37083 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37083 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 680.29
Current children cumulated vsize (Kb) 840064

[startup+720.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18667 4 1 0 68920 75 0 0 25 0 11 0 1844956308 860225536 37195 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37195 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 689.95
Current children cumulated vsize (Kb) 840064

[startup+730.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18675 4 1 0 69885 75 0 0 25 0 11 0 1844956308 860225536 37375 4294967295 134512640 134569956 3221224336 3221214680 1131407761 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37375 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 699.6
Current children cumulated vsize (Kb) 840064

[startup+740.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18683 4 1 0 70860 75 0 0 25 0 11 0 1844956308 860225536 37401 4294967295 134512640 134569956 3221224336 3221214632 1131470607 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37401 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 709.35
Current children cumulated vsize (Kb) 840064

[startup+750.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18691 4 1 0 71841 75 0 0 24 0 11 0 1844956308 860225536 37477 4294967295 134512640 134569956 3221224336 3221214680 1131407761 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37477 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 719.16
Current children cumulated vsize (Kb) 840064

[startup+760.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18700 4 1 0 72825 76 0 0 21 0 11 0 1844956308 860225536 37509 4294967295 134512640 134569956 3221224336 3221214728 1131487877 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37509 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 729.01
Current children cumulated vsize (Kb) 840064

[startup+770.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18709 4 1 0 73809 76 0 0 25 0 11 0 1844956308 860225536 37529 4294967295 134512640 134569956 3221224336 3221214632 1131470323 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37529 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 738.85
Current children cumulated vsize (Kb) 840064

[startup+780.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18718 4 1 0 74795 76 0 0 25 0 11 0 1844956308 860225536 37545 4294967295 134512640 134569956 3221224336 3221214680 1131407904 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37545 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 748.71
Current children cumulated vsize (Kb) 840064

[startup+790.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18728 4 1 0 75780 77 0 0 25 0 11 0 1844956308 860225536 37560 4294967295 134512640 134569956 3221224336 3221214680 1131407761 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37560 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 758.57
Current children cumulated vsize (Kb) 840064

[startup+800.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18737 4 1 0 76767 77 0 0 25 0 11 0 1844956308 860225536 37571 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37571 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 768.44
Current children cumulated vsize (Kb) 840064

[startup+810.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18744 4 1 0 77755 78 0 0 25 0 11 0 1844956308 860225536 37578 4294967295 134512640 134569956 3221224336 3221214608 1131578247 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37578 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 778.33
Current children cumulated vsize (Kb) 840064

[startup+820.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18750 4 1 0 78737 78 0 0 25 0 11 0 1844956308 860225536 37583 4294967295 134512640 134569956 3221224336 3221214592 1131397360 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37583 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 788.15
Current children cumulated vsize (Kb) 840064

[startup+830.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18757 4 1 0 79717 79 0 0 25 0 11 0 1844956308 860225536 37592 4294967295 134512640 134569956 3221224336 3221214608 1131578229 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37592 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 797.96
Current children cumulated vsize (Kb) 840064

[startup+840.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) S 25719 25720 19818 0 -1 0 18762 4 1 0 80696 79 0 0 17 0 11 0 1844956308 860225536 37601 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37601 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 807.75
Current children cumulated vsize (Kb) 840064

[startup+850.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18769 4 1 0 81669 80 0 0 16 0 11 0 1844956308 860225536 37615 4294967295 134512640 134569956 3221224336 3221214608 1131578151 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37615 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 817.49
Current children cumulated vsize (Kb) 840064

[startup+860.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18774 4 1 0 82648 80 0 0 25 0 11 0 1844956308 860225536 37620 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37620 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 827.28
Current children cumulated vsize (Kb) 840064

[startup+870.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18780 4 1 0 83623 80 0 0 25 0 11 0 1844956308 860225536 37686 4294967295 134512640 134569956 3221224336 3221214512 1131434954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37686 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 837.03
Current children cumulated vsize (Kb) 840064

[startup+880.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18786 4 1 0 84600 81 0 0 25 0 11 0 1844956308 860225536 37707 4294967295 134512640 134569956 3221224336 3221214608 1131578417 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37707 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 846.81
Current children cumulated vsize (Kb) 840064

[startup+890.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18792 4 1 0 85581 81 0 0 25 0 11 0 1844956308 860225536 37773 4294967295 134512640 134569956 3221224336 3221214512 1131582987 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37773 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 856.62
Current children cumulated vsize (Kb) 840064

[startup+900.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18798 4 1 0 86564 82 0 0 25 0 11 0 1844956308 860225536 37837 4294967295 134512640 134569956 3221224336 3221214512 1131434997 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37837 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 866.46
Current children cumulated vsize (Kb) 840064

[startup+910.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18804 4 1 0 87545 82 0 0 25 0 11 0 1844956308 860225536 37860 4294967295 134512640 134569956 3221224336 3221214632 1131469669 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37860 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 876.27
Current children cumulated vsize (Kb) 840064

[startup+920.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18810 4 1 0 88525 82 0 0 25 0 11 0 1844956308 860225536 37880 4294967295 134512640 134569956 3221224336 3221214564 1131057207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37880 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 886.07
Current children cumulated vsize (Kb) 840064

[startup+930.078 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18816 4 1 0 89505 83 0 0 22 0 11 0 1844956308 860225536 37880 4294967295 134512640 134569956 3221224336 3221214728 1131487717 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37880 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 895.88
Current children cumulated vsize (Kb) 840064

[startup+940.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18822 4 1 0 90484 83 0 0 25 0 11 0 1844956308 860225536 37904 4294967295 134512640 134569956 3221224336 3221214512 1131583429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37904 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 905.67
Current children cumulated vsize (Kb) 840064

[startup+950.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18828 4 1 0 91461 84 0 0 25 0 11 0 1844956308 860225536 37925 4294967295 134512640 134569956 3221224336 3221214512 1131583429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 37925 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 915.45
Current children cumulated vsize (Kb) 840064

[startup+960.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18834 4 1 0 92439 85 0 0 25 0 11 0 1844956308 860225536 37966 4294967295 134512640 134569956 3221224336 3221214544 1131448324 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 37966 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 925.24
Current children cumulated vsize (Kb) 840064

[startup+970.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18840 4 1 0 93420 85 0 0 25 0 11 0 1844956308 860225536 38051 4294967295 134512640 134569956 3221224336 3221214608 1131578620 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 38051 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 935.05
Current children cumulated vsize (Kb) 840064

[startup+980.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18846 4 1 0 94401 86 0 0 25 0 11 0 1844956308 860225536 38051 4294967295 134512640 134569956 3221224336 3221214632 1131469733 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38051 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 944.87
Current children cumulated vsize (Kb) 840064

[startup+990.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18852 4 1 0 95379 86 0 0 25 0 11 0 1844956308 860225536 38073 4294967295 134512640 134569956 3221224336 3221214632 1131470003 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 38073 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 954.65
Current children cumulated vsize (Kb) 840064

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18859 4 1 0 96355 86 0 0 25 0 11 0 1844956308 860225536 38116 4294967295 134512640 134569956 3221224336 3221214608 1131578175 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38116 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 964.41
Current children cumulated vsize (Kb) 840064

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18865 4 1 0 97334 86 0 0 25 0 11 0 1844956308 860225536 38158 4294967295 134512640 134569956 3221224336 3221214564 1131057173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38158 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 974.2
Current children cumulated vsize (Kb) 840064

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18871 4 1 0 98313 87 0 0 17 0 11 0 1844956308 860225536 38160 4294967295 134512640 134569956 3221224336 3221214512 1131582958 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38160 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 984
Current children cumulated vsize (Kb) 840064

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18877 4 1 0 99291 88 0 0 25 0 11 0 1844956308 860225536 38202 4294967295 134512640 134569956 3221224336 3221214608 1131578151 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38202 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 993.79
Current children cumulated vsize (Kb) 840064

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18883 4 1 0 100272 88 0 0 25 0 11 0 1844956308 860225536 38289 4294967295 134512640 134569956 3221224336 3221214592 1131397383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38289 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1003.6
Current children cumulated vsize (Kb) 840064

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18889 4 1 0 101252 88 0 0 25 0 11 0 1844956308 860225536 38290 4294967295 134512640 134569956 3221224336 3221214520 1131435107 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 38290 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1013.4
Current children cumulated vsize (Kb) 840064

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18895 4 1 0 102230 89 0 0 25 0 11 0 1844956308 860225536 38334 4294967295 134512640 134569956 3221224336 3221214608 1131578321 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38334 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1023.19
Current children cumulated vsize (Kb) 840064

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18901 4 1 0 103208 89 0 0 25 0 11 0 1844956308 860225536 38355 4294967295 134512640 134569956 3221224336 3221214520 1131434760 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38355 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1032.97
Current children cumulated vsize (Kb) 840064

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18907 4 1 0 104183 89 0 0 25 0 11 0 1844956308 860225536 38379 4294967295 134512640 134569956 3221224336 3221214544 1131449364 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38379 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1042.72
Current children cumulated vsize (Kb) 840064

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18913 4 1 0 105159 90 0 0 25 0 11 0 1844956308 860225536 38379 4294967295 134512640 134569956 3221224336 3221214652 1131357731 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 38379 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1052.49
Current children cumulated vsize (Kb) 840064

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18919 4 1 0 106136 90 0 0 25 0 11 0 1844956308 860225536 38461 4294967295 134512640 134569956 3221224336 3221214588 1131395387 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38461 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (Kb) 840064

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18925 4 1 0 107113 90 0 0 25 0 11 0 1844956308 860225536 38483 4294967295 134512640 134569956 3221224336 3221214616 1131534496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38483 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1072.03
Current children cumulated vsize (Kb) 840064

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18931 4 1 0 108091 91 0 0 20 0 11 0 1844956308 860225536 38547 4294967295 134512640 134569956 3221224336 3221214512 1131583437 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 38547 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1081.82
Current children cumulated vsize (Kb) 840064

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18937 4 1 0 109073 91 0 0 17 0 11 0 1844956308 860225536 38594 4294967295 134512640 134569956 3221224336 3221214520 1131434874 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38594 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1091.64
Current children cumulated vsize (Kb) 840064

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18943 4 1 0 110051 91 0 0 25 0 11 0 1844956308 860225536 38595 4294967295 134512640 134569956 3221224336 3221214512 1131434997 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38595 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1101.42
Current children cumulated vsize (Kb) 840064

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/66 25737
Raw data (/proc/25720/stat): 25720 (java) S 25719 25720 19818 0 -1 0 18948 4 1 0 111034 92 0 0 25 0 11 0 1844956308 860225536 38638 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38638 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1111.26
Current children cumulated vsize (Kb) 840064

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18954 4 1 0 112013 92 0 0 25 0 11 0 1844956308 860225536 38681 4294967295 134512640 134569956 3221224336 3221214604 1131434636 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38681 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1121.05
Current children cumulated vsize (Kb) 840064

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18960 4 1 0 112992 92 0 0 25 0 11 0 1844956308 860225536 38702 4294967295 134512640 134569956 3221224336 3221214608 1131578551 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 38702 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1130.84
Current children cumulated vsize (Kb) 840064

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18966 4 1 0 113967 92 0 0 25 0 11 0 1844956308 860225536 38723 4294967295 134512640 134569956 3221224336 3221214576 1131513215 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38723 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1140.59
Current children cumulated vsize (Kb) 840064

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18972 4 1 0 114946 93 0 0 25 0 11 0 1844956308 860225536 38788 4294967295 134512640 134569956 3221224336 3221214616 1131534503 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38788 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1150.39
Current children cumulated vsize (Kb) 840064

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18978 4 1 0 115926 93 0 0 25 0 11 0 1844956308 860225536 38788 4294967295 134512640 134569956 3221224336 3221214564 1131057275 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 38788 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1160.19
Current children cumulated vsize (Kb) 840064

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18984 4 1 0 116904 93 0 0 25 0 11 0 1844956308 860225536 38832 4294967295 134512640 134569956 3221224336 3221214632 1131469669 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38832 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1169.97
Current children cumulated vsize (Kb) 840064

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18990 4 1 0 117883 93 0 0 25 0 11 0 1844956308 860225536 38895 4294967295 134512640 134569956 3221224336 3221214608 1131578336 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25720/statm): 210016 38895 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1179.76
Current children cumulated vsize (Kb) 840064

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18996 4 1 0 118864 94 0 0 25 0 11 0 1844956308 860225536 38916 4294967295 134512640 134569956 3221224336 3221214520 1131434792 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 38916 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1189.58
Current children cumulated vsize (Kb) 840064

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 19002 4 1 0 119842 94 0 0 25 0 11 0 1844956308 860225536 38916 4294967295 134512640 134569956 3221224336 3221214604 1131513132 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 38916 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1199.36
Current children cumulated vsize (Kb) 840064

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 19008 4 1 0 120821 94 0 0 24 0 11 0 1844956308 860225536 38959 4294967295 134512640 134569956 3221224336 3221214512 1131434705 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 38959 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1209.15
Current children cumulated vsize (Kb) 840064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25737
Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 19008 4 1 0 120821 94 0 0 24 0 11 0 1844956308 860225536 38959 4294967295 134512640 134569956 3221224336 3221214512 1131434954 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25720/statm): 210016 38959 13129 16 0 210000 0
[pid=25720] vsize: 840064
Current children cumulated CPU time (s) 1209.15
Current children cumulated vsize (Kb) 840064

Sending SIGTERM to -25720
Sleeping 2 seconds
New thread pid=25739
New thread pid=25740
One traced child (pid=25740) exited with status: 0
One traced child (pid=25729) exited with status: 0
One traced child (pid=25724) exited with status: 0
One traced child (pid=25721) exited with status: 143
One traced child (pid=25723) exited with status: 143
One traced child (pid=25728) exited with status: 143
One traced child (pid=25722) exited with status: 143
One traced child (pid=25726) exited with status: 143
One traced child (pid=25725) exited with status: 143
One traced child (pid=25737) exited with status: 143
One traced child (pid=25727) exited with status: 143
One traced child (pid=25739) exited with status: 143
One traced child (pid=25720) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1250.41
CPU time (s): 1256.9
CPU user time (s): 1254.85
CPU system time (s): 2.04869
CPU usage (%): 100.519
Max. virtual memory (cumulated for all children) (Kb): 840768

Verifier Data

Verifier:	OK	379