Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb |
MD5SUM | 098fe473d82d5f7d4121673eb775be76 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26015 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 572 |
Biggest coefficient in the objective function | 5000 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 547769 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 5000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 547769 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.08 |
Number of variables | 572 |
Total number of constraints | 716 |
Number of constraints which are clauses | 3 |
Number of constraints which are cardinality constraints (but not clauses) | 644 |
Number of constraints which are nor clauses,nor cardinality constraints | 69 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 518 |
LAUNCH ON wulflinc20 THE 2005-09-20 18:27:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6795 boxname=wulflinc20 idbench=935 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 098fe473d82d5f7d4121673eb775be76 /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-cracpb1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-cracpb1.opb IDLAUNCH: 6795 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 853520 kB Buffers: 33316 kB Cached: 118656 kB SwapCached: 892 kB Active: 78864 kB Inactive: 75828 kB HighTotal: 131008 kB HighFree: 16184 kB LowTotal: 903652 kB LowFree: 837336 kB SwapTotal: 2097892 kB SwapFree: 2096548 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5736 kB Slab: 20736 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 18:48:55 (client local time) WITH STATUS 143 IN 1266.62 SECONDS stats: 6795 0 1266.62 143
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/wulflinc20/normalized-mps-v2-13-7-cracpb1.opb c reading problem ... done. Time 2.095 ms. c #vars 572 c #constraints 215 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 270000 Current CPU time: 2.78 ms c CURRENT OPTIMUM= 261286 Current CPU time: 4.12 ms c CURRENT OPTIMUM= 253536 Current CPU time: 5.44 ms c CURRENT OPTIMUM= 244262 Current CPU time: 6.70 ms c CURRENT OPTIMUM= 240089 Current CPU time: 11.02 ms c CURRENT OPTIMUM= 239844 Current CPU time: 12.10 ms c CURRENT OPTIMUM= 235773 Current CPU time: 19.95 ms c CURRENT OPTIMUM= 226526 Current CPU time: 22.67 ms c CURRENT OPTIMUM= 226457 Current CPU time: 37.51 ms c CURRENT OPTIMUM= 105023 Current CPU time: 49.10 ms c CURRENT OPTIMUM= 67376 Current CPU time: 180.32 ms c CURRENT OPTIMUM= 58604 Current CPU time: 284.34 ms c CURRENT OPTIMUM= 58277 Current CPU time: 504.67 ms c CURRENT OPTIMUM= 57848 Current CPU time: 1042.01 ms c starts : 23 c conflicts : 1544 c decisions : 19520 c propagations : 64971 c inspects : 1458706 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 1544 c root simplifications : 27 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 15479 c speed (decisions/second) : 90.0572546378102 c non guided choices 4045 c random choices 0 s SATISFIABLE v -GPT00001_bit0 GPT00002_bit0 GPT00003_bit0 -GPT00004_bit0 -GPT00005_bit0 -GPT00006_bit0 -GPT00007_bit0 -GPT00008_bit0 -GPT00009_bit0 -GPT00010_bit0 -GPT00011_bit0 -GPT00012_bit0 -GPT00013_bit0 -GPT00014_bit0 GPT00015_bit0 -GPT00016_bit0 -GPT00017_bit0 -GPT00018_bit0 -GPT00019_bit0 -GPT00020_bit0 -GPT00021_bit0 -GPT00022_bit0 -GPT00023_bit0 GPT00024_bit0 -GPT00025_bit0 GPT00026_bit0 -GPT00027_bit0 -GPT00028_bit0 -GPT00029_bit0 -GPT00030_bit0 -GPT00031_bit0 -GPT00032_bit0 -GPT00033_bit0 -GPT00034_bit0 -GPT00035_bit0 GPT00036_bit0 -GPT00037_bit0 -GPT00038_bit0 -GPT00039_bit0 -GPT00040_bit0 -GPT00041_bit0 -GPT00042_bit0 -GPT00043_bit0 -GPT00044_bit0 -GPT00045_bit0 -GPT00046_bit0 GPT00047_bit0 -GPT00048_bit0 GPT00049_bit0 -GPT00050_bit0 -GPT00051_bit0 -GPT00052_bit0 -GPT00053_bit0 -GPT00054_bit0 -GPT00055_bit0 -GPT00056_bit0 -GPT00057_bit0 -GPT00058_bit0 GPT00059_bit0 -GPT00060_bit0 -GPT00061_bit0 -GPT00062_bit0 GPT00063_bit0 -GPT00064_bit0 -GPT00065_bit0 GPT00066_bit0 -GPT00067_bit0 -GPT00068_bit0 -GPT00069_bit0 -GPT00070_bit0 -GPT00071_bit0 -GPT00072_bit0 -GPT00073_bit0 -GPT00074_bit0 -GPT00075_bit0 -GPT00076_bit0 -GPT00077_bit0 -GPT00078_bit0 -GPT00079_bit0 -GPT00080_bit0 -GPT00081_bit0 -GPT00082_bit0 -GPT00083_bit0 -GPT00084_bit0 GPT00085_bit0 -GPT00086_bit0 -GPT00087_bit0 -GPT00088_bit0 -GPT00089_bit0 -GPT00090_bit0 -GPT00091_bit0 -GPT00092_bit0 -GPT00093_bit0 -GPT00094_bit0 -GPT00095_bit0 -GPT00096_bit0 -GPT00097_bit0 -GPT00098_bit0 -GPT00099_bit0 GPT00100_bit0 -GPT00101_bit0 -GPT00102_bit0 -GPT00103_bit0 -GPT00104_bit0 -GPT00105_bit0 -GPT00106_bit0 -GPT00107_bit0 -GPT00108_bit0 -GPT00109_bit0 -GPT00110_bit0 -GPT00111_bit0 -GPT00112_bit0 GPT00113_bit0 GPT00114_bit0 -GPT00115_bit0 -GPT00116_bit0 -GPT00117_bit0 -GPT00118_bit0 -GPT00119_bit0 -GPT00120_bit0 -GPT00121_bit0 -GPT00122_bit0 GPT00123_bit0 GPT00124_bit0 -GPT00125_bit0 -GPT00126_bit0 -GPT00127_bit0 -GPT00128_bit0 -GPT00129_bit0 -GPT00130_bit0 -GPT00131_bit0 -GPT00132_bit0 -GPT00133_bit0 -GPT00134_bit0 -GPT00135_bit0 -GPT00136_bit0 -GPT00137_bit0 -GPT00138_bit0 -GPT00139_bit0 -GPT00140_bit0 -GPT00141_bit0 -GPT00142_bit0 -GPT00143_bit0 GPT00144_bit0 -GPT00145_bit0 -GPT00146_bit0 -GPT00147_bit0 -GPT00148_bit0 -GPT00149_bit0 -GPT00150_bit0 GPT00151_bit0 -GPT00152_bit0 -GPT00153_bit0 -GPT00154_bit0 -GPT00155_bit0 -GPT00156_bit0 -GPT00157_bit0 -GPT00158_bit0 -GPT00159_bit0 -GPT00160_bit0 -GPT00161_bit0 -GPT00162_bit0 GPT00163_bit0 -GPT00164_bit0 -GPT00165_bit0 -GPT00166_bit0 -GPT00167_bit0 -GPT00168_bit0 -GPT00169_bit0 -GPT00170_bit0 -GPT00171_bit0 -GPT00172_bit0 -GPT00173_bit0 -GPT00174_bit0 -GPT00175_bit0 -GPT00176_bit0 -GPT00177_bit0 -GPT00178_bit0 -GPT00179_bit0 -GPT00180_bit0 -GPT00181_bit0 -GPT00182_bit0 GPT00183_bit0 -GPT00184_bit0 -GPT00185_bit0 -GPT00186_bit0 -GPT00187_bit0 -GPT00188_bit0 -GPT00189_bit0 -GPT00190_bit0 -GPT00191_bit0 -GPT00192_bit0 -GPT00193_bit0 -GPT00194_bit0 -GPT00195_bit0 -GPT00196_bit0 -GPT00197_bit0 -GPT00198_bit0 -GPT00199_bit0 -GPT00200_bit0 GPT00201_bit0 -GPT00202_bit0 -GPT00203_bit0 -GPT00204_bit0 -GPT00205_bit0 -GPT00206_bit0 -GPT00207_bit0 -GPT00208_bit0 -GPT00209_bit0 -GPT00210_bit0 -GPT00211_bit0 -GPT00212_bit0 -GPT00213_bit0 -GPT00214_bit0 GPT00215_bit0 -GPT00216_bit0 -GPT00217_bit0 -GPT00218_bit0 -GPT00219_bit0 -GPT00220_bit0 -GPT00221_bit0 -GPT00222_bit0 -GPT00223_bit0 -GPT00224_bit0 -GPT00225_bit0 -GPT00226_bit0 -GPT00227_bit0 -GPT00228_bit0 -GPT00229_bit0 -GPT00230_bit0 GPT00231_bit0 -GPT00232_bit0 -GPT00233_bit0 GPT00234_bit0 -GPT00235_bit0 -GPT00236_bit0 -GPT00237_bit0 -GPT00238_bit0 -GPT00239_bit0 -GPT00240_bit0 -GPT00241_bit0 -GPT00242_bit0 -GPT00243_bit0 -GPT00244_bit0 -GPT00245_bit0 -GPT00246_bit0 -GPT00247_bit0 -GPT00248_bit0 -GPT00249_bit0 -GPT00250_bit0 -GPT00251_bit0 -GPT00252_bit0 -GPT00253_bit0 -GPT00254_bit0 -GPT00255_bit0 -GPT00256_bit0 -GPT00257_bit0 GPT00258_bit0 GPT00259_bit0 -GPT00260_bit0 -GPT00261_bit0 -GPT00262_bit0 -GPT00263_bit0 -GPT00264_bit0 -GPT00265_bit0 GPT00266_bit0 -GPT00267_bit0 -GPT00268_bit0 -GPT00269_bit0 GPT00270_bit0 -GPT00271_bit0 GPT00272_bit0 -GPT00273_bit0 -GPT00274_bit0 -GPT00275_bit0 GPT00276_bit0 -GPT00277_bit0 -GPT00278_bit0 -GPT00279_bit0 -GPT00280_bit0 -GPT00281_bit0 -GPT00282_bit0 -GPT00283_bit0 -GPT00284_bit0 -GPT00285_bit0 GPT00286_bit0 -GPT00287_bit0 GPT00288_bit0 -GPT00289_bit0 GPT00290_bit0 -GPT00291_bit0 -GPT00292_bit0 -GPT00293_bit0 -GPT00294_bit0 -GPT00295_bit0 -GPT00296_bit0 -GPT00297_bit0 -GPT00298_bit0 -GPT00299_bit0 -GPT00300_bit0 GPT00301_bit0 -GPT00302_bit0 -GPT00303_bit0 -GPT00304_bit0 -GPT00305_bit0 -GPT00306_bit0 -GPT00307_bit0 -GPT00308_bit0 -GPT00309_bit0 -GPT00310_bit0 -GPT00311_bit0 -GPT00312_bit0 -GPT00313_bit0 -GPT00314_bit0 -GPT00315_bit0 -GPT00316_bit0 -GPT00317_bit0 -GPT00318_bit0 -GPT00319_bit0 -GPT00320_bit0 -GPT00321_bit0 GPT00322_bit0 -GPT00323_bit0 -GPT00324_bit0 -GPT00325_bit0 -GPT00326_bit0 -GPT00327_bit0 -GPT00328_bit0 -GPT00329_bit0 -GPT00330_bit0 -GPT00331_bit0 -GPT00332_bit0 -GPT00333_bit0 -GPT00334_bit0 -GPT00335_bit0 -GPT00336_bit0 -GPT00337_bit0 -GPT00338_bit0 -GPT00339_bit0 -GPT00340_bit0 -GPT00341_bit0 -GPT00342_bit0 -GPT00343_bit0 -GPT00344_bit0 -GPT00345_bit0 -GPT00346_bit0 -GPT00347_bit0 GPT00348_bit0 -GPT00349_bit0 GPT00350_bit0 -GPT00351_bit0 -GPT00352_bit0 -GPT00353_bit0 -GPT00354_bit0 -GPT00355_bit0 -GPT00356_bit0 -GPT00357_bit0 -GPT00358_bit0 -GPT00359_bit0 -GPT00360_bit0 -GPT00361_bit0 -GPT00362_bit0 -GPT00363_bit0 -GPT00364_bit0 -GPT00365_bit0 -GPT00366_bit0 -GPT00367_bit0 -GPT00368_bit0 -GPT00369_bit0 -GPT00370_bit0 -GPT00371_bit0 -GPT00372_bit0 -GPT00373_bit0 -GPT00374_bit0 -GPT00375_bit0 -GPT00376_bit0 GPT00377_bit0 -GPT00378_bit0 -GPT00379_bit0 -GPT00380_bit0 -GPT00381_bit0 -GPT00382_bit0 -GPT00383_bit0 -GPT00384_bit0 -GPT00385_bit0 -GPT00386_bit0 -GPT00387_bit0 -GPT00388_bit0 -GPT00389_bit0 -GPT00390_bit0 -GPT00391_bit0 -GPT00392_bit0 -GPT00393_bit0 -GPT00394_bit0 -GPT00395_bit0 -GPT00396_bit0 -GPT00397_bit0 -GPT00398_bit0 -GPT00399_bit0 -GPT00400_bit0 -GPT00401_bit0 -GPT00402_bit0 -GPT00403_bit0 GPT00404_bit0 -GPT00405_bit0 -GPT00406_bit0 -GPT00407_bit0 -GPT00408_bit0 -GPT00409_bit0 -GPT00410_bit0 -GPT00411_bit0 -GPT00412_bit0 GPT00413_bit0 -GPT00414_bit0 -GPT00415_bit0 -GPT00416_bit0 -GPT00417_bit0 -GPT00418_bit0 -GPT00419_bit0 -GPT00420_bit0 GPT00421_bit0 -GPT00422_bit0 -GPT00423_bit0 -GPT00424_bit0 -GPT00425_bit0 -GPT00426_bit0 -GPT00427_bit0 -GPT00428_bit0 -GPT00429_bit0 -GPT00430_bit0 -GPT00431_bit0 -GPT00432_bit0 -GPT00433_bit0 -GPT00434_bit0 -GPT00435_bit0 -GPT00436_bit0 -GPT00437_bit0 -GPT00438_bit0 -GPT00439_bit0 -GPT00440_bit0 -GPT00441_bit0 -GPT00442_bit0 -GPT00443_bit0 -GPT00444_bit0 -GPT00445_bit0 -GPT00446_bit0 -GPT00447_bit0 -GPT00448_bit0 -GPT00449_bit0 -GPT00450_bit0 GPT00451_bit0 -GPT00452_bit0 -GPT00453_bit0 -GPT00454_bit0 -GPT00455_bit0 -GPT00456_bit0 -GPT00457_bit0 -GPT00458_bit0 -GPT00459_bit0 -GPT00460_bit0 -GPT00461_bit0 -GPT00462_bit0 -GPT00463_bit0 -GPT00464_bit0 -GPT00465_bit0 -GPT00466_bit0 -GPT00467_bit0 -GPT00468_bit0 -GPT00469_bit0 -GPT00470_bit0 -GPT00471_bit0 -GPT00472_bit0 -GPT00473_bit0 -GPT00474_bit0 -GPT00475_bit0 GPT00476_bit0 -GPT00477_bit0 -GPT00478_bit0 -GPT00479_bit0 -GPT00480_bit0 -GPT00481_bit0 -GPT00482_bit0 -GPT00483_bit0 -GPT00484_bit0 -GPT00485_bit0 -GPT00486_bit0 -GPT00487_bit0 -GPT00488_bit0 -GPT00489_bit0 -GPT00490_bit0 -GPT00491_bit0 -GPT00492_bit0 -GPT00493_bit0 -GPT00494_bit0 -GPT00495_bit0 -GPT00496_bit0 -GPT00497_bit0 -GPT00498_bit0 -GPT00499_bit0 -GPT00500_bit0 -GPT00501_bit0 -GPT00502_bit0 -GPT00503_bit0 -GPT00504_bit0 -GPT00505_bit0 -GPT00506_bit0 -GPT00507_bit0 -GPT00508_bit0 -GPT00509_bit0 -GPT00510_bit0 -GPT00511_bit0 -GPT00512_bit0 -GPT00513_bit0 -GPT00514_bit0 -GPT00515_bit0 -GPT00516_bit0 -GPT00517_bit0 -GPT00518_bit0 -ECAR0001_bit0 -ECAR0002_bit0 -ECAR0003_bit0 -ECAR0004_bit0 -ECAR0005_bit0 -ECAR0006_bit0 -ECAR0007_bit0 -ECAR0008_bit0 -ECAR0009_bit0 ECAR0010_bit0 -ECAR0011_bit0 -ECAR0012_bit0 -ECAR0013_bit0 -ECAR0014_bit0 -ECAR0015_bit0 -ECAR0016_bit0 -ECAR0017_bit0 -ECAR0018_bit0 -ECAR0019_bit0 -ECAR0020_bit0 -ECAR0021_bit0 ECAR0022_bit0 -ECAR0023_bit0 -ECAR0024_bit0 -ECAR0025_bit0 ECAR0026_bit0 -ECAR0027_bit0 ECAR0028_bit0 -ECAR0029_bit0 -ECAR0030_bit0 ECAR0031_bit0 -ECAR0032_bit0 -ECAR0033_bit0 -ECAR0034_bit0 -ECAR0035_bit0 -ECAR0036_bit0 ECAR0037_bit0 ECAR0038_bit0 -ECAR0039_bit0 ECAR0040_bit0 -ECAR0041_bit0 -ECAR0042_bit0 -ECAR0043_bit0 -ECAR0044_bit0 -ECAR0045_bit0 -ECAR0046_bit0 -ECAR0047_bit0 -ECAR0048_bit0 -ECAR0049_bit0 -ECAR0050_bit0 -ECAR0051_bit0 -ECAR0052_bit0 -ECAR0053_bit0 -ECAR0054_bit0 c objective function=57848 c Total CPU time (ms) : 1258.933
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/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1860695467 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 39 3 38 16 0 23 0 [pid=5711] 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/5711 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=5712 New thread pid=5713 New thread pid=5714 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=5715 New thread pid=5716 New thread pid=5717 New thread pid=5718 New thread pid=5719 New thread pid=5720 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/wulflinc20/normalized-mps-v2-13-7-cracpb1.opb New thread pid=5721 One traced child (pid=5721) exited with status: 0 New thread pid=5722 One traced child (pid=5722) exited with status: 0 New thread pid=5723 One traced child (pid=5723) exited with status: 0 New thread pid=5724 One traced child (pid=5724) exited with status: 0 New thread pid=5725 [startup+10.0022 s] Raw data (loadavg): 1.16 1.03 0.97 2/66 5725 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18199 4 1 0 708 44 0 0 25 0 11 0 1860695467 861282304 20203 4294967295 134512640 134569956 3221224336 3221214640 1131414394 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210274 20203 13129 16 0 210258 0 [pid=5711] vsize: 841096 Current children cumulated CPU time (s) 7.52 Current children cumulated vsize (Kb) 841096 One traced child (pid=5725) exited with status: 0 New thread pid=5726 One traced child (pid=5726) exited with status: 0 New thread pid=5727 [startup+20.0029 s] Raw data (loadavg): 1.13 1.03 0.97 2/66 5727 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18209 4 1 0 1667 45 0 0 23 0 11 0 1860695467 861085696 21041 4294967295 134512640 134569956 3221224336 3221214508 1131057201 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 21041 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 17.12 Current children cumulated vsize (Kb) 840904 One traced child (pid=5727) exited with status: 0 New thread pid=5728 One traced child (pid=5728) exited with status: 0 New thread pid=5729 [startup+30.0037 s] Raw data (loadavg): 1.11 1.03 0.97 2/66 5729 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18217 4 1 0 2599 45 0 0 25 0 11 0 1860695467 861085696 21450 4294967295 134512640 134569956 3221224336 3221214568 1131481158 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 21450 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 26.44 Current children cumulated vsize (Kb) 840904 One traced child (pid=5729) exited with status: 0 New thread pid=5730 [startup+40.0044 s] Raw data (loadavg): 1.10 1.03 0.97 2/66 5730 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18222 4 1 0 3552 46 0 0 24 0 11 0 1860695467 861085696 21704 4294967295 134512640 134569956 3221224336 3221214584 1131541102 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 21704 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 35.98 Current children cumulated vsize (Kb) 840904 [startup+50.0041 s] Raw data (loadavg): 1.08 1.03 0.97 3/66 5730 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18229 4 1 0 4507 46 0 0 23 0 11 0 1860695467 861085696 21987 4294967295 134512640 134569956 3221224336 3221214340 1131064705 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 21987 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 45.53 Current children cumulated vsize (Kb) 840904 One traced child (pid=5730) exited with status: 0 New thread pid=5731 [startup+60.0048 s] Raw data (loadavg): 1.15 1.04 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18237 4 1 0 5441 46 0 0 21 0 11 0 1860695467 861085696 22276 4294967295 134512640 134569956 3221224336 3221214536 1131471510 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 22276 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 54.87 Current children cumulated vsize (Kb) 840904 [startup+70.0055 s] Raw data (loadavg): 1.12 1.04 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18243 4 1 0 6384 46 0 0 25 0 11 0 1860695467 861085696 22348 4294967295 134512640 134569956 3221224336 3221214488 1131414172 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 22348 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 64.3 Current children cumulated vsize (Kb) 840904 [startup+80.0073 s] Raw data (loadavg): 1.10 1.04 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18250 4 1 0 7316 47 0 0 17 0 11 0 1860695467 861085696 22488 4294967295 134512640 134569956 3221224336 3221214592 1131474627 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 22488 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 73.63 Current children cumulated vsize (Kb) 840904 [startup+90.008 s] Raw data (loadavg): 1.09 1.04 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18257 4 1 0 8262 47 0 0 25 0 11 0 1860695467 861085696 22621 4294967295 134512640 134569956 3221224336 3221214488 1131414299 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 22621 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 83.09 Current children cumulated vsize (Kb) 840904 [startup+100.009 s] Raw data (loadavg): 1.07 1.03 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18264 4 1 0 9210 47 0 0 19 0 11 0 1860695467 861085696 22970 4294967295 134512640 134569956 3221224336 3221214536 1131470467 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 22970 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 92.57 Current children cumulated vsize (Kb) 840904 [startup+110.009 s] Raw data (loadavg): 1.06 1.03 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18270 4 1 0 10183 48 0 0 25 0 11 0 1860695467 861085696 23129 4294967295 134512640 134569956 3221224336 3221214592 1131474760 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 23129 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (Kb) 840904 [startup+120.01 s] Raw data (loadavg): 1.05 1.03 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18277 4 1 0 11156 48 0 0 25 0 11 0 1860695467 861085696 23257 4294967295 134512640 134569956 3221224336 3221214488 1131414515 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 23257 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 112.04 Current children cumulated vsize (Kb) 840904 [startup+130.012 s] Raw data (loadavg): 1.04 1.03 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18283 4 1 0 12133 50 0 0 25 0 11 0 1860695467 861085696 23335 4294967295 134512640 134569956 3221224336 3221214568 1131481201 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 23335 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 121.83 Current children cumulated vsize (Kb) 840904 [startup+140.013 s] Raw data (loadavg): 1.04 1.03 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18290 4 1 0 13107 50 0 0 25 0 11 0 1860695467 861085696 23396 4294967295 134512640 134569956 3221224336 3221214664 1131500993 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 23396 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 131.57 Current children cumulated vsize (Kb) 840904 [startup+150.013 s] Raw data (loadavg): 1.03 1.03 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18296 4 1 0 14079 50 0 0 25 0 11 0 1860695467 861085696 23423 4294967295 134512640 134569956 3221224336 3221214664 1131496638 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 23423 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 141.29 Current children cumulated vsize (Kb) 840904 [startup+160.014 s] Raw data (loadavg): 1.02 1.03 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18303 4 1 0 15045 51 0 0 25 0 11 0 1860695467 861085696 23506 4294967295 134512640 134569956 3221224336 3221214592 1131474784 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 23506 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 150.96 Current children cumulated vsize (Kb) 840904 [startup+170.014 s] Raw data (loadavg): 1.02 1.02 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18309 4 1 0 16013 51 0 0 21 0 11 0 1860695467 861085696 23562 4294967295 134512640 134569956 3221224336 3221214576 1131454149 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 23562 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 160.64 Current children cumulated vsize (Kb) 840904 [startup+180.016 s] Raw data (loadavg): 1.02 1.02 0.98 2/66 5731 Raw data (/proc/5711/stat): 5711 (java) S 5710 5711 2660 0 -1 0 18319 4 1 0 16943 51 0 0 25 0 11 0 1860695467 861085696 23681 4294967295 134512640 134569956 3221224336 3221213304 1073952481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 23681 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 840904 One traced child (pid=5731) exited with status: 0 New thread pid=5732 [startup+190.016 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 5732 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18326 4 1 0 17889 52 0 0 17 0 11 0 1860695467 861085696 23815 4294967295 134512640 134569956 3221224336 3221214664 1131494728 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 23815 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 179.41 Current children cumulated vsize (Kb) 840904 [startup+200.016 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 5732 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18332 4 1 0 18826 52 0 0 23 0 11 0 1860695467 861085696 24011 4294967295 134512640 134569956 3221224336 3221214760 1131483580 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 24011 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 188.78 Current children cumulated vsize (Kb) 840904 [startup+210.017 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 5732 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18340 4 1 0 19739 52 0 0 15 0 11 0 1860695467 861085696 24303 4294967295 134512640 134569956 3221224336 3221214552 1131367958 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 24303 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 197.91 Current children cumulated vsize (Kb) 840904 [startup+220.017 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 5732 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18345 4 1 0 20686 52 0 0 23 0 11 0 1860695467 861085696 24418 4294967295 134512640 134569956 3221224336 3221214664 1131494728 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 24418 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 207.38 Current children cumulated vsize (Kb) 840904 [startup+230.018 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 5732 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18353 4 1 0 21603 53 0 0 24 0 11 0 1860695467 861085696 24652 4294967295 134512640 134569956 3221224336 3221214664 1131497643 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 24652 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 216.56 Current children cumulated vsize (Kb) 840904 [startup+240.019 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 5732 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18362 4 1 0 22511 53 0 0 23 0 11 0 1860695467 861085696 24903 4294967295 134512640 134569956 3221224336 3221214664 1131497707 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 24903 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 225.64 Current children cumulated vsize (Kb) 840904 [startup+250.019 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 5732 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18371 4 1 0 23425 54 0 0 23 0 11 0 1860695467 861085696 25219 4294967295 134512640 134569956 3221224336 3221214664 1131496188 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 25219 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 234.79 Current children cumulated vsize (Kb) 840904 [startup+260.019 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 5732 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18381 4 1 0 24350 54 0 0 17 0 11 0 1860695467 861085696 25521 4294967295 134512640 134569956 3221224336 3221214664 1131500297 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 25521 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 244.04 Current children cumulated vsize (Kb) 840904 [startup+270.02 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 5732 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18388 4 1 0 25307 55 0 0 25 0 11 0 1860695467 861085696 25630 4294967295 134512640 134569956 3221224336 3221214560 1131471544 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 25630 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 253.62 Current children cumulated vsize (Kb) 840904 [startup+280.021 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 5732 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18398 4 1 0 26252 55 0 0 16 0 11 0 1860695467 861085696 25849 4294967295 134512640 134569956 3221224336 3221214576 1131454116 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 25849 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 263.07 Current children cumulated vsize (Kb) 840904 One traced child (pid=5732) exited with status: 0 New thread pid=5733 [startup+290.022 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18404 4 1 0 27224 56 0 0 25 0 11 0 1860695467 861085696 25928 4294967295 134512640 134569956 3221224336 3221214396 1131679012 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 25928 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 272.8 Current children cumulated vsize (Kb) 840904 [startup+300.022 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18407 4 1 0 28203 56 0 0 25 0 11 0 1860695467 861085696 25960 4294967295 134512640 134569956 3221224336 3221214236 1131658584 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 25960 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 282.59 Current children cumulated vsize (Kb) 840904 [startup+310.023 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18413 4 1 0 29137 56 0 0 24 0 11 0 1860695467 861085696 26414 4294967295 134512640 134569956 3221224336 3221214480 1131678826 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 26414 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 291.93 Current children cumulated vsize (Kb) 840904 [startup+320.023 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18418 4 1 0 30083 56 0 0 23 0 11 0 1860695467 861085696 26801 4294967295 134512640 134569956 3221224336 3221214576 1131497437 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 26801 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 301.39 Current children cumulated vsize (Kb) 840904 [startup+330.024 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18425 4 1 0 31010 57 0 0 25 0 11 0 1860695467 861085696 26944 4294967295 134512640 134569956 3221224336 3221214576 1131497525 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 26944 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 310.67 Current children cumulated vsize (Kb) 840904 [startup+340.025 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18430 4 1 0 31955 57 0 0 25 0 11 0 1860695467 861085696 27209 4294967295 134512640 134569956 3221224336 3221214440 1131414421 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 27209 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 320.12 Current children cumulated vsize (Kb) 840904 [startup+350.025 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18435 4 1 0 32904 57 0 0 25 0 11 0 1860695467 861085696 27309 4294967295 134512640 134569956 3221224336 3221214232 1085759286 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 27309 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 329.61 Current children cumulated vsize (Kb) 840904 [startup+360.026 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18441 4 1 0 33840 58 0 0 22 0 11 0 1860695467 861085696 27450 4294967295 134512640 134569956 3221224336 3221214576 1131495903 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 27450 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 338.98 Current children cumulated vsize (Kb) 840904 [startup+370.025 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18447 4 1 0 34780 58 0 0 24 0 11 0 1860695467 861085696 27560 4294967295 134512640 134569956 3221224336 3221214464 1131367992 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 27560 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 348.38 Current children cumulated vsize (Kb) 840904 [startup+380.025 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18453 4 1 0 35718 58 0 0 24 0 11 0 1860695467 861085696 27708 4294967295 134512640 134569956 3221224336 3221214576 1131497666 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 27708 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 357.76 Current children cumulated vsize (Kb) 840904 [startup+390.026 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18458 4 1 0 36672 58 0 0 25 0 11 0 1860695467 861085696 27956 4294967295 134512640 134569956 3221224336 3221214488 1131453798 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 27956 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 367.3 Current children cumulated vsize (Kb) 840904 [startup+400.026 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18463 4 1 0 37632 59 0 0 25 0 11 0 1860695467 861085696 28127 4294967295 134512640 134569956 3221224336 3221214464 1131367955 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 28127 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 376.91 Current children cumulated vsize (Kb) 840904 [startup+410.027 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18468 4 1 0 38591 59 0 0 25 0 11 0 1860695467 861085696 28196 4294967295 134512640 134569956 3221224336 3221214576 1131500097 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 28196 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 386.5 Current children cumulated vsize (Kb) 840904 [startup+420.028 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18475 4 1 0 39528 60 0 0 25 0 11 0 1860695467 861085696 28365 4294967295 134512640 134569956 3221224336 3221214576 1131497669 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 28365 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 395.88 Current children cumulated vsize (Kb) 840904 [startup+430.028 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18480 4 1 0 40484 60 0 0 25 0 11 0 1860695467 861085696 28500 4294967295 134512640 134569956 3221224336 3221214576 1131494728 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 28500 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 405.44 Current children cumulated vsize (Kb) 840904 [startup+440.027 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18486 4 1 0 41435 60 0 0 25 0 11 0 1860695467 861085696 28578 4294967295 134512640 134569956 3221224336 3221214464 1131367939 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 28578 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 414.95 Current children cumulated vsize (Kb) 840904 [startup+450.028 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18491 4 1 0 42395 60 0 0 25 0 11 0 1860695467 861085696 28670 4294967295 134512640 134569956 3221224336 3221214464 1131367958 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 28670 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 424.55 Current children cumulated vsize (Kb) 840904 [startup+460.029 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18497 4 1 0 43352 61 0 0 25 0 11 0 1860695467 861085696 28841 4294967295 134512640 134569956 3221224336 3221214520 1131473861 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 28841 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 434.13 Current children cumulated vsize (Kb) 840904 [startup+470.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18503 4 1 0 44315 61 0 0 25 0 11 0 1860695467 861085696 29060 4294967295 134512640 134569956 3221224336 3221214424 1131368034 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 29060 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 443.76 Current children cumulated vsize (Kb) 840904 [startup+480.03 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18509 4 1 0 45290 61 0 0 25 0 11 0 1860695467 861085696 29152 4294967295 134512640 134569956 3221224336 3221214464 1131368631 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 29152 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 453.51 Current children cumulated vsize (Kb) 840904 [startup+490.031 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18517 4 1 0 46256 62 0 0 24 0 11 0 1860695467 861085696 29253 4294967295 134512640 134569956 3221224336 3221214576 1131494710 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 29253 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 463.18 Current children cumulated vsize (Kb) 840904 [startup+500.032 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5733 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18523 4 1 0 47233 62 0 0 25 0 11 0 1860695467 861085696 29282 4294967295 134512640 134569956 3221224336 3221214544 1131474659 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 29282 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 472.95 Current children cumulated vsize (Kb) 840904 One traced child (pid=5733) exited with status: 0 New thread pid=5734 [startup+510.032 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18530 4 1 0 48206 62 0 0 25 0 11 0 1860695467 861085696 29382 4294967295 134512640 134569956 3221224336 3221214576 1131494728 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 29382 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 482.68 Current children cumulated vsize (Kb) 840904 [startup+520.033 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18536 4 1 0 49186 62 0 0 25 0 11 0 1860695467 861085696 29418 4294967295 134512640 134569956 3221224336 3221214576 1131495951 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 29418 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 492.48 Current children cumulated vsize (Kb) 840904 [startup+530.033 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18544 4 1 0 50150 62 0 0 25 0 11 0 1860695467 861085696 29459 4294967295 134512640 134569956 3221224336 3221214488 1131471510 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 29459 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 502.12 Current children cumulated vsize (Kb) 840904 [startup+540.035 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18552 4 1 0 51114 63 0 0 25 0 11 0 1860695467 861085696 29521 4294967295 134512640 134569956 3221224336 3221214488 1131453974 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 29521 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 511.77 Current children cumulated vsize (Kb) 840904 [startup+550.035 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18559 4 1 0 52081 63 0 0 25 0 11 0 1860695467 861085696 29577 4294967295 134512640 134569956 3221224336 3221214440 1131379161 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 29577 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 521.44 Current children cumulated vsize (Kb) 840904 [startup+560.036 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18567 4 1 0 53040 63 0 0 25 0 11 0 1860695467 861085696 29679 4294967295 134512640 134569956 3221224336 3221214464 1131367924 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 29679 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 531.03 Current children cumulated vsize (Kb) 840904 [startup+570.037 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18577 4 1 0 53991 63 0 0 16 0 11 0 1860695467 861085696 29794 4294967295 134512640 134569956 3221224336 3221214576 1131498501 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 29794 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 540.54 Current children cumulated vsize (Kb) 840904 [startup+580.037 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18585 4 1 0 54952 64 0 0 25 0 11 0 1860695467 861085696 29836 4294967295 134512640 134569956 3221224336 3221214488 1131453674 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 29836 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 550.16 Current children cumulated vsize (Kb) 840904 [startup+590.036 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18594 4 1 0 55915 64 0 0 25 0 11 0 1860695467 861085696 29988 4294967295 134512640 134569956 3221224336 3221214120 1131690929 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 29988 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 559.79 Current children cumulated vsize (Kb) 840904 [startup+600.037 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18600 4 1 0 56890 64 0 0 25 0 11 0 1860695467 861085696 30030 4294967295 134512640 134569956 3221224336 3221214576 1131499343 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 30030 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 569.54 Current children cumulated vsize (Kb) 840904 [startup+610.039 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18605 4 1 0 57870 64 0 0 25 0 11 0 1860695467 861085696 30107 4294967295 134512640 134569956 3221224336 3221213984 1085806738 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 30107 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 579.34 Current children cumulated vsize (Kb) 840904 [startup+620.038 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18611 4 1 0 58842 65 0 0 25 0 11 0 1860695467 861085696 30152 4294967295 134512640 134569956 3221224336 3221214576 1131498548 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 30152 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 589.07 Current children cumulated vsize (Kb) 840904 [startup+630.038 s] Raw data (loadavg): 1.07 1.02 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18618 4 1 0 59802 65 0 0 25 0 11 0 1860695467 861085696 30191 4294967295 134512640 134569956 3221224336 3221214440 1131414868 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 30191 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 598.67 Current children cumulated vsize (Kb) 840904 [startup+640.039 s] Raw data (loadavg): 1.06 1.02 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18625 4 1 0 60759 65 0 0 25 0 11 0 1860695467 861085696 30216 4294967295 134512640 134569956 3221224336 3221214576 1131494605 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 30216 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 608.24 Current children cumulated vsize (Kb) 840904 [startup+650.039 s] Raw data (loadavg): 1.05 1.01 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18632 4 1 0 61715 65 0 0 25 0 11 0 1860695467 861085696 30304 4294967295 134512640 134569956 3221224336 3221214488 1131453974 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 30304 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 617.8 Current children cumulated vsize (Kb) 840904 [startup+660.039 s] Raw data (loadavg): 1.04 1.01 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18638 4 1 0 62673 66 0 0 25 0 11 0 1860695467 861085696 30379 4294967295 134512640 134569956 3221224336 3221214536 1131541465 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 30379 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 627.39 Current children cumulated vsize (Kb) 840904 [startup+670.04 s] Raw data (loadavg): 1.04 1.01 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18645 4 1 0 63627 67 0 0 25 0 11 0 1860695467 861085696 30572 4294967295 134512640 134569956 3221224336 3221214488 1131471531 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 30572 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 636.94 Current children cumulated vsize (Kb) 840904 [startup+680.04 s] Raw data (loadavg): 1.03 1.01 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18650 4 1 0 64596 67 0 0 25 0 11 0 1860695467 861085696 30637 4294967295 134512640 134569956 3221224336 3221214424 1131367943 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 30637 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 646.63 Current children cumulated vsize (Kb) 840904 [startup+690.04 s] Raw data (loadavg): 1.02 1.01 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18657 4 1 0 65555 67 0 0 25 0 11 0 1860695467 861085696 30705 4294967295 134512640 134569956 3221224336 3221214576 1131497437 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 30705 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 656.22 Current children cumulated vsize (Kb) 840904 [startup+700.041 s] Raw data (loadavg): 1.02 1.01 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18665 4 1 0 66506 67 0 0 25 0 11 0 1860695467 861085696 30842 4294967295 134512640 134569956 3221224336 3221214056 1131551506 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 30842 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 665.73 Current children cumulated vsize (Kb) 840904 [startup+710.042 s] Raw data (loadavg): 1.02 1.01 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18673 4 1 0 67458 67 0 0 25 0 11 0 1860695467 861085696 31009 4294967295 134512640 134569956 3221224336 3221214424 1131368051 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 31009 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 675.25 Current children cumulated vsize (Kb) 840904 [startup+720.043 s] Raw data (loadavg): 1.01 1.01 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18681 4 1 0 68417 67 0 0 25 0 11 0 1860695467 861085696 31098 4294967295 134512640 134569956 3221224336 3221214576 1131498551 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 31098 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 684.84 Current children cumulated vsize (Kb) 840904 [startup+730.043 s] Raw data (loadavg): 1.01 1.01 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18689 4 1 0 69380 68 0 0 25 0 11 0 1860695467 861085696 31185 4294967295 134512640 134569956 3221224336 3221214536 1131541521 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 31185 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 694.48 Current children cumulated vsize (Kb) 840904 [startup+740.044 s] Raw data (loadavg): 1.01 1.01 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18697 4 1 0 70349 69 0 0 25 0 11 0 1860695467 861085696 31393 4294967295 134512640 134569956 3221224336 3221214544 1131474760 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 31393 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 704.18 Current children cumulated vsize (Kb) 840904 [startup+750.044 s] Raw data (loadavg): 1.01 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18706 4 1 0 71323 69 0 0 18 0 11 0 1860695467 861085696 31422 4294967295 134512640 134569956 3221224336 3221214464 1131367935 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 31422 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 713.92 Current children cumulated vsize (Kb) 840904 [startup+760.045 s] Raw data (loadavg): 1.01 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18713 4 1 0 72300 70 0 0 25 0 11 0 1860695467 861085696 31447 4294967295 134512640 134569956 3221224336 3221214408 1131588266 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 31447 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 723.7 Current children cumulated vsize (Kb) 840904 [startup+770.045 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18720 4 1 0 73275 70 0 0 23 0 11 0 1860695467 861085696 31472 4294967295 134512640 134569956 3221224336 3221214488 1131454027 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 31472 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 733.45 Current children cumulated vsize (Kb) 840904 [startup+780.046 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18729 4 1 0 74239 70 0 0 25 0 11 0 1860695467 861085696 31537 4294967295 134512640 134569956 3221224336 3221214472 1131679042 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 31537 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 743.09 Current children cumulated vsize (Kb) 840904 [startup+790.047 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18734 4 1 0 75215 70 0 0 25 0 11 0 1860695467 861085696 31568 4294967295 134512640 134569956 3221224336 3221214576 1131494728 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 31568 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 752.85 Current children cumulated vsize (Kb) 840904 [startup+800.047 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18740 4 1 0 76183 71 0 0 25 0 11 0 1860695467 861085696 31604 4294967295 134512640 134569956 3221224336 3221214712 1131428377 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 31604 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 762.54 Current children cumulated vsize (Kb) 840904 [startup+810.048 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18747 4 1 0 77145 71 0 0 25 0 11 0 1860695467 861085696 31668 4294967295 134512640 134569956 3221224336 3221214544 1131481763 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 31668 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 772.16 Current children cumulated vsize (Kb) 840904 [startup+820.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18752 4 1 0 78116 71 0 0 25 0 11 0 1860695467 861085696 31722 4294967295 134512640 134569956 3221224336 3221214464 1131367924 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 31722 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 781.87 Current children cumulated vsize (Kb) 840904 [startup+830.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18759 4 1 0 79075 72 0 0 25 0 11 0 1860695467 861085696 31823 4294967295 134512640 134569956 3221224336 3221214520 1131480352 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 31823 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 791.47 Current children cumulated vsize (Kb) 840904 [startup+840.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18766 4 1 0 80038 72 0 0 21 0 11 0 1860695467 861085696 31907 4294967295 134512640 134569956 3221224336 3221214488 1131453651 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 31907 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 801.1 Current children cumulated vsize (Kb) 840904 [startup+850.051 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18772 4 1 0 81008 72 0 0 25 0 11 0 1860695467 861085696 32023 4294967295 134512640 134569956 3221224336 3221214576 1131504072 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 32023 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 810.8 Current children cumulated vsize (Kb) 840904 [startup+860.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18778 4 1 0 81976 72 0 0 25 0 11 0 1860695467 861085696 32097 4294967295 134512640 134569956 3221224336 3221214464 1131367924 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 32097 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 820.48 Current children cumulated vsize (Kb) 840904 [startup+870.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18786 4 1 0 82929 73 0 0 25 0 11 0 1860695467 861085696 32178 4294967295 134512640 134569956 3221224336 3221214536 1131541505 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 32178 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 830.02 Current children cumulated vsize (Kb) 840904 [startup+880.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18793 4 1 0 83886 74 0 0 25 0 11 0 1860695467 861085696 32261 4294967295 134512640 134569956 3221224336 3221214576 1131494725 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 32261 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 839.6 Current children cumulated vsize (Kb) 840904 [startup+890.053 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18801 4 1 0 84837 74 0 0 25 0 11 0 1860695467 861085696 32309 4294967295 134512640 134569956 3221224336 3221214576 1131498478 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 32309 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 849.11 Current children cumulated vsize (Kb) 840904 [startup+900.054 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18809 4 1 0 85787 74 0 0 25 0 11 0 1860695467 861085696 32462 4294967295 134512640 134569956 3221224336 3221214576 1131500388 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 32462 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 858.61 Current children cumulated vsize (Kb) 840904 [startup+910.055 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18816 4 1 0 86745 75 0 0 25 0 11 0 1860695467 861085696 32650 4294967295 134512640 134569956 3221224336 3221214576 1131495093 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 32650 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 868.2 Current children cumulated vsize (Kb) 840904 [startup+920.056 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18823 4 1 0 87704 75 0 0 16 0 11 0 1860695467 861085696 32699 4294967295 134512640 134569956 3221224336 3221214464 1131367924 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 32699 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 877.79 Current children cumulated vsize (Kb) 840904 [startup+930.056 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18830 4 1 0 88664 75 0 0 25 0 11 0 1860695467 861085696 32756 4294967295 134512640 134569956 3221224336 3221214744 1131342877 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 32756 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 887.39 Current children cumulated vsize (Kb) 840904 [startup+940.057 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18838 4 1 0 89616 76 0 0 25 0 11 0 1860695467 861085696 32877 4294967295 134512640 134569956 3221224336 3221214576 1131495086 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 32877 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 896.92 Current children cumulated vsize (Kb) 840904 [startup+950.057 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18845 4 1 0 90578 76 0 0 25 0 11 0 1860695467 861085696 32962 4294967295 134512640 134569956 3221224336 3221214488 1131454219 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 32962 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 906.54 Current children cumulated vsize (Kb) 840904 [startup+960.058 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18851 4 1 0 91547 76 0 0 25 0 11 0 1860695467 861085696 33094 4294967295 134512640 134569956 3221224336 3221214576 1131499256 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 33094 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 916.23 Current children cumulated vsize (Kb) 840904 [startup+970.059 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18859 4 1 0 92512 77 0 0 25 0 11 0 1860695467 861085696 33144 4294967295 134512640 134569956 3221224336 3221214464 1131368005 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 33144 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 925.89 Current children cumulated vsize (Kb) 840904 [startup+980.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18866 4 1 0 93479 77 0 0 22 0 11 0 1860695467 861085696 33242 4294967295 134512640 134569956 3221224336 3221214576 1131494728 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 33242 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 935.56 Current children cumulated vsize (Kb) 840904 [startup+990.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18872 4 1 0 94442 77 0 0 25 0 11 0 1860695467 861085696 33294 4294967295 134512640 134569956 3221224336 3221214544 1131474627 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 33294 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 945.19 Current children cumulated vsize (Kb) 840904 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18879 4 1 0 95396 78 0 0 25 0 11 0 1860695467 861085696 33343 4294967295 134512640 134569956 3221224336 3221214488 1131470437 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 33343 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 954.74 Current children cumulated vsize (Kb) 840904 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18885 4 1 0 96355 78 0 0 25 0 11 0 1860695467 861085696 33373 4294967295 134512640 134569956 3221224336 3221214536 1131541116 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 33373 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 964.33 Current children cumulated vsize (Kb) 840904 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18891 4 1 0 97312 78 0 0 22 0 11 0 1860695467 861085696 33444 4294967295 134512640 134569956 3221224336 3221214472 1131414262 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 33444 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 973.9 Current children cumulated vsize (Kb) 840904 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18895 4 1 0 98284 79 0 0 23 0 11 0 1860695467 861085696 33523 4294967295 134512640 134569956 3221224336 3221214576 1131494728 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 33523 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 983.63 Current children cumulated vsize (Kb) 840904 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5734 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18905 4 1 0 99233 79 0 0 25 0 11 0 1860695467 861085696 33776 4294967295 134512640 134569956 3221224336 3221214576 1131495951 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 33776 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 993.12 Current children cumulated vsize (Kb) 840904 One traced child (pid=5734) exited with status: 0 New thread pid=5735 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18911 4 1 0 100210 79 0 0 25 0 11 0 1860695467 861085696 33837 4294967295 134512640 134569956 3221224336 3221214576 1131494728 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 33837 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1002.89 Current children cumulated vsize (Kb) 840904 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18918 4 1 0 101184 80 0 0 25 0 11 0 1860695467 861085696 33926 4294967295 134512640 134569956 3221224336 3221214572 1131367904 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 33926 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1012.64 Current children cumulated vsize (Kb) 840904 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18924 4 1 0 102161 80 0 0 20 0 11 0 1860695467 861085696 33978 4294967295 134512640 134569956 3221224336 3221214576 1131494737 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 33978 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1022.41 Current children cumulated vsize (Kb) 840904 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18931 4 1 0 103136 80 0 0 25 0 11 0 1860695467 861085696 34000 4294967295 134512640 134569956 3221224336 3221214488 1131453603 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 34000 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1032.16 Current children cumulated vsize (Kb) 840904 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18939 4 1 0 104104 81 0 0 24 0 11 0 1860695467 861085696 34013 4294967295 134512640 134569956 3221224336 3221214576 1131497794 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 34013 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1041.85 Current children cumulated vsize (Kb) 840904 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18947 4 1 0 105074 81 0 0 19 0 11 0 1860695467 861085696 34077 4294967295 134512640 134569956 3221224336 3221214488 1131453627 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 34077 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1051.55 Current children cumulated vsize (Kb) 840904 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18956 4 1 0 106047 81 0 0 25 0 11 0 1860695467 861085696 34166 4294967295 134512640 134569956 3221224336 3221214488 1131453689 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 34166 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1061.28 Current children cumulated vsize (Kb) 840904 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18966 4 1 0 107013 81 0 0 25 0 11 0 1860695467 861085696 34230 4294967295 134512640 134569956 3221224336 3221214320 1131658710 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 34230 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1070.94 Current children cumulated vsize (Kb) 840904 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18975 4 1 0 107976 82 0 0 18 0 11 0 1860695467 861085696 34251 4294967295 134512640 134569956 3221224336 3221214528 1131379117 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 34251 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1080.58 Current children cumulated vsize (Kb) 840904 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18983 4 1 0 108940 82 0 0 16 0 11 0 1860695467 861085696 34270 4294967295 134512640 134569956 3221224336 3221214712 1131428377 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 34270 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1090.22 Current children cumulated vsize (Kb) 840904 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 18991 4 1 0 109902 83 0 0 19 0 11 0 1860695467 861085696 34381 4294967295 134512640 134569956 3221224336 3221214576 1131496001 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 34381 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1099.85 Current children cumulated vsize (Kb) 840904 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 19000 4 1 0 110861 83 0 0 24 0 11 0 1860695467 861085696 34455 4294967295 134512640 134569956 3221224336 3221214464 1131367987 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 34455 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1109.44 Current children cumulated vsize (Kb) 840904 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 19006 4 1 0 111834 83 0 0 25 0 11 0 1860695467 861085696 34521 4294967295 134512640 134569956 3221224336 3221214576 1131498497 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 34521 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1119.17 Current children cumulated vsize (Kb) 840904 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 19011 4 1 0 112812 84 0 0 25 0 11 0 1860695467 861085696 34552 4294967295 134512640 134569956 3221224336 3221214464 1131367924 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 34552 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1128.96 Current children cumulated vsize (Kb) 840904 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 19018 4 1 0 113781 84 0 0 24 0 11 0 1860695467 861085696 34628 4294967295 134512640 134569956 3221224336 3221214576 1131495951 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 34628 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1138.65 Current children cumulated vsize (Kb) 840904 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 19024 4 1 0 114750 84 0 0 17 0 11 0 1860695467 861085696 34660 4294967295 134512640 134569956 3221224336 3221214536 1131541551 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 34660 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1148.34 Current children cumulated vsize (Kb) 840904 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 19029 4 1 0 115721 85 0 0 25 0 11 0 1860695467 861085696 34684 4294967295 134512640 134569956 3221224336 3221214544 1131481740 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 34684 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1158.06 Current children cumulated vsize (Kb) 840904 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) S 5710 5711 2660 0 -1 0 19035 4 1 0 116684 85 0 0 16 0 11 0 1860695467 861085696 34761 4294967295 134512640 134569956 3221224336 3221213144 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 34761 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1167.69 Current children cumulated vsize (Kb) 840904 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 19042 4 1 0 117651 86 0 0 24 0 11 0 1860695467 861085696 34800 4294967295 134512640 134569956 3221224336 3221214576 1131494989 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 34800 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1177.37 Current children cumulated vsize (Kb) 840904 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 19048 4 1 0 118617 86 0 0 25 0 11 0 1860695467 861085696 34843 4294967295 134512640 134569956 3221224336 3221214440 1131414400 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 34843 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1187.03 Current children cumulated vsize (Kb) 840904 [startup+1250.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 19053 4 1 0 119583 86 0 0 25 0 11 0 1860695467 861085696 34956 4294967295 134512640 134569956 3221224336 3221214576 1131495901 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/5711/statm): 210226 34956 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1196.69 Current children cumulated vsize (Kb) 840904 [startup+1260.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 19063 4 1 0 120519 86 0 0 20 0 11 0 1860695467 861085696 35081 4294967295 134512640 134569956 3221224336 3221214440 1131379161 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 35081 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1206.05 Current children cumulated vsize (Kb) 840904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1260.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 5735 Raw data (/proc/5711/stat): 5711 (java) R 5710 5711 2660 0 -1 0 19063 4 1 0 120519 86 0 0 20 0 11 0 1860695467 861085696 35081 4294967295 134512640 134569956 3221224336 3221214440 1131379161 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/5711/statm): 210226 35081 13129 16 0 210210 0 [pid=5711] vsize: 840904 Current children cumulated CPU time (s) 1206.05 Current children cumulated vsize (Kb) 840904 Sending SIGTERM to -5711 Sleeping 2 seconds New thread pid=5737 New thread pid=5738 One traced child (pid=5738) exited with status: 0 One traced child (pid=5720) exited with status: 0 One traced child (pid=5715) exited with status: 0 One traced child (pid=5712) exited with status: 143 One traced child (pid=5713) exited with status: 143 One traced child (pid=5718) exited with status: 143 One traced child (pid=5719) exited with status: 143 One traced child (pid=5714) exited with status: 143 One traced child (pid=5716) exited with status: 143 One traced child (pid=5735) exited with status: 143 One traced child (pid=5717) exited with status: 143 One traced child (pid=5737) exited with status: 143 One traced child (pid=5711) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1260.33 CPU time (s): 1266.62 CPU user time (s): 1264.72 CPU system time (s): 1.89671 CPU usage (%): 100.499 Max. virtual memory (cumulated for all children) (Kb): 841096
Verifier: OK 57848