Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namesubmitted/manquinho/logic-synthesis/normalized-jac3.opb
MD5SUM43952ea8e0659c6ffd861c99c0b605de
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of terms in the objective function 1732
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1732
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1732
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark96.5553
Number of variables1731
Total number of constraints1254
Number of constraints which are clauses1254
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint694

Trace number 1168

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        915960 kB
Buffers:         36016 kB
Cached:          53868 kB
SwapCached:        692 kB
Active:          65452 kB
Inactive:        27016 kB
HighTotal:      131008 kB
HighFree:        74340 kB
LowTotal:       903652 kB
LowFree:        841620 kB
SwapTotal:     2097136 kB
SwapFree:      2095920 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5724 kB
Slab:            20768 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 14:01:37 (client local time) WITH STATUS 143 IN 1256.6 SECONDS
stats: 5928 0 1256.6 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/wulflinc15/normalized-jac3.opb
c reading problem ... done. Time 3.047 ms.
c #vars     1732
c #constraints  1254
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  25 		Current CPU time: 4.39 ms
c CURRENT OPTIMUM=                  24 		Current CPU time: 5.99 ms
c CURRENT OPTIMUM=                  23 		Current CPU time: 6.94 ms
c CURRENT OPTIMUM=                  22 		Current CPU time: 8.12 ms
c CURRENT OPTIMUM=                  21 		Current CPU time: 11.74 ms
c CURRENT OPTIMUM=                  20 		Current CPU time: 309.37 ms
c CURRENT OPTIMUM=                  19 		Current CPU time: 318.95 ms
c CURRENT OPTIMUM=                  18 		Current CPU time: 635.38 ms
c starts		: 11
c conflicts		: 556
c decisions		: 29891
c propagations		: 71088
c inspects		: 238900
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 555
c root simplifications	: 11
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 47.94765555197311
c non guided choices	14111
c random choices	0
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 
c objective function=18
c Total CPU time (ms) : 1259.011

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/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1783452090 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 39 3 38 16 0 23 0
[pid=8729] 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/8729
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=8730
New thread pid=8731
New thread pid=8732
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=8733
New thread pid=8734
New thread pid=8735
New thread pid=8736
New thread pid=8737
New thread pid=8738
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/wulflinc15/normalized-jac3.opb
New thread pid=8739
One traced child (pid=8739) exited with status: 0
New thread pid=8740
One traced child (pid=8740) exited with status: 0
New thread pid=8741
One traced child (pid=8741) exited with status: 0
New thread pid=8742
One traced child (pid=8742) exited with status: 0
New thread pid=8743

[startup+10.0024 s]
Raw data (loadavg): 1.08 1.02 0.91 2/66 8743
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18174 3 3 0 680 47 0 0 18 0 11 0 1783452090 861958144 21352 4294967295 134512640 134569956 3221224352 3221214552 1131355380 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210439 21352 13129 16 0 210423 0
[pid=8729] vsize: 841756
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (Kb) 841756
One traced child (pid=8743) exited with status: 0
New thread pid=8744

[startup+20.0033 s]
Raw data (loadavg): 1.07 1.02 0.91 3/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18183 3 3 0 1603 48 0 0 25 0 11 0 1783452090 861761536 23572 4294967295 134512640 134569956 3221224352 3221214440 1131510309 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 23572 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 16.51
Current children cumulated vsize (Kb) 841564

[startup+30.0041 s]
Raw data (loadavg): 1.06 1.01 0.91 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18191 3 3 0 2541 48 0 0 20 0 11 0 1783452090 861761536 24093 4294967295 134512640 134569956 3221224352 3221214520 1131510221 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 24093 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 25.89
Current children cumulated vsize (Kb) 841564

[startup+40.0049 s]
Raw data (loadavg): 1.05 1.01 0.91 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) S 8728 8729 31778 0 -1 0 18197 3 3 0 3479 49 0 0 25 0 11 0 1783452090 861761536 24095 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 24095 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 35.28
Current children cumulated vsize (Kb) 841564

[startup+50.0057 s]
Raw data (loadavg): 1.04 1.01 0.91 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18205 3 3 0 4416 49 0 0 19 0 11 0 1783452090 861761536 24102 4294967295 134512640 134569956 3221224352 3221214624 1131632906 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 24102 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 44.65
Current children cumulated vsize (Kb) 841564

[startup+60.0066 s]
Raw data (loadavg): 1.03 1.01 0.91 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18211 3 3 0 5357 50 0 0 25 0 11 0 1783452090 861761536 24102 4294967295 134512640 134569956 3221224352 3221214624 1131632247 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 24102 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 54.07
Current children cumulated vsize (Kb) 841564

[startup+70.0074 s]
Raw data (loadavg): 1.03 1.01 0.91 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18218 3 3 0 6303 50 0 0 25 0 11 0 1783452090 861761536 24620 4294967295 134512640 134569956 3221224352 3221214512 1131355373 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 24620 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 63.53
Current children cumulated vsize (Kb) 841564

[startup+80.0092 s]
Raw data (loadavg): 1.02 1.01 0.91 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18224 3 3 0 7281 50 0 0 25 0 11 0 1783452090 861761536 24783 4294967295 134512640 134569956 3221224352 3221214520 1131510309 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 24783 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 73.31
Current children cumulated vsize (Kb) 841564

[startup+90.009 s]
Raw data (loadavg): 1.02 1.01 0.91 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18231 3 3 0 8263 51 0 0 25 0 11 0 1783452090 861761536 24943 4294967295 134512640 134569956 3221224352 3221214608 1131536439 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 24943 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 83.14
Current children cumulated vsize (Kb) 841564

[startup+100.01 s]
Raw data (loadavg): 1.02 1.01 0.91 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18238 3 3 0 9234 51 0 0 25 0 11 0 1783452090 861761536 24943 4294967295 134512640 134569956 3221224352 3221214624 1131632324 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 24943 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 92.85
Current children cumulated vsize (Kb) 841564

[startup+110.011 s]
Raw data (loadavg): 1.09 1.02 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18244 3 3 0 10207 52 0 0 23 0 11 0 1783452090 861761536 24943 4294967295 134512640 134569956 3221224352 3221214624 1131632494 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 24943 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 102.59
Current children cumulated vsize (Kb) 841564

[startup+120.011 s]
Raw data (loadavg): 1.07 1.02 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18251 3 3 0 11175 52 0 0 25 0 11 0 1783452090 861761536 24943 4294967295 134512640 134569956 3221224352 3221214604 1131386716 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 24943 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 112.27
Current children cumulated vsize (Kb) 841564

[startup+130.012 s]
Raw data (loadavg): 1.06 1.02 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18257 3 3 0 12147 53 0 0 25 0 11 0 1783452090 861761536 24978 4294967295 134512640 134569956 3221224352 3221214624 1131632643 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 24978 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 122
Current children cumulated vsize (Kb) 841564

[startup+140.012 s]
Raw data (loadavg): 1.05 1.02 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18264 3 3 0 13111 53 0 0 25 0 11 0 1783452090 861761536 25194 4294967295 134512640 134569956 3221224352 3221214648 1131349008 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 25194 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 131.64
Current children cumulated vsize (Kb) 841564

[startup+150.013 s]
Raw data (loadavg): 1.04 1.02 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18271 3 3 0 14087 54 0 0 20 0 11 0 1783452090 861761536 25224 4294967295 134512640 134569956 3221224352 3221214624 1131632876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 25224 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 141.41
Current children cumulated vsize (Kb) 841564

[startup+160.014 s]
Raw data (loadavg): 1.04 1.02 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) S 8728 8729 31778 0 -1 0 18278 3 3 0 15062 54 0 0 25 0 11 0 1783452090 861761536 25225 4294967295 134512640 134569956 3221224352 3221213248 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 25225 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 151.16
Current children cumulated vsize (Kb) 841564

[startup+170.014 s]
Raw data (loadavg): 1.03 1.02 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18284 3 3 0 16041 54 0 0 25 0 11 0 1783452090 861761536 25252 4294967295 134512640 134569956 3221224352 3221214520 1131510257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 25252 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (Kb) 841564

[startup+180.014 s]
Raw data (loadavg): 1.02 1.02 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18291 3 3 0 17022 55 0 0 24 0 11 0 1783452090 861761536 25339 4294967295 134512640 134569956 3221224352 3221214504 1131510309 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 25339 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 170.77
Current children cumulated vsize (Kb) 841564

[startup+190.015 s]
Raw data (loadavg): 1.02 1.02 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18297 3 3 0 18006 55 0 0 25 0 11 0 1783452090 861761536 25395 4294967295 134512640 134569956 3221224352 3221214504 1131510309 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 25395 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 180.61
Current children cumulated vsize (Kb) 841564

[startup+200.015 s]
Raw data (loadavg): 1.02 1.01 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18304 3 3 0 18987 55 0 0 22 0 11 0 1783452090 861761536 25453 4294967295 134512640 134569956 3221224352 3221214624 1131632247 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 25453 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 190.42
Current children cumulated vsize (Kb) 841564

[startup+210.016 s]
Raw data (loadavg): 1.01 1.01 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18311 3 3 0 19964 56 0 0 25 0 11 0 1783452090 861761536 25453 4294967295 134512640 134569956 3221224352 3221214584 1131390640 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 25453 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 200.2
Current children cumulated vsize (Kb) 841564

[startup+220.017 s]
Raw data (loadavg): 1.01 1.01 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18317 3 3 0 20945 56 0 0 25 0 11 0 1783452090 861761536 25453 4294967295 134512640 134569956 3221224352 3221214504 1131510211 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 25453 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 210.01
Current children cumulated vsize (Kb) 841564

[startup+230.017 s]
Raw data (loadavg): 1.01 1.01 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18324 3 3 0 21919 56 0 0 25 0 11 0 1783452090 861761536 25453 4294967295 134512640 134569956 3221224352 3221214604 1131510080 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 25453 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 219.75
Current children cumulated vsize (Kb) 841564

[startup+240.018 s]
Raw data (loadavg): 1.01 1.01 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18331 3 3 0 22893 56 0 0 25 0 11 0 1783452090 861761536 25542 4294967295 134512640 134569956 3221224352 3221214520 1131510257 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 25542 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 229.49
Current children cumulated vsize (Kb) 841564

[startup+250.019 s]
Raw data (loadavg): 1.01 1.01 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18338 3 3 0 23858 57 0 0 25 0 11 0 1783452090 861761536 25608 4294967295 134512640 134569956 3221224352 3221214520 1131510221 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 25608 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 239.15
Current children cumulated vsize (Kb) 841564

[startup+260.02 s]
Raw data (loadavg): 1.00 1.01 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18344 3 3 0 24823 57 0 0 23 0 11 0 1783452090 861761536 25608 4294967295 134512640 134569956 3221224352 3221214624 1131632298 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 25608 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 248.8
Current children cumulated vsize (Kb) 841564

[startup+270.021 s]
Raw data (loadavg): 1.00 1.01 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18351 3 3 0 25782 57 0 0 24 0 11 0 1783452090 861761536 25608 4294967295 134512640 134569956 3221224352 3221214520 1131510248 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 25608 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 258.39
Current children cumulated vsize (Kb) 841564

[startup+280.023 s]
Raw data (loadavg): 1.00 1.01 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18357 3 3 0 26751 58 0 0 25 0 11 0 1783452090 861761536 25702 4294967295 134512640 134569956 3221224352 3221214624 1131632321 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 25702 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 268.09
Current children cumulated vsize (Kb) 841564

[startup+290.023 s]
Raw data (loadavg): 1.00 1.01 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18364 3 3 0 27719 58 0 0 24 0 11 0 1783452090 861761536 25821 4294967295 134512640 134569956 3221224352 3221214624 1131632193 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 25821 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 277.77
Current children cumulated vsize (Kb) 841564

[startup+300.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18370 3 3 0 28705 58 0 0 25 0 11 0 1783452090 861761536 26047 4294967295 134512640 134569956 3221224352 3221214624 1131632718 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 26047 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 287.63
Current children cumulated vsize (Kb) 841564

[startup+310.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8744
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18377 3 3 0 29697 58 0 0 25 0 11 0 1783452090 861761536 26047 4294967295 134512640 134569956 3221224352 3221214552 1131355380 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 26047 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 297.55
Current children cumulated vsize (Kb) 841564
One traced child (pid=8744) exited with status: 0
New thread pid=8745

[startup+320.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8745
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18384 3 3 0 30637 58 0 0 25 0 11 0 1783452090 861761536 26047 4294967295 134512640 134569956 3221224352 3221214664 1131550892 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 26047 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 306.95
Current children cumulated vsize (Kb) 841564
One traced child (pid=8745) exited with status: 0
New thread pid=8746

[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18391 3 3 0 31562 59 0 0 25 0 11 0 1783452090 861761536 26736 4294967295 134512640 134569956 3221224352 3221214520 1131510207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 26736 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 316.21
Current children cumulated vsize (Kb) 841564

[startup+340.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18397 3 3 0 32497 59 0 0 25 0 11 0 1783452090 861761536 26736 4294967295 134512640 134569956 3221224352 3221214520 1131510144 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 26736 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 325.56
Current children cumulated vsize (Kb) 841564

[startup+350.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18407 3 3 0 33415 59 0 0 15 0 11 0 1783452090 861761536 27164 4294967295 134512640 134569956 3221224352 3221214424 1131510175 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 27164 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 334.74
Current children cumulated vsize (Kb) 841564

[startup+360.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18412 3 3 0 34358 60 0 0 25 0 11 0 1783452090 861761536 27254 4294967295 134512640 134569956 3221224352 3221214664 1131546832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 27254 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 344.18
Current children cumulated vsize (Kb) 841564

[startup+370.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18419 3 3 0 35290 60 0 0 20 0 11 0 1783452090 861761536 27519 4294967295 134512640 134569956 3221224352 3221214544 1131632494 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 27519 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 353.5
Current children cumulated vsize (Kb) 841564

[startup+380.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18425 3 3 0 36231 60 0 0 25 0 11 0 1783452090 861761536 27582 4294967295 134512640 134569956 3221224352 3221214440 1131510516 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 27582 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 362.91
Current children cumulated vsize (Kb) 841564

[startup+390.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18432 3 3 0 37165 61 0 0 16 0 11 0 1783452090 861761536 27605 4294967295 134512640 134569956 3221224352 3221214440 1131510516 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 27605 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 372.26
Current children cumulated vsize (Kb) 841564

[startup+400.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18438 3 3 0 38113 61 0 0 25 0 11 0 1783452090 861761536 27976 4294967295 134512640 134569956 3221224352 3221214544 1131632494 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 27976 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 381.74
Current children cumulated vsize (Kb) 841564

[startup+410.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18445 3 3 0 39067 61 0 0 25 0 11 0 1783452090 861761536 28195 4294967295 134512640 134569956 3221224352 3221214440 1131510138 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 28195 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 391.28
Current children cumulated vsize (Kb) 841564

[startup+420.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18451 3 3 0 40031 61 0 0 25 0 11 0 1783452090 861761536 28217 4294967295 134512640 134569956 3221224352 3221214440 1131510229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 28217 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 400.92
Current children cumulated vsize (Kb) 841564

[startup+430.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18458 3 3 0 40989 62 0 0 25 0 11 0 1783452090 861761536 28335 4294967295 134512640 134569956 3221224352 3221214424 1131510229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 28335 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 410.51
Current children cumulated vsize (Kb) 841564

[startup+440.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18465 3 3 0 41943 62 0 0 25 0 11 0 1783452090 861761536 28381 4294967295 134512640 134569956 3221224352 3221214440 1131510152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 28381 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 420.05
Current children cumulated vsize (Kb) 841564

[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18471 3 3 0 42910 62 0 0 25 0 11 0 1783452090 861761536 28514 4294967295 134512640 134569956 3221224352 3221214544 1131632193 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 28514 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 429.72
Current children cumulated vsize (Kb) 841564

[startup+460.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18477 3 3 0 43882 62 0 0 23 0 11 0 1783452090 861761536 28571 4294967295 134512640 134569956 3221224352 3221214440 1131510309 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 28571 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 439.44
Current children cumulated vsize (Kb) 841564

[startup+470.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18484 3 3 0 44853 63 0 0 17 0 11 0 1783452090 861761536 28657 4294967295 134512640 134569956 3221224352 3221214668 1131389392 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 28657 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 449.16
Current children cumulated vsize (Kb) 841564

[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18490 3 3 0 45813 63 0 0 25 0 11 0 1783452090 861761536 28780 4294967295 134512640 134569956 3221224352 3221214544 1131632753 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 28780 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 458.76
Current children cumulated vsize (Kb) 841564

[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18497 3 3 0 46764 63 0 0 25 0 11 0 1783452090 861761536 28826 4294967295 134512640 134569956 3221224352 3221214504 1131390629 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 28826 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 468.27
Current children cumulated vsize (Kb) 841564

[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18504 3 3 0 47707 64 0 0 24 0 11 0 1783452090 861761536 28826 4294967295 134512640 134569956 3221224352 3221214440 1131510229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 28826 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 477.71
Current children cumulated vsize (Kb) 841564

[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18510 3 3 0 48654 64 0 0 25 0 11 0 1783452090 861761536 28826 4294967295 134512640 134569956 3221224352 3221214544 1131655033 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 28826 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 487.18
Current children cumulated vsize (Kb) 841564

[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) S 8728 8729 31778 0 -1 0 18516 3 3 0 49605 64 0 0 25 0 11 0 1783452090 861761536 29015 4294967295 134512640 134569956 3221224352 3221213184 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 29015 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 496.69
Current children cumulated vsize (Kb) 841564

[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18521 3 3 0 50575 64 0 0 25 0 11 0 1783452090 861761536 29233 4294967295 134512640 134569956 3221224352 3221214440 1131510309 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 29233 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 506.39
Current children cumulated vsize (Kb) 841564

[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18527 3 3 0 51548 65 0 0 25 0 11 0 1783452090 861761536 29381 4294967295 134512640 134569956 3221224352 3221214544 1131632273 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 29381 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 516.13
Current children cumulated vsize (Kb) 841564

[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18534 3 3 0 52526 66 0 0 25 0 11 0 1783452090 861761536 29443 4294967295 134512640 134569956 3221224352 3221214544 1131632472 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 29443 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 525.92
Current children cumulated vsize (Kb) 841564

[startup+560.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18540 3 3 0 53500 66 0 0 25 0 11 0 1783452090 861761536 29523 4294967295 134512640 134569956 3221224352 3221214664 1131550892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 29523 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 535.66
Current children cumulated vsize (Kb) 841564

[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18547 3 3 0 54430 66 0 0 25 0 11 0 1783452090 861761536 29642 4294967295 134512640 134569956 3221224352 3221214664 1131552115 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 29642 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 544.96
Current children cumulated vsize (Kb) 841564

[startup+580.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18554 3 3 0 55341 66 0 0 23 0 11 0 1783452090 861761536 30292 4294967295 134512640 134569956 3221224352 3221214664 1131546875 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 30292 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 554.07
Current children cumulated vsize (Kb) 841564

[startup+590.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18560 3 3 0 56275 67 0 0 25 0 11 0 1783452090 861761536 30506 4294967295 134512640 134569956 3221224352 3221214692 1131509449 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 30506 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 563.42
Current children cumulated vsize (Kb) 841564

[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18566 3 3 0 57209 67 0 0 25 0 11 0 1783452090 861761536 30506 4294967295 134512640 134569956 3221224352 3221214552 1131355391 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 30506 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 572.76
Current children cumulated vsize (Kb) 841564

[startup+610.05 s]
Raw data (loadavg): 1.16 1.03 0.93 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) S 8728 8729 31778 0 -1 0 18572 3 3 0 58137 67 0 0 17 0 11 0 1783452090 861761536 30506 4294967295 134512640 134569956 3221224352 3221213272 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 30506 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (Kb) 841564

[startup+620.049 s]
Raw data (loadavg): 1.13 1.03 0.93 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18578 3 3 0 59077 68 0 0 25 0 11 0 1783452090 861761536 30663 4294967295 134512640 134569956 3221224352 3221214440 1131510099 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 30663 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 591.45
Current children cumulated vsize (Kb) 841564

[startup+630.05 s]
Raw data (loadavg): 1.11 1.03 0.93 2/66 8746
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18585 3 3 0 60020 68 0 0 16 0 11 0 1783452090 861761536 31220 4294967295 134512640 134569956 3221224352 3221214800 1131390617 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 31220 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 600.88
Current children cumulated vsize (Kb) 841564
One traced child (pid=8746) exited with status: 0
New thread pid=8747

[startup+640.052 s]
Raw data (loadavg): 1.10 1.03 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18591 3 3 0 60972 69 0 0 25 0 11 0 1783452090 861761536 31305 4294967295 134512640 134569956 3221224352 3221214664 1131554775 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 31305 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 610.41
Current children cumulated vsize (Kb) 841564

[startup+650.052 s]
Raw data (loadavg): 1.08 1.03 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18598 3 3 0 61907 69 0 0 25 0 11 0 1783452090 861761536 31361 4294967295 134512640 134569956 3221224352 3221214440 1131510221 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 31361 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 619.76
Current children cumulated vsize (Kb) 841564

[startup+660.053 s]
Raw data (loadavg): 1.07 1.03 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18604 3 3 0 62841 69 0 0 25 0 11 0 1783452090 861761536 31388 4294967295 134512640 134569956 3221224352 3221214440 1131510309 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 31388 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 629.1
Current children cumulated vsize (Kb) 841564

[startup+670.054 s]
Raw data (loadavg): 1.06 1.03 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18611 3 3 0 63759 70 0 0 16 0 11 0 1783452090 861761536 31484 4294967295 134512640 134569956 3221224352 3221214440 1131510382 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 31484 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 638.29
Current children cumulated vsize (Kb) 841564

[startup+680.054 s]
Raw data (loadavg): 1.05 1.02 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18618 3 3 0 64693 70 0 0 18 0 11 0 1783452090 861761536 31750 4294967295 134512640 134569956 3221224352 3221214544 1131655192 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 31750 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 647.63
Current children cumulated vsize (Kb) 841564

[startup+690.055 s]
Raw data (loadavg): 1.04 1.02 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18624 3 3 0 65645 71 0 0 25 0 11 0 1783452090 861761536 31984 4294967295 134512640 134569956 3221224352 3221214648 1131614325 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 31984 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 657.16
Current children cumulated vsize (Kb) 841564

[startup+700.056 s]
Raw data (loadavg): 1.03 1.02 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18632 3 3 0 66595 71 0 0 25 0 11 0 1783452090 861761536 32174 4294967295 134512640 134569956 3221224352 3221214544 1131655192 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 32174 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 666.66
Current children cumulated vsize (Kb) 841564

[startup+710.057 s]
Raw data (loadavg): 1.03 1.02 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18638 3 3 0 67561 72 0 0 25 0 11 0 1783452090 861761536 32296 4294967295 134512640 134569956 3221224352 3221214424 1131510144 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 32296 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 676.33
Current children cumulated vsize (Kb) 841564

[startup+720.057 s]
Raw data (loadavg): 1.02 1.02 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18645 3 3 0 68529 72 0 0 25 0 11 0 1783452090 861761536 32370 4294967295 134512640 134569956 3221224352 3221214440 1131510309 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 32370 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 686.01
Current children cumulated vsize (Kb) 841564

[startup+730.057 s]
Raw data (loadavg): 1.02 1.02 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18652 3 3 0 69503 72 0 0 25 0 11 0 1783452090 861761536 32434 4294967295 134512640 134569956 3221224352 3221214528 1131536439 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 32434 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 695.75
Current children cumulated vsize (Kb) 841564

[startup+740.058 s]
Raw data (loadavg): 1.02 1.02 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18659 3 3 0 70481 72 0 0 25 0 11 0 1783452090 861761536 32551 4294967295 134512640 134569956 3221224352 3221214440 1131510229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 32551 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 705.53
Current children cumulated vsize (Kb) 841564

[startup+750.058 s]
Raw data (loadavg): 1.01 1.02 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18666 3 3 0 71468 73 0 0 19 0 11 0 1783452090 861761536 32551 4294967295 134512640 134569956 3221224352 3221214432 1131355383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 32551 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 715.41
Current children cumulated vsize (Kb) 841564

[startup+760.06 s]
Raw data (loadavg): 1.01 1.02 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18673 3 3 0 72460 73 0 0 25 0 11 0 1783452090 861761536 32593 4294967295 134512640 134569956 3221224352 3221214544 1131655038 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 32593 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 725.33
Current children cumulated vsize (Kb) 841564

[startup+770.06 s]
Raw data (loadavg): 1.01 1.02 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18680 3 3 0 73445 73 0 0 25 0 11 0 1783452090 861761536 32593 4294967295 134512640 134569956 3221224352 3221214500 1131057152 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 32593 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 735.18
Current children cumulated vsize (Kb) 841564

[startup+780.061 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18687 3 3 0 74429 73 0 0 25 0 11 0 1783452090 861761536 32593 4294967295 134512640 134569956 3221224352 3221214544 1131632574 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 32593 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 745.02
Current children cumulated vsize (Kb) 841564

[startup+790.061 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18694 3 3 0 75414 74 0 0 16 0 11 0 1783452090 861761536 32593 4294967295 134512640 134569956 3221224352 3221214544 1131632553 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 32593 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 754.88
Current children cumulated vsize (Kb) 841564

[startup+800.061 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18700 3 3 0 76402 74 0 0 25 0 11 0 1783452090 861761536 32614 4294967295 134512640 134569956 3221224352 3221214440 1131510138 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 32614 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 764.76
Current children cumulated vsize (Kb) 841564

[startup+810.062 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18708 3 3 0 77390 74 0 0 25 0 11 0 1783452090 861761536 32655 4294967295 134512640 134569956 3221224352 3221214440 1131510354 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 32655 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 774.64
Current children cumulated vsize (Kb) 841564

[startup+820.063 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18714 3 3 0 78383 75 0 0 25 0 11 0 1783452090 861761536 32655 4294967295 134512640 134569956 3221224352 3221214552 1131356083 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 32655 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 784.58
Current children cumulated vsize (Kb) 841564

[startup+830.064 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18722 3 3 0 79357 75 0 0 25 0 11 0 1783452090 861761536 32656 4294967295 134512640 134569956 3221224352 3221214632 1131632293 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 32656 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 794.32
Current children cumulated vsize (Kb) 841564

[startup+840.063 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) S 8728 8729 31778 0 -1 0 18729 3 3 0 80319 75 0 0 25 0 11 0 1783452090 861761536 32656 4294967295 134512640 134569956 3221224352 3221213264 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 32656 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 803.94
Current children cumulated vsize (Kb) 841564

[startup+850.064 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18735 3 3 0 81274 75 0 0 21 0 11 0 1783452090 861761536 32675 4294967295 134512640 134569956 3221224352 3221214624 1131414567 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 32675 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 813.49
Current children cumulated vsize (Kb) 841564

[startup+860.065 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18742 3 3 0 82214 76 0 0 24 0 11 0 1783452090 861761536 32675 4294967295 134512640 134569956 3221224352 3221214528 1131510229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 32675 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 822.9
Current children cumulated vsize (Kb) 841564

[startup+870.065 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18748 3 3 0 83161 77 0 0 25 0 11 0 1783452090 861761536 32761 4294967295 134512640 134569956 3221224352 3221214632 1131655192 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 32761 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 832.38
Current children cumulated vsize (Kb) 841564

[startup+880.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18755 3 3 0 84107 77 0 0 25 0 11 0 1783452090 861761536 32951 4294967295 134512640 134569956 3221224352 3221214664 1131550892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 32951 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 841.84
Current children cumulated vsize (Kb) 841564

[startup+890.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18761 3 3 0 85065 77 0 0 25 0 11 0 1783452090 861761536 33116 4294967295 134512640 134569956 3221224352 3221214528 1131356054 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 33116 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 851.42
Current children cumulated vsize (Kb) 841564

[startup+900.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18769 3 3 0 86015 78 0 0 20 0 11 0 1783452090 861761536 33323 4294967295 134512640 134569956 3221224352 3221214632 1131632199 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 33323 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 860.93
Current children cumulated vsize (Kb) 841564

[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18775 3 3 0 86973 78 0 0 25 0 11 0 1783452090 861761536 33323 4294967295 134512640 134569956 3221224352 3221214632 1131510144 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 33323 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 870.51
Current children cumulated vsize (Kb) 841564

[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18781 3 3 0 87927 78 0 0 25 0 11 0 1783452090 861761536 33407 4294967295 134512640 134569956 3221224352 3221214528 1131510229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 33407 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 880.05
Current children cumulated vsize (Kb) 841564

[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18788 3 3 0 88879 79 0 0 25 0 11 0 1783452090 861761536 33469 4294967295 134512640 134569956 3221224352 3221214520 1131355383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 33469 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 889.58
Current children cumulated vsize (Kb) 841564

[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18794 3 3 0 89842 79 0 0 20 0 11 0 1783452090 861761536 33639 4294967295 134512640 134569956 3221224352 3221214528 1131510229 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 33639 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 899.21
Current children cumulated vsize (Kb) 841564

[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18800 3 3 0 90812 79 0 0 25 0 11 0 1783452090 861761536 33681 4294967295 134512640 134569956 3221224352 3221214528 1131510309 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 33681 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 908.91
Current children cumulated vsize (Kb) 841564

[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18807 3 3 0 91785 80 0 0 18 0 11 0 1783452090 861761536 33865 4294967295 134512640 134569956 3221224352 3221214632 1131510309 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 33865 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 918.65
Current children cumulated vsize (Kb) 841564

[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18813 3 3 0 92760 80 0 0 21 0 11 0 1783452090 861761536 33885 4294967295 134512640 134569956 3221224352 3221214632 1131632417 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 33885 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 928.4
Current children cumulated vsize (Kb) 841564

[startup+980.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18820 3 3 0 93731 80 0 0 19 0 11 0 1783452090 861761536 33903 4294967295 134512640 134569956 3221224352 3221214588 1131057221 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 33903 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 938.11
Current children cumulated vsize (Kb) 841564

[startup+990.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18826 3 3 0 94706 81 0 0 25 0 11 0 1783452090 861761536 33923 4294967295 134512640 134569956 3221224352 3221214528 1131510309 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 33923 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 947.87
Current children cumulated vsize (Kb) 841564

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18833 3 3 0 95675 81 0 0 22 0 11 0 1783452090 861761536 33971 4294967295 134512640 134569956 3221224352 3221214632 1131632612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 33971 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 957.56
Current children cumulated vsize (Kb) 841564

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18840 3 3 0 96646 81 0 0 25 0 11 0 1783452090 861761536 34062 4294967295 134512640 134569956 3221224352 3221214588 1131057275 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 34062 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 967.27
Current children cumulated vsize (Kb) 841564

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18846 3 3 0 97627 81 0 0 25 0 11 0 1783452090 861761536 34113 4294967295 134512640 134569956 3221224352 3221214424 1131678179 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 34113 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 977.08
Current children cumulated vsize (Kb) 841564

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18853 3 3 0 98605 82 0 0 25 0 11 0 1783452090 861761536 34143 4294967295 134512640 134569956 3221224352 3221214784 1131485376 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 34143 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 986.87
Current children cumulated vsize (Kb) 841564

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18859 3 3 0 99587 82 0 0 25 0 11 0 1783452090 861761536 34189 4294967295 134512640 134569956 3221224352 3221214632 1131632578 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 34189 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 996.69
Current children cumulated vsize (Kb) 841564

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18866 3 3 0 100561 82 0 0 25 0 11 0 1783452090 861761536 34216 4294967295 134512640 134569956 3221224352 3221214512 1131510309 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 34216 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1006.43
Current children cumulated vsize (Kb) 841564

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18873 3 3 0 101530 82 0 0 24 0 11 0 1783452090 861761536 34216 4294967295 134512640 134569956 3221224352 3221214552 1131355377 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 34216 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1016.12
Current children cumulated vsize (Kb) 841564

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18879 3 3 0 102494 82 0 0 25 0 11 0 1783452090 861761536 34241 4294967295 134512640 134569956 3221224352 3221214664 1131551184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 34241 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1025.76
Current children cumulated vsize (Kb) 841564

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18887 3 3 0 103441 83 0 0 25 0 11 0 1783452090 861761536 34274 4294967295 134512640 134569956 3221224352 3221214512 1131510144 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 34274 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1035.24
Current children cumulated vsize (Kb) 841564

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18894 3 3 0 104372 84 0 0 17 0 11 0 1783452090 861761536 34346 4294967295 134512640 134569956 3221224352 3221214528 1131510236 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 34346 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1044.56
Current children cumulated vsize (Kb) 841564

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18901 3 3 0 105313 84 0 0 19 0 11 0 1783452090 861761536 34401 4294967295 134512640 134569956 3221224352 3221214632 1131632637 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 34401 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1053.97
Current children cumulated vsize (Kb) 841564

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18907 3 3 0 106253 84 0 0 24 0 11 0 1783452090 861761536 34545 4294967295 134512640 134569956 3221224352 3221214528 1131510144 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 34545 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1063.37
Current children cumulated vsize (Kb) 841564

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18914 3 3 0 107192 85 0 0 25 0 11 0 1783452090 861761536 34760 4294967295 134512640 134569956 3221224352 3221214632 1131632516 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 34760 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1072.77
Current children cumulated vsize (Kb) 841564

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18921 3 3 0 108152 85 0 0 25 0 11 0 1783452090 861761536 35012 4294967295 134512640 134569956 3221224352 3221214632 1131632494 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 35012 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1082.37
Current children cumulated vsize (Kb) 841564

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18928 3 3 0 109118 85 0 0 25 0 11 0 1783452090 861761536 35073 4294967295 134512640 134569956 3221224352 3221214528 1131510346 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 35073 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1092.03
Current children cumulated vsize (Kb) 841564

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18935 3 3 0 110092 85 0 0 17 0 11 0 1783452090 861761536 35205 4294967295 134512640 134569956 3221224352 3221214528 1131511163 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 35205 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1101.77
Current children cumulated vsize (Kb) 841564

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18941 3 3 0 111070 86 0 0 25 0 11 0 1783452090 861761536 35241 4294967295 134512640 134569956 3221224352 3221214664 1131556406 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 35241 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1111.56
Current children cumulated vsize (Kb) 841564

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18948 3 3 0 112036 86 0 0 25 0 11 0 1783452090 861761536 35280 4294967295 134512640 134569956 3221224352 3221214712 1131390617 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 35280 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1121.22
Current children cumulated vsize (Kb) 841564

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18955 3 3 0 112995 87 0 0 24 0 11 0 1783452090 861761536 35316 4294967295 134512640 134569956 3221224352 3221214664 1131556288 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 35316 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1130.82
Current children cumulated vsize (Kb) 841564

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18961 3 3 0 113957 87 0 0 25 0 11 0 1783452090 861761536 35334 4294967295 134512640 134569956 3221224352 3221214592 1131390635 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 35334 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1140.44
Current children cumulated vsize (Kb) 841564

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18968 3 3 0 114910 87 0 0 25 0 11 0 1783452090 861761536 35400 4294967295 134512640 134569956 3221224352 3221214616 1131536439 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 35400 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1149.97
Current children cumulated vsize (Kb) 841564

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.93 3/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18975 3 3 0 115867 87 0 0 16 0 11 0 1783452090 861761536 35505 4294967295 134512640 134569956 3221224352 3221214528 1131510361 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 35505 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1159.54
Current children cumulated vsize (Kb) 841564

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18981 3 3 0 116836 88 0 0 25 0 11 0 1783452090 861761536 35641 4294967295 134512640 134569956 3221224352 3221214664 1131550939 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 35641 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1169.24
Current children cumulated vsize (Kb) 841564

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18988 3 3 0 117802 89 0 0 25 0 11 0 1783452090 861761536 35705 4294967295 134512640 134569956 3221224352 3221214664 1131550875 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 35705 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1178.91
Current children cumulated vsize (Kb) 841564

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 18995 3 3 0 118770 89 0 0 21 0 11 0 1783452090 861761536 35766 4294967295 134512640 134569956 3221224352 3221214528 1131510288 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8729/statm): 210391 35766 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1188.59
Current children cumulated vsize (Kb) 841564

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 19002 3 3 0 119737 89 0 0 25 0 11 0 1783452090 861761536 35833 4294967295 134512640 134569956 3221224352 3221214520 1131355448 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 35833 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1198.26
Current children cumulated vsize (Kb) 841564

[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 19009 3 3 0 120704 89 0 0 16 0 11 0 1783452090 861761536 35895 4294967295 134512640 134569956 3221224352 3221214632 1131510229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 35895 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1207.93
Current children cumulated vsize (Kb) 841564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8747
Raw data (/proc/8729/stat): 8729 (java) R 8728 8729 31778 0 -1 0 19009 3 3 0 120704 89 0 0 16 0 11 0 1783452090 861761536 35895 4294967295 134512640 134569956 3221224352 3221214632 1131510144 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8729/statm): 210391 35895 13129 16 0 210375 0
[pid=8729] vsize: 841564
Current children cumulated CPU time (s) 1207.93
Current children cumulated vsize (Kb) 841564

Sending SIGTERM to -8729
Sleeping 2 seconds
New thread pid=8749
New thread pid=8750
One traced child (pid=8750) exited with status: 0
One traced child (pid=8738) exited with status: 0
One traced child (pid=8733) exited with status: 0
One traced child (pid=8730) exited with status: 143
One traced child (pid=8731) exited with status: 143
One traced child (pid=8732) exited with status: 143
One traced child (pid=8734) exited with status: 143
One traced child (pid=8737) exited with status: 143
One traced child (pid=8735) exited with status: 143
One traced child (pid=8747) exited with status: 143
One traced child (pid=8749) exited with status: 143
One traced child (pid=8736) exited with status: 143
One traced child (pid=8729) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1260.38
CPU time (s): 1256.6
CPU user time (s): 1254.92
CPU system time (s): 1.68274
CPU usage (%): 99.7001
Max. virtual memory (cumulated for all children) (Kb): 841756

Verifier Data

Verifier:	OK	18