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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb
MD5SUM	f2a6dc8d2697a7f5959c84e4079088c9
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	30
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	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	528959045369856
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	3702118998041541
Number of bits of the biggest sum of numbers	52
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.506922
Number of variables	11454
Total number of constraints	362
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	362
Minimum length of a constraint	13
Maximum length of a constraint	810
Trace number 29497

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 08:21:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20897 boxname=wulflinc12 idbench=885 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  f2a6dc8d2697a7f5959c84e4079088c9  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-stair.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-stair.opb
IDLAUNCH: 20897
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        413936 kB
Buffers:         38424 kB
Cached:         560972 kB
SwapCached:        568 kB
Active:         145924 kB
Inactive:       455916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        413684 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            13260 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:41:59 (client local time) WITH STATUS 143 IN 1228.63 SECONDS
stats: 20897 7 1228.63 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/wulflinc12/normalized-mps-v2-20-10-stair.opb
c reading problem ... done. Time 47.081 ms.
c #vars     11454
c #constraints  571
c starts	: 5
c conflicts	: 1239
c decisions	: 7100
c propagations	: 143016
c inspects	: 3897583
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1239
c root simplifications	: 624
s UNKNOWN
c Total CPU time (ms) : 1229.139
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 10121
Raw data (stat): 10121 (runsolver) R 10120 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779170289 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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+10.0009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 10130
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18020 0 1 0 814 43 0 0 25 0 10 0 779170289 854687744 19938 4294967295 134512640 134569956 3221224368 3221214628 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208664 19938 13086 16 0 208648 0
vsize: 834656
[startup+20.0011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 10130
Raw data (stat): 10121 (java) S 10120 32284 32283 0 -1 0 18023 0 1 0 1675 43 0 0 25 0 10 0 779170289 854687744 21299 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208664 21299 13086 16 0 208648 0
vsize: 834656
[startup+30.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 10130
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18023 0 1 0 2548 44 0 0 25 0 10 0 779170289 854687744 21619 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208664 21619 13086 16 0 208648 0
vsize: 834656
[startup+40.0024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 10130
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18023 0 1 0 3410 44 0 0 25 0 10 0 779170289 855506944 22531 4294967295 134512640 134569956 3221224368 3221214740 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208864 22531 13086 16 0 208848 0
vsize: 835456
[startup+50.0037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 10130
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18065 0 1 0 4285 44 0 0 24 0 10 0 779170289 857260032 23625 4294967295 134512640 134569956 3221224368 3221214724 1131206112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209292 23625 13086 16 0 209276 0
vsize: 837168
[startup+60.004 s]
Raw data (loadavg): 1.08 1.02 1.01 3/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18084 0 1 0 5186 45 0 0 25 0 11 0 779170289 863911936 25015 4294967295 134512640 134569956 3221224368 3221214564 1131265868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210916 25015 13086 16 0 210900 0
vsize: 843664
[startup+70.0048 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18085 0 1 0 6109 45 0 0 25 0 11 0 779170289 861413376 24518 4294967295 134512640 134569956 3221224368 3221214648 1131404095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 24518 13086 16 0 210290 0
vsize: 841224
[startup+80.0053 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18086 0 1 0 7043 45 0 0 25 0 11 0 779170289 861413376 24684 4294967295 134512640 134569956 3221224368 3221214680 1131344636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 24684 13086 16 0 210290 0
vsize: 841224
[startup+90.0049 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18086 0 1 0 7977 45 0 0 25 0 11 0 779170289 861413376 24971 4294967295 134512640 134569956 3221224368 3221214584 1131301687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 24971 13086 16 0 210290 0
vsize: 841224
[startup+100.006 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18086 0 1 0 8953 46 0 0 25 0 11 0 779170289 861413376 25339 4294967295 134512640 134569956 3221224368 3221214680 1131342497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25339 13086 16 0 210290 0
vsize: 841224
[startup+110.007 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18086 0 1 0 9925 46 0 0 25 0 11 0 779170289 861413376 25399 4294967295 134512640 134569956 3221224368 3221214672 1131203250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25399 13086 16 0 210290 0
vsize: 841224
[startup+120.008 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18086 0 1 0 10907 46 0 0 25 0 11 0 779170289 861413376 25461 4294967295 134512640 134569956 3221224368 3221214616 1131266251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25461 13086 16 0 210290 0
vsize: 841224
[startup+130.014 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18086 0 1 0 11891 46 0 0 25 0 11 0 779170289 861413376 25510 4294967295 134512640 134569956 3221224368 3221214680 1131342805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25510 13086 16 0 210290 0
vsize: 841224
[startup+140.013 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18086 0 1 0 12876 46 0 0 25 0 11 0 779170289 861413376 25554 4294967295 134512640 134569956 3221224368 3221214584 1131299809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25554 13086 16 0 210290 0
vsize: 841224
[startup+150.023 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18086 0 1 0 13864 46 0 0 25 0 11 0 779170289 861413376 25594 4294967295 134512640 134569956 3221224368 3221214676 1131300744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25594 13086 16 0 210290 0
vsize: 841224
[startup+160.023 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18086 0 1 0 14850 46 0 0 25 0 11 0 779170289 861413376 25643 4294967295 134512640 134569956 3221224368 3221214584 1131299853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25643 13086 16 0 210290 0
vsize: 841224
[startup+170.038 s]
Raw data (loadavg): 1.04 1.02 1.00 3/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18086 0 1 0 15838 46 0 0 25 0 11 0 779170289 861413376 25676 4294967295 134512640 134569956 3221224368 3221213980 1130878526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25676 13086 16 0 210290 0
vsize: 841224
[startup+180.038 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 16822 46 0 0 25 0 11 0 779170289 861413376 25710 4294967295 134512640 134569956 3221224368 3221214680 1131344806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25710 13086 16 0 210290 0
vsize: 841224
[startup+190.039 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 17809 47 0 0 25 0 11 0 779170289 861413376 25737 4294967295 134512640 134569956 3221224368 3221214680 1131342812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25737 13086 16 0 210290 0
vsize: 841224
[startup+200.039 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 18796 47 0 0 25 0 11 0 779170289 861413376 25762 4294967295 134512640 134569956 3221224368 3221214680 1131344152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25762 13086 16 0 210290 0
vsize: 841224
[startup+210.04 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 19783 47 0 0 25 0 11 0 779170289 861413376 25792 4294967295 134512640 134569956 3221224368 3221214440 1131536593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25792 13086 16 0 210290 0
vsize: 841224
[startup+220.041 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 20771 47 0 0 25 0 11 0 779170289 861413376 25819 4294967295 134512640 134569956 3221224368 3221214584 1131295891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25819 13086 16 0 210290 0
vsize: 841224
[startup+230.041 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 21757 48 0 0 24 0 11 0 779170289 861413376 25870 4294967295 134512640 134569956 3221224368 3221214584 1131299729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25870 13086 16 0 210290 0
vsize: 841224
[startup+240.041 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 22746 48 0 0 25 0 11 0 779170289 861413376 25891 4294967295 134512640 134569956 3221224368 3221214584 1131299989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 25891 13086 16 0 210290 0
vsize: 841224
[startup+250.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 23734 48 0 0 25 0 11 0 779170289 861413376 25913 4294967295 134512640 134569956 3221224368 3221214680 1131344152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 25913 13086 16 0 210290 0
vsize: 841224
[startup+260.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 24721 49 0 0 25 0 11 0 779170289 861413376 25934 4294967295 134512640 134569956 3221224368 3221214264 1131537836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 25934 13086 16 0 210290 0
vsize: 841224
[startup+270.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 25709 49 0 0 25 0 11 0 779170289 861413376 25954 4294967295 134512640 134569956 3221224368 3221214584 1131299809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 25954 13086 16 0 210290 0
vsize: 841224
[startup+280.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 26697 50 0 0 25 0 11 0 779170289 861413376 25975 4294967295 134512640 134569956 3221224368 3221214584 1131301496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 25975 13086 16 0 210290 0
vsize: 841224
[startup+290.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 27685 50 0 0 25 0 11 0 779170289 861413376 25993 4294967295 134512640 134569956 3221224368 3221214584 1131299905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 25993 13086 16 0 210290 0
vsize: 841224
[startup+300.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 28672 51 0 0 25 0 11 0 779170289 861413376 26015 4294967295 134512640 134569956 3221224368 3221214680 1131344152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26015 13086 16 0 210290 0
vsize: 841224
[startup+310.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 29661 52 0 0 25 0 11 0 779170289 861413376 26031 4294967295 134512640 134569956 3221224368 3221214584 1131299809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26031 13086 16 0 210290 0
vsize: 841224
[startup+320.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 30650 52 0 0 25 0 11 0 779170289 861413376 26050 4294967295 134512640 134569956 3221224368 3221214680 1131344636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26050 13086 16 0 210290 0
vsize: 841224
[startup+330.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 31639 52 0 0 25 0 11 0 779170289 861413376 26066 4294967295 134512640 134569956 3221224368 3221214672 1131203250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26066 13086 16 0 210290 0
vsize: 841224
[startup+340.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 32626 53 0 0 25 0 11 0 779170289 861413376 26084 4294967295 134512640 134569956 3221224368 3221214584 1131299809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26084 13086 16 0 210290 0
vsize: 841224
[startup+350.049 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 33613 53 0 0 25 0 11 0 779170289 861413376 26103 4294967295 134512640 134569956 3221224368 3221214584 1131301708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26103 13086 16 0 210290 0
vsize: 841224
[startup+360.05 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 34601 53 0 0 25 0 11 0 779170289 861413376 26119 4294967295 134512640 134569956 3221224368 3221214584 1131299887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26119 13086 16 0 210290 0
vsize: 841224
[startup+370.05 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 35590 53 0 0 25 0 11 0 779170289 861413376 26136 4294967295 134512640 134569956 3221224368 3221214584 1131296578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26136 13086 16 0 210290 0
vsize: 841224
[startup+380.05 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 36578 54 0 0 20 0 11 0 779170289 861413376 26150 4294967295 134512640 134569956 3221224368 3221214680 1131342873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26150 13086 16 0 210290 0
vsize: 841224
[startup+390.051 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 37568 54 0 0 25 0 11 0 779170289 861413376 26155 4294967295 134512640 134569956 3221224368 3221214584 1131295853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26155 13086 16 0 210290 0
vsize: 841224
[startup+400.052 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 38557 54 0 0 25 0 11 0 779170289 861413376 26165 4294967295 134512640 134569956 3221224368 3221214584 1131206189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26165 13086 16 0 210290 0
vsize: 841224
[startup+410.052 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 39547 54 0 0 25 0 11 0 779170289 861413376 26174 4294967295 134512640 134569956 3221224368 3221214680 1131348372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26174 13086 16 0 210290 0
vsize: 841224
[startup+420.052 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 40536 55 0 0 25 0 11 0 779170289 861413376 26181 4294967295 134512640 134569956 3221224368 3221214584 1131299886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26181 13086 16 0 210290 0
vsize: 841224
[startup+430.053 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 41525 55 0 0 25 0 11 0 779170289 861413376 26189 4294967295 134512640 134569956 3221224368 3221214672 1131203250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26189 13086 16 0 210290 0
vsize: 841224
[startup+440.052 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 42515 55 0 0 25 0 11 0 779170289 861413376 26199 4294967295 134512640 134569956 3221224368 3221214680 1131348007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26199 13086 16 0 210290 0
vsize: 841224
[startup+450.053 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 43504 56 0 0 25 0 11 0 779170289 861413376 26209 4294967295 134512640 134569956 3221224368 3221214584 1131299769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26209 13086 16 0 210290 0
vsize: 841224
[startup+460.055 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 44493 56 0 0 25 0 11 0 779170289 861413376 26218 4294967295 134512640 134569956 3221224368 3221214680 1131343689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26218 13086 16 0 210290 0
vsize: 841224
[startup+470.054 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 45481 56 0 0 25 0 11 0 779170289 861413376 26226 4294967295 134512640 134569956 3221224368 3221214584 1131299989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26226 13086 16 0 210290 0
vsize: 841224
[startup+480.055 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 46469 57 0 0 25 0 11 0 779170289 861413376 26235 4294967295 134512640 134569956 3221224368 3221214680 1131342812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26235 13086 16 0 210290 0
vsize: 841224
[startup+490.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 47457 58 0 0 25 0 11 0 779170289 861413376 26243 4294967295 134512640 134569956 3221224368 3221214680 1131344620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26243 13086 16 0 210290 0
vsize: 841224
[startup+500.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 48444 58 0 0 25 0 11 0 779170289 861413376 26261 4294967295 134512640 134569956 3221224368 3221214584 1131299664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26261 13086 16 0 210290 0
vsize: 841224
[startup+510.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 49429 58 0 0 25 0 11 0 779170289 861413376 26271 4294967295 134512640 134569956 3221224368 3221214584 1131301684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26271 13086 16 0 210290 0
vsize: 841224
[startup+520.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 50415 59 0 0 25 0 11 0 779170289 861413376 26289 4294967295 134512640 134569956 3221224368 3221214584 1131300005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26289 13086 16 0 210290 0
vsize: 841224
[startup+530.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 51401 60 0 0 25 0 11 0 779170289 861413376 26326 4294967295 134512640 134569956 3221224368 3221214672 1131203242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26326 13086 16 0 210290 0
vsize: 841224
[startup+540.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 52389 60 0 0 25 0 11 0 779170289 861413376 26346 4294967295 134512640 134569956 3221224368 3221214584 1131299724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26346 13086 16 0 210290 0
vsize: 841224
[startup+550.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 53378 61 0 0 25 0 11 0 779170289 861413376 26352 4294967295 134512640 134569956 3221224368 3221214680 1131347692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26352 13086 16 0 210290 0
vsize: 841224
[startup+560.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 54367 61 0 0 25 0 11 0 779170289 861413376 26361 4294967295 134512640 134569956 3221224368 3221214680 1131342816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26361 13086 16 0 210290 0
vsize: 841224
[startup+570.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 55356 61 0 0 25 0 11 0 779170289 861413376 26369 4294967295 134512640 134569956 3221224368 3221214584 1131301117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26369 13086 16 0 210290 0
vsize: 841224
[startup+580.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 56346 61 0 0 25 0 11 0 779170289 861413376 26376 4294967295 134512640 134569956 3221224368 3221214584 1131299859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26376 13086 16 0 210290 0
vsize: 841224
[startup+590.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 57335 61 0 0 25 0 11 0 779170289 861413376 26384 4294967295 134512640 134569956 3221224368 3221214584 1131295966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26384 13086 16 0 210290 0
vsize: 841224
[startup+600.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 58324 61 0 0 24 0 11 0 779170289 861413376 26392 4294967295 134512640 134569956 3221224368 3221214680 1131342731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26392 13086 16 0 210290 0
vsize: 841224
[startup+610.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 59314 61 0 0 25 0 11 0 779170289 861413376 26398 4294967295 134512640 134569956 3221224368 3221214680 1131344852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26398 13086 16 0 210290 0
vsize: 841224
[startup+620.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 60303 62 0 0 25 0 11 0 779170289 861413376 26407 4294967295 134512640 134569956 3221224368 3221214584 1131300005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26407 13086 16 0 210290 0
vsize: 841224
[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 61292 62 0 0 25 0 11 0 779170289 861413376 26413 4294967295 134512640 134569956 3221224368 3221214584 1131300597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26413 13086 16 0 210290 0
vsize: 841224
[startup+640.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 62281 62 0 0 25 0 11 0 779170289 861413376 26422 4294967295 134512640 134569956 3221224368 3221214632 1131293469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26422 13086 16 0 210290 0
vsize: 841224
[startup+650.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 63270 62 0 0 25 0 11 0 779170289 861413376 26429 4294967295 134512640 134569956 3221224368 3221214584 1131299760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26429 13086 16 0 210290 0
vsize: 841224
[startup+660.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 64259 62 0 0 25 0 11 0 779170289 861413376 26437 4294967295 134512640 134569956 3221224368 3221214584 1131299809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26437 13086 16 0 210290 0
vsize: 841224
[startup+670.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 65248 62 0 0 25 0 11 0 779170289 861413376 26443 4294967295 134512640 134569956 3221224368 3221214680 1131348029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26443 13086 16 0 210290 0
vsize: 841224
[startup+680.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 66237 62 0 0 24 0 11 0 779170289 861413376 26452 4294967295 134512640 134569956 3221224368 3221214584 1131300615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26452 13086 16 0 210290 0
vsize: 841224
[startup+690.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 67227 62 0 0 25 0 11 0 779170289 861413376 26458 4294967295 134512640 134569956 3221224368 3221214584 1131299809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26458 13086 16 0 210290 0
vsize: 841224
[startup+700.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 68216 62 0 0 25 0 11 0 779170289 861413376 26467 4294967295 134512640 134569956 3221224368 3221214584 1131295865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26467 13086 16 0 210290 0
vsize: 841224
[startup+710.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 69204 62 0 0 25 0 11 0 779170289 861413376 26474 4294967295 134512640 134569956 3221224368 3221214584 1131206632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26474 13086 16 0 210290 0
vsize: 841224
[startup+720.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 70193 62 0 0 25 0 11 0 779170289 861413376 26481 4294967295 134512640 134569956 3221224368 3221214584 1131299729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26481 13086 16 0 210290 0
vsize: 841224
[startup+730.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 71182 62 0 0 25 0 11 0 779170289 861413376 26490 4294967295 134512640 134569956 3221224368 3221214680 1131344636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26490 13086 16 0 210290 0
vsize: 841224
[startup+740.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 72171 63 0 0 25 0 11 0 779170289 861413376 26496 4294967295 134512640 134569956 3221224368 3221214680 1131344093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26496 13086 16 0 210290 0
vsize: 841224
[startup+750.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 73159 63 0 0 25 0 11 0 779170289 861413376 26504 4294967295 134512640 134569956 3221224368 3221214584 1131299989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26504 13086 16 0 210290 0
vsize: 841224
[startup+760.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 74149 63 0 0 25 0 11 0 779170289 861413376 26511 4294967295 134512640 134569956 3221224368 3221214584 1131299809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26511 13086 16 0 210290 0
vsize: 841224
[startup+770.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 75138 63 0 0 25 0 11 0 779170289 861413376 26517 4294967295 134512640 134569956 3221224368 3221214584 1131295920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26517 13086 16 0 210290 0
vsize: 841224
[startup+780.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 76126 63 0 0 25 0 11 0 779170289 861413376 26523 4294967295 134512640 134569956 3221224368 3221214584 1131206151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26523 13086 16 0 210290 0
vsize: 841224
[startup+790.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 77114 63 0 0 25 0 11 0 779170289 861413376 26532 4294967295 134512640 134569956 3221224368 3221214584 1131299809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26532 13086 16 0 210290 0
vsize: 841224
[startup+800.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 78103 63 0 0 25 0 11 0 779170289 861413376 26538 4294967295 134512640 134569956 3221224368 3221214584 1131299809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26538 13086 16 0 210290 0
vsize: 841224
[startup+810.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 79091 63 0 0 25 0 11 0 779170289 861413376 26544 4294967295 134512640 134569956 3221224368 3221214680 1131342812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26544 13086 16 0 210290 0
vsize: 841224
[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 80081 64 0 0 25 0 11 0 779170289 861413376 26550 4294967295 134512640 134569956 3221224368 3221214680 1131344636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26550 13086 16 0 210290 0
vsize: 841224
[startup+830.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 81069 64 0 0 25 0 11 0 779170289 861413376 26559 4294967295 134512640 134569956 3221224368 3221214584 1131300061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26559 13086 16 0 210290 0
vsize: 841224
[startup+840.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 82057 64 0 0 25 0 11 0 779170289 861413376 26565 4294967295 134512640 134569956 3221224368 3221214584 1131299691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26565 13086 16 0 210290 0
vsize: 841224
[startup+850.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 83045 64 0 0 25 0 11 0 779170289 861413376 26571 4294967295 134512640 134569956 3221224368 3221214584 1131299973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26571 13086 16 0 210290 0
vsize: 841224
[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 84034 64 0 0 25 0 11 0 779170289 861413376 26578 4294967295 134512640 134569956 3221224368 3221214680 1131344806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26578 13086 16 0 210290 0
vsize: 841224
[startup+870.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 85022 64 0 0 25 0 11 0 779170289 861413376 26586 4294967295 134512640 134569956 3221224368 3221214584 1131299969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26586 13086 16 0 210290 0
vsize: 841224
[startup+880.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 86010 65 0 0 24 0 11 0 779170289 861413376 26593 4294967295 134512640 134569956 3221224368 3221214584 1131300017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26593 13086 16 0 210290 0
vsize: 841224
[startup+890.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 86999 65 0 0 25 0 11 0 779170289 861413376 26599 4294967295 134512640 134569956 3221224368 3221214680 1131344856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26599 13086 16 0 210290 0
vsize: 841224
[startup+900.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 87988 65 0 0 25 0 11 0 779170289 861413376 26605 4294967295 134512640 134569956 3221224368 3221214680 1131344541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26605 13086 16 0 210290 0
vsize: 841224
[startup+910.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 88976 65 0 0 25 0 11 0 779170289 861413376 26612 4294967295 134512640 134569956 3221224368 3221214680 1131344636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26612 13086 16 0 210290 0
vsize: 841224
[startup+920.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 89964 65 0 0 25 0 11 0 779170289 861413376 26618 4294967295 134512640 134569956 3221224368 3221214584 1131299882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26618 13086 16 0 210290 0
vsize: 841224
[startup+930.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 90952 66 0 0 25 0 11 0 779170289 861413376 26624 4294967295 134512640 134569956 3221224368 3221214584 1131299989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26624 13086 16 0 210290 0
vsize: 841224
[startup+940.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 91940 66 0 0 24 0 11 0 779170289 861413376 26633 4294967295 134512640 134569956 3221224368 3221214584 1131300005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26633 13086 16 0 210290 0
vsize: 841224
[startup+950.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 92929 66 0 0 25 0 11 0 779170289 861413376 26637 4294967295 134512640 134569956 3221224368 3221214584 1131299920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26637 13086 16 0 210290 0
vsize: 841224
[startup+960.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 93917 66 0 0 25 0 11 0 779170289 861413376 26646 4294967295 134512640 134569956 3221224368 3221214584 1131301664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26646 13086 16 0 210290 0
vsize: 841224
[startup+970.081 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 94904 66 0 0 25 0 11 0 779170289 861413376 26652 4294967295 134512640 134569956 3221224368 3221214584 1131299724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26652 13086 16 0 210290 0
vsize: 841224
[startup+980.082 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 95892 66 0 0 25 0 11 0 779170289 861413376 26659 4294967295 134512640 134569956 3221224368 3221214584 1131299809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26659 13086 16 0 210290 0
vsize: 841224
[startup+990.082 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 96879 66 0 0 25 0 11 0 779170289 861413376 26666 4294967295 134512640 134569956 3221224368 3221214676 1131206112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26666 13086 16 0 210290 0
vsize: 841224
[startup+1000.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 97868 66 0 0 25 0 11 0 779170289 861413376 26674 4294967295 134512640 134569956 3221224368 3221214680 1131342577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26674 13086 16 0 210290 0
vsize: 841224
[startup+1010.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 98855 66 0 0 25 0 11 0 779170289 861413376 26684 4294967295 134512640 134569956 3221224368 3221214680 1131342626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26684 13086 16 0 210290 0
vsize: 841224
[startup+1020.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 99843 66 0 0 25 0 11 0 779170289 861413376 26691 4294967295 134512640 134569956 3221224368 3221214680 1131342873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26691 13086 16 0 210290 0
vsize: 841224
[startup+1030.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 100830 67 0 0 25 0 11 0 779170289 861413376 26698 4294967295 134512640 134569956 3221224368 3221214680 1131342812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26698 13086 16 0 210290 0
vsize: 841224
[startup+1040.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 101818 67 0 0 25 0 11 0 779170289 861413376 26705 4294967295 134512640 134569956 3221224368 3221214584 1131299809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26705 13086 16 0 210290 0
vsize: 841224
[startup+1050.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 102807 67 0 0 25 0 11 0 779170289 861413376 26711 4294967295 134512640 134569956 3221224368 3221214024 1085679318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26711 13086 16 0 210290 0
vsize: 841224
[startup+1060.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 103795 67 0 0 25 0 11 0 779170289 861413376 26717 4294967295 134512640 134569956 3221224368 3221214680 1131344636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26717 13086 16 0 210290 0
vsize: 841224
[startup+1070.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 104782 67 0 0 25 0 11 0 779170289 861413376 26724 4294967295 134512640 134569956 3221224368 3221214680 1131344152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26724 13086 16 0 210290 0
vsize: 841224
[startup+1080.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 105770 67 0 0 25 0 11 0 779170289 861413376 26730 4294967295 134512640 134569956 3221224368 3221214584 1131300023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26730 13086 16 0 210290 0
vsize: 841224
[startup+1090.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 106757 68 0 0 25 0 11 0 779170289 861413376 26736 4294967295 134512640 134569956 3221224368 3221214680 1131347708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26736 13086 16 0 210290 0
vsize: 841224
[startup+1100.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 107746 68 0 0 25 0 11 0 779170289 861413376 26740 4294967295 134512640 134569956 3221224368 3221214584 1131299809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26740 13086 16 0 210290 0
vsize: 841224
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 108734 68 0 0 25 0 11 0 779170289 861413376 26747 4294967295 134512640 134569956 3221224368 3221214584 1131299914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26747 13086 16 0 210290 0
vsize: 841224
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 109722 68 0 0 25 0 11 0 779170289 861413376 26753 4294967295 134512640 134569956 3221224368 3221214680 1131348372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26753 13086 16 0 210290 0
vsize: 841224
[startup+1130.09 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 110709 68 0 0 25 0 11 0 779170289 861413376 26759 4294967295 134512640 134569956 3221224368 3221214676 1131203180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26759 13086 16 0 210290 0
vsize: 841224
[startup+1140.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 111697 68 0 0 25 0 11 0 779170289 861413376 26765 4294967295 134512640 134569956 3221224368 3221214680 1131344636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26765 13086 16 0 210290 0
vsize: 841224
[startup+1150.09 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 112685 68 0 0 25 0 11 0 779170289 861413376 26772 4294967295 134512640 134569956 3221224368 3221214584 1131206624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26772 13086 16 0 210290 0
vsize: 841224
[startup+1160.09 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 113672 68 0 0 25 0 11 0 779170289 861413376 26778 4294967295 134512640 134569956 3221224368 3221214680 1131344636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26778 13086 16 0 210290 0
vsize: 841224
[startup+1170.09 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 114660 68 0 0 25 0 11 0 779170289 861413376 26784 4294967295 134512640 134569956 3221224368 3221214584 1131206138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210306 26784 13086 16 0 210290 0
vsize: 841224
[startup+1180.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 115647 68 0 0 25 0 11 0 779170289 861413376 26790 4294967295 134512640 134569956 3221224368 3221214680 1131342812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26790 13086 16 0 210290 0
vsize: 841224
[startup+1190.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 116634 69 0 0 24 0 11 0 779170289 861413376 26797 4294967295 134512640 134569956 3221224368 3221214680 1131344016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26797 13086 16 0 210290 0
vsize: 841224
[startup+1200.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 117623 69 0 0 25 0 11 0 779170289 861413376 26801 4294967295 134512640 134569956 3221224368 3221214044 1131539715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26801 13086 16 0 210290 0
vsize: 841224
[startup+1210.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 118610 69 0 0 25 0 11 0 779170289 861413376 26807 4294967295 134512640 134569956 3221224368 3221214680 1131342812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26807 13086 16 0 210290 0
vsize: 841224
[startup+1220.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 119597 69 0 0 25 0 11 0 779170289 861413376 26813 4294967295 134512640 134569956 3221224368 3221214680 1131344844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26813 13086 16 0 210290 0
vsize: 841224
[startup+1230.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10131
Raw data (stat): 10121 (java) R 10120 32284 32283 0 -1 0 18087 0 1 0 120584 69 0 0 24 0 11 0 779170289 861413376 26820 4294967295 134512640 134569956 3221224368 3221214680 1131347820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210306 26820 13086 16 0 210290 0
vsize: 841224
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.18 s]
Raw data (loadavg): 1.01 1.01 1.00 1/54 10133
Raw data (stat): 10121 (java) Z 10120 32284 32283 0 -1 1036 18087 6721 1 0 120587 69 2175 30 25 0 1 0 779170289 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): 1230.18
CPU time (s): 1228.63
CPU user time (s): 1227.63
CPU system time (s): 1.00085
CPU usage (%): 99.8738
Max. virtual memory (Kb): 843664
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####