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-p2756.opb
MD5SUMf3d955cf36894e7107b7f25ccaa97360
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3834
Optimality of the best value was proved NO
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.06
Number of variables2734
Total number of constraints738
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints386
Minimum length of a constraint2
Maximum length of a constraint535

Trace number 3243

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-18 22:44:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6138 boxname=wulflinc8 idbench=278 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f3d955cf36894e7107b7f25ccaa97360  /oldhome/oroussel/tmp/wulflinc8/normalized-p2756.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc8/normalized-p2756.opb
IDLAUNCH: 6138
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        913692 kB
Buffers:         35124 kB
Cached:          61324 kB
SwapCached:        792 kB
Active:          68048 kB
Inactive:        31084 kB
HighTotal:      131008 kB
HighFree:        65856 kB
LowTotal:       903652 kB
LowFree:        847836 kB
SwapTotal:     2097136 kB
SwapFree:      2095876 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            16344 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 23:05:17 (client local time) WITH STATUS 143 IN 1227.84 SECONDS
stats: 6138 0 1227.84 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/wulflinc8/normalized-p2756.opb
c reading problem ... done. Time 2.377 ms.
c #vars     2741
c #constraints  738
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              119538 		Current CPU time: 6.07 ms
c CURRENT OPTIMUM=              104338 		Current CPU time: 6.75 ms
c CURRENT OPTIMUM=               90996 		Current CPU time: 7.28 ms
c CURRENT OPTIMUM=               74219 		Current CPU time: 7.74 ms
c CURRENT OPTIMUM=               62955 		Current CPU time: 819.49 ms
c starts		: 6
c conflicts		: 202
c decisions		: 39350
c propagations		: 61283
c inspects		: 44826
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 201
c root simplifications	: 21
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 98.5528879627728
c non guided choices	28760
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 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 x2035 -x2036 x2037 x2038 x2039 x2040 x2041 x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 x2051 -x2052 x2053 -x2054 x2055 x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 x2157 -x2158 -x2159 -x2160 -x2161 x2162 x2163 -x2164 -x2165 -x2643 -x2644 -x2640 -x2641 -x2635 x2636 -x2632 -x2633 -x2629 -x2630 -x2626 -x2627 -x2623 -x2624 -x2618 -x2619 -x2614 -x2615 -x2611 -x2612 -x2608 -x2609 -x2477 -x2478 -x2474 -x2475 -x2471 -x2472 -x2467 -x2468 -x2463 -x2464 -x2555 -x2556 -x2560 -x2561 -x2564 -x2565 -x2568 -x2569 -x2572 -x2573 -x2583 -x2584 -x2587 -x2588 -x2590 -x2591 -x2593 x2594 -x2597 -x2598 -x2604 x2605 -x2507 x2508 -x2504 -x2505 -x2501 -x2502 -x2498 -x2499 -x2494 -x2495 -x2490 -x2491 -x2485 -x2486 -x2480 x2481 -x2458 -x2459 -x2453 -x2454 -x2448 -x2449 -x2444 -x2445 -x2437 -x2438 -x2432 -x2433 -x2425 -x2426 -x2419 -x2420 -x2413 -x2414 -x2405 -x2406 -x2399 -x2400 -x2378 -x2379 -x2371 x2372 -x2366 x2367 -x2363 x2364 -x2360 -x2361 -x2357 -x2358 -x2352 -x2353 -x2348 x2349 -x2345 -x2346 -x2342 -x2343 -x2331 x2332 -x2328 x2329 -x2325 x2326 -x2322 -x2323 -x2175 x2176 -x2171 -x2172 -x2250 -x2251 -x2263 -x2264 -x2266 -x2267 -x2269 -x2270 -x2272 -x2273 -x2276 -x2277 -x2284 -x2285 -x2287 -x2288 -x2290 -x2291 -x2293 -x2294 -x2296 -x2297 -x2307 -x2308 -x2310 -x2311 -x2313 x2314 -x2317 -x2318 -x2392 -x2393 -x2386 x2387 -x2235 -x2236 -x2231 -x2232 -x2227 -x2228 -x2223 x2224 -x2219 -x2220 -x2214 -x2215 -x2202 -x2203 -x2198 -x2199 -x2194 x2195 -x2191 -x2192 -x2187 x2188 -x2183 -x2184 -x2179 -x2180 -x2166 x2167 -x2246 -x2247 -x2242 -x2243 -x2239 -x2240 -x2578 -x2404 x2258 x2208 -x2647 -x2256 -x2257 -x2212 -x2190 -x2193 -x2390 -x2435 -x2752 -x2753 -x2301 -x2170 -x2169 -x2173 -x2174 -x2218 -x2217 -x2221 -x2222 -x2238 -x2241 -x2336 -x2305 -x2648 -x2649 -x2340 -x2337 -x2302 -x2754 -x2750 -x2751 -x2245 -x2237 -x2216 -x2197 -x2189 -x2168 -x2391 -x2389 -x2394 -x2397 -x2395 -x2396 -x2398 -x2376 -x2375 -x2377 -x2374 -x2380 -x2384 -x2382 -x2383 -x2381 -x2385 -x2338 -x2339 -x2303 -x2304 -x2559 -x2558 -x2562 -x2563 -x2225 x2226 -x2177 -x2178 -x2607 -x2610 -x2628 -x2586 -x2589 -x2489 -x2488 -x2492 -x2493 -x2462 -x2461 -x2465 -x2466 -x2452 -x2455 -x2436 -x2439 -x2442 -x2440 -x2441 -x2443 -x2424 -x2423 -x2422 -x2427 -x2430 -x2428 -x2429 -x2431 -x2412 -x2415 -x2416 -x2204 -x2205 -x2233 -x2234 -x2298 -x2185 -x2186 -x2252 -x2253 -x2456 -x2457 -x2417 -x2418 -x2275 -x2278 -x2279 -x2702 -x2703 -x2704 -x2292 -x2320 -x2321 -x2295 -x2566 -x2658 -x2659 -x2660 -x2663 -x2662 -x2661 -x2664 -x2403 -x2407 -x2410 -x2408 -x2409 -x2402 -x2411 -x2631 -x2280 -x2282 -x2281 -x2283 -x2274 -x2271 -x2670 -x2669 -x2672 -x2671 -x2673 -x2674 -x2675 -x2676 -x2679 -x2678 -x2677 -x2680 -x2312 -x2685 -x2686 -x2687 -x2362 -x2592 -x2369 -x2370 -x2613 -x2700 -x2701 -x2355 -x2356 -x2654 -x2653 -x2656 -x2655 -x2657 -x2543 -x2544 -x2447 -x2450 -x2451 -x2697 -x2698 -x2699 x2551 -x2552 -x2710 -x2709 -x2712 -x2711 -x2713 -x2726 -x2725 -x2728 -x2727 -x2729 -x2347 -x2690 -x2691 -x2692 -x2688 -x2689 -x2716 -x2718 -x2717 -x2719 -x2714 -x2715 -x2732 -x2734 -x2733 -x2735 -x2299 -x2300 -x2327 -x2334 -x2335 -x2730 -x2731 -x2341 -x2344 -x2681 -x2682 x2373 -x2683 -x2684 -x2359 -x2606 -x2651 -x2652 -x2625 x2388 x2693 -x2694 -x2720 -x2721 -x2722 -x2401 -x2324 -x2309 -x2665 -x2666 x2421 -x2667 -x2668 -x2557 -x2434 -x2446 -x2289 -x2695 -x2696 -x2268 -x2723 -x2724 -x2645 -x2736 -x2737 -x2201 -x2513 -x2705 -x2706 -x2249 -x2585 -x2707 -x2708 -x2210 -x2254 -x2260 -x2206 -x2181 -x2229 -x2230 -x2571 -x2575 -x2574 -x2576 -x2596 x2599 -x2600 -x2514 -x2182 -x2637 -x2482 -x2286 -x2617 -x2620 -x2262 -x2265 -x2509 x2740 -x2741 x2746 x2747 -x2567 -x2570 -x2316 -x2319 -x2333 -x2351 -x2354 x2638 -x2639 -x2368 -x2634 x2621 -x2622 -x2601 -x2602 -x2603 -x2595 -x2616 -x2577 -x2581 -x2580 -x2579 -x2582 -x2315 -x2642 -x2365 -x2534 -x2535 -x2536 -x2521 -x2525 -x2523 -x2524 -x2522 -x2526 -x2350 -x2515 -x2330 -x2512 x2744 -x2745 x2738 x2739 -x2547 -x2548 -x2549 -x2550 x2553 -x2554 -x2742 -x2743 -x2748 -x2749 x2460 -x2469 -x2487 -x2496 x2545 -x2546 x2541 x2542 x2539 -x2540 x2537 -x2538 -x2532 -x2533 x2530 x2531 -x2527 -x2528 -x2529 -x2519 -x2520 -x2516 -x2517 -x2518 -x2497 -x2500 -x2470 -x2473 -x2510 -x2511 -x2483 -x2484 -x2506 -x2479 -x2503 -x2476 
c objective function=62955
c Total CPU time (ms) : 1219.046

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/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1773162857 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 39 3 38 16 0 23 0
[pid=8673] 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/8673
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=8674
New thread pid=8675
New thread pid=8676
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=8677
New thread pid=8678
New thread pid=8679
New thread pid=8680
New thread pid=8681
New thread pid=8682
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/wulflinc8/normalized-p2756.opb
New thread pid=8683
One traced child (pid=8683) exited with status: 0
New thread pid=8684
One traced child (pid=8684) exited with status: 0
New thread pid=8685
One traced child (pid=8685) exited with status: 0
New thread pid=8686
One traced child (pid=8686) exited with status: 0
New thread pid=8687

[startup+10.0024 s]
Raw data (loadavg): 1.04 1.01 0.98 4/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18194 4 1 0 719 50 0 0 19 0 11 0 1773162857 859594752 21146 4294967295 134512640 134569956 3221224352 3221214520 1131473619 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209862 21146 13129 16 0 209846 0
[pid=8673] vsize: 839448
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (Kb) 839448

[startup+20.0031 s]
Raw data (loadavg): 1.04 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18201 4 1 0 1663 50 0 0 24 0 11 0 1773162857 858583040 21139 4294967295 134512640 134569956 3221224352 3221214512 1131610476 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 21139 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 17.13
Current children cumulated vsize (Kb) 838460

[startup+30.0029 s]
Raw data (loadavg): 1.03 1.01 0.98 3/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18208 4 1 0 2614 51 0 0 24 0 11 0 1773162857 858583040 21240 4294967295 134512640 134569956 3221224352 3221214456 1131606873 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 21240 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 26.65
Current children cumulated vsize (Kb) 838460

[startup+40.0037 s]
Raw data (loadavg): 1.03 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18214 4 1 0 3568 51 0 0 25 0 11 0 1773162857 858583040 21295 4294967295 134512640 134569956 3221224352 3221214488 1131428517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 21295 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 36.19
Current children cumulated vsize (Kb) 838460

[startup+50.0045 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18220 4 1 0 4511 52 0 0 19 0 11 0 1773162857 858583040 21345 4294967295 134512640 134569956 3221224352 3221214596 1131364646 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 21345 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 45.63
Current children cumulated vsize (Kb) 838460

[startup+60.0053 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18226 4 1 0 5463 52 0 0 25 0 11 0 1773162857 858583040 21356 4294967295 134512640 134569956 3221224352 3221214588 1131428295 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 21356 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 55.15
Current children cumulated vsize (Kb) 838460

[startup+70.0061 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18232 4 1 0 6418 52 0 0 25 0 11 0 1773162857 858583040 22077 4294967295 134512640 134569956 3221224352 3221214572 1131057207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22077 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 64.7
Current children cumulated vsize (Kb) 838460

[startup+80.0068 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18238 4 1 0 7404 52 0 0 17 0 11 0 1773162857 858583040 22133 4294967295 134512640 134569956 3221224352 3221214520 1131598858 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22133 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 74.56
Current children cumulated vsize (Kb) 838460

[startup+90.0076 s]
Raw data (loadavg): 1.01 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18243 4 1 0 8394 52 0 0 25 0 11 0 1773162857 858583040 22133 4294967295 134512640 134569956 3221224352 3221214496 1131428517 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22133 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 84.46
Current children cumulated vsize (Kb) 838460

[startup+100.008 s]
Raw data (loadavg): 1.01 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18249 4 1 0 9383 53 0 0 25 0 11 0 1773162857 858583040 22145 4294967295 134512640 134569956 3221224352 3221214632 1131473621 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22145 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 94.36
Current children cumulated vsize (Kb) 838460

[startup+110.01 s]
Raw data (loadavg): 1.01 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18255 4 1 0 10370 53 0 0 20 0 11 0 1773162857 858583040 22145 4294967295 134512640 134569956 3221224352 3221214520 1131598878 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22145 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 104.23
Current children cumulated vsize (Kb) 838460

[startup+120.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18261 4 1 0 11356 53 0 0 25 0 11 0 1773162857 858583040 22145 4294967295 134512640 134569956 3221224352 3221214496 1131428680 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22145 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 114.09
Current children cumulated vsize (Kb) 838460

[startup+130.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18268 4 1 0 12343 54 0 0 17 0 11 0 1773162857 858583040 22192 4294967295 134512640 134569956 3221224352 3221214600 1131610324 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22192 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 123.97
Current children cumulated vsize (Kb) 838460

[startup+140.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18273 4 1 0 13334 54 0 0 25 0 11 0 1773162857 858583040 22192 4294967295 134512640 134569956 3221224352 3221214600 1131610840 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22192 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 133.88
Current children cumulated vsize (Kb) 838460

[startup+150.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18279 4 1 0 14322 54 0 0 20 0 11 0 1773162857 858583040 22192 4294967295 134512640 134569956 3221224352 3221214496 1131428465 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22192 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 143.76
Current children cumulated vsize (Kb) 838460

[startup+160.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18287 4 1 0 15307 54 0 0 17 0 11 0 1773162857 858583040 22250 4294967295 134512640 134569956 3221224352 3221214520 1131600284 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22250 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 153.61
Current children cumulated vsize (Kb) 838460

[startup+170.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18292 4 1 0 16287 55 0 0 25 0 11 0 1773162857 858583040 22250 4294967295 134512640 134569956 3221224352 3221214520 1131598887 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22250 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 163.42
Current children cumulated vsize (Kb) 838460

[startup+180.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18298 4 1 0 17263 55 0 0 25 0 11 0 1773162857 858583040 22250 4294967295 134512640 134569956 3221224352 3221214600 1131610576 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22250 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 173.18
Current children cumulated vsize (Kb) 838460

[startup+190.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18303 4 1 0 18245 55 0 0 25 0 11 0 1773162857 858583040 22295 4294967295 134512640 134569956 3221224352 3221214628 1131383431 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22295 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 183
Current children cumulated vsize (Kb) 838460

[startup+200.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18309 4 1 0 19222 56 0 0 17 0 11 0 1773162857 858583040 22295 4294967295 134512640 134569956 3221224352 3221214520 1131599268 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22295 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 192.78
Current children cumulated vsize (Kb) 838460

[startup+210.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18314 4 1 0 20202 57 0 0 25 0 11 0 1773162857 858583040 22352 4294967295 134512640 134569956 3221224352 3221214628 1131486752 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22352 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 202.59
Current children cumulated vsize (Kb) 838460

[startup+220.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18320 4 1 0 21182 57 0 0 25 0 11 0 1773162857 858583040 22549 4294967295 134512640 134569956 3221224352 3221214576 1131364711 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22549 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 212.39
Current children cumulated vsize (Kb) 838460

[startup+230.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18326 4 1 0 22169 57 0 0 18 0 11 0 1773162857 858583040 22557 4294967295 134512640 134569956 3221224352 3221214600 1131610324 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22557 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (Kb) 838460

[startup+240.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18331 4 1 0 23158 58 0 0 25 0 11 0 1773162857 858583040 22557 4294967295 134512640 134569956 3221224352 3221214488 1131428393 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22557 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 232.16
Current children cumulated vsize (Kb) 838460

[startup+250.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18337 4 1 0 24145 58 0 0 25 0 11 0 1773162857 858583040 22565 4294967295 134512640 134569956 3221224352 3221214488 1131428437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22565 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 242.03
Current children cumulated vsize (Kb) 838460

[startup+260.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18343 4 1 0 25132 59 0 0 25 0 11 0 1773162857 858583040 22617 4294967295 134512640 134569956 3221224352 3221214600 1131610286 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22617 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 251.91
Current children cumulated vsize (Kb) 838460

[startup+270.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18349 4 1 0 26124 59 0 0 25 0 11 0 1773162857 858583040 22679 4294967295 134512640 134569956 3221224352 3221214432 1079817097 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22679 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 261.83
Current children cumulated vsize (Kb) 838460

[startup+280.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18354 4 1 0 27119 59 0 0 25 0 11 0 1773162857 858583040 22695 4294967295 134512640 134569956 3221224352 3221214496 1131428444 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22695 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 271.78
Current children cumulated vsize (Kb) 838460

[startup+290.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18360 4 1 0 28113 59 0 0 23 0 11 0 1773162857 858583040 22695 4294967295 134512640 134569956 3221224352 3221214488 1131429347 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22695 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 281.72
Current children cumulated vsize (Kb) 838460

[startup+300.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18365 4 1 0 29107 60 0 0 25 0 11 0 1773162857 858583040 22707 4294967295 134512640 134569956 3221224352 3221214520 1131600266 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22707 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 291.67
Current children cumulated vsize (Kb) 838460

[startup+310.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18371 4 1 0 30099 60 0 0 25 0 11 0 1773162857 858583040 22716 4294967295 134512640 134569956 3221224352 3221214496 1131428517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22716 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 301.59
Current children cumulated vsize (Kb) 838460

[startup+320.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18377 4 1 0 31091 60 0 0 25 0 11 0 1773162857 858583040 22716 4294967295 134512640 134569956 3221224352 3221214496 1131428517 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22716 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 311.51
Current children cumulated vsize (Kb) 838460

[startup+330.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18383 4 1 0 32081 61 0 0 22 0 11 0 1773162857 858583040 22729 4294967295 134512640 134569956 3221224352 3221214520 1131599347 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22729 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 321.42
Current children cumulated vsize (Kb) 838460

[startup+340.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18389 4 1 0 33069 61 0 0 25 0 11 0 1773162857 858583040 22737 4294967295 134512640 134569956 3221224352 3221214632 1131473619 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22737 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 331.3
Current children cumulated vsize (Kb) 838460

[startup+350.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18395 4 1 0 34058 61 0 0 24 0 11 0 1773162857 858583040 22737 4294967295 134512640 134569956 3221224352 3221214592 1131383289 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22737 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 341.19
Current children cumulated vsize (Kb) 838460

[startup+360.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18401 4 1 0 35048 61 0 0 19 0 11 0 1773162857 858583040 22745 4294967295 134512640 134569956 3221224352 3221214520 1131600178 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22745 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 351.09
Current children cumulated vsize (Kb) 838460

[startup+370.034 s]
Raw data (loadavg): 1.00 1.00 0.98 3/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18407 4 1 0 36039 62 0 0 25 0 11 0 1773162857 858583040 22745 4294967295 134512640 134569956 3221224352 3221214520 1131599533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22745 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 361.01
Current children cumulated vsize (Kb) 838460

[startup+380.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18413 4 1 0 37030 62 0 0 19 0 11 0 1773162857 858583040 22789 4294967295 134512640 134569956 3221224352 3221214496 1131428517 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22789 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 370.92
Current children cumulated vsize (Kb) 838460

[startup+390.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18419 4 1 0 38022 62 0 0 18 0 11 0 1773162857 858583040 22789 4294967295 134512640 134569956 3221224352 3221214600 1131610552 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22789 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 380.84
Current children cumulated vsize (Kb) 838460

[startup+400.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18424 4 1 0 39014 63 0 0 25 0 11 0 1773162857 858583040 22789 4294967295 134512640 134569956 3221224352 3221214488 1131428517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22789 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 390.77
Current children cumulated vsize (Kb) 838460

[startup+410.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18430 4 1 0 40006 63 0 0 25 0 11 0 1773162857 858583040 22789 4294967295 134512640 134569956 3221224352 3221214520 1131599355 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22789 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 400.69
Current children cumulated vsize (Kb) 838460

[startup+420.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18435 4 1 0 40999 64 0 0 25 0 11 0 1773162857 858583040 22789 4294967295 134512640 134569956 3221224352 3221214600 1131610271 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22789 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 410.63
Current children cumulated vsize (Kb) 838460

[startup+430.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18441 4 1 0 41991 64 0 0 25 0 11 0 1773162857 858583040 22831 4294967295 134512640 134569956 3221224352 3221214520 1131598858 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22831 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 420.55
Current children cumulated vsize (Kb) 838460

[startup+440.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18447 4 1 0 42982 65 0 0 25 0 11 0 1773162857 858583040 22846 4294967295 134512640 134569956 3221224352 3221214520 1131599264 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22846 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 430.47
Current children cumulated vsize (Kb) 838460

[startup+450.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18453 4 1 0 43975 65 0 0 23 0 11 0 1773162857 858583040 22846 4294967295 134512640 134569956 3221224352 3221214404 1131520563 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22846 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 440.4
Current children cumulated vsize (Kb) 838460

[startup+460.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18459 4 1 0 44967 65 0 0 25 0 11 0 1773162857 858583040 22860 4294967295 134512640 134569956 3221224352 3221214600 1131610324 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22860 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 450.32
Current children cumulated vsize (Kb) 838460

[startup+470.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18464 4 1 0 45960 65 0 0 25 0 11 0 1773162857 858583040 22860 4294967295 134512640 134569956 3221224352 3221214596 1131385132 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22860 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 460.25
Current children cumulated vsize (Kb) 838460

[startup+480.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18470 4 1 0 46949 66 0 0 25 0 11 0 1773162857 858583040 22885 4294967295 134512640 134569956 3221224352 3221214520 1131599264 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22885 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 470.15
Current children cumulated vsize (Kb) 838460

[startup+490.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18476 4 1 0 47939 66 0 0 25 0 11 0 1773162857 858583040 22885 4294967295 134512640 134569956 3221224352 3221214400 1131645889 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22885 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 480.05
Current children cumulated vsize (Kb) 838460

[startup+500.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18482 4 1 0 48929 66 0 0 25 0 11 0 1773162857 858583040 22907 4294967295 134512640 134569956 3221224352 3221214520 1131598858 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22907 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 489.95
Current children cumulated vsize (Kb) 838460

[startup+510.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18488 4 1 0 49920 67 0 0 18 0 11 0 1773162857 858583040 22923 4294967295 134512640 134569956 3221224352 3221214520 1131598858 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22923 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 499.87
Current children cumulated vsize (Kb) 838460

[startup+520.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18494 4 1 0 50911 67 0 0 17 0 11 0 1773162857 858583040 22923 4294967295 134512640 134569956 3221224352 3221214600 1131610133 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 22923 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 509.78
Current children cumulated vsize (Kb) 838460

[startup+530.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18499 4 1 0 51903 67 0 0 25 0 11 0 1773162857 858583040 22941 4294967295 134512640 134569956 3221224352 3221214632 1131473653 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22941 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 519.7
Current children cumulated vsize (Kb) 838460

[startup+540.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18505 4 1 0 52894 68 0 0 25 0 11 0 1773162857 858583040 22941 4294967295 134512640 134569956 3221224352 3221214576 1131364697 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22941 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 529.62
Current children cumulated vsize (Kb) 838460

[startup+550.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18511 4 1 0 53885 68 0 0 25 0 11 0 1773162857 858583040 22941 4294967295 134512640 134569956 3221224352 3221214488 1131428517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22941 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 539.53
Current children cumulated vsize (Kb) 838460

[startup+560.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18516 4 1 0 54875 68 0 0 25 0 11 0 1773162857 858583040 22941 4294967295 134512640 134569956 3221224352 3221214520 1131598816 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22941 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 549.43
Current children cumulated vsize (Kb) 838460

[startup+570.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18522 4 1 0 55866 68 0 0 25 0 11 0 1773162857 858583040 22987 4294967295 134512640 134569956 3221224352 3221214600 1131610464 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 22987 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 559.34
Current children cumulated vsize (Kb) 838460

[startup+580.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18528 4 1 0 56856 69 0 0 25 0 11 0 1773162857 858583040 23000 4294967295 134512640 134569956 3221224352 3221214592 1131383003 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23000 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 569.25
Current children cumulated vsize (Kb) 838460

[startup+590.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18534 4 1 0 57846 70 0 0 18 0 11 0 1773162857 858583040 23000 4294967295 134512640 134569956 3221224352 3221214616 1131364697 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23000 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 579.16
Current children cumulated vsize (Kb) 838460

[startup+600.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18539 4 1 0 58837 70 0 0 25 0 11 0 1773162857 858583040 23000 4294967295 134512640 134569956 3221224352 3221214488 1131428352 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23000 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 589.07
Current children cumulated vsize (Kb) 838460

[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18545 4 1 0 59828 71 0 0 25 0 11 0 1773162857 858583040 23053 4294967295 134512640 134569956 3221224352 3221214520 1131599084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23053 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 598.99
Current children cumulated vsize (Kb) 838460

[startup+620.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18551 4 1 0 60821 71 0 0 22 0 11 0 1773162857 858583040 23071 4294967295 134512640 134569956 3221224352 3221214496 1131428533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23071 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 608.92
Current children cumulated vsize (Kb) 838460

[startup+630.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18556 4 1 0 61816 71 0 0 25 0 11 0 1773162857 858583040 23071 4294967295 134512640 134569956 3221224352 3221214600 1131610206 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23071 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 618.87
Current children cumulated vsize (Kb) 838460

[startup+640.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18562 4 1 0 62809 72 0 0 25 0 11 0 1773162857 858583040 23079 4294967295 134512640 134569956 3221224352 3221214600 1131610546 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23079 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 628.81
Current children cumulated vsize (Kb) 838460

[startup+650.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18568 4 1 0 63800 72 0 0 25 0 11 0 1773162857 858583040 23087 4294967295 134512640 134569956 3221224352 3221214496 1131428465 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23087 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 638.72
Current children cumulated vsize (Kb) 838460

[startup+660.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18574 4 1 0 64789 72 0 0 22 0 11 0 1773162857 858583040 23108 4294967295 134512640 134569956 3221224352 3221214496 1131430389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23108 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 648.61
Current children cumulated vsize (Kb) 838460

[startup+670.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18580 4 1 0 65780 72 0 0 25 0 11 0 1773162857 858583040 23108 4294967295 134512640 134569956 3221224352 3221214576 1131364697 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23108 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 658.52
Current children cumulated vsize (Kb) 838460

[startup+680.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18586 4 1 0 66771 73 0 0 18 0 11 0 1773162857 858583040 23116 4294967295 134512640 134569956 3221224352 3221214600 1131610464 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23116 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 668.44
Current children cumulated vsize (Kb) 838460

[startup+690.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18592 4 1 0 67762 73 0 0 17 0 11 0 1773162857 858583040 23124 4294967295 134512640 134569956 3221224352 3221214600 1131611339 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23124 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 678.35
Current children cumulated vsize (Kb) 838460

[startup+700.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18597 4 1 0 68752 73 0 0 25 0 11 0 1773162857 858583040 23124 4294967295 134512640 134569956 3221224352 3221214516 1131676723 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23124 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 688.25
Current children cumulated vsize (Kb) 838460

[startup+710.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18603 4 1 0 69742 73 0 0 21 0 11 0 1773162857 858583040 23143 4294967295 134512640 134569956 3221224352 3221214488 1131428352 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23143 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 698.15
Current children cumulated vsize (Kb) 838460

[startup+720.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18609 4 1 0 70730 74 0 0 25 0 11 0 1773162857 858583040 23143 4294967295 134512640 134569956 3221224352 3221214488 1131428664 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23143 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 708.04
Current children cumulated vsize (Kb) 838460

[startup+730.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18615 4 1 0 71718 74 0 0 25 0 11 0 1773162857 858583040 23143 4294967295 134512640 134569956 3221224352 3221214600 1131610324 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23143 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 717.92
Current children cumulated vsize (Kb) 838460

[startup+740.062 s]
Raw data (loadavg): 1.08 1.02 0.98 3/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18620 4 1 0 72708 74 0 0 25 0 11 0 1773162857 858583040 23186 4294967295 134512640 134569956 3221224352 3221214488 1131428517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23186 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 727.82
Current children cumulated vsize (Kb) 838460

[startup+750.062 s]
Raw data (loadavg): 1.07 1.02 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18626 4 1 0 73698 75 0 0 25 0 11 0 1773162857 858583040 23195 4294967295 134512640 134569956 3221224352 3221214496 1131428496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23195 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 737.73
Current children cumulated vsize (Kb) 838460

[startup+760.063 s]
Raw data (loadavg): 1.06 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18633 4 1 0 74687 75 0 0 25 0 11 0 1773162857 858583040 23239 4294967295 134512640 134569956 3221224352 3221214496 1131428590 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23239 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 747.62
Current children cumulated vsize (Kb) 838460

[startup+770.064 s]
Raw data (loadavg): 1.05 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18639 4 1 0 75678 76 0 0 25 0 11 0 1773162857 858583040 23246 4294967295 134512640 134569956 3221224352 3221214600 1131610259 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23246 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 757.54
Current children cumulated vsize (Kb) 838460

[startup+780.063 s]
Raw data (loadavg): 1.04 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18645 4 1 0 76667 76 0 0 20 0 11 0 1773162857 858583040 23266 4294967295 134512640 134569956 3221224352 3221214488 1131428426 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23266 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 767.43
Current children cumulated vsize (Kb) 838460

[startup+790.064 s]
Raw data (loadavg): 1.03 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18651 4 1 0 77656 77 0 0 25 0 11 0 1773162857 858583040 23266 4294967295 134512640 134569956 3221224352 3221214572 1131057254 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23266 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 777.33
Current children cumulated vsize (Kb) 838460

[startup+800.065 s]
Raw data (loadavg): 1.03 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18657 4 1 0 78641 77 0 0 25 0 11 0 1773162857 858583040 23288 4294967295 134512640 134569956 3221224352 3221214628 1131382956 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23288 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 787.18
Current children cumulated vsize (Kb) 838460

[startup+810.066 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18664 4 1 0 79627 77 0 0 25 0 11 0 1773162857 858583040 23288 4294967295 134512640 134569956 3221224352 3221214628 1131486752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23288 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 797.04
Current children cumulated vsize (Kb) 838460

[startup+820.067 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 8687
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18671 4 1 0 80610 77 0 0 25 0 11 0 1773162857 858583040 23302 4294967295 134512640 134569956 3221224352 3221214488 1131428517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23302 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 806.87
Current children cumulated vsize (Kb) 838460
One traced child (pid=8687) exited with status: 0
New thread pid=8688

[startup+830.067 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18675 5 1 0 81595 78 0 0 25 0 11 0 1773162857 858583040 23302 4294967295 134512640 134569956 3221224352 3221214520 1131598841 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23302 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 816.73
Current children cumulated vsize (Kb) 838460

[startup+840.068 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18681 5 1 0 82577 79 0 0 22 0 11 0 1773162857 858583040 23349 4294967295 134512640 134569956 3221224352 3221214520 1131598858 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23349 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 826.56
Current children cumulated vsize (Kb) 838460

[startup+850.069 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18687 5 1 0 83559 79 0 0 25 0 11 0 1773162857 858583040 23354 4294967295 134512640 134569956 3221224352 3221214488 1131428517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23354 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 836.38
Current children cumulated vsize (Kb) 838460

[startup+860.071 s]
Raw data (loadavg): 1.01 1.00 0.98 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18692 5 1 0 84547 80 0 0 25 0 11 0 1773162857 858583040 23409 4294967295 134512640 134569956 3221224352 3221214488 1131428517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23409 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 846.27
Current children cumulated vsize (Kb) 838460

[startup+870.072 s]
Raw data (loadavg): 1.01 1.00 0.98 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18698 5 1 0 85533 80 0 0 25 0 11 0 1773162857 858583040 23439 4294967295 134512640 134569956 3221224352 3221214496 1131428788 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23439 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 856.13
Current children cumulated vsize (Kb) 838460

[startup+880.072 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18704 5 1 0 86520 80 0 0 25 0 11 0 1773162857 858583040 23542 4294967295 134512640 134569956 3221224352 3221214520 1131598878 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23542 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 866
Current children cumulated vsize (Kb) 838460

[startup+890.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18710 5 1 0 87514 81 0 0 25 0 11 0 1773162857 858583040 23542 4294967295 134512640 134569956 3221224352 3221214488 1131428569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23542 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 875.95
Current children cumulated vsize (Kb) 838460

[startup+900.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18716 5 1 0 88509 81 0 0 23 0 11 0 1773162857 858583040 23551 4294967295 134512640 134569956 3221224352 3221214520 1131598940 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23551 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 885.9
Current children cumulated vsize (Kb) 838460

[startup+910.075 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18722 5 1 0 89498 82 0 0 20 0 11 0 1773162857 858583040 23551 4294967295 134512640 134569956 3221224352 3221214496 1131428762 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23551 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 895.8
Current children cumulated vsize (Kb) 838460

[startup+920.075 s]
Raw data (loadavg): 1.16 1.03 0.99 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) S 8672 8673 27660 0 -1 0 18728 5 1 0 90488 82 0 0 25 0 11 0 1773162857 858583040 23559 4294967295 134512640 134569956 3221224352 3221213232 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23559 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 905.7
Current children cumulated vsize (Kb) 838460

[startup+930.075 s]
Raw data (loadavg): 1.14 1.03 0.99 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18733 5 1 0 91477 82 0 0 25 0 11 0 1773162857 858583040 23568 4294967295 134512640 134569956 3221224352 3221214488 1131428465 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23568 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 915.59
Current children cumulated vsize (Kb) 838460

[startup+940.077 s]
Raw data (loadavg): 1.11 1.03 0.99 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18739 5 1 0 92466 83 0 0 25 0 11 0 1773162857 858583040 23578 4294967295 134512640 134569956 3221224352 3221214592 1131383364 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23578 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 925.49
Current children cumulated vsize (Kb) 838460

[startup+950.078 s]
Raw data (loadavg): 1.10 1.03 0.99 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18745 5 1 0 93452 83 0 0 25 0 11 0 1773162857 858583040 23578 4294967295 134512640 134569956 3221224352 3221214520 1131599378 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23578 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 935.35
Current children cumulated vsize (Kb) 838460

[startup+960.079 s]
Raw data (loadavg): 1.15 1.04 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18751 5 1 0 94439 83 0 0 25 0 11 0 1773162857 858583040 23638 4294967295 134512640 134569956 3221224352 3221214488 1131428456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23638 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 945.22
Current children cumulated vsize (Kb) 838460

[startup+970.079 s]
Raw data (loadavg): 1.13 1.04 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18757 5 1 0 95427 84 0 0 25 0 11 0 1773162857 858583040 23638 4294967295 134512640 134569956 3221224352 3221214600 1131610826 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23638 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 955.11
Current children cumulated vsize (Kb) 838460

[startup+980.08 s]
Raw data (loadavg): 1.11 1.04 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18764 5 1 0 96414 84 0 0 25 0 11 0 1773162857 858583040 23648 4294967295 134512640 134569956 3221224352 3221214608 1131486842 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23648 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 964.98
Current children cumulated vsize (Kb) 838460

[startup+990.081 s]
Raw data (loadavg): 1.09 1.04 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18770 5 1 0 97401 84 0 0 25 0 11 0 1773162857 858583040 23703 4294967295 134512640 134569956 3221224352 3221214592 1131383003 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23703 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 974.85
Current children cumulated vsize (Kb) 838460

[startup+1000.08 s]
Raw data (loadavg): 1.08 1.04 1.00 3/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18777 5 1 0 98388 84 0 0 25 0 11 0 1773162857 858583040 23703 4294967295 134512640 134569956 3221224352 3221214760 1131516233 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23703 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 984.72
Current children cumulated vsize (Kb) 838460

[startup+1010.08 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18783 5 1 0 99373 84 0 0 25 0 11 0 1773162857 858583040 23717 4294967295 134512640 134569956 3221224352 3221214488 1131428517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23717 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 994.57
Current children cumulated vsize (Kb) 838460

[startup+1020.08 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18789 5 1 0 100354 84 0 0 25 0 11 0 1773162857 858583040 23732 4294967295 134512640 134569956 3221224352 3221214496 1131428517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23732 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1004.38
Current children cumulated vsize (Kb) 838460

[startup+1030.08 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18796 5 1 0 101325 84 0 0 25 0 11 0 1773162857 858583040 23741 4294967295 134512640 134569956 3221224352 3221214600 1131610420 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23741 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1014.09
Current children cumulated vsize (Kb) 838460

[startup+1040.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18802 5 1 0 102301 85 0 0 18 0 11 0 1773162857 858583040 23793 4294967295 134512640 134569956 3221224352 3221214496 1131428517 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23793 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1023.86
Current children cumulated vsize (Kb) 838460

[startup+1050.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18808 5 1 0 103280 85 0 0 19 0 11 0 1773162857 858583040 23806 4294967295 134512640 134569956 3221224352 3221214632 1131428517 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23806 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1033.65
Current children cumulated vsize (Kb) 838460

[startup+1060.09 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18814 5 1 0 104260 85 0 0 25 0 11 0 1773162857 858583040 23851 4294967295 134512640 134569956 3221224352 3221214520 1131600439 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23851 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1043.45
Current children cumulated vsize (Kb) 838460

[startup+1070.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18820 5 1 0 105243 86 0 0 25 0 11 0 1773162857 858583040 23984 4294967295 134512640 134569956 3221224352 3221214488 1131428352 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 23984 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1053.29
Current children cumulated vsize (Kb) 838460

[startup+1080.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18827 5 1 0 106224 86 0 0 25 0 11 0 1773162857 858583040 23984 4294967295 134512640 134569956 3221224352 3221214632 1131473619 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23984 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1063.1
Current children cumulated vsize (Kb) 838460

[startup+1090.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18833 5 1 0 107206 86 0 0 21 0 11 0 1773162857 858583040 23984 4294967295 134512640 134569956 3221224352 3221214600 1131610324 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 23984 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1072.92
Current children cumulated vsize (Kb) 838460

[startup+1100.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18839 5 1 0 108188 87 0 0 25 0 11 0 1773162857 858583040 24027 4294967295 134512640 134569956 3221224352 3221214488 1131430458 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 24027 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1082.75
Current children cumulated vsize (Kb) 838460

[startup+1110.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18845 5 1 0 109175 87 0 0 25 0 11 0 1773162857 858583040 24071 4294967295 134512640 134569956 3221224352 3221214576 1131364707 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 24071 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1092.62
Current children cumulated vsize (Kb) 838460

[startup+1120.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18852 5 1 0 110160 88 0 0 22 0 11 0 1773162857 858583040 24171 4294967295 134512640 134569956 3221224352 3221214520 1131601105 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 24171 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1102.48
Current children cumulated vsize (Kb) 838460

[startup+1130.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18859 5 1 0 111154 88 0 0 25 0 11 0 1773162857 858583040 24171 4294967295 134512640 134569956 3221224352 3221214488 1131428655 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 24171 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1112.42
Current children cumulated vsize (Kb) 838460

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18865 5 1 0 112148 88 0 0 20 0 11 0 1773162857 858583040 24187 4294967295 134512640 134569956 3221224352 3221214576 1131364697 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 24187 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (Kb) 838460

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18871 5 1 0 113143 89 0 0 20 0 11 0 1773162857 858583040 24187 4294967295 134512640 134569956 3221224352 3221214488 1131428354 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 24187 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1132.32
Current children cumulated vsize (Kb) 838460

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18877 5 1 0 114137 89 0 0 25 0 11 0 1773162857 858583040 24199 4294967295 134512640 134569956 3221224352 3221214488 1131428766 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 24199 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1142.26
Current children cumulated vsize (Kb) 838460

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18884 5 1 0 115131 89 0 0 25 0 11 0 1773162857 858583040 24199 4294967295 134512640 134569956 3221224352 3221214496 1131428517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 24199 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1152.2
Current children cumulated vsize (Kb) 838460

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18890 5 1 0 116126 90 0 0 25 0 11 0 1773162857 858583040 24199 4294967295 134512640 134569956 3221224352 3221214488 1131430385 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 24199 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1162.16
Current children cumulated vsize (Kb) 838460

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18896 5 1 0 117121 90 0 0 25 0 11 0 1773162857 858583040 24209 4294967295 134512640 134569956 3221224352 3221214632 1131473671 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 24209 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1172.11
Current children cumulated vsize (Kb) 838460

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18902 5 1 0 118112 90 0 0 25 0 11 0 1773162857 858583040 24209 4294967295 134512640 134569956 3221224352 3221214512 1131594427 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 24209 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (Kb) 838460

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18908 5 1 0 119103 90 0 0 25 0 11 0 1773162857 858583040 24221 4294967295 134512640 134569956 3221224352 3221214488 1131429284 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8673/statm): 209615 24221 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1191.93
Current children cumulated vsize (Kb) 838460

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18914 5 1 0 120090 91 0 0 25 0 11 0 1773162857 858583040 24221 4294967295 134512640 134569956 3221224352 3221214628 1131383431 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 24221 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1201.81
Current children cumulated vsize (Kb) 838460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8688
Raw data (/proc/8673/stat): 8673 (java) R 8672 8673 27660 0 -1 0 18914 5 1 0 120090 91 0 0 25 0 11 0 1773162857 858583040 24221 4294967295 134512640 134569956 3221224352 3221214628 1131383431 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8673/statm): 209615 24221 13129 16 0 209599 0
[pid=8673] vsize: 838460
Current children cumulated CPU time (s) 1201.81
Current children cumulated vsize (Kb) 838460

Sending SIGTERM to -8673
Sleeping 2 seconds
New thread pid=8690
New thread pid=8691
One traced child (pid=8691) exited with status: 0
One traced child (pid=8682) exited with status: 0
One traced child (pid=8677) exited with status: 0
One traced child (pid=8674) exited with status: 143
One traced child (pid=8675) exited with status: 143
One traced child (pid=8676) exited with status: 143
One traced child (pid=8678) exited with status: 143
One traced child (pid=8681) exited with status: 143
One traced child (pid=8680) exited with status: 143
One traced child (pid=8688) exited with status: 143
One traced child (pid=8679) exited with status: 143
One traced child (pid=8690) exited with status: 143
One traced child (pid=8673) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.42
CPU time (s): 1227.84
CPU user time (s): 1226.28
CPU system time (s): 1.56076
CPU usage (%): 100.608
Max. virtual memory (cumulated for all children) (Kb): 839448

Verifier Data

Verifier:	OK	62955