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-gen.opb
MD5SUM	650632b92fbb7592f9a040d6375b78e9
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	8814
Biggest coefficient in the objective function	3375324200960
Number of bits for the biggest coefficient in the objective function	42
Sum of the numbers in the objective function	2061624536571104
Number of bits of the sum of numbers in the objective function	51
Biggest number in a constraint	3375324200960
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	2061624536571104
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.116981
Number of variables	12846
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	192
Trace number 30024

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 13:54:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21426 boxname=wulflinc9 idbench=1414 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  650632b92fbb7592f9a040d6375b78e9  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-gen.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-gen.opb
IDLAUNCH: 21426
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        455044 kB
Buffers:         35092 kB
Cached:         522808 kB
SwapCached:        584 kB
Active:          58960 kB
Inactive:       501036 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        454792 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13984 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:15:54 (client local time) WITH STATUS 143 IN 1281 SECONDS
stats: 21426 7 1281 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/wulflinc9/normalized-mps-v2-13-7-gen.opb
c reading problem ... done. Time 52.714 ms.
c #vars     12846
c #constraints  1080
c starts	: 10
c conflicts	: 7506
c decisions	: 10730
c propagations	: 43358
c inspects	: 4724853
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7506
c root simplifications	: 14
s UNKNOWN
c Total CPU time (ms) : 1259.099
#### 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.85 0.97 0.99 2/54 20557
Raw data (stat): 20557 (runsolver) R 20556 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781176589 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.0009 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 20566
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18004 0 1 0 877 36 0 0 25 0 10 0 781176589 857108480 20134 4294967295 134512640 134569956 3221224384 3221214652 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209255 20134 13086 16 0 209239 0
vsize: 837020
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 20566
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18004 0 1 0 1773 37 0 0 25 0 10 0 781176589 855564288 20359 4294967295 134512640 134569956 3221224384 3221214660 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208878 20359 13086 16 0 208862 0
vsize: 835512
[startup+30.0025 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 20566
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18012 0 1 0 2658 37 0 0 20 0 10 0 781176589 855564288 20907 4294967295 134512640 134569956 3221224384 3221214480 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208878 20907 13086 16 0 208862 0
vsize: 835512
[startup+40.0035 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 20566
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18013 0 1 0 3570 37 0 0 25 0 10 0 781176589 855564288 21240 4294967295 134512640 134569956 3221224384 3221214808 1131257803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208878 21240 13086 16 0 208862 0
vsize: 835512
[startup+50.0052 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 20566
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18014 0 1 0 4488 37 0 0 25 0 10 0 781176589 855564288 21459 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208878 21459 13086 16 0 208862 0
vsize: 835512
[startup+60.0058 s]
Raw data (loadavg): 1.17 1.02 1.01 4/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18124 0 1 0 5273 39 0 0 25 0 11 0 781176589 868741120 25146 4294967295 134512640 134569956 3221224384 3221213740 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212095 25146 13086 16 0 212079 0
vsize: 848380
[startup+70.0066 s]
Raw data (loadavg): 1.37 1.07 1.02 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18130 0 1 0 5905 40 0 0 25 0 11 0 781176589 868864000 26290 4294967295 134512640 134569956 3221224384 3221214672 1131683981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 26290 13086 16 0 212109 0
vsize: 848500
[startup+80.0069 s]
Raw data (loadavg): 1.31 1.07 1.02 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18130 0 1 0 6873 40 0 0 25 0 11 0 781176589 868864000 26297 4294967295 134512640 134569956 3221224384 3221214432 1131465600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 26297 13086 16 0 212109 0
vsize: 848500
[startup+90.0072 s]
Raw data (loadavg): 1.26 1.06 1.02 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18130 0 1 0 7818 41 0 0 25 0 11 0 781176589 868864000 26507 4294967295 134512640 134569956 3221224384 3221214448 1131350805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 26507 13086 16 0 212109 0
vsize: 848500
[startup+100.008 s]
Raw data (loadavg): 1.22 1.06 1.02 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 8755 41 0 0 25 0 11 0 781176589 868864000 26803 4294967295 134512640 134569956 3221224384 3221214648 1131687358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 26803 13086 16 0 212109 0
vsize: 848500
[startup+110.009 s]
Raw data (loadavg): 1.19 1.06 1.02 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 9695 41 0 0 25 0 11 0 781176589 868864000 27087 4294967295 134512640 134569956 3221224384 3221214520 1131459118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 27087 13086 16 0 212109 0
vsize: 848500
[startup+120.009 s]
Raw data (loadavg): 1.16 1.06 1.02 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 10636 41 0 0 25 0 11 0 781176589 868864000 27374 4294967295 134512640 134569956 3221224384 3221214472 1131351059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 27374 13086 16 0 212109 0
vsize: 848500
[startup+130.01 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 11577 41 0 0 25 0 11 0 781176589 868864000 27545 4294967295 134512640 134569956 3221224384 3221214552 1131366933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 27545 13086 16 0 212109 0
vsize: 848500
[startup+140.01 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 12524 41 0 0 25 0 11 0 781176589 868864000 27838 4294967295 134512640 134569956 3221224384 3221214136 1131773418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 27838 13086 16 0 212109 0
vsize: 848500
[startup+150.015 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 20567
Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 13460 41 0 0 25 0 11 0 781176589 868864000 28087 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 28087 13086 16 0 212109 0
vsize: 848500
[startup+160.016 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 14394 41 0 0 25 0 11 0 781176589 868864000 28310 4294967295 134512640 134569956 3221224384 3221213856 1085679337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 28310 13086 16 0 212109 0
vsize: 848500
[startup+170.015 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 15334 41 0 0 25 0 11 0 781176589 868864000 28438 4294967295 134512640 134569956 3221224384 3221214536 1131478338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 28438 13086 16 0 212109 0
vsize: 848500
[startup+180.016 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 16264 41 0 0 25 0 11 0 781176589 868864000 28663 4294967295 134512640 134569956 3221224384 3221214552 1131367668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 28663 13086 16 0 212109 0
vsize: 848500
[startup+190.017 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 17205 42 0 0 25 0 11 0 781176589 868864000 28796 4294967295 134512640 134569956 3221224384 3221214648 1131683805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 28796 13086 16 0 212109 0
vsize: 848500
[startup+200.018 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 18150 42 0 0 25 0 11 0 781176589 868864000 29027 4294967295 134512640 134569956 3221224384 3221214804 1130883254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 29027 13086 16 0 212109 0
vsize: 848500
[startup+210.018 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 19097 42 0 0 25 0 11 0 781176589 868864000 29198 4294967295 134512640 134569956 3221224384 3221214392 1131362915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 29198 13086 16 0 212109 0
vsize: 848500
[startup+220.018 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 20037 42 0 0 25 0 11 0 781176589 868864000 29376 4294967295 134512640 134569956 3221224384 3221214376 1131535785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 29376 13086 16 0 212109 0
vsize: 848500
[startup+230.019 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 20986 42 0 0 25 0 11 0 781176589 868864000 29529 4294967295 134512640 134569956 3221224384 3221214648 1131688377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 29529 13086 16 0 212109 0
vsize: 848500
[startup+240.019 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 21929 42 0 0 25 0 11 0 781176589 868864000 29689 4294967295 134512640 134569956 3221224384 3221214648 1131687012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 29689 13086 16 0 212109 0
vsize: 848500
[startup+250.021 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 22881 43 0 0 25 0 11 0 781176589 868864000 29841 4294967295 134512640 134569956 3221224384 3221214304 1131773319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 29841 13086 16 0 212109 0
vsize: 848500
[startup+260.021 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 23836 43 0 0 25 0 11 0 781176589 868864000 29988 4294967295 134512640 134569956 3221224384 3221214552 1131368191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 29988 13086 16 0 212109 0
vsize: 848500
[startup+270.021 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 24790 43 0 0 25 0 11 0 781176589 868864000 30116 4294967295 134512640 134569956 3221224384 3221213992 1131535886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 30116 13086 16 0 212109 0
vsize: 848500
[startup+280.021 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 25744 43 0 0 25 0 11 0 781176589 868864000 30243 4294967295 134512640 134569956 3221224384 3221214012 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 30243 13086 16 0 212109 0
vsize: 848500
[startup+290.022 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 26697 43 0 0 25 0 11 0 781176589 868864000 30350 4294967295 134512640 134569956 3221224384 3221214556 1131216435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 30350 13086 16 0 212109 0
vsize: 848500
[startup+300.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 27649 43 0 0 25 0 11 0 781176589 868864000 30476 4294967295 134512640 134569956 3221224384 3221214552 1131366749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 30476 13086 16 0 212109 0
vsize: 848500
[startup+310.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20567
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 28598 43 0 0 25 0 11 0 781176589 868864000 30566 4294967295 134512640 134569956 3221224384 3221213880 1131535932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 30566 13086 16 0 212109 0
vsize: 848500
[startup+320.022 s]
Raw data (loadavg): 1.22 1.07 1.02 2/64 20620
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 29536 50 0 0 25 0 11 0 781176589 868864000 30734 4294967295 134512640 134569956 3221224384 3221214488 1131535722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 30734 13086 16 0 212109 0
vsize: 848500
[startup+330.028 s]
Raw data (loadavg): 1.19 1.07 1.01 2/64 20620
Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 30489 50 0 0 25 0 11 0 781176589 868864000 30851 4294967295 134512640 134569956 3221224384 3221213144 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 30851 13086 16 0 212109 0
vsize: 848500
[startup+340.028 s]
Raw data (loadavg): 1.16 1.07 1.01 2/64 20620
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 31440 50 0 0 25 0 11 0 781176589 868864000 31009 4294967295 134512640 134569956 3221224384 3221214648 1131683796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 31009 13086 16 0 212109 0
vsize: 848500
[startup+350.029 s]
Raw data (loadavg): 1.13 1.06 1.01 2/64 20620
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 32394 50 0 0 25 0 11 0 781176589 868864000 31127 4294967295 134512640 134569956 3221224384 3221214648 1131687426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 31127 13086 16 0 212109 0
vsize: 848500
[startup+360.03 s]
Raw data (loadavg): 1.11 1.06 1.01 2/64 20620
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 33343 50 0 0 25 0 11 0 781176589 868864000 31317 4294967295 134512640 134569956 3221224384 3221214552 1131366749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 31317 13086 16 0 212109 0
vsize: 848500
[startup+370.03 s]
Raw data (loadavg): 1.10 1.06 1.01 2/64 20620
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 34303 50 0 0 25 0 11 0 781176589 868864000 31440 4294967295 134512640 134569956 3221224384 3221214552 1131367130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 31440 13086 16 0 212109 0
vsize: 848500
[startup+380.03 s]
Raw data (loadavg): 1.08 1.06 1.01 2/64 20620
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 35263 50 0 0 25 0 11 0 781176589 868864000 31552 4294967295 134512640 134569956 3221224384 3221214552 1131367018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 31552 13086 16 0 212109 0
vsize: 848500
[startup+390.03 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 36220 50 0 0 25 0 11 0 781176589 868864000 31675 4294967295 134512640 134569956 3221224384 3221214648 1131687403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 31675 13086 16 0 212109 0
vsize: 848500
[startup+400.031 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 37178 50 0 0 24 0 11 0 781176589 868864000 31792 4294967295 134512640 134569956 3221224384 3221214648 1131693498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 31792 13086 16 0 212109 0
vsize: 848500
[startup+410.032 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 38141 50 0 0 25 0 11 0 781176589 868864000 31883 4294967295 134512640 134569956 3221224384 3221214648 1131687067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 31883 13086 16 0 212109 0
vsize: 848500
[startup+420.031 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 39099 51 0 0 25 0 11 0 781176589 868864000 31989 4294967295 134512640 134569956 3221224384 3221214552 1131367452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 31989 13086 16 0 212109 0
vsize: 848500
[startup+430.033 s]
Raw data (loadavg): 1.03 1.05 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 40059 51 0 0 25 0 11 0 781176589 868864000 32095 4294967295 134512640 134569956 3221224384 3221213744 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 32095 13086 16 0 212109 0
vsize: 848500
[startup+440.032 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 41026 51 0 0 25 0 11 0 781176589 868864000 32181 4294967295 134512640 134569956 3221224384 3221214552 1131367245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 32181 13086 16 0 212109 0
vsize: 848500
[startup+450.033 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 41988 51 0 0 25 0 11 0 781176589 868864000 32289 4294967295 134512640 134569956 3221224384 3221214648 1131694520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 32289 13086 16 0 212109 0
vsize: 848500
[startup+460.033 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 42952 51 0 0 25 0 11 0 781176589 868864000 32385 4294967295 134512640 134569956 3221224384 3221214648 1131693068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 32385 13086 16 0 212109 0
vsize: 848500
[startup+470.034 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 43916 51 0 0 25 0 11 0 781176589 868864000 32466 4294967295 134512640 134569956 3221224384 3221214328 1131425137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 32466 13086 16 0 212109 0
vsize: 848500
[startup+480.034 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 44886 51 0 0 25 0 11 0 781176589 868864000 32533 4294967295 134512640 134569956 3221224384 3221214552 1131366937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 32533 13086 16 0 212109 0
vsize: 848500
[startup+490.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 45850 51 0 0 25 0 11 0 781176589 868864000 32619 4294967295 134512640 134569956 3221224384 3221214648 1131686263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 32619 13086 16 0 212109 0
vsize: 848500
[startup+500.036 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 46819 51 0 0 25 0 11 0 781176589 868864000 32695 4294967295 134512640 134569956 3221224384 3221214320 1131535946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 32695 13086 16 0 212109 0
vsize: 848500
[startup+510.036 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 47783 51 0 0 25 0 11 0 781176589 868864000 32770 4294967295 134512640 134569956 3221224384 3221214552 1131366749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 32770 13086 16 0 212109 0
vsize: 848500
[startup+520.036 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 48752 51 0 0 25 0 11 0 781176589 868864000 32835 4294967295 134512640 134569956 3221224384 3221214648 1131686150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 32835 13086 16 0 212109 0
vsize: 848500
[startup+530.037 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 49715 52 0 0 25 0 11 0 781176589 868864000 32922 4294967295 134512640 134569956 3221224384 3221213712 1131425108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 32922 13086 16 0 212109 0
vsize: 848500
[startup+540.037 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 50679 52 0 0 25 0 11 0 781176589 868864000 33009 4294967295 134512640 134569956 3221224384 3221214648 1131694413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33009 13086 16 0 212109 0
vsize: 848500
[startup+550.038 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 51648 52 0 0 25 0 11 0 781176589 868864000 33074 4294967295 134512640 134569956 3221224384 3221214552 1131366612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33074 13086 16 0 212109 0
vsize: 848500
[startup+560.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 52618 52 0 0 25 0 11 0 781176589 868864000 33154 4294967295 134512640 134569956 3221224384 3221214472 1131350955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33154 13086 16 0 212109 0
vsize: 848500
[startup+570.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 53582 52 0 0 25 0 11 0 781176589 868864000 33230 4294967295 134512640 134569956 3221224384 3221214648 1131685830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33230 13086 16 0 212109 0
vsize: 848500
[startup+580.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 54551 52 0 0 25 0 11 0 781176589 868864000 33297 4294967295 134512640 134569956 3221224384 3221214552 1131366635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33297 13086 16 0 212109 0
vsize: 848500
[startup+590.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 55515 52 0 0 25 0 11 0 781176589 868864000 33366 4294967295 134512640 134569956 3221224384 3221214648 1131693572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33366 13086 16 0 212109 0
vsize: 848500
[startup+600.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 56483 52 0 0 25 0 11 0 781176589 868864000 33439 4294967295 134512640 134569956 3221224384 3221214552 1131366749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33439 13086 16 0 212109 0
vsize: 848500
[startup+610.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 57446 52 0 0 25 0 11 0 781176589 868864000 33521 4294967295 134512640 134569956 3221224384 3221214272 1131425162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33521 13086 16 0 212109 0
vsize: 848500
[startup+620.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 58416 52 0 0 25 0 11 0 781176589 868864000 33591 4294967295 134512640 134569956 3221224384 3221213920 1131535935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33591 13086 16 0 212109 0
vsize: 848500
[startup+630.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 59381 53 0 0 25 0 11 0 781176589 868864000 33672 4294967295 134512640 134569956 3221224384 3221214552 1131367152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33672 13086 16 0 212109 0
vsize: 848500
[startup+640.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 60352 53 0 0 25 0 11 0 781176589 868864000 33748 4294967295 134512640 134569956 3221224384 3221214552 1131366773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33748 13086 16 0 212109 0
vsize: 848500
[startup+650.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 61327 53 0 0 25 0 11 0 781176589 868864000 33798 4294967295 134512640 134569956 3221224384 3221214376 1131535722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33798 13086 16 0 212109 0
vsize: 848500
[startup+660.043 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 62295 53 0 0 25 0 11 0 781176589 868864000 33863 4294967295 134512640 134569956 3221224384 3221214648 1131687580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33863 13086 16 0 212109 0
vsize: 848500
[startup+670.045 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 20622
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 63261 53 0 0 24 0 11 0 781176589 868864000 33917 4294967295 134512640 134569956 3221224384 3221214728 1131502709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33917 13086 16 0 212109 0
vsize: 848500
[startup+680.048 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 20622
Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 64231 53 0 0 25 0 11 0 781176589 868864000 33963 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 33963 13086 16 0 212109 0
vsize: 848500
[startup+690.048 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 65194 53 0 0 25 0 11 0 781176589 868864000 34022 4294967295 134512640 134569956 3221224384 3221214648 1131683828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 34022 13086 16 0 212109 0
vsize: 848500
[startup+700.049 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 66156 53 0 0 25 0 11 0 781176589 868864000 34100 4294967295 134512640 134569956 3221224384 3221214616 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 34100 13086 16 0 212109 0
vsize: 848500
[startup+710.05 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 67117 53 0 0 25 0 11 0 781176589 868864000 34201 4294967295 134512640 134569956 3221224384 3221214648 1131683796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 34201 13086 16 0 212109 0
vsize: 848500
[startup+720.049 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 68080 53 0 0 25 0 11 0 781176589 868864000 34295 4294967295 134512640 134569956 3221224384 3221214648 1131693516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 34295 13086 16 0 212109 0
vsize: 848500
[startup+730.052 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20624
Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 69040 53 0 0 25 0 11 0 781176589 868864000 34385 4294967295 134512640 134569956 3221224384 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 34385 13086 16 0 212109 0
vsize: 848500
[startup+740.053 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20624
Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 70009 53 0 0 25 0 11 0 781176589 868864000 34470 4294967295 134512640 134569956 3221224384 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 34470 13086 16 0 212109 0
vsize: 848500
[startup+750.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 70969 54 0 0 25 0 11 0 781176589 868864000 34565 4294967295 134512640 134569956 3221224384 3221214504 1131216473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 34565 13086 16 0 212109 0
vsize: 848500
[startup+760.057 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20624
Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 71937 54 0 0 25 0 11 0 781176589 868864000 34631 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 34631 13086 16 0 212109 0
vsize: 848500
[startup+770.057 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 72902 54 0 0 25 0 11 0 781176589 868864000 34712 4294967295 134512640 134569956 3221224384 3221214488 1131535924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 34712 13086 16 0 212109 0
vsize: 848500
[startup+780.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 73869 54 0 0 25 0 11 0 781176589 868864000 34786 4294967295 134512640 134569956 3221224384 3221214736 1131778755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 34786 13086 16 0 212109 0
vsize: 848500
[startup+790.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 74835 54 0 0 25 0 11 0 781176589 868864000 34856 4294967295 134512640 134569956 3221224384 3221214616 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 34856 13086 16 0 212109 0
vsize: 848500
[startup+800.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 75802 54 0 0 25 0 11 0 781176589 868864000 34935 4294967295 134512640 134569956 3221224384 3221214648 1131683796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 34935 13086 16 0 212109 0
vsize: 848500
[startup+810.061 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 76769 54 0 0 25 0 11 0 781176589 868864000 35007 4294967295 134512640 134569956 3221224384 3221214648 1131687447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 35007 13086 16 0 212109 0
vsize: 848500
[startup+820.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 77736 54 0 0 25 0 11 0 781176589 868864000 35082 4294967295 134512640 134569956 3221224384 3221214648 1131686255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 35082 13086 16 0 212109 0
vsize: 848500
[startup+830.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 78703 54 0 0 25 0 11 0 781176589 868864000 35145 4294967295 134512640 134569956 3221224384 3221214144 1131535944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 35145 13086 16 0 212109 0
vsize: 848500
[startup+840.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 79665 54 0 0 25 0 11 0 781176589 868864000 35218 4294967295 134512640 134569956 3221224384 3221214320 1131535722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 35218 13086 16 0 212109 0
vsize: 848500
[startup+850.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 80632 54 0 0 25 0 11 0 781176589 868864000 35299 4294967295 134512640 134569956 3221224384 3221214000 1131425137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 35299 13086 16 0 212109 0
vsize: 848500
[startup+860.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 81600 55 0 0 25 0 11 0 781176589 868864000 35373 4294967295 134512640 134569956 3221224384 3221214552 1131367537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 35373 13086 16 0 212109 0
vsize: 848500
[startup+870.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 82569 55 0 0 25 0 11 0 781176589 868864000 35443 4294967295 134512640 134569956 3221224384 3221214648 1131687412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 35443 13086 16 0 212109 0
vsize: 848500
[startup+880.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 83537 55 0 0 25 0 11 0 781176589 868864000 35509 4294967295 134512640 134569956 3221224384 3221214480 1131425621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 35509 13086 16 0 212109 0
vsize: 848500
[startup+890.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 84504 55 0 0 25 0 11 0 781176589 868864000 35568 4294967295 134512640 134569956 3221224384 3221214552 1131366937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 35568 13086 16 0 212109 0
vsize: 848500
[startup+900.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20624
Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 85473 55 0 0 25 0 11 0 781176589 868864000 35618 4294967295 134512640 134569956 3221224384 3221213288 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 35618 13086 16 0 212109 0
vsize: 848500
[startup+910.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20624
Raw data (stat): 20557 (java) S 20556 3944 3943 0 -1 0 18131 0 1 0 86439 56 0 0 25 0 11 0 781176589 868864000 35685 4294967295 134512640 134569956 3221224384 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 35685 13086 16 0 212109 0
vsize: 848500
[startup+920.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 87407 56 0 0 25 0 11 0 781176589 868864000 35751 4294967295 134512640 134569956 3221224384 3221214016 1085679735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 35751 13086 16 0 212109 0
vsize: 848500
[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 88373 56 0 0 25 0 11 0 781176589 868864000 35820 4294967295 134512640 134569956 3221224384 3221214648 1131683796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 35820 13086 16 0 212109 0
vsize: 848500
[startup+940.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 89338 56 0 0 25 0 11 0 781176589 868864000 35891 4294967295 134512640 134569956 3221224384 3221213992 1131535932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 35891 13086 16 0 212109 0
vsize: 848500
[startup+950.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 90303 57 0 0 25 0 11 0 781176589 868864000 35962 4294967295 134512640 134569956 3221224384 3221214552 1131366995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 35962 13086 16 0 212109 0
vsize: 848500
[startup+960.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 91269 57 0 0 25 0 11 0 781176589 868864000 36032 4294967295 134512640 134569956 3221224384 3221213816 1131535944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 36032 13086 16 0 212109 0
vsize: 848500
[startup+970.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 92235 57 0 0 25 0 11 0 781176589 868864000 36106 4294967295 134512640 134569956 3221224384 3221214648 1131685891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 36106 13086 16 0 212109 0
vsize: 848500
[startup+980.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 93201 58 0 0 25 0 11 0 781176589 868864000 36177 4294967295 134512640 134569956 3221224384 3221214104 1131425169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 36177 13086 16 0 212109 0
vsize: 848500
[startup+990.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 94168 58 0 0 25 0 11 0 781176589 868864000 36247 4294967295 134512640 134569956 3221224384 3221214552 1131366749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 36247 13086 16 0 212109 0
vsize: 848500
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 95135 58 0 0 25 0 11 0 781176589 868864000 36317 4294967295 134512640 134569956 3221224384 3221214648 1131694780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 36317 13086 16 0 212109 0
vsize: 848500
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 96108 58 0 0 25 0 11 0 781176589 868864000 36387 4294967295 134512640 134569956 3221224384 3221214264 1131535892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 36387 13086 16 0 212109 0
vsize: 848500
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 97075 59 0 0 25 0 11 0 781176589 868864000 36445 4294967295 134512640 134569956 3221224384 3221213716 1131425168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 36445 13086 16 0 212109 0
vsize: 848500
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 98041 59 0 0 25 0 11 0 781176589 868864000 36511 4294967295 134512640 134569956 3221224384 3221213848 1085679747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 36511 13086 16 0 212109 0
vsize: 848500
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 99007 60 0 0 25 0 11 0 781176589 868864000 36575 4294967295 134512640 134569956 3221224384 3221213696 1131776567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 36575 13086 16 0 212109 0
vsize: 848500
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 99978 60 0 0 25 0 11 0 781176589 868864000 36626 4294967295 134512640 134569956 3221224384 3221214552 1131367156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 36626 13086 16 0 212109 0
vsize: 848500
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 100943 60 0 0 25 0 11 0 781176589 868864000 36705 4294967295 134512640 134569956 3221224384 3221214648 1131694940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 36705 13086 16 0 212109 0
vsize: 848500
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 101907 61 0 0 25 0 11 0 781176589 868864000 36766 4294967295 134512640 134569956 3221224384 3221214208 1131535886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 36766 13086 16 0 212109 0
vsize: 848500
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 102876 61 0 0 25 0 11 0 781176589 868864000 36846 4294967295 134512640 134569956 3221224384 3221213868 1131535908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 36846 13086 16 0 212109 0
vsize: 848500
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 103843 62 0 0 24 0 11 0 781176589 868864000 36936 4294967295 134512640 134569956 3221224384 3221214648 1131683789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212125 36936 13086 16 0 212109 0
vsize: 848500
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 104815 62 0 0 25 0 11 0 781176589 868864000 37000 4294967295 134512640 134569956 3221224384 3221214552 1131366961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37000 13086 16 0 212109 0
vsize: 848500
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 105783 62 0 0 25 0 11 0 781176589 868864000 37069 4294967295 134512640 134569956 3221224384 3221214528 1131210664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37069 13086 16 0 212109 0
vsize: 848500
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 106756 62 0 0 25 0 11 0 781176589 868864000 37131 4294967295 134512640 134569956 3221224384 3221214648 1131687403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37131 13086 16 0 212109 0
vsize: 848500
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 107725 63 0 0 25 0 11 0 781176589 868864000 37225 4294967295 134512640 134569956 3221224384 3221213680 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37225 13086 16 0 212109 0
vsize: 848500
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 108699 63 0 0 25 0 11 0 781176589 868864000 37288 4294967295 134512640 134569956 3221224384 3221214432 1131535919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37288 13086 16 0 212109 0
vsize: 848500
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 109668 64 0 0 25 0 11 0 781176589 868864000 37362 4294967295 134512640 134569956 3221224384 3221214368 1131425621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37362 13086 16 0 212109 0
vsize: 848500
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 110634 65 0 0 25 0 11 0 781176589 868864000 37430 4294967295 134512640 134569956 3221224384 3221214324 1131425168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37430 13086 16 0 212109 0
vsize: 848500
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 111599 65 0 0 25 0 11 0 781176589 868864000 37491 4294967295 134512640 134569956 3221224384 3221214552 1131367445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37491 13086 16 0 212109 0
vsize: 848500
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 112569 65 0 0 25 0 11 0 781176589 868864000 37547 4294967295 134512640 134569956 3221224384 3221214532 1131604563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37547 13086 16 0 212109 0
vsize: 848500
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 113533 66 0 0 25 0 11 0 781176589 868864000 37619 4294967295 134512640 134569956 3221224384 3221213688 1085632281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37619 13086 16 0 212109 0
vsize: 848500
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 114497 66 0 0 25 0 11 0 781176589 868864000 37691 4294967295 134512640 134569956 3221224384 3221214552 1131368141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37691 13086 16 0 212109 0
vsize: 848500
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 115463 67 0 0 25 0 11 0 781176589 868864000 37758 4294967295 134512640 134569956 3221224384 3221214552 1131366801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37758 13086 16 0 212109 0
vsize: 848500
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 116428 67 0 0 25 0 11 0 781176589 868864000 37832 4294967295 134512640 134569956 3221224384 3221213184 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37832 13086 16 0 212109 0
vsize: 848500
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 117394 68 0 0 25 0 11 0 781176589 868864000 37893 4294967295 134512640 134569956 3221224384 3221214552 1131366791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37893 13086 16 0 212109 0
vsize: 848500
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 118360 68 0 0 25 0 11 0 781176589 868864000 37986 4294967295 134512640 134569956 3221224384 3221214648 1131687426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 37986 13086 16 0 212109 0
vsize: 848500
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 119337 68 0 0 25 0 11 0 781176589 868864000 38023 4294967295 134512640 134569956 3221224384 3221214648 1131683796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 38023 13086 16 0 212109 0
vsize: 848500
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20624
Raw data (stat): 20557 (java) R 20556 3944 3943 0 -1 0 18131 0 1 0 120306 68 0 0 25 0 11 0 781176589 868864000 38067 4294967295 134512640 134569956 3221224384 3221214552 1131366917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212125 38067 13086 16 0 212109 0
vsize: 848500
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 20626
Raw data (stat): 20557 (java) Z 20556 3944 3943 0 -1 1036 18131 31325 1 0 120308 75 7632 82 25 0 1 0 781176589 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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): 1260.17
CPU time (s): 1281
CPU user time (s): 1279.41
CPU system time (s): 1.58676
CPU usage (%): 101.653
Max. virtual memory (Kb): 848500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####