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-rot.b.opb
MD5SUMc5ca4962151c0e84eeae44e16faee495
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 118
Optimality of the best value was proved NO
Number of terms in the objective function 1452
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 1452
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 1452
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.38
Number of variables1451
Total number of constraints2984
Number of constraints which are clauses2932
Number of constraints which are cardinality constraints (but not clauses)52
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint81

Trace number 1170

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        926292 kB
Buffers:         34360 kB
Cached:          47488 kB
SwapCached:        228 kB
Active:          62844 kB
Inactive:        21964 kB
HighTotal:      131008 kB
HighFree:        79744 kB
LowTotal:       903652 kB
LowFree:        846548 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6272 kB
Slab:            18080 kB
Committed_AS:    64128 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 14:01:46 (client local time) WITH STATUS 143 IN 1254.31 SECONDS
stats: 5930 0 1254.31 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/wulflinc10/normalized-rot.b.opb
c reading problem ... done. Time 3.764 ms.
c #vars     1452
c #constraints  2932
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 155 		Current CPU time: 4.97 ms
c CURRENT OPTIMUM=                 154 		Current CPU time: 6.97 ms
c CURRENT OPTIMUM=                 153 		Current CPU time: 8.84 ms
c CURRENT OPTIMUM=                 152 		Current CPU time: 18.31 ms
c CURRENT OPTIMUM=                 151 		Current CPU time: 451.13 ms
c CURRENT OPTIMUM=                 150 		Current CPU time: 878.90 ms
c starts		: 7
c conflicts		: 233
c decisions		: 13917
c propagations		: 21381
c inspects		: 56027
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 232
c root simplifications	: 7
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 38.67305057758091
c non guided choices	8554
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 
c objective function=150
c Total CPU time (ms) : 1238.969

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/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1783500869 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 39 3 38 16 0 23 0
[pid=28073] 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/28073
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=28074
New thread pid=28075
New thread pid=28076
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=28077
New thread pid=28078
New thread pid=28079
New thread pid=28080
New thread pid=28081
New thread pid=28082
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/wulflinc10/normalized-rot.b.opb
New thread pid=28083
One traced child (pid=28083) exited with status: 0
New thread pid=28084
One traced child (pid=28084) exited with status: 0
New thread pid=28085

[startup+10.0016 s]
Raw data (loadavg): 1.09 0.99 0.94 3/66 28085
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18190 4 3 0 612 51 0 0 19 0 11 0 1783500869 868405248 22905 4294967295 134512640 134569956 3221224352 3221214308 1131067522 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 212013 22905 13129 16 0 211997 0
[pid=28073] vsize: 848052
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (Kb) 848052
One traced child (pid=28085) exited with status: 0
New thread pid=28086
One traced child (pid=28086) exited with status: 0
New thread pid=28087

[startup+20.0022 s]
Raw data (loadavg): 1.15 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18203 5 3 0 1471 51 0 0 25 0 11 0 1783500869 865210368 24171 4294967295 134512640 134569956 3221224352 3221214632 1131546216 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 24171 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 15.22
Current children cumulated vsize (Kb) 844932

[startup+30.0017 s]
Raw data (loadavg): 1.13 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18213 5 3 0 2410 52 0 0 20 0 11 0 1783500869 865210368 24476 4294967295 134512640 134569956 3221224352 3221214424 1131595296 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 24476 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 24.62
Current children cumulated vsize (Kb) 844932

[startup+40.0013 s]
Raw data (loadavg): 1.11 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18219 5 3 0 3351 53 0 0 25 0 11 0 1783500869 865210368 24498 4294967295 134512640 134569956 3221224352 3221214548 1131446988 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 24498 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 34.04
Current children cumulated vsize (Kb) 844932

[startup+50.0019 s]
Raw data (loadavg): 1.09 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18226 5 3 0 4289 53 0 0 21 0 11 0 1783500869 865210368 24708 4294967295 134512640 134569956 3221224352 3221214544 1131646661 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 24708 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 43.42
Current children cumulated vsize (Kb) 844932

[startup+60.0024 s]
Raw data (loadavg): 1.08 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18233 5 3 0 5222 53 0 0 25 0 11 0 1783500869 865210368 24710 4294967295 134512640 134569956 3221224352 3221214544 1131646475 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 24710 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 52.75
Current children cumulated vsize (Kb) 844932

[startup+70.004 s]
Raw data (loadavg): 1.06 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18240 5 3 0 6177 53 0 0 20 0 11 0 1783500869 865210368 25113 4294967295 134512640 134569956 3221224352 3221214448 1131447341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 25113 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 62.3
Current children cumulated vsize (Kb) 844932

[startup+80.0046 s]
Raw data (loadavg): 1.05 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18247 5 3 0 7145 54 0 0 17 0 11 0 1783500869 865210368 25396 4294967295 134512640 134569956 3221224352 3221214496 1131440545 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 25396 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 71.99
Current children cumulated vsize (Kb) 844932

[startup+90.0061 s]
Raw data (loadavg): 1.04 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18254 5 3 0 8121 54 0 0 19 0 11 0 1783500869 865210368 25418 4294967295 134512640 134569956 3221224352 3221214544 1131646622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 25418 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 81.75
Current children cumulated vsize (Kb) 844932

[startup+100.007 s]
Raw data (loadavg): 1.04 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18261 5 3 0 9092 55 0 0 20 0 11 0 1783500869 865210368 25485 4294967295 134512640 134569956 3221224352 3221214448 1131447298 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 25485 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 91.47
Current children cumulated vsize (Kb) 844932

[startup+110.007 s]
Raw data (loadavg): 1.03 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18268 5 3 0 10064 55 0 0 25 0 11 0 1783500869 865210368 25509 4294967295 134512640 134569956 3221224352 3221214544 1131646740 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 25509 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 101.19
Current children cumulated vsize (Kb) 844932

[startup+120.009 s]
Raw data (loadavg): 1.03 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18275 5 3 0 11040 55 0 0 19 0 11 0 1783500869 865210368 25577 4294967295 134512640 134569956 3221224352 3221214544 1131646712 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 25577 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 110.95
Current children cumulated vsize (Kb) 844932

[startup+130.009 s]
Raw data (loadavg): 1.02 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18282 5 3 0 12010 56 0 0 25 0 11 0 1783500869 865210368 25635 4294967295 134512640 134569956 3221224352 3221214516 1131057218 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 25635 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 120.66
Current children cumulated vsize (Kb) 844932

[startup+140.009 s]
Raw data (loadavg): 1.02 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18289 5 3 0 12962 56 0 0 18 0 11 0 1783500869 865210368 25777 4294967295 134512640 134569956 3221224352 3221214544 1131646453 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 25777 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 130.18
Current children cumulated vsize (Kb) 844932

[startup+150.009 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18296 5 3 0 13918 56 0 0 17 0 11 0 1783500869 865210368 25777 4294967295 134512640 134569956 3221224352 3221214544 1131646431 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 25777 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 139.74
Current children cumulated vsize (Kb) 844932

[startup+160.01 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18302 5 3 0 14878 57 0 0 25 0 11 0 1783500869 865210368 25800 4294967295 134512640 134569956 3221224352 3221214448 1131447176 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 25800 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 149.35
Current children cumulated vsize (Kb) 844932

[startup+170.011 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18309 5 3 0 15828 57 0 0 25 0 11 0 1783500869 865210368 25824 4294967295 134512640 134569956 3221224352 3221214552 1131595465 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 25824 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 158.85
Current children cumulated vsize (Kb) 844932

[startup+180.011 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18316 5 3 0 16788 57 0 0 25 0 11 0 1783500869 865210368 26122 4294967295 134512640 134569956 3221224352 3221214448 1131447341 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 26122 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 168.45
Current children cumulated vsize (Kb) 844932

[startup+190.012 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18324 5 3 0 17757 58 0 0 24 0 11 0 1783500869 865210368 26256 4294967295 134512640 134569956 3221224352 3221214544 1131646706 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 26256 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 178.15
Current children cumulated vsize (Kb) 844932

[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) S 28072 28073 22582 0 -1 0 18330 5 3 0 18731 58 0 0 17 0 11 0 1783500869 865210368 26322 4294967295 134512640 134569956 3221224352 3221213200 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 26322 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 187.89
Current children cumulated vsize (Kb) 844932

[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) S 28072 28073 22582 0 -1 0 18337 5 3 0 19708 58 0 0 25 0 11 0 1783500869 865210368 26366 4294967295 134512640 134569956 3221224352 3221213192 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 26366 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 197.66
Current children cumulated vsize (Kb) 844932

[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18344 5 3 0 20688 58 0 0 25 0 11 0 1783500869 865210368 26388 4294967295 134512640 134569956 3221224352 3221214272 1131762983 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 26388 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 207.46
Current children cumulated vsize (Kb) 844932

[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18351 5 3 0 21670 59 0 0 25 0 11 0 1783500869 865210368 26499 4294967295 134512640 134569956 3221224352 3221214448 1131447341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 26499 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 217.29
Current children cumulated vsize (Kb) 844932

[startup+240.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18359 5 3 0 22650 59 0 0 25 0 11 0 1783500869 865210368 26520 4294967295 134512640 134569956 3221224352 3221214448 1131633803 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 26520 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 227.09
Current children cumulated vsize (Kb) 844932

[startup+250.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18366 5 3 0 23633 59 0 0 25 0 11 0 1783500869 865210368 26542 4294967295 134512640 134569956 3221224352 3221214448 1131447186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 26542 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 236.92
Current children cumulated vsize (Kb) 844932

[startup+260.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18373 5 3 0 24618 59 0 0 25 0 11 0 1783500869 865210368 26563 4294967295 134512640 134569956 3221224352 3221214448 1131447341 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 26563 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 246.77
Current children cumulated vsize (Kb) 844932

[startup+270.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18380 5 3 0 25601 60 0 0 25 0 11 0 1783500869 865210368 26628 4294967295 134512640 134569956 3221224352 3221214456 1131447722 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 26628 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 256.61
Current children cumulated vsize (Kb) 844932

[startup+280.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18387 5 3 0 26587 60 0 0 25 0 11 0 1783500869 865210368 26628 4294967295 134512640 134569956 3221224352 3221214544 1131646956 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 26628 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 266.47
Current children cumulated vsize (Kb) 844932

[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18394 5 3 0 27572 60 0 0 23 0 11 0 1783500869 865210368 26650 4294967295 134512640 134569956 3221224352 3221214448 1131636455 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 26650 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 276.32
Current children cumulated vsize (Kb) 844932

[startup+300.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18401 5 3 0 28555 61 0 0 25 0 11 0 1783500869 865210368 26650 4294967295 134512640 134569956 3221224352 3221214540 1131348512 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 26650 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 286.16
Current children cumulated vsize (Kb) 844932

[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18408 5 3 0 29534 61 0 0 25 0 11 0 1783500869 865210368 26695 4294967295 134512640 134569956 3221224352 3221214544 1131646370 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 26695 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 295.95
Current children cumulated vsize (Kb) 844932

[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18415 5 3 0 30508 61 0 0 25 0 11 0 1783500869 865210368 26729 4294967295 134512640 134569956 3221224352 3221214544 1131646706 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 26729 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 305.69
Current children cumulated vsize (Kb) 844932

[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18422 5 3 0 31486 62 0 0 25 0 11 0 1783500869 865210368 26729 4294967295 134512640 134569956 3221224352 3221214544 1131646721 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 26729 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 315.48
Current children cumulated vsize (Kb) 844932

[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18429 5 3 0 32458 62 0 0 25 0 11 0 1783500869 865210368 26781 4294967295 134512640 134569956 3221224352 3221214544 1131646479 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 26781 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 325.2
Current children cumulated vsize (Kb) 844932

[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) S 28072 28073 22582 0 -1 0 18436 5 3 0 33431 62 0 0 25 0 11 0 1783500869 865210368 26949 4294967295 134512640 134569956 3221224352 3221213200 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 26949 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 334.93
Current children cumulated vsize (Kb) 844932

[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18444 5 3 0 34411 63 0 0 24 0 11 0 1783500869 865210368 26949 4294967295 134512640 134569956 3221224352 3221214448 1131633803 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 26949 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 344.74
Current children cumulated vsize (Kb) 844932

[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18450 5 3 0 35391 63 0 0 25 0 11 0 1783500869 865210368 26949 4294967295 134512640 134569956 3221224352 3221214544 1131646752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 26949 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 354.54
Current children cumulated vsize (Kb) 844932

[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18458 5 3 0 36367 64 0 0 17 0 11 0 1783500869 865210368 27044 4294967295 134512640 134569956 3221224352 3221214592 1131447105 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27044 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 364.31
Current children cumulated vsize (Kb) 844932

[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18465 5 3 0 37349 65 0 0 19 0 11 0 1783500869 865210368 27044 4294967295 134512640 134569956 3221224352 3221214448 1131447384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 27044 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 374.14
Current children cumulated vsize (Kb) 844932

[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18472 5 3 0 38332 65 0 0 25 0 11 0 1783500869 865210368 27069 4294967295 134512640 134569956 3221224352 3221214448 1131447942 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 27069 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 383.97
Current children cumulated vsize (Kb) 844932

[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18479 5 3 0 39316 66 0 0 25 0 11 0 1783500869 865210368 27138 4294967295 134512640 134569956 3221224352 3221214448 1131447341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 27138 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 393.82
Current children cumulated vsize (Kb) 844932

[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18486 5 3 0 40300 66 0 0 24 0 11 0 1783500869 865210368 27138 4294967295 134512640 134569956 3221224352 3221214544 1131646592 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27138 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 403.66
Current children cumulated vsize (Kb) 844932

[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18494 5 3 0 41282 66 0 0 16 0 11 0 1783500869 865210368 27159 4294967295 134512640 134569956 3221224352 3221214544 1131646706 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27159 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 413.48
Current children cumulated vsize (Kb) 844932

[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18501 5 3 0 42264 67 0 0 25 0 11 0 1783500869 865210368 27159 4294967295 134512640 134569956 3221224352 3221214448 1131447151 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27159 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 423.31
Current children cumulated vsize (Kb) 844932

[startup+450.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28087
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18508 5 3 0 43248 67 0 0 25 0 11 0 1783500869 865210368 27182 4294967295 134512640 134569956 3221224352 3221214544 1131646287 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27182 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 433.15
Current children cumulated vsize (Kb) 844932
One traced child (pid=28087) exited with status: 0
New thread pid=28088

[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18516 5 3 0 44228 67 0 0 23 0 11 0 1783500869 865210368 27247 4294967295 134512640 134569956 3221224352 3221214544 1131646568 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27247 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 442.95
Current children cumulated vsize (Kb) 844932

[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18523 5 3 0 45207 68 0 0 25 0 11 0 1783500869 865210368 27247 4294967295 134512640 134569956 3221224352 3221214448 1131447341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 27247 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 452.75
Current children cumulated vsize (Kb) 844932

[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18530 5 3 0 46168 68 0 0 25 0 11 0 1783500869 865210368 27268 4294967295 134512640 134569956 3221224352 3221214448 1131447341 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27268 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 462.36
Current children cumulated vsize (Kb) 844932

[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18537 5 3 0 47128 69 0 0 25 0 11 0 1783500869 865210368 27268 4294967295 134512640 134569956 3221224352 3221214448 1131447341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 27268 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 471.97
Current children cumulated vsize (Kb) 844932

[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18544 5 3 0 48086 69 0 0 25 0 11 0 1783500869 865210368 27356 4294967295 134512640 134569956 3221224352 3221214448 1131447298 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27356 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 481.55
Current children cumulated vsize (Kb) 844932

[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18551 5 3 0 49039 69 0 0 25 0 11 0 1783500869 865210368 27356 4294967295 134512640 134569956 3221224352 3221214544 1131646624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27356 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 491.08
Current children cumulated vsize (Kb) 844932

[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18558 5 3 0 49999 69 0 0 25 0 11 0 1783500869 865210368 27669 4294967295 134512640 134569956 3221224352 3221214552 1131595292 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 27669 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 500.68
Current children cumulated vsize (Kb) 844932

[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18565 5 3 0 50970 70 0 0 17 0 11 0 1783500869 865210368 27669 4294967295 134512640 134569956 3221224352 3221214632 1131547287 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27669 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 510.4
Current children cumulated vsize (Kb) 844932

[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18572 5 3 0 51937 70 0 0 18 0 11 0 1783500869 865210368 27691 4294967295 134512640 134569956 3221224352 3221214448 1131447995 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27691 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 520.07
Current children cumulated vsize (Kb) 844932

[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18579 5 3 0 52912 70 0 0 25 0 11 0 1783500869 865210368 27874 4294967295 134512640 134569956 3221224352 3221214456 1131447942 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27874 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 529.82
Current children cumulated vsize (Kb) 844932

[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18586 5 3 0 53894 70 0 0 20 0 11 0 1783500869 865210368 27918 4294967295 134512640 134569956 3221224352 3221214520 1131348569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27918 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 539.64
Current children cumulated vsize (Kb) 844932

[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18593 5 3 0 54876 71 0 0 25 0 11 0 1783500869 865210368 27918 4294967295 134512640 134569956 3221224352 3221214448 1131633803 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27918 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 549.47
Current children cumulated vsize (Kb) 844932

[startup+580.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18600 5 3 0 55859 71 0 0 25 0 11 0 1783500869 865210368 27984 4294967295 134512640 134569956 3221224352 3221214544 1131646752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 27984 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 559.3
Current children cumulated vsize (Kb) 844932

[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18607 5 3 0 56844 71 0 0 25 0 11 0 1783500869 865210368 27984 4294967295 134512640 134569956 3221224352 3221214632 1131547305 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 27984 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 569.15
Current children cumulated vsize (Kb) 844932

[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18614 5 3 0 57823 72 0 0 25 0 11 0 1783500869 865210368 27984 4294967295 134512640 134569956 3221224352 3221214448 1131447341 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 27984 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 578.95
Current children cumulated vsize (Kb) 844932

[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18621 5 3 0 58806 72 0 0 25 0 11 0 1783500869 865210368 28029 4294967295 134512640 134569956 3221224352 3221214448 1131633803 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28029 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 588.78
Current children cumulated vsize (Kb) 844932

[startup+620.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18629 5 3 0 59786 73 0 0 24 0 11 0 1783500869 865210368 28050 4294967295 134512640 134569956 3221224352 3221214448 1131634050 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28050 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 598.59
Current children cumulated vsize (Kb) 844932

[startup+630.042 s]
Raw data (loadavg): 1.00 1.00 0.94 1/66 28088
Raw data (/proc/28073/stat): 28073 (java) T 28072 28073 22582 0 -1 0 18635 5 3 0 60773 73 0 0 25 0 11 0 1783500869 865210368 28050 4294967295 134512640 134569956 3221224352 3221213480 1073952732 0 4 1 23758 3222434794 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28050 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 608.46
Current children cumulated vsize (Kb) 844932

[startup+640.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18643 5 3 0 61761 74 0 0 25 0 11 0 1783500869 865210368 28155 4294967295 134512640 134569956 3221224352 3221214448 1131447075 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28155 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 618.35
Current children cumulated vsize (Kb) 844932

[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18650 5 3 0 62757 74 0 0 25 0 11 0 1783500869 865210368 28155 4294967295 134512640 134569956 3221224352 3221214544 1131646592 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28155 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 628.31
Current children cumulated vsize (Kb) 844932

[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18657 5 3 0 63749 75 0 0 25 0 11 0 1783500869 865210368 28156 4294967295 134512640 134569956 3221224352 3221214448 1131447522 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28156 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 638.24
Current children cumulated vsize (Kb) 844932

[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18664 5 3 0 64738 75 0 0 25 0 11 0 1783500869 865210368 28156 4294967295 134512640 134569956 3221224352 3221214540 1131448034 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28156 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 648.13
Current children cumulated vsize (Kb) 844932

[startup+680.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18671 5 3 0 65724 76 0 0 17 0 11 0 1783500869 865210368 28156 4294967295 134512640 134569956 3221224352 3221214448 1131447580 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28156 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 658
Current children cumulated vsize (Kb) 844932

[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18677 5 3 0 66710 76 0 0 25 0 11 0 1783500869 865210368 28156 4294967295 134512640 134569956 3221224352 3221214520 1131348569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28156 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 667.86
Current children cumulated vsize (Kb) 844932

[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18684 5 3 0 67693 77 0 0 25 0 11 0 1783500869 865210368 28156 4294967295 134512640 134569956 3221224352 3221214540 1131448034 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28156 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 677.7
Current children cumulated vsize (Kb) 844932

[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18691 5 3 0 68674 77 0 0 25 0 11 0 1783500869 865210368 28179 4294967295 134512640 134569956 3221224352 3221214448 1131447341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28179 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 687.51
Current children cumulated vsize (Kb) 844932

[startup+720.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18698 5 3 0 69656 77 0 0 25 0 11 0 1783500869 865210368 28222 4294967295 134512640 134569956 3221224352 3221214448 1131634981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28222 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 697.33
Current children cumulated vsize (Kb) 844932

[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18706 5 3 0 70636 78 0 0 25 0 11 0 1783500869 865210368 28243 4294967295 134512640 134569956 3221224352 3221214456 1131447298 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28243 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 707.14
Current children cumulated vsize (Kb) 844932

[startup+740.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18713 5 3 0 71618 79 0 0 25 0 11 0 1783500869 865210368 28243 4294967295 134512640 134569956 3221224352 3221214448 1131447341 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28243 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 716.97
Current children cumulated vsize (Kb) 844932

[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18720 5 3 0 72600 79 0 0 25 0 11 0 1783500869 865210368 28308 4294967295 134512640 134569956 3221224352 3221214516 1131057186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28308 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 726.79
Current children cumulated vsize (Kb) 844932

[startup+760.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18727 5 3 0 73583 79 0 0 25 0 11 0 1783500869 865210368 28308 4294967295 134512640 134569956 3221224352 3221214516 1131057152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28308 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 736.62
Current children cumulated vsize (Kb) 844932

[startup+770.05 s]
Raw data (loadavg): 1.08 1.02 0.95 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18734 5 3 0 74566 80 0 0 24 0 11 0 1783500869 865210368 28351 4294967295 134512640 134569956 3221224352 3221214544 1131646488 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28351 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 746.46
Current children cumulated vsize (Kb) 844932

[startup+780.051 s]
Raw data (loadavg): 1.07 1.02 0.95 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18741 5 3 0 75550 80 0 0 24 0 11 0 1783500869 865210368 28372 4294967295 134512640 134569956 3221224352 3221214516 1131057156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28372 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 756.3
Current children cumulated vsize (Kb) 844932

[startup+790.051 s]
Raw data (loadavg): 1.06 1.01 0.95 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18747 5 3 0 76536 80 0 0 25 0 11 0 1783500869 865210368 28372 4294967295 134512640 134569956 3221224352 3221214544 1131646488 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28372 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 766.16
Current children cumulated vsize (Kb) 844932

[startup+800.051 s]
Raw data (loadavg): 1.05 1.01 0.95 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18754 5 3 0 77520 81 0 0 25 0 11 0 1783500869 865210368 28415 4294967295 134512640 134569956 3221224352 3221214448 1131634148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28415 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 776.01
Current children cumulated vsize (Kb) 844932

[startup+810.052 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18761 5 3 0 78505 81 0 0 25 0 11 0 1783500869 865210368 28436 4294967295 134512640 134569956 3221224352 3221214456 1131447298 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28436 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 785.86
Current children cumulated vsize (Kb) 844932

[startup+820.052 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18768 5 3 0 79487 82 0 0 25 0 11 0 1783500869 865210368 28436 4294967295 134512640 134569956 3221224352 3221214448 1131447186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28436 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 795.69
Current children cumulated vsize (Kb) 844932

[startup+830.053 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18774 5 3 0 80474 82 0 0 25 0 11 0 1783500869 865210368 28481 4294967295 134512640 134569956 3221224352 3221214456 1131447522 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28481 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 805.56
Current children cumulated vsize (Kb) 844932

[startup+840.053 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18781 5 3 0 81459 82 0 0 25 0 11 0 1783500869 865210368 28481 4294967295 134512640 134569956 3221224352 3221214448 1131633812 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28481 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 815.41
Current children cumulated vsize (Kb) 844932

[startup+850.054 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18788 5 3 0 82442 82 0 0 23 0 11 0 1783500869 865210368 28502 4294967295 134512640 134569956 3221224352 3221214448 1131447186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28502 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 825.24
Current children cumulated vsize (Kb) 844932

[startup+860.054 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18795 5 3 0 83426 83 0 0 25 0 11 0 1783500869 865210368 28545 4294967295 134512640 134569956 3221224352 3221214448 1131447355 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28545 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 835.09
Current children cumulated vsize (Kb) 844932

[startup+870.054 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18802 5 3 0 84412 83 0 0 25 0 11 0 1783500869 865210368 28545 4294967295 134512640 134569956 3221224352 3221214552 1131595303 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28545 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 844.95
Current children cumulated vsize (Kb) 844932

[startup+880.056 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 28088
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18809 5 3 0 85399 83 0 0 24 0 11 0 1783500869 865210368 28568 4294967295 134512640 134569956 3221224352 3221214632 1131548078 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28568 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 854.82
Current children cumulated vsize (Kb) 844932
One traced child (pid=28088) exited with status: 0
New thread pid=28089

[startup+890.055 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18815 5 3 0 86383 84 0 0 25 0 11 0 1783500869 865210368 28568 4294967295 134512640 134569956 3221224352 3221214448 1131634152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28568 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 864.67
Current children cumulated vsize (Kb) 844932

[startup+900.056 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18822 5 3 0 87368 84 0 0 24 0 11 0 1783500869 865210368 28610 4294967295 134512640 134569956 3221224352 3221214456 1131447218 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28610 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 874.52
Current children cumulated vsize (Kb) 844932

[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18829 5 3 0 88352 85 0 0 25 0 11 0 1783500869 865210368 28611 4294967295 134512640 134569956 3221224352 3221214544 1131646706 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28611 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 884.37
Current children cumulated vsize (Kb) 844932

[startup+920.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18836 5 3 0 89334 85 0 0 23 0 11 0 1783500869 865210368 28611 4294967295 134512640 134569956 3221224352 3221214448 1131447096 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28611 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 894.19
Current children cumulated vsize (Kb) 844932

[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18843 5 3 0 90318 85 0 0 25 0 11 0 1783500869 865210368 28674 4294967295 134512640 134569956 3221224352 3221214544 1131646803 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28674 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 904.03
Current children cumulated vsize (Kb) 844932

[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18850 5 3 0 91302 86 0 0 25 0 11 0 1783500869 865210368 28674 4294967295 134512640 134569956 3221224352 3221214520 1131348569 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28674 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 913.88
Current children cumulated vsize (Kb) 844932

[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18857 5 3 0 92287 86 0 0 25 0 11 0 1783500869 865210368 28696 4294967295 134512640 134569956 3221224352 3221214544 1131646450 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 28696 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 923.73
Current children cumulated vsize (Kb) 844932

[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18865 5 3 0 93265 86 0 0 16 0 11 0 1783500869 865210368 28718 4294967295 134512640 134569956 3221224352 3221214448 1131447341 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28718 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 933.51
Current children cumulated vsize (Kb) 844932

[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18872 5 3 0 94227 87 0 0 25 0 11 0 1783500869 865210368 28718 4294967295 134512640 134569956 3221224352 3221214512 1131348569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28718 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 943.14
Current children cumulated vsize (Kb) 844932

[startup+980.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18878 5 3 0 95168 87 0 0 25 0 11 0 1783500869 865210368 28781 4294967295 134512640 134569956 3221224352 3221214448 1131447358 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28781 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 952.55
Current children cumulated vsize (Kb) 844932

[startup+990.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18885 5 3 0 96093 88 0 0 23 0 11 0 1783500869 865210368 28849 4294967295 134512640 134569956 3221224352 3221214448 1131447186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28849 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 961.81
Current children cumulated vsize (Kb) 844932

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18892 5 3 0 97021 88 0 0 19 0 11 0 1783500869 865210368 28849 4294967295 134512640 134569956 3221224352 3221214544 1131646389 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 28849 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 971.09
Current children cumulated vsize (Kb) 844932

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18899 5 3 0 97961 88 0 0 25 0 11 0 1783500869 865210368 29327 4294967295 134512640 134569956 3221224352 3221214540 1131348518 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 29327 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 980.49
Current children cumulated vsize (Kb) 844932

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18906 5 3 0 98926 89 0 0 25 0 11 0 1783500869 865210368 29513 4294967295 134512640 134569956 3221224352 3221214516 1131057275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 29513 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 990.15
Current children cumulated vsize (Kb) 844932

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18913 5 3 0 99895 89 0 0 17 0 11 0 1783500869 865210368 29694 4294967295 134512640 134569956 3221224352 3221214448 1131633803 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 29694 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 999.84
Current children cumulated vsize (Kb) 844932

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18920 5 3 0 100867 89 0 0 17 0 11 0 1783500869 865210368 29718 4294967295 134512640 134569956 3221224352 3221214448 1131448000 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 29718 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1009.56
Current children cumulated vsize (Kb) 844932

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18927 5 3 0 101836 90 0 0 25 0 11 0 1783500869 865210368 29742 4294967295 134512640 134569956 3221224352 3221214448 1131447088 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 29742 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1019.26
Current children cumulated vsize (Kb) 844932

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18933 5 3 0 102809 90 0 0 25 0 11 0 1783500869 865210368 29789 4294967295 134512640 134569956 3221224352 3221214448 1131447243 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 29789 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1028.99
Current children cumulated vsize (Kb) 844932

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18940 5 3 0 103775 91 0 0 25 0 11 0 1783500869 865210368 29923 4294967295 134512640 134569956 3221224352 3221214496 1131441156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 29923 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1038.66
Current children cumulated vsize (Kb) 844932

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18947 5 3 0 104751 91 0 0 25 0 11 0 1783500869 865210368 29947 4294967295 134512640 134569956 3221224352 3221214448 1131447298 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 29947 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1048.42
Current children cumulated vsize (Kb) 844932

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18954 5 3 0 105728 91 0 0 25 0 11 0 1783500869 865210368 29969 4294967295 134512640 134569956 3221224352 3221214544 1131646479 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 29969 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1058.19
Current children cumulated vsize (Kb) 844932

[startup+1100.07 s]
Raw data (loadavg): 1.07 1.02 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18961 5 3 0 106712 91 0 0 25 0 11 0 1783500869 865210368 30061 4294967295 134512640 134569956 3221224352 3221214544 1131646364 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 30061 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1068.03
Current children cumulated vsize (Kb) 844932

[startup+1110.07 s]
Raw data (loadavg): 1.06 1.02 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18969 5 3 0 107695 92 0 0 24 0 11 0 1783500869 865210368 30110 4294967295 134512640 134569956 3221224352 3221214552 1131595324 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 30110 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1077.87
Current children cumulated vsize (Kb) 844932

[startup+1120.07 s]
Raw data (loadavg): 1.05 1.01 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18976 5 3 0 108681 92 0 0 18 0 11 0 1783500869 865210368 30110 4294967295 134512640 134569956 3221224352 3221214456 1131447298 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 30110 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1087.73
Current children cumulated vsize (Kb) 844932

[startup+1130.07 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18983 5 3 0 109666 93 0 0 25 0 11 0 1783500869 865210368 30110 4294967295 134512640 134569956 3221224352 3221214520 1131348560 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 30110 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1097.59
Current children cumulated vsize (Kb) 844932

[startup+1140.07 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18990 5 3 0 110648 93 0 0 25 0 11 0 1783500869 865210368 30133 4294967295 134512640 134569956 3221224352 3221214520 1131348569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 30133 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1107.41
Current children cumulated vsize (Kb) 844932

[startup+1150.07 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 18997 5 3 0 111631 93 0 0 25 0 11 0 1783500869 865210368 30133 4294967295 134512640 134569956 3221224352 3221214520 1131348569 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 30133 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1117.24
Current children cumulated vsize (Kb) 844932

[startup+1160.07 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 19005 5 3 0 112609 94 0 0 25 0 11 0 1783500869 865210368 30133 4294967295 134512640 134569956 3221224352 3221214544 1131647077 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 30133 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1127.03
Current children cumulated vsize (Kb) 844932

[startup+1170.07 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 19012 5 3 0 113591 94 0 0 25 0 11 0 1783500869 865210368 30180 4294967295 134512640 134569956 3221224352 3221214448 1131634061 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 30180 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1136.85
Current children cumulated vsize (Kb) 844932

[startup+1180.07 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 19019 5 3 0 114574 95 0 0 25 0 11 0 1783500869 865210368 30203 4294967295 134512640 134569956 3221224352 3221214544 1131646944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 30203 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1146.69
Current children cumulated vsize (Kb) 844932

[startup+1190.07 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 19026 5 3 0 115559 96 0 0 25 0 11 0 1783500869 865210368 30226 4294967295 134512640 134569956 3221224352 3221214544 1131646370 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 30226 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1156.55
Current children cumulated vsize (Kb) 844932

[startup+1200.07 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 19033 5 3 0 116545 96 0 0 25 0 11 0 1783500869 865210368 30248 4294967295 134512640 134569956 3221224352 3221214544 1131646706 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 30248 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1166.41
Current children cumulated vsize (Kb) 844932

[startup+1210.08 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 19040 5 3 0 117528 97 0 0 25 0 11 0 1783500869 865210368 30248 4294967295 134512640 134569956 3221224352 3221214448 1131447141 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 30248 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1176.25
Current children cumulated vsize (Kb) 844932

[startup+1220.08 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 19047 5 3 0 118511 97 0 0 23 0 11 0 1783500869 865210368 30269 4294967295 134512640 134569956 3221224352 3221214552 1131595303 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 30269 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1186.08
Current children cumulated vsize (Kb) 844932

[startup+1230.08 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 19054 5 3 0 119491 97 0 0 25 0 11 0 1783500869 865210368 30269 4294967295 134512640 134569956 3221224352 3221214448 1131447995 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28073/statm): 211233 30269 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1195.88
Current children cumulated vsize (Kb) 844932

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 19061 5 3 0 120470 98 0 0 25 0 11 0 1783500869 865210368 30291 4294967295 134512640 134569956 3221224352 3221214456 1131447424 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 30291 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1205.68
Current children cumulated vsize (Kb) 844932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28089
Raw data (/proc/28073/stat): 28073 (java) R 28072 28073 22582 0 -1 0 19061 5 3 0 120470 98 0 0 25 0 11 0 1783500869 865210368 30291 4294967295 134512640 134569956 3221224352 3221214456 1131447424 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28073/statm): 211233 30291 13129 16 0 211217 0
[pid=28073] vsize: 844932
Current children cumulated CPU time (s) 1205.68
Current children cumulated vsize (Kb) 844932

Sending SIGTERM to -28073
Sleeping 2 seconds
New thread pid=28091
New thread pid=28092
One traced child (pid=28092) exited with status: 0
One traced child (pid=28082) exited with status: 0
One traced child (pid=28077) exited with status: 0
One traced child (pid=28074) exited with status: 143
One traced child (pid=28075) exited with status: 143
One traced child (pid=28076) exited with status: 143
One traced child (pid=28081) exited with status: 143
One traced child (pid=28078) exited with status: 143
One traced child (pid=28080) exited with status: 143
One traced child (pid=28089) exited with status: 143
One traced child (pid=28079) exited with status: 143
One traced child (pid=28091) exited with status: 143
One traced child (pid=28073) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.35
CPU time (s): 1254.31
CPU user time (s): 1252.18
CPU system time (s): 2.12268
CPU usage (%): 101.125
Max. virtual memory (cumulated for all children) (Kb): 848052

Verifier Data

Verifier:	OK	150