PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-modglob.opb
MD5SUM	7c23b551f45513828578e93f58c31ab1
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6578
Biggest coefficient in the objective function	21493710848000000
Number of bits for the biggest coefficient in the objective function	55
Sum of the numbers in the objective function	1450509811657714210
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	21493710848000000
Number of bits of the biggest number in a constraint	55
Biggest sum of numbers in a constraint	1450509811657714210
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.06099
Number of variables	6578
Total number of constraints	389
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	98
Number of constraints which are nor clauses,nor cardinality constraints	291
Minimum length of a constraint	1
Maximum length of a constraint	180
Trace number 30045

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 14:10:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21447 boxname=wulflinc1 idbench=1435 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  7c23b551f45513828578e93f58c31ab1  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-modglob.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-modglob.opb
IDLAUNCH: 21447
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        653992 kB
Buffers:         34256 kB
Cached:         316660 kB
SwapCached:       3976 kB
Active:          74212 kB
Inactive:       283560 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        653740 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:            17012 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:30:41 (client local time) WITH STATUS 143 IN 1216.32 SECONDS
stats: 21447 7 1216.32 143
#### END LAUNCHER DATA ####
#### BEGIN 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 Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-modglob.opb
c reading problem ... done. Time 16.784 ms.
c #vars     6578
c #constraints  384
c starts	: 3
c conflicts	: 468
c decisions	: 10269
c propagations	: 34881
c inspects	: 5090791
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 468
c root simplifications	: 466
s UNKNOWN
c Total CPU time (ms) : 1219.117
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/55 22349
Raw data (stat): 22349 (runsolver) R 22348 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 724414062 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.98 0.99 2/64 22358
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18022 0 1 0 873 36 0 0 24 0 10 0 724414062 853270528 19406 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208318 19406 13086 16 0 208302 0
vsize: 833272
[startup+20.001 s]
Raw data (loadavg): 1.18 1.03 1.01 4/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18066 0 1 0 1669 37 0 0 25 0 11 0 724414062 861691904 21617 4294967295 134512640 134569956 3221224368 3221214792 1130892668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 21617 13086 16 0 210358 0
vsize: 841496
[startup+30.0009 s]
Raw data (loadavg): 1.39 1.08 1.03 3/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 2400 37 0 0 25 0 11 0 724414062 876994560 26267 4294967295 134512640 134569956 3221224368 3221214688 1131326078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214110 26267 13086 16 0 214094 0
vsize: 856440
[startup+40.0017 s]
Raw data (loadavg): 1.41 1.09 1.03 3/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 3296 38 0 0 25 0 11 0 724414062 877797376 26510 4294967295 134512640 134569956 3221224368 3221214736 1131231061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214306 26510 13086 16 0 214290 0
vsize: 857224
[startup+50.0024 s]
Raw data (loadavg): 1.35 1.09 1.03 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 4193 38 0 0 25 0 11 0 724414062 865640448 23900 4294967295 134512640 134569956 3221224368 3221214688 1131326135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211338 23900 13086 16 0 211322 0
vsize: 845352
[startup+60.0032 s]
Raw data (loadavg): 1.29 1.09 1.03 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 5152 38 0 0 25 0 11 0 724414062 862494720 23916 4294967295 134512640 134569956 3221224368 3221214736 1131231276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 23916 13086 16 0 210554 0
vsize: 842280
[startup+70.004 s]
Raw data (loadavg): 1.25 1.08 1.03 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 6142 38 0 0 25 0 11 0 724414062 862494720 23954 4294967295 134512640 134569956 3221224368 3221214600 1131233589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 23954 13086 16 0 210554 0
vsize: 842280
[startup+80.0038 s]
Raw data (loadavg): 1.21 1.08 1.03 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 7134 38 0 0 25 0 11 0 724414062 862494720 23976 4294967295 134512640 134569956 3221224368 3221214688 1131326537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 23976 13086 16 0 210554 0
vsize: 842280
[startup+90.0036 s]
Raw data (loadavg): 1.18 1.08 1.03 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 8124 38 0 0 25 0 11 0 724414062 862494720 23994 4294967295 134512640 134569956 3221224368 3221214592 1131234652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 23994 13086 16 0 210554 0
vsize: 842280
[startup+100.003 s]
Raw data (loadavg): 1.15 1.08 1.02 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 9115 39 0 0 25 0 11 0 724414062 862494720 24008 4294967295 134512640 134569956 3221224368 3221214728 1131231040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24008 13086 16 0 210554 0
vsize: 842280
[startup+110.004 s]
Raw data (loadavg): 1.12 1.07 1.02 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 10106 39 0 0 25 0 11 0 724414062 862494720 24026 4294967295 134512640 134569956 3221224368 3221214680 1131326511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24026 13086 16 0 210554 0
vsize: 842280
[startup+120.005 s]
Raw data (loadavg): 1.10 1.07 1.02 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 11098 39 0 0 25 0 11 0 724414062 862494720 24058 4294967295 134512640 134569956 3221224368 3221214592 1131233637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24058 13086 16 0 210554 0
vsize: 842280
[startup+130.005 s]
Raw data (loadavg): 1.09 1.07 1.02 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 12091 39 0 0 25 0 11 0 724414062 862494720 24069 4294967295 134512640 134569956 3221224368 3221214680 1131326078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24069 13086 16 0 210554 0
vsize: 842280
[startup+140.006 s]
Raw data (loadavg): 1.07 1.06 1.02 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 13084 39 0 0 25 0 11 0 724414062 862494720 24080 4294967295 134512640 134569956 3221224368 3221214680 1131326702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24080 13086 16 0 210554 0
vsize: 842280
[startup+150.006 s]
Raw data (loadavg): 1.06 1.06 1.02 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 14077 40 0 0 25 0 11 0 724414062 862494720 24089 4294967295 134512640 134569956 3221224368 3221214728 1131231057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24089 13086 16 0 210554 0
vsize: 842280
[startup+160.007 s]
Raw data (loadavg): 1.05 1.06 1.02 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 15071 40 0 0 25 0 11 0 724414062 862494720 24099 4294967295 134512640 134569956 3221224368 3221214680 1131326511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24099 13086 16 0 210554 0
vsize: 842280
[startup+170.007 s]
Raw data (loadavg): 1.04 1.06 1.02 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 16065 40 0 0 25 0 11 0 724414062 862494720 24107 4294967295 134512640 134569956 3221224368 3221214680 1131327016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24107 13086 16 0 210554 0
vsize: 842280
[startup+180.007 s]
Raw data (loadavg): 1.04 1.05 1.02 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 17058 41 0 0 25 0 11 0 724414062 862494720 24115 4294967295 134512640 134569956 3221224368 3221214680 1131326434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24115 13086 16 0 210554 0
vsize: 842280
[startup+190.007 s]
Raw data (loadavg): 1.03 1.05 1.02 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 18051 41 0 0 25 0 11 0 724414062 862494720 24123 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24123 13086 16 0 210554 0
vsize: 842280
[startup+200.007 s]
Raw data (loadavg): 1.03 1.05 1.01 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 19044 41 0 0 25 0 11 0 724414062 862494720 24130 4294967295 134512640 134569956 3221224368 3221214680 1131326078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24130 13086 16 0 210554 0
vsize: 842280
[startup+210.008 s]
Raw data (loadavg): 1.02 1.05 1.01 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 20038 41 0 0 25 0 11 0 724414062 862494720 24138 4294967295 134512640 134569956 3221224368 3221214784 1131408569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24138 13086 16 0 210554 0
vsize: 842280
[startup+220.009 s]
Raw data (loadavg): 1.02 1.05 1.01 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 21031 41 0 0 25 0 11 0 724414062 862494720 24145 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24145 13086 16 0 210554 0
vsize: 842280
[startup+230.009 s]
Raw data (loadavg): 1.01 1.04 1.01 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 22024 42 0 0 25 0 11 0 724414062 862494720 24152 4294967295 134512640 134569956 3221224368 3221214728 1131231040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24152 13086 16 0 210554 0
vsize: 842280
[startup+240.009 s]
Raw data (loadavg): 1.01 1.04 1.01 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 23017 42 0 0 25 0 11 0 724414062 862494720 24160 4294967295 134512640 134569956 3221224368 3221214784 1131407996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24160 13086 16 0 210554 0
vsize: 842280
[startup+250.01 s]
Raw data (loadavg): 1.01 1.04 1.01 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 24007 42 0 0 25 0 11 0 724414062 862494720 24165 4294967295 134512640 134569956 3221224368 3221214680 1131327013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24165 13086 16 0 210554 0
vsize: 842280
[startup+260.011 s]
Raw data (loadavg): 1.01 1.04 1.01 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 24997 43 0 0 25 0 11 0 724414062 862494720 24173 4294967295 134512640 134569956 3221224368 3221214784 1131408503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24173 13086 16 0 210554 0
vsize: 842280
[startup+270.011 s]
Raw data (loadavg): 1.01 1.04 1.01 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 25988 43 0 0 25 0 11 0 724414062 862494720 24223 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24223 13086 16 0 210554 0
vsize: 842280
[startup+280.011 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 26976 44 0 0 25 0 11 0 724414062 862494720 24238 4294967295 134512640 134569956 3221224368 3221214680 1131326812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24238 13086 16 0 210554 0
vsize: 842280
[startup+290.011 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18083 0 1 0 27970 44 0 0 25 0 11 0 724414062 862494720 24245 4294967295 134512640 134569956 3221224368 3221214680 1131326426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24245 13086 16 0 210554 0
vsize: 842280
[startup+300.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 28963 44 0 0 25 0 11 0 724414062 862494720 24252 4294967295 134512640 134569956 3221224368 3221214680 1131326511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24252 13086 16 0 210554 0
vsize: 842280
[startup+310.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 29957 45 0 0 25 0 11 0 724414062 862494720 24257 4294967295 134512640 134569956 3221224368 3221214680 1131327116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24257 13086 16 0 210554 0
vsize: 842280
[startup+320.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 30950 45 0 0 25 0 11 0 724414062 862494720 24262 4294967295 134512640 134569956 3221224368 3221214728 1131231040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24262 13086 16 0 210554 0
vsize: 842280
[startup+330.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 31943 45 0 0 25 0 11 0 724414062 862494720 24268 4294967295 134512640 134569956 3221224368 3221214728 1131231114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24268 13086 16 0 210554 0
vsize: 842280
[startup+340.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 32936 45 0 0 25 0 11 0 724414062 862494720 24273 4294967295 134512640 134569956 3221224368 3221214680 1131326767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24273 13086 16 0 210554 0
vsize: 842280
[startup+350.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 33930 46 0 0 25 0 11 0 724414062 862494720 24279 4294967295 134512640 134569956 3221224368 3221214784 1131407575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24279 13086 16 0 210554 0
vsize: 842280
[startup+360.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 34923 46 0 0 25 0 11 0 724414062 862494720 24284 4294967295 134512640 134569956 3221224368 3221214680 1131326053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24284 13086 16 0 210554 0
vsize: 842280
[startup+370.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 35917 46 0 0 25 0 11 0 724414062 862494720 24290 4294967295 134512640 134569956 3221224368 3221214680 1131326075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24290 13086 16 0 210554 0
vsize: 842280
[startup+380.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 36910 46 0 0 25 0 11 0 724414062 862494720 24295 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24295 13086 16 0 210554 0
vsize: 842280
[startup+390.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 37904 46 0 0 25 0 11 0 724414062 862494720 24299 4294967295 134512640 134569956 3221224368 3221214728 1131231040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24299 13086 16 0 210554 0
vsize: 842280
[startup+400.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 38897 46 0 0 25 0 11 0 724414062 862494720 24305 4294967295 134512640 134569956 3221224368 3221214680 1131327098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24305 13086 16 0 210554 0
vsize: 842280
[startup+410.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 39890 46 0 0 25 0 11 0 724414062 862494720 24310 4294967295 134512640 134569956 3221224368 3221214592 1131233639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24310 13086 16 0 210554 0
vsize: 842280
[startup+420.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 40883 46 0 0 25 0 11 0 724414062 862494720 24314 4294967295 134512640 134569956 3221224368 3221214680 1131326121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24314 13086 16 0 210554 0
vsize: 842280
[startup+430.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 41876 46 0 0 25 0 11 0 724414062 862494720 24322 4294967295 134512640 134569956 3221224368 3221214728 1131231065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24322 13086 16 0 210554 0
vsize: 842280
[startup+440.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 42869 46 0 0 25 0 11 0 724414062 862494720 24326 4294967295 134512640 134569956 3221224368 3221214680 1131326565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24326 13086 16 0 210554 0
vsize: 842280
[startup+450.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 43863 46 0 0 25 0 11 0 724414062 862494720 24331 4294967295 134512640 134569956 3221224368 3221214676 1131233568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24331 13086 16 0 210554 0
vsize: 842280
[startup+460.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 44856 46 0 0 25 0 11 0 724414062 862494720 24335 4294967295 134512640 134569956 3221224368 3221214728 1131231045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24335 13086 16 0 210554 0
vsize: 842280
[startup+470.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 45849 46 0 0 25 0 11 0 724414062 862494720 24341 4294967295 134512640 134569956 3221224368 3221214728 1131231040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24341 13086 16 0 210554 0
vsize: 842280
[startup+480.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 46842 47 0 0 25 0 11 0 724414062 862494720 24345 4294967295 134512640 134569956 3221224368 3221214680 1131327446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24345 13086 16 0 210554 0
vsize: 842280
[startup+490.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 47835 47 0 0 25 0 11 0 724414062 862494720 24349 4294967295 134512640 134569956 3221224368 3221214784 1131408081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24349 13086 16 0 210554 0
vsize: 842280
[startup+500.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 48829 47 0 0 25 0 11 0 724414062 862494720 24353 4294967295 134512640 134569956 3221224368 3221214680 1131327098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24353 13086 16 0 210554 0
vsize: 842280
[startup+510.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 49822 47 0 0 25 0 11 0 724414062 862494720 24357 4294967295 134512640 134569956 3221224368 3221214680 1131326475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24357 13086 16 0 210554 0
vsize: 842280
[startup+520.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 50815 47 0 0 25 0 11 0 724414062 862494720 24362 4294967295 134512640 134569956 3221224368 3221214784 1131407575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24362 13086 16 0 210554 0
vsize: 842280
[startup+530.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 51808 47 0 0 25 0 11 0 724414062 862494720 24366 4294967295 134512640 134569956 3221224368 3221214728 1131231040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24366 13086 16 0 210554 0
vsize: 842280
[startup+540.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 52802 47 0 0 25 0 11 0 724414062 862494720 24370 4294967295 134512640 134569956 3221224368 3221214728 1131231040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24370 13086 16 0 210554 0
vsize: 842280
[startup+550.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 53795 47 0 0 25 0 11 0 724414062 862494720 24374 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24374 13086 16 0 210554 0
vsize: 842280
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 54787 47 0 0 25 0 11 0 724414062 862494720 24378 4294967295 134512640 134569956 3221224368 3221214676 1131233575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24378 13086 16 0 210554 0
vsize: 842280
[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 55781 47 0 0 25 0 11 0 724414062 862494720 24383 4294967295 134512640 134569956 3221224368 3221214780 1131327455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24383 13086 16 0 210554 0
vsize: 842280
[startup+580.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 56773 47 0 0 25 0 11 0 724414062 862494720 24386 4294967295 134512640 134569956 3221224368 3221214680 1131326828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24386 13086 16 0 210554 0
vsize: 842280
[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 57766 47 0 0 25 0 11 0 724414062 862494720 24391 4294967295 134512640 134569956 3221224368 3221214680 1131327128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24391 13086 16 0 210554 0
vsize: 842280
[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 58759 47 0 0 25 0 11 0 724414062 862494720 24395 4294967295 134512640 134569956 3221224368 3221214680 1131326053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24395 13086 16 0 210554 0
vsize: 842280
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 59752 47 0 0 25 0 11 0 724414062 862494720 24399 4294967295 134512640 134569956 3221224368 3221214728 1131231040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24399 13086 16 0 210554 0
vsize: 842280
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 60745 48 0 0 25 0 11 0 724414062 862494720 24403 4294967295 134512640 134569956 3221224368 3221214592 1131233639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24403 13086 16 0 210554 0
vsize: 842280
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 61738 48 0 0 25 0 11 0 724414062 862494720 24405 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24405 13086 16 0 210554 0
vsize: 842280
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 62731 48 0 0 25 0 11 0 724414062 862494720 24409 4294967295 134512640 134569956 3221224368 3221214480 1131559573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24409 13086 16 0 210554 0
vsize: 842280
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 63724 48 0 0 25 0 11 0 724414062 862494720 24413 4294967295 134512640 134569956 3221224368 3221214728 1131231083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24413 13086 16 0 210554 0
vsize: 842280
[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 64717 48 0 0 25 0 11 0 724414062 862494720 24417 4294967295 134512640 134569956 3221224368 3221214680 1131326060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24417 13086 16 0 210554 0
vsize: 842280
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 65710 49 0 0 25 0 11 0 724414062 862494720 24420 4294967295 134512640 134569956 3221224368 3221214680 1131326379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24420 13086 16 0 210554 0
vsize: 842280
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 66702 49 0 0 25 0 11 0 724414062 862494720 24424 4294967295 134512640 134569956 3221224368 3221214680 1131326565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24424 13086 16 0 210554 0
vsize: 842280
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 67694 49 0 0 25 0 11 0 724414062 862494720 24428 4294967295 134512640 134569956 3221224368 3221214680 1131326759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24428 13086 16 0 210554 0
vsize: 842280
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 68687 50 0 0 25 0 11 0 724414062 862494720 24432 4294967295 134512640 134569956 3221224368 3221214384 1131561649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24432 13086 16 0 210554 0
vsize: 842280
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 69680 50 0 0 25 0 11 0 724414062 862494720 24435 4294967295 134512640 134569956 3221224368 3221214728 1131231065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24435 13086 16 0 210554 0
vsize: 842280
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 70672 50 0 0 25 0 11 0 724414062 862494720 24439 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24439 13086 16 0 210554 0
vsize: 842280
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 71665 50 0 0 25 0 11 0 724414062 862494720 24443 4294967295 134512640 134569956 3221224368 3221214680 1131326828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24443 13086 16 0 210554 0
vsize: 842280
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 72658 50 0 0 25 0 11 0 724414062 862494720 24446 4294967295 134512640 134569956 3221224368 3221214728 1131231061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24446 13086 16 0 210554 0
vsize: 842280
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 73650 50 0 0 25 0 11 0 724414062 862494720 24450 4294967295 134512640 134569956 3221224368 3221214784 1131408020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24450 13086 16 0 210554 0
vsize: 842280
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 74643 50 0 0 25 0 11 0 724414062 862494720 24452 4294967295 134512640 134569956 3221224368 3221214680 1131326543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24452 13086 16 0 210554 0
vsize: 842280
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 75636 51 0 0 25 0 11 0 724414062 862494720 24456 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24456 13086 16 0 210554 0
vsize: 842280
[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 76629 51 0 0 25 0 11 0 724414062 862494720 24459 4294967295 134512640 134569956 3221224368 3221214680 1131326455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24459 13086 16 0 210554 0
vsize: 842280
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 77621 51 0 0 25 0 11 0 724414062 862494720 24463 4294967295 134512640 134569956 3221224368 3221214784 1131407479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24463 13086 16 0 210554 0
vsize: 842280
[startup+800.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 78614 51 0 0 25 0 11 0 724414062 862494720 24466 4294967295 134512640 134569956 3221224368 3221214680 1131327037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24466 13086 16 0 210554 0
vsize: 842280
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 79606 51 0 0 25 0 11 0 724414062 862494720 24470 4294967295 134512640 134569956 3221224368 3221214680 1131326698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24470 13086 16 0 210554 0
vsize: 842280
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 80598 52 0 0 25 0 11 0 724414062 862494720 24472 4294967295 134512640 134569956 3221224368 3221214680 1131326698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24472 13086 16 0 210554 0
vsize: 842280
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 81591 52 0 0 25 0 11 0 724414062 862494720 24476 4294967295 134512640 134569956 3221224368 3221214680 1131326662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24476 13086 16 0 210554 0
vsize: 842280
[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 82583 52 0 0 25 0 11 0 724414062 862494720 24479 4294967295 134512640 134569956 3221224368 3221214728 1131231073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24479 13086 16 0 210554 0
vsize: 842280
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 83575 52 0 0 25 0 11 0 724414062 862494720 24483 4294967295 134512640 134569956 3221224368 3221214680 1131326759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24483 13086 16 0 210554 0
vsize: 842280
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 84565 52 0 0 25 0 11 0 724414062 862494720 24486 4294967295 134512640 134569956 3221224368 3221214680 1131326676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24486 13086 16 0 210554 0
vsize: 842280
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 85551 52 0 0 25 0 11 0 724414062 862494720 24489 4294967295 134512640 134569956 3221224368 3221214484 1131563179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24489 13086 16 0 210554 0
vsize: 842280
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 86537 52 0 0 25 0 11 0 724414062 862494720 24512 4294967295 134512640 134569956 3221224368 3221214680 1131326327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24512 13086 16 0 210554 0
vsize: 842280
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 87527 53 0 0 25 0 11 0 724414062 862494720 24573 4294967295 134512640 134569956 3221224368 3221214680 1131326078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24573 13086 16 0 210554 0
vsize: 842280
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 88518 53 0 0 25 0 11 0 724414062 862494720 24578 4294967295 134512640 134569956 3221224368 3221214680 1131327084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24578 13086 16 0 210554 0
vsize: 842280
[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 89510 53 0 0 25 0 11 0 724414062 862494720 24585 4294967295 134512640 134569956 3221224368 3221214728 1131231165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24585 13086 16 0 210554 0
vsize: 842280
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 90502 53 0 0 25 0 11 0 724414062 862494720 24590 4294967295 134512640 134569956 3221224368 3221214784 1131408588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24590 13086 16 0 210554 0
vsize: 842280
[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 91494 53 0 0 25 0 11 0 724414062 862494720 24592 4294967295 134512640 134569956 3221224368 3221214680 1131327016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24592 13086 16 0 210554 0
vsize: 842280
[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 92487 53 0 0 25 0 11 0 724414062 862494720 24595 4294967295 134512640 134569956 3221224368 3221214680 1131327077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24595 13086 16 0 210554 0
vsize: 842280
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 93478 53 0 0 25 0 11 0 724414062 862494720 24600 4294967295 134512640 134569956 3221224368 3221214680 1131326128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24600 13086 16 0 210554 0
vsize: 842280
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 94471 54 0 0 25 0 11 0 724414062 862494720 24603 4294967295 134512640 134569956 3221224368 3221214728 1131231040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24603 13086 16 0 210554 0
vsize: 842280
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 95462 54 0 0 25 0 11 0 724414062 862494720 24606 4294967295 134512640 134569956 3221224368 3221214680 1131326053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24606 13086 16 0 210554 0
vsize: 842280
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 96454 54 0 0 25 0 11 0 724414062 862494720 24610 4294967295 134512640 134569956 3221224368 3221214728 1131354001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24610 13086 16 0 210554 0
vsize: 842280
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 97446 54 0 0 25 0 11 0 724414062 862494720 24612 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24612 13086 16 0 210554 0
vsize: 842280
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 98437 54 0 0 25 0 11 0 724414062 862494720 24615 4294967295 134512640 134569956 3221224368 3221214728 1131231057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24615 13086 16 0 210554 0
vsize: 842280
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 99428 54 0 0 25 0 11 0 724414062 862494720 24618 4294967295 134512640 134569956 3221224368 3221214680 1131326797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24618 13086 16 0 210554 0
vsize: 842280
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 100420 55 0 0 25 0 11 0 724414062 862494720 24620 4294967295 134512640 134569956 3221224368 3221214680 1131326049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24620 13086 16 0 210554 0
vsize: 842280
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 101411 55 0 0 25 0 11 0 724414062 862494720 24626 4294967295 134512640 134569956 3221224368 3221214784 1131408604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24626 13086 16 0 210554 0
vsize: 842280
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 102402 55 0 0 25 0 11 0 724414062 862494720 24628 4294967295 134512640 134569956 3221224368 3221214680 1131326468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24628 13086 16 0 210554 0
vsize: 842280
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 103393 55 0 0 25 0 11 0 724414062 862494720 24631 4294967295 134512640 134569956 3221224368 3221214728 1131353995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24631 13086 16 0 210554 0
vsize: 842280
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 104385 55 0 0 25 0 11 0 724414062 862494720 24643 4294967295 134512640 134569956 3221224368 3221214728 1131231040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24643 13086 16 0 210554 0
vsize: 842280
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 105376 56 0 0 25 0 11 0 724414062 862494720 24647 4294967295 134512640 134569956 3221224368 3221214680 1131326498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24647 13086 16 0 210554 0
vsize: 842280
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 106368 56 0 0 25 0 11 0 724414062 862494720 24650 4294967295 134512640 134569956 3221224368 3221214592 1131233606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24650 13086 16 0 210554 0
vsize: 842280
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 107360 56 0 0 25 0 11 0 724414062 862494720 24652 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24652 13086 16 0 210554 0
vsize: 842280
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 108352 56 0 0 25 0 11 0 724414062 862494720 24655 4294967295 134512640 134569956 3221224368 3221214728 1131231040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24655 13086 16 0 210554 0
vsize: 842280
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 109344 56 0 0 25 0 11 0 724414062 862494720 24657 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24657 13086 16 0 210554 0
vsize: 842280
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 110335 57 0 0 25 0 11 0 724414062 862494720 24661 4294967295 134512640 134569956 3221224368 3221214680 1131326049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24661 13086 16 0 210554 0
vsize: 842280
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) S 22348 8378 8377 0 -1 0 18084 0 1 0 111326 57 0 0 25 0 11 0 724414062 862494720 24663 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24663 13086 16 0 210554 0
vsize: 842280
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 112318 58 0 0 25 0 11 0 724414062 862494720 24667 4294967295 134512640 134569956 3221224368 3221214680 1131326599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24667 13086 16 0 210554 0
vsize: 842280
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 113310 58 0 0 25 0 11 0 724414062 862494720 24669 4294967295 134512640 134569956 3221224368 3221214680 1131326401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24669 13086 16 0 210554 0
vsize: 842280
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 114301 58 0 0 25 0 11 0 724414062 862494720 24672 4294967295 134512640 134569956 3221224368 3221214680 1131326342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24672 13086 16 0 210554 0
vsize: 842280
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 115293 58 0 0 25 0 11 0 724414062 862494720 24675 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24675 13086 16 0 210554 0
vsize: 842280
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 116285 58 0 0 25 0 11 0 724414062 862494720 24677 4294967295 134512640 134569956 3221224368 3221214680 1131326053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24677 13086 16 0 210554 0
vsize: 842280
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 117277 59 0 0 25 0 11 0 724414062 862494720 24680 4294967295 134512640 134569956 3221224368 3221214780 1131231285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24680 13086 16 0 210554 0
vsize: 842280
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 118268 59 0 0 25 0 11 0 724414062 862494720 24683 4294967295 134512640 134569956 3221224368 3221214680 1131326537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24683 13086 16 0 210554 0
vsize: 842280
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 119259 59 0 0 25 0 11 0 724414062 862494720 24685 4294967295 134512640 134569956 3221224368 3221214784 1131407575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24685 13086 16 0 210554 0
vsize: 842280
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22359
Raw data (stat): 22349 (java) R 22348 8378 8377 0 -1 0 18084 0 1 0 120251 59 0 0 25 0 11 0 724414062 862494720 24688 4294967295 134512640 134569956 3221224368 3221214680 1131326379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 24688 13086 16 0 210554 0
vsize: 842280
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 22361
Raw data (stat): 22349 (java) Z 22348 8378 8377 0 -1 1036 18084 4205 1 0 120252 59 1293 26 25 0 1 0 724414062 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.12
CPU time (s): 1216.32
CPU user time (s): 1215.46
CPU system time (s): 0.859869
CPU usage (%): 99.6882
Max. virtual memory (Kb): 857224
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####