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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
MD5SUM	7bc553fee464cd071c8e3d02b13f4c95
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	499712
Optimality of the best value was proved	NO
Number of terms in the objective function	133
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073847295
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1024000000
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2147758078
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1201.13
Number of variables	19747
Total number of constraints	4322
Number of constraints which are clauses	426
Number of constraints which are cardinality constraints (but not clauses)	1177
Number of constraints which are nor clauses,nor cardinality constraints	2719
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 13344

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-20 20:26:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15193 boxname=wulflinc17 idbench=1169 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  7bc553fee464cd071c8e3d02b13f4c95  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-railway_8_1_0.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-railway_8_1_0.opb
IDLAUNCH: 15193
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        772732 kB
Buffers:         33624 kB
Cached:         195624 kB
SwapCached:         48 kB
Active:          82548 kB
Inactive:       149704 kB
HighTotal:      131008 kB
HighFree:         7672 kB
LowTotal:       903652 kB
LowFree:        765060 kB
SwapTotal:     2097892 kB
SwapFree:      2097840 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7032 kB
Slab:            24204 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 20:47:02 (client local time) WITH STATUS 143 IN 1254.66 SECONDS
stats: 15193 7 1254.66 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-railway_8_1_0.opb
c reading problem 
c [nbvar=19747]
c [nbconstr=4322]
c time 116.801
c #vars     19747
c #clauses  3146
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=512000
c Current CPU time (ms) : 128.889
c starts	: 1
c conflicts	: 0
c decisions	: 6911
c propagations	: 19747
c inspects	: 64361
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=510976
c Current CPU time (ms) : 139.817
c starts	: 2
c conflicts	: 0
c decisions	: 13805
c propagations	: 39483
c inspects	: 124540
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=509952
c Current CPU time (ms) : 150.325
c starts	: 3
c conflicts	: 0
c decisions	: 20682
c propagations	: 59219
c inspects	: 184687
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 3
c 
c CURRENT OPTIMUM=508928
c Current CPU time (ms) : 160.755
c starts	: 4
c conflicts	: 0
c decisions	: 27530
c propagations	: 78955
c inspects	: 245002
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 4
c 
c CURRENT OPTIMUM=507904
c Current CPU time (ms) : 171.123
c starts	: 5
c conflicts	: 0
c decisions	: 34362
c propagations	: 98691
c inspects	: 305414
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 5
c 
c CURRENT OPTIMUM=506880
c Current CPU time (ms) : 182.14
c starts	: 6
c conflicts	: 1
c decisions	: 41170
c propagations	: 118437
c inspects	: 365997
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 6
c 
c CURRENT OPTIMUM=505856
c Current CPU time (ms) : 323.496
c starts	: 7
c conflicts	: 68
c decisions	: 49530
c propagations	: 157133
c inspects	: 491830
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 68
c root simplifications	: 7
#### 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.74 0.26 0.09 2/55 14890
Raw data (stat): 14890 (runsolver) R 14889 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 539314702 1052672 99 4294967295 134512640 135381576 3221224416 3221219664 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99991 s]
Raw data (loadavg): 0.78 0.29 0.10 2/64 14899
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 17999 0 1 0 861 38 0 0 25 0 10 0 539314702 853381120 19329 4294967295 134512640 134569956 3221224400 3221214536 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208345 19329 13073 16 0 208329 0
vsize: 833380
[startup+19.9995 s]
Raw data (loadavg): 0.89 0.33 0.12 2/64 14899
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18000 0 1 0 1699 38 0 0 25 0 10 0 539314702 856231936 20386 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209041 20386 13073 16 0 209025 0
vsize: 836164
[startup+30.005 s]
Raw data (loadavg): 0.91 0.35 0.12 2/64 14899
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18000 0 1 0 2575 38 0 0 25 0 10 0 539314702 856231936 20860 4294967295 134512640 134569956 3221224400 3221214784 1131212253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209041 20860 13073 16 0 209025 0
vsize: 836164
[startup+40.0097 s]
Raw data (loadavg): 0.92 0.37 0.13 2/64 14899
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18000 0 1 0 3483 39 0 0 25 0 10 0 539314702 856231936 21134 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209041 21134 13073 16 0 209025 0
vsize: 836164
[startup+50.0103 s]
Raw data (loadavg): 0.93 0.39 0.14 2/64 14899
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18000 0 1 0 4400 39 0 0 24 0 10 0 539314702 856231936 21298 4294967295 134512640 134569956 3221224400 3221214248 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209041 21298 13073 16 0 209025 0
vsize: 836164
[startup+60.0099 s]
Raw data (loadavg): 0.94 0.41 0.15 2/64 14899
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18000 0 1 0 5320 40 0 0 24 0 10 0 539314702 856231936 21425 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209041 21425 13073 16 0 209025 0
vsize: 836164
[startup+70.0095 s]
Raw data (loadavg): 0.95 0.43 0.16 2/64 14899
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18000 0 1 0 6248 40 0 0 24 0 10 0 539314702 856231936 21618 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209041 21618 13073 16 0 209025 0
vsize: 836164
[startup+80.0101 s]
Raw data (loadavg): 0.96 0.45 0.17 2/64 14899
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18000 0 1 0 7183 40 0 0 25 0 10 0 539314702 856231936 21719 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209041 21719 13073 16 0 209025 0
vsize: 836164
[startup+90.0097 s]
Raw data (loadavg): 0.96 0.47 0.18 2/64 14899
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18000 0 1 0 8118 41 0 0 25 0 10 0 539314702 856231936 21811 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209041 21811 13073 16 0 209025 0
vsize: 836164
[startup+100.011 s]
Raw data (loadavg): 0.97 0.48 0.19 2/64 14899
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18000 0 1 0 9054 41 0 0 25 0 10 0 539314702 856231936 21896 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209041 21896 13073 16 0 209025 0
vsize: 836164
[startup+110.011 s]
Raw data (loadavg): 0.97 0.50 0.19 2/64 14899
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18000 0 1 0 9991 42 0 0 25 0 10 0 539314702 856231936 21976 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209041 21976 13073 16 0 209025 0
vsize: 836164
[startup+120.01 s]
Raw data (loadavg): 1.06 0.53 0.21 2/65 14900
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18028 0 1 0 10906 44 0 0 25 0 11 0 539314702 856760320 24796 4294967295 134512640 134569956 3221224400 3221214776 1131230183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209170 24796 13073 16 0 209154 0
vsize: 836680
[startup+130.011 s]
Raw data (loadavg): 1.05 0.55 0.21 5/65 14901
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18029 3 1 0 11819 44 0 0 25 0 11 0 539314702 856760320 25757 4294967295 134512640 134569956 3221224400 3221214068 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209170 25757 13073 16 0 209154 0
vsize: 836680
[startup+140.036 s]
Raw data (loadavg): 1.04 0.56 0.22 2/65 14901
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18029 3 1 0 12750 45 0 0 25 0 11 0 539314702 856760320 25769 4294967295 134512640 134569956 3221224400 3221214800 1131230280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209170 25769 13073 16 0 209154 0
vsize: 836680
[startup+150.036 s]
Raw data (loadavg): 1.03 0.57 0.23 2/65 14902
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18029 3 1 0 13680 45 0 0 25 0 11 0 539314702 856760320 25782 4294967295 134512640 134569956 3221224400 3221214744 1131229714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209170 25782 13073 16 0 209154 0
vsize: 836680
[startup+160.037 s]
Raw data (loadavg): 1.03 0.59 0.24 2/65 14903
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18029 3 1 0 14623 46 0 0 25 0 11 0 539314702 856760320 25950 4294967295 134512640 134569956 3221224400 3221214792 1131209259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209170 25950 13073 16 0 209154 0
vsize: 836680
[startup+170.036 s]
Raw data (loadavg): 1.02 0.60 0.25 2/65 14904
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18029 3 1 0 15577 46 0 0 25 0 11 0 539314702 856760320 25954 4294967295 134512640 134569956 3221224400 3221214744 1131230978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209170 25954 13073 16 0 209154 0
vsize: 836680
[startup+180.037 s]
Raw data (loadavg): 1.02 0.61 0.25 2/65 14905
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18029 3 1 0 16527 47 0 0 25 0 11 0 539314702 856760320 25984 4294967295 134512640 134569956 3221224400 3221214792 1131209113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209170 25984 13073 16 0 209154 0
vsize: 836680
[startup+190.037 s]
Raw data (loadavg): 1.02 0.63 0.26 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18070 3 1 0 17400 47 0 0 25 0 11 0 539314702 858079232 26665 4294967295 134512640 134569956 3221224400 3221214496 1131445109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209492 26665 13073 16 0 209476 0
vsize: 837968
[startup+200.037 s]
Raw data (loadavg): 1.01 0.64 0.27 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 18345 47 0 0 25 0 11 0 539314702 861224960 27441 4294967295 134512640 134569956 3221224400 3221214496 1131445107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210260 27441 13073 16 0 210244 0
vsize: 841040
[startup+210.037 s]
Raw data (loadavg): 1.01 0.65 0.28 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 19327 48 0 0 25 0 11 0 539314702 861224960 27626 4294967295 134512640 134569956 3221224400 3221214640 1131661267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27626 13073 16 0 210244 0
vsize: 841040
[startup+220.037 s]
Raw data (loadavg): 1.01 0.66 0.28 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 20315 48 0 0 25 0 11 0 539314702 862674944 27943 4294967295 134512640 134569956 3221224400 3221214800 1131435106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210614 27943 13073 16 0 210598 0
vsize: 842456
[startup+230.037 s]
Raw data (loadavg): 1.01 0.67 0.29 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 21308 48 0 0 25 0 11 0 539314702 862412800 27912 4294967295 134512640 134569956 3221224400 3221214760 1131491425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27912 13073 16 0 210534 0
vsize: 842200
[startup+240.036 s]
Raw data (loadavg): 1.00 0.68 0.30 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 22300 48 0 0 25 0 11 0 539314702 862412800 27921 4294967295 134512640 134569956 3221224400 3221214800 1131434863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27921 13073 16 0 210534 0
vsize: 842200
[startup+250.037 s]
Raw data (loadavg): 1.00 0.69 0.30 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 23293 48 0 0 25 0 11 0 539314702 862412800 27931 4294967295 134512640 134569956 3221224400 3221214640 1131661264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27931 13073 16 0 210534 0
vsize: 842200
[startup+260.037 s]
Raw data (loadavg): 1.00 0.70 0.31 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 24285 48 0 0 25 0 11 0 539314702 862412800 27945 4294967295 134512640 134569956 3221224400 3221214800 1131434863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27945 13073 16 0 210534 0
vsize: 842200
[startup+270.036 s]
Raw data (loadavg): 1.00 0.71 0.32 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 25277 48 0 0 25 0 11 0 539314702 862412800 27952 4294967295 134512640 134569956 3221224400 3221214800 1131435117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 27952 13073 16 0 210534 0
vsize: 842200
[startup+280.037 s]
Raw data (loadavg): 1.00 0.72 0.32 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 26270 48 0 0 25 0 11 0 539314702 862412800 27958 4294967295 134512640 134569956 3221224400 3221214640 1131661267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27958 13073 16 0 210534 0
vsize: 842200
[startup+290.038 s]
Raw data (loadavg): 1.00 0.73 0.33 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 27262 48 0 0 25 0 11 0 539314702 862412800 27961 4294967295 134512640 134569956 3221224400 3221214640 1131661401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 27961 13073 16 0 210534 0
vsize: 842200
[startup+300.038 s]
Raw data (loadavg): 1.00 0.74 0.34 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 28254 49 0 0 25 0 11 0 539314702 862412800 27967 4294967295 134512640 134569956 3221224400 3221214640 1131661272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27967 13073 16 0 210534 0
vsize: 842200
[startup+310.038 s]
Raw data (loadavg): 1.00 0.74 0.35 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 29236 49 0 0 25 0 11 0 539314702 862412800 28053 4294967295 134512640 134569956 3221224400 3221214640 1131661264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 28053 13073 16 0 210534 0
vsize: 842200
[startup+320.038 s]
Raw data (loadavg): 1.00 0.75 0.35 2/65 14908
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18071 3 1 0 30212 49 0 0 25 0 11 0 539314702 862412800 28193 4294967295 134512640 134569956 3221224400 3221214744 1131230183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 28193 13073 16 0 210534 0
vsize: 842200
[startup+330.039 s]
Raw data (loadavg): 1.08 0.78 0.36 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 31175 50 0 0 25 0 11 0 539314702 869203968 29885 4294967295 134512640 134569956 3221224400 3221214640 1131661416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212208 29885 13073 16 0 212192 0
vsize: 848832
[startup+340.039 s]
Raw data (loadavg): 1.07 0.78 0.37 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 32156 50 0 0 25 0 11 0 539314702 868089856 29653 4294967295 134512640 134569956 3221224400 3221214640 1131661416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211936 29653 13073 16 0 211920 0
vsize: 847744
[startup+350.04 s]
Raw data (loadavg): 1.06 0.79 0.38 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 33112 50 0 0 25 0 11 0 539314702 868089856 29686 4294967295 134512640 134569956 3221224400 3221214836 1131209068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211936 29686 13073 16 0 211920 0
vsize: 847744
[startup+360.04 s]
Raw data (loadavg): 1.05 0.80 0.38 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 34061 50 0 0 25 0 11 0 539314702 868057088 29770 4294967295 134512640 134569956 3221224400 3221214744 1131229906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 29770 13073 16 0 211912 0
vsize: 847712
[startup+370.04 s]
Raw data (loadavg): 1.04 0.80 0.39 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 35040 50 0 0 25 0 11 0 539314702 868057088 29819 4294967295 134512640 134569956 3221224400 3221214760 1131495605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 29819 13073 16 0 211912 0
vsize: 847712
[startup+380.04 s]
Raw data (loadavg): 1.03 0.81 0.39 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 36012 50 0 0 25 0 11 0 539314702 868057088 29937 4294967295 134512640 134569956 3221224400 3221214800 1131435129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 29937 13073 16 0 211912 0
vsize: 847712
[startup+390.039 s]
Raw data (loadavg): 1.03 0.81 0.40 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 36986 50 0 0 25 0 11 0 539314702 868057088 30133 4294967295 134512640 134569956 3221224400 3221214800 1131435102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211928 30133 13073 16 0 211912 0
vsize: 847712
[startup+400.041 s]
Raw data (loadavg): 1.02 0.82 0.41 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 37963 51 0 0 25 0 11 0 539314702 868057088 30261 4294967295 134512640 134569956 3221224400 3221214640 1131661409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 30261 13073 16 0 211912 0
vsize: 847712
[startup+410.041 s]
Raw data (loadavg): 1.02 0.83 0.41 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 38942 51 0 0 25 0 11 0 539314702 868057088 30349 4294967295 134512640 134569956 3221224400 3221214640 1131661264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 30349 13073 16 0 211912 0
vsize: 847712
[startup+420.041 s]
Raw data (loadavg): 1.02 0.83 0.42 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 39921 51 0 0 25 0 11 0 539314702 868057088 30406 4294967295 134512640 134569956 3221224400 3221214608 1131564518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 30406 13073 16 0 211912 0
vsize: 847712
[startup+430.041 s]
Raw data (loadavg): 1.09 0.85 0.43 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 40895 51 0 0 25 0 11 0 539314702 868057088 30524 4294967295 134512640 134569956 3221224400 3221214640 1131661267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 30524 13073 16 0 211912 0
vsize: 847712
[startup+440.047 s]
Raw data (loadavg): 1.08 0.86 0.43 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 41880 51 0 0 25 0 11 0 539314702 868057088 30565 4294967295 134512640 134569956 3221224400 3221214800 1131434928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 30565 13073 16 0 211912 0
vsize: 847712
[startup+450.048 s]
Raw data (loadavg): 1.07 0.86 0.44 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 42859 52 0 0 23 0 11 0 539314702 868057088 30612 4294967295 134512640 134569956 3221224400 3221214760 1131492621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 30612 13073 16 0 211912 0
vsize: 847712
[startup+460.048 s]
Raw data (loadavg): 1.06 0.86 0.45 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 43843 52 0 0 25 0 11 0 539314702 868057088 30644 4294967295 134512640 134569956 3221224400 3221214640 1131661274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 30644 13073 16 0 211912 0
vsize: 847712
[startup+470.048 s]
Raw data (loadavg): 1.05 0.87 0.45 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 44796 53 0 0 25 0 11 0 539314702 868057088 30742 4294967295 134512640 134569956 3221224400 3221214836 1131229676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 30742 13073 16 0 211912 0
vsize: 847712
[startup+480.053 s]
Raw data (loadavg): 1.04 0.87 0.46 2/65 14909
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 45765 53 0 0 25 0 11 0 539314702 868057088 30788 4294967295 134512640 134569956 3221224400 3221214744 1131229697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 30788 13073 16 0 211912 0
vsize: 847712
[startup+490.053 s]
Raw data (loadavg): 1.03 0.88 0.46 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 46739 53 0 0 25 0 11 0 539314702 868057088 30846 4294967295 134512640 134569956 3221224400 3221214744 1131230978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 30846 13073 16 0 211912 0
vsize: 847712
[startup+500.053 s]
Raw data (loadavg): 1.03 0.88 0.47 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 47704 54 0 0 25 0 11 0 539314702 868057088 30946 4294967295 134512640 134569956 3221224400 3221214640 1131661272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 30946 13073 16 0 211912 0
vsize: 847712
[startup+510.061 s]
Raw data (loadavg): 1.02 0.88 0.47 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 48674 54 0 0 25 0 11 0 539314702 868057088 31004 4294967295 134512640 134569956 3221224400 3221214640 1131661272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 31004 13073 16 0 211912 0
vsize: 847712
[startup+520.061 s]
Raw data (loadavg): 1.02 0.89 0.48 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 49649 55 0 0 25 0 11 0 539314702 868057088 31104 4294967295 134512640 134569956 3221224400 3221214792 1131209165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 31104 13073 16 0 211912 0
vsize: 847712
[startup+530.069 s]
Raw data (loadavg): 1.02 0.89 0.48 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 50623 55 0 0 25 0 11 0 539314702 868057088 31165 4294967295 134512640 134569956 3221224400 3221214352 1078830586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 31165 13073 16 0 211912 0
vsize: 847712
[startup+540.07 s]
Raw data (loadavg): 1.01 0.89 0.49 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 51600 55 0 0 25 0 11 0 539314702 868057088 31269 4294967295 134512640 134569956 3221224400 3221214640 1131661264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 31269 13073 16 0 211912 0
vsize: 847712
[startup+550.071 s]
Raw data (loadavg): 1.01 0.90 0.49 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 52576 55 0 0 25 0 11 0 539314702 868057088 31390 4294967295 134512640 134569956 3221224400 3221214792 1131209105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 31390 13073 16 0 211912 0
vsize: 847712
[startup+560.071 s]
Raw data (loadavg): 1.01 0.90 0.50 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 53553 55 0 0 25 0 11 0 539314702 868057088 31479 4294967295 134512640 134569956 3221224400 3221214640 1131661272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 31479 13073 16 0 211912 0
vsize: 847712
[startup+570.07 s]
Raw data (loadavg): 1.01 0.90 0.50 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 54530 56 0 0 25 0 11 0 539314702 868057088 31550 4294967295 134512640 134569956 3221224400 3221214800 1131434881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 31550 13073 16 0 211912 0
vsize: 847712
[startup+580.072 s]
Raw data (loadavg): 1.00 0.90 0.51 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 55510 56 0 0 25 0 11 0 539314702 868057088 31617 4294967295 134512640 134569956 3221224400 3221214744 1131230383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 31617 13073 16 0 211912 0
vsize: 847712
[startup+590.078 s]
Raw data (loadavg): 1.00 0.91 0.51 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 56486 56 0 0 25 0 11 0 539314702 868057088 31734 4294967295 134512640 134569956 3221224400 3221214744 1131230432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 31734 13073 16 0 211912 0
vsize: 847712
[startup+600.078 s]
Raw data (loadavg): 1.00 0.91 0.52 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 57462 57 0 0 25 0 11 0 539314702 868057088 31831 4294967295 134512640 134569956 3221224400 3221214744 1131230129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 31831 13073 16 0 211912 0
vsize: 847712
[startup+610.079 s]
Raw data (loadavg): 1.00 0.91 0.52 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 58439 57 0 0 25 0 11 0 539314702 868057088 31910 4294967295 134512640 134569956 3221224400 3221214792 1131209113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 31910 13073 16 0 211912 0
vsize: 847712
[startup+620.079 s]
Raw data (loadavg): 1.00 0.91 0.53 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 59403 57 0 0 25 0 11 0 539314702 868057088 32093 4294967295 134512640 134569956 3221224400 3221214640 1131661248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 32093 13073 16 0 211912 0
vsize: 847712
[startup+630.079 s]
Raw data (loadavg): 1.00 0.92 0.53 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 60372 58 0 0 25 0 11 0 539314702 868057088 32199 4294967295 134512640 134569956 3221224400 3221214744 1131229906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 32199 13073 16 0 211912 0
vsize: 847712
[startup+640.079 s]
Raw data (loadavg): 1.00 0.92 0.54 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 61342 58 0 0 25 0 11 0 539314702 868057088 32326 4294967295 134512640 134569956 3221224400 3221214640 1131661264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 32326 13073 16 0 211912 0
vsize: 847712
[startup+650.081 s]
Raw data (loadavg): 1.00 0.92 0.54 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 62313 58 0 0 25 0 11 0 539314702 868057088 32420 4294967295 134512640 134569956 3221224400 3221214792 1131209105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 32420 13073 16 0 211912 0
vsize: 847712
[startup+660.081 s]
Raw data (loadavg): 1.00 0.92 0.54 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 63286 58 0 0 25 0 11 0 539314702 868057088 32534 4294967295 134512640 134569956 3221224400 3221214760 1131491960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 32534 13073 16 0 211912 0
vsize: 847712
[startup+670.08 s]
Raw data (loadavg): 1.00 0.92 0.55 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 64261 58 0 0 24 0 11 0 539314702 868057088 32653 4294967295 134512640 134569956 3221224400 3221214840 1131354965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 32653 13073 16 0 211912 0
vsize: 847712
[startup+680.095 s]
Raw data (loadavg): 1.00 0.93 0.55 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 65241 59 0 0 25 0 11 0 539314702 868057088 32723 4294967295 134512640 134569956 3221224400 3221214704 1131673063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 32723 13073 16 0 211912 0
vsize: 847712
[startup+690.095 s]
Raw data (loadavg): 1.00 0.93 0.56 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 66216 59 0 0 25 0 11 0 539314702 868057088 32792 4294967295 134512640 134569956 3221224400 3221214640 1131661409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 32792 13073 16 0 211912 0
vsize: 847712
[startup+700.096 s]
Raw data (loadavg): 1.00 0.93 0.56 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 67192 59 0 0 25 0 11 0 539314702 868057088 32874 4294967295 134512640 134569956 3221224400 3221214800 1131434860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 32874 13073 16 0 211912 0
vsize: 847712
[startup+710.096 s]
Raw data (loadavg): 1.00 0.93 0.56 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 68168 60 0 0 25 0 11 0 539314702 868057088 33018 4294967295 134512640 134569956 3221224400 3221214640 1131661264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 33018 13073 16 0 211912 0
vsize: 847712
[startup+720.103 s]
Raw data (loadavg): 1.00 0.93 0.57 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 69149 60 0 0 25 0 11 0 539314702 868057088 33128 4294967295 134512640 134569956 3221224400 3221214836 1131209068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 33128 13073 16 0 211912 0
vsize: 847712
[startup+730.104 s]
Raw data (loadavg): 1.00 0.94 0.57 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 70122 60 0 0 25 0 11 0 539314702 868057088 33206 4294967295 134512640 134569956 3221224400 3221214800 1131434932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 33206 13073 16 0 211912 0
vsize: 847712
[startup+740.105 s]
Raw data (loadavg): 1.00 0.94 0.58 2/65 14911
Raw data (stat): 14890 (java) S 14889 20838 20837 0 -1 0 18072 3 1 0 71101 61 0 0 25 0 11 0 539314702 868057088 33285 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 33285 13073 16 0 211912 0
vsize: 847712
[startup+750.106 s]
Raw data (loadavg): 1.00 0.94 0.58 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 72077 61 0 0 25 0 11 0 539314702 868057088 33370 4294967295 134512640 134569956 3221224400 3221214800 1131434871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 33370 13073 16 0 211912 0
vsize: 847712
[startup+760.106 s]
Raw data (loadavg): 1.00 0.94 0.58 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 73050 61 0 0 24 0 11 0 539314702 868057088 33489 4294967295 134512640 134569956 3221224400 3221214744 1131229737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 33489 13073 16 0 211912 0
vsize: 847712
[startup+770.106 s]
Raw data (loadavg): 1.00 0.94 0.59 2/65 14911
Raw data (stat): 14890 (java) S 14889 20838 20837 0 -1 0 18072 3 1 0 74028 61 0 0 25 0 11 0 539314702 868057088 33640 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 33640 13073 16 0 211912 0
vsize: 847712
[startup+780.107 s]
Raw data (loadavg): 1.00 0.94 0.59 2/65 14911
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 75008 62 0 0 25 0 11 0 539314702 868057088 33714 4294967295 134512640 134569956 3221224400 3221214744 1131230361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 33714 13073 16 0 211912 0
vsize: 847712
[startup+790.107 s]
Raw data (loadavg): 1.00 0.94 0.60 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 75984 62 0 0 25 0 11 0 539314702 868057088 33821 4294967295 134512640 134569956 3221224400 3221214744 1131229697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211928 33821 13073 16 0 211912 0
vsize: 847712
[startup+800.109 s]
Raw data (loadavg): 1.08 0.96 0.61 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 76960 63 0 0 25 0 11 0 539314702 868057088 33895 4294967295 134512640 134569956 3221224400 3221214792 1131209105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 33895 13073 16 0 211912 0
vsize: 847712
[startup+810.109 s]
Raw data (loadavg): 1.07 0.96 0.61 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 77934 63 0 0 25 0 11 0 539314702 868057088 33985 4294967295 134512640 134569956 3221224400 3221214680 1131451712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 33985 13073 16 0 211912 0
vsize: 847712
[startup+820.11 s]
Raw data (loadavg): 1.06 0.96 0.61 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 78909 63 0 0 25 0 11 0 539314702 868057088 34070 4294967295 134512640 134569956 3221224400 3221214640 1131661401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 34070 13073 16 0 211912 0
vsize: 847712
[startup+830.111 s]
Raw data (loadavg): 1.05 0.97 0.62 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 79883 63 0 0 24 0 11 0 539314702 868057088 34173 4294967295 134512640 134569956 3221224400 3221214744 1131230013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 34173 13073 16 0 211912 0
vsize: 847712
[startup+840.11 s]
Raw data (loadavg): 1.04 0.97 0.62 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 80859 64 0 0 25 0 11 0 539314702 868057088 34340 4294967295 134512640 134569956 3221224400 3221214744 1131231098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211928 34340 13073 16 0 211912 0
vsize: 847712
[startup+850.111 s]
Raw data (loadavg): 1.03 0.97 0.62 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 81823 64 0 0 25 0 11 0 539314702 868057088 34483 4294967295 134512640 134569956 3221224400 3221214792 1131209085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 34483 13073 16 0 211912 0
vsize: 847712
[startup+860.12 s]
Raw data (loadavg): 1.03 0.97 0.63 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 82788 64 0 0 25 0 11 0 539314702 868057088 34593 4294967295 134512640 134569956 3221224400 3221214744 1131230311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 34593 13073 16 0 211912 0
vsize: 847712
[startup+870.119 s]
Raw data (loadavg): 1.02 0.97 0.63 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 83757 65 0 0 25 0 11 0 539314702 868057088 34689 4294967295 134512640 134569956 3221224400 3221214744 1131230361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 34689 13073 16 0 211912 0
vsize: 847712
[startup+880.122 s]
Raw data (loadavg): 1.02 0.97 0.64 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 84723 65 0 0 25 0 11 0 539314702 868057088 34797 4294967295 134512640 134569956 3221224400 3221214640 1131661260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 34797 13073 16 0 211912 0
vsize: 847712
[startup+890.124 s]
Raw data (loadavg): 1.02 0.97 0.64 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 85695 66 0 0 25 0 11 0 539314702 868057088 35017 4294967295 134512640 134569956 3221224400 3221214640 1131661267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 35017 13073 16 0 211912 0
vsize: 847712
[startup+900.124 s]
Raw data (loadavg): 1.01 0.97 0.64 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 86668 66 0 0 25 0 11 0 539314702 868057088 35113 4294967295 134512640 134569956 3221224400 3221214744 1131229714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 35113 13073 16 0 211912 0
vsize: 847712
[startup+910.124 s]
Raw data (loadavg): 1.09 0.99 0.65 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 87643 66 0 0 25 0 11 0 539314702 868057088 35174 4294967295 134512640 134569956 3221224400 3221214744 1131230222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 35174 13073 16 0 211912 0
vsize: 847712
[startup+920.123 s]
Raw data (loadavg): 1.08 0.99 0.65 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 88613 67 0 0 24 0 11 0 539314702 868057088 35273 4294967295 134512640 134569956 3221224400 3221214680 1131451745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 35273 13073 16 0 211912 0
vsize: 847712
[startup+930.124 s]
Raw data (loadavg): 1.06 0.99 0.66 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 89584 67 0 0 24 0 11 0 539314702 868057088 35427 4294967295 134512640 134569956 3221224400 3221214640 1131661248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 35427 13073 16 0 211912 0
vsize: 847712
[startup+940.124 s]
Raw data (loadavg): 1.05 0.99 0.66 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 90558 67 0 0 25 0 11 0 539314702 868057088 35532 4294967295 134512640 134569956 3221224400 3221214744 1131230280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 35532 13073 16 0 211912 0
vsize: 847712
[startup+950.124 s]
Raw data (loadavg): 1.04 0.99 0.66 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 91532 67 0 0 25 0 11 0 539314702 868057088 35708 4294967295 134512640 134569956 3221224400 3221214792 1131209134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 35708 13073 16 0 211912 0
vsize: 847712
[startup+960.125 s]
Raw data (loadavg): 1.04 0.99 0.67 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 92503 67 0 0 25 0 11 0 539314702 868057088 35836 4294967295 134512640 134569956 3221224400 3221214744 1131230458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 35836 13073 16 0 211912 0
vsize: 847712
[startup+970.125 s]
Raw data (loadavg): 1.03 0.99 0.67 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 93474 68 0 0 25 0 11 0 539314702 868057088 35972 4294967295 134512640 134569956 3221224400 3221214744 1131230183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 35972 13073 16 0 211912 0
vsize: 847712
[startup+980.125 s]
Raw data (loadavg): 1.03 0.99 0.67 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 94450 68 0 0 25 0 11 0 539314702 868057088 36054 4294967295 134512640 134569956 3221224400 3221214744 1131230349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 36054 13073 16 0 211912 0
vsize: 847712
[startup+990.125 s]
Raw data (loadavg): 1.02 0.99 0.67 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 95425 69 0 0 25 0 11 0 539314702 868057088 36241 4294967295 134512640 134569956 3221224400 3221214792 1131209113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 36241 13073 16 0 211912 0
vsize: 847712
[startup+1000.24 s]
Raw data (loadavg): 1.02 0.99 0.68 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 96412 69 0 0 25 0 11 0 539314702 868057088 36333 4294967295 134512640 134569956 3221224400 3221214800 1131435106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 36333 13073 16 0 211912 0
vsize: 847712
[startup+1010.24 s]
Raw data (loadavg): 1.01 0.99 0.68 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 97389 70 0 0 25 0 11 0 539314702 868057088 36394 4294967295 134512640 134569956 3221224400 3221214680 1131451739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 36394 13073 16 0 211912 0
vsize: 847712
[startup+1020.24 s]
Raw data (loadavg): 1.01 0.99 0.68 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 98362 70 0 0 25 0 11 0 539314702 868057088 36493 4294967295 134512640 134569956 3221224400 3221214836 1131337888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 36493 13073 16 0 211912 0
vsize: 847712
[startup+1030.25 s]
Raw data (loadavg): 1.01 0.99 0.69 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 99337 70 0 0 25 0 11 0 539314702 868057088 36561 4294967295 134512640 134569956 3221224400 3221214640 1131661274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211928 36561 13073 16 0 211912 0
vsize: 847712
[startup+1040.25 s]
Raw data (loadavg): 1.01 0.99 0.69 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 100308 70 0 0 25 0 11 0 539314702 867926016 36615 4294967295 134512640 134569956 3221224400 3221214440 1131659940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 36615 13073 16 0 211880 0
vsize: 847584
[startup+1050.25 s]
Raw data (loadavg): 1.01 0.99 0.69 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 101279 71 0 0 25 0 11 0 539314702 867926016 36813 4294967295 134512640 134569956 3221224400 3221214640 1131661272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 36813 13073 16 0 211880 0
vsize: 847584
[startup+1060.25 s]
Raw data (loadavg): 1.00 0.99 0.69 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 102254 71 0 0 25 0 11 0 539314702 867926016 36945 4294967295 134512640 134569956 3221224400 3221214744 1131230183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 36945 13073 16 0 211880 0
vsize: 847584
[startup+1070.25 s]
Raw data (loadavg): 1.00 0.99 0.70 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 103225 71 0 0 25 0 11 0 539314702 867926016 37049 4294967295 134512640 134569956 3221224400 3221214744 1131230335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 37049 13073 16 0 211880 0
vsize: 847584
[startup+1080.26 s]
Raw data (loadavg): 1.00 0.99 0.70 2/65 14913
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 104201 72 0 0 25 0 11 0 539314702 867926016 37191 4294967295 134512640 134569956 3221224400 3221214640 1131661264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 37191 13073 16 0 211880 0
vsize: 847584
[startup+1090.26 s]
Raw data (loadavg): 1.00 0.99 0.70 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 105177 73 0 0 25 0 11 0 539314702 867926016 37299 4294967295 134512640 134569956 3221224400 3221214744 1131229705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 37299 13073 16 0 211880 0
vsize: 847584
[startup+1100.26 s]
Raw data (loadavg): 1.00 0.99 0.71 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 106149 73 0 0 25 0 11 0 539314702 867926016 37444 4294967295 134512640 134569956 3221224400 3221214800 1131434860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 37444 13073 16 0 211880 0
vsize: 847584
[startup+1110.26 s]
Raw data (loadavg): 1.00 0.99 0.71 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 107121 73 0 0 24 0 11 0 539314702 867926016 37569 4294967295 134512640 134569956 3221224400 3221214840 1131354409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 37569 13073 16 0 211880 0
vsize: 847584
[startup+1120.26 s]
Raw data (loadavg): 1.00 0.99 0.71 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 108098 74 0 0 25 0 11 0 539314702 867926016 37634 4294967295 134512640 134569956 3221224400 3221214744 1131230183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 37634 13073 16 0 211880 0
vsize: 847584
[startup+1130.26 s]
Raw data (loadavg): 1.00 0.99 0.72 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 109071 74 0 0 25 0 11 0 539314702 867926016 37777 4294967295 134512640 134569956 3221224400 3221214744 1131229867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 37777 13073 16 0 211880 0
vsize: 847584
[startup+1140.27 s]
Raw data (loadavg): 1.00 0.99 0.72 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 110049 74 0 0 25 0 11 0 539314702 867926016 37917 4294967295 134512640 134569956 3221224400 3221214640 1131661416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 37917 13073 16 0 211880 0
vsize: 847584
[startup+1150.27 s]
Raw data (loadavg): 1.00 0.99 0.72 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 111023 75 0 0 25 0 11 0 539314702 867926016 37989 4294967295 134512640 134569956 3221224400 3221214640 1131661264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 37989 13073 16 0 211880 0
vsize: 847584
[startup+1160.27 s]
Raw data (loadavg): 1.00 0.99 0.72 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 112001 75 0 0 25 0 11 0 539314702 867926016 38058 4294967295 134512640 134569956 3221224400 3221214792 1131209292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 38058 13073 16 0 211880 0
vsize: 847584
[startup+1170.27 s]
Raw data (loadavg): 1.08 1.00 0.73 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 112972 76 0 0 25 0 11 0 539314702 867926016 38132 4294967295 134512640 134569956 3221224400 3221214840 1131355566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 38132 13073 16 0 211880 0
vsize: 847584
[startup+1180.29 s]
Raw data (loadavg): 1.07 1.00 0.73 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 113948 76 0 0 25 0 11 0 539314702 867926016 38293 4294967295 134512640 134569956 3221224400 3221214640 1131661409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 38293 13073 16 0 211880 0
vsize: 847584
[startup+1190.29 s]
Raw data (loadavg): 1.06 1.00 0.74 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 114919 77 0 0 25 0 11 0 539314702 867926016 38381 4294967295 134512640 134569956 3221224400 3221214640 1131661401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 38381 13073 16 0 211880 0
vsize: 847584
[startup+1200.29 s]
Raw data (loadavg): 1.05 1.00 0.74 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 115890 77 0 0 25 0 11 0 539314702 867926016 38461 4294967295 134512640 134569956 3221224400 3221214744 1131230375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 38461 13073 16 0 211880 0
vsize: 847584
[startup+1210.29 s]
Raw data (loadavg): 1.04 1.00 0.74 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 116865 78 0 0 25 0 11 0 539314702 867926016 38717 4294967295 134512640 134569956 3221224400 3221214640 1131661401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 38717 13073 16 0 211880 0
vsize: 847584
[startup+1220.29 s]
Raw data (loadavg): 1.03 1.00 0.74 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 117840 78 0 0 25 0 11 0 539314702 867926016 38800 4294967295 134512640 134569956 3221224400 3221214840 1131354932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 38800 13073 16 0 211880 0
vsize: 847584
[startup+1230.29 s]
Raw data (loadavg): 1.03 1.00 0.74 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 118808 78 0 0 25 0 11 0 539314702 867926016 38913 4294967295 134512640 134569956 3221224400 3221214640 1131661407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 38913 13073 16 0 211880 0
vsize: 847584
[startup+1240.29 s]
Raw data (loadavg): 1.02 1.00 0.75 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 119776 79 0 0 25 0 11 0 539314702 867926016 38998 4294967295 134512640 134569956 3221224400 3221214800 1131434943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 38998 13073 16 0 211880 0
vsize: 847584
[startup+1250.3 s]
Raw data (loadavg): 1.02 1.00 0.75 2/65 14915
Raw data (stat): 14890 (java) R 14889 20838 20837 0 -1 0 18072 3 1 0 120736 79 0 0 25 0 11 0 539314702 867926016 39387 4294967295 134512640 134569956 3221224400 3221214744 1131229693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 39387 13073 16 0 211880 0
vsize: 847584
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.43 s]
Raw data (loadavg): 1.02 1.00 0.75 1/55 14917
Raw data (stat): 14890 (java) Z 14889 20838 20837 0 -1 1036 18072 22538 1 0 120739 79 4584 63 25 0 1 0 539314702 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): 1250.43
CPU time (s): 1254.66
CPU user time (s): 1253.23
CPU system time (s): 1.42478
CPU usage (%): 100.338
Max. virtual memory (Kb): 848832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####