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/MIPLIB/miplib3/normalized-mps-v2-20-10-misc07.opb
MD5SUM	b95827c7e083aae37933a3b226b8189b
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1076833280
Optimality of the best value was proved	NO
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	3287948287
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1243.78
Number of variables	290
Total number of constraints	471
Number of constraints which are clauses	127
Number of constraints which are cardinality constraints (but not clauses)	272
Number of constraints which are nor clauses,nor cardinality constraints	72
Minimum length of a constraint	1
Maximum length of a constraint	263
Trace number 16385

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-21 07:05:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13594 boxname=wulflinc25 idbench=1046 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  b95827c7e083aae37933a3b226b8189b  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-misc07.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-misc07.opb
IDLAUNCH: 13594
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        853752 kB
Buffers:          7156 kB
Cached:         154020 kB
SwapCached:        732 kB
Active:          23476 kB
Inactive:       139584 kB
HighTotal:      131008 kB
HighFree:        21728 kB
LowTotal:       903652 kB
LowFree:        832024 kB
SwapTotal:     2097892 kB
SwapFree:      2096248 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            12104 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 07:26:34 (client local time) WITH STATUS 143 IN 1252.5 SECONDS
stats: 13594 7 1252.5 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-misc07.opb
c reading problem 
c [nbvar=290]
c [nbconstr=471]
c time 2.092
c #vars     290
c #clauses  247
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=1077452800
c Current CPU time (ms) : 40.116
c starts	: 2
c conflicts	: 133
c decisions	: 2853
c propagations	: 10284
c inspects	: 59237
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 133
c root simplifications	: 45
c 
c CURRENT OPTIMUM=1077314560
c Current CPU time (ms) : 51.502
c starts	: 3
c conflicts	: 168
c decisions	: 3060
c propagations	: 11702
c inspects	: 80324
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 168
c root simplifications	: 47
c 
c CURRENT OPTIMUM=1076807680
c Current CPU time (ms) : 62.902
c starts	: 4
c conflicts	: 195
c decisions	: 3212
c propagations	: 12511
c inspects	: 98095
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 195
c root simplifications	: 48
c 
c CURRENT OPTIMUM=1076684800
c Current CPU time (ms) : 703.663
c starts	: 8
c conflicts	: 867
c decisions	: 5081
c propagations	: 27191
c inspects	: 1023630
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 867
c root simplifications	: 53
#### 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.87 0.93 0.90 2/54 31419
Raw data (stat): 31419 (runsolver) R 31418 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543155850 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0152 s]
Raw data (loadavg): 1.05 0.97 0.91 4/64 31429
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18073 0 1 0 596 44 0 0 25 0 11 0 543155850 868589568 22060 4294967295 134512640 134569956 3221224400 3221213584 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212058 22060 13073 16 0 212042 0
vsize: 848232
[startup+20.0433 s]
Raw data (loadavg): 1.11 0.98 0.92 2/64 31429
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18074 0 1 0 1518 45 0 0 25 0 11 0 543155850 868163584 22610 4294967295 134512640 134569956 3221224400 3221214824 1130917144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211954 22610 13073 16 0 211938 0
vsize: 847816
[startup+30.0435 s]
Raw data (loadavg): 1.10 0.98 0.92 2/64 31429
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18074 0 1 0 2470 45 0 0 25 0 11 0 543155850 868163584 22835 4294967295 134512640 134569956 3221224400 3221214848 1131176337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211954 22835 13073 16 0 211938 0
vsize: 847816
[startup+40.0445 s]
Raw data (loadavg): 1.08 0.98 0.92 2/64 31429
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18075 0 1 0 3418 45 0 0 25 0 11 0 543155850 868163584 23200 4294967295 134512640 134569956 3221224400 3221214800 1131216286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211954 23200 13073 16 0 211938 0
vsize: 847816
[startup+50.0453 s]
Raw data (loadavg): 1.07 0.98 0.92 2/64 31430
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18076 3 1 0 4380 45 0 0 25 0 11 0 543155850 868163584 23356 4294967295 134512640 134569956 3221224400 3221214800 1131215806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211954 23356 13073 16 0 211938 0
vsize: 847816
[startup+60.0452 s]
Raw data (loadavg): 1.06 0.98 0.92 2/64 31431
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18077 3 1 0 5341 46 0 0 24 0 11 0 543155850 868163584 23466 4294967295 134512640 134569956 3221224400 3221214648 1131449969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211954 23466 13073 16 0 211938 0
vsize: 847816
[startup+70.0462 s]
Raw data (loadavg): 1.05 0.98 0.92 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18077 3 1 0 6306 46 0 0 25 0 11 0 543155850 868163584 23589 4294967295 134512640 134569956 3221224400 3221214800 1131176320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211954 23589 13073 16 0 211938 0
vsize: 847816
[startup+80.0469 s]
Raw data (loadavg): 1.04 0.98 0.92 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18077 3 1 0 7271 47 0 0 24 0 11 0 543155850 868163584 23691 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211954 23691 13073 16 0 211938 0
vsize: 847816
[startup+90.047 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 8236 47 0 0 25 0 11 0 543155850 868163584 23776 4294967295 134512640 134569956 3221224400 3221214752 1131215768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211954 23776 13073 16 0 211938 0
vsize: 847816
[startup+100.047 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 9202 47 0 0 25 0 11 0 543155850 870260736 24240 4294967295 134512640 134569956 3221224400 3221214752 1131215991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212466 24240 13073 16 0 212450 0
vsize: 849864
[startup+110.048 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 10171 48 0 0 25 0 11 0 543155850 869212160 24167 4294967295 134512640 134569956 3221224400 3221214752 1131216245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 24167 13073 16 0 212194 0
vsize: 848840
[startup+120.049 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 11147 48 0 0 21 0 11 0 543155850 869212160 24263 4294967295 134512640 134569956 3221224400 3221214848 1131259064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 24263 13073 16 0 212194 0
vsize: 848840
[startup+130.049 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 12126 48 0 0 25 0 11 0 543155850 869212160 24334 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 24334 13073 16 0 212194 0
vsize: 848840
[startup+140.05 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 13106 49 0 0 25 0 11 0 543155850 869212160 24422 4294967295 134512640 134569956 3221224400 3221214752 1131215864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 24422 13073 16 0 212194 0
vsize: 848840
[startup+150.05 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 14082 49 0 0 25 0 11 0 543155850 869212160 24480 4294967295 134512640 134569956 3221224400 3221214752 1131216557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 24480 13073 16 0 212194 0
vsize: 848840
[startup+160.05 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 15049 50 0 0 25 0 11 0 543155850 869212160 24537 4294967295 134512640 134569956 3221224400 3221214800 1131176341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 24537 13073 16 0 212194 0
vsize: 848840
[startup+170.051 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 16020 50 0 0 25 0 11 0 543155850 869212160 24629 4294967295 134512640 134569956 3221224400 3221214752 1131215357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 24629 13073 16 0 212194 0
vsize: 848840
[startup+180.05 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 16995 50 0 0 24 0 11 0 543155850 869212160 24749 4294967295 134512640 134569956 3221224400 3221214752 1131215793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 24749 13073 16 0 212194 0
vsize: 848840
[startup+190.052 s]
Raw data (loadavg): 1.14 1.02 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 17977 50 0 0 25 0 11 0 543155850 869212160 24841 4294967295 134512640 134569956 3221224400 3221214632 1131311393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 24841 13073 16 0 212194 0
vsize: 848840
[startup+200.052 s]
Raw data (loadavg): 1.11 1.02 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 18957 51 0 0 25 0 11 0 543155850 869212160 24886 4294967295 134512640 134569956 3221224400 3221214752 1131216653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 24886 13073 16 0 212194 0
vsize: 848840
[startup+210.051 s]
Raw data (loadavg): 1.10 1.01 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 19934 51 0 0 25 0 11 0 543155850 869212160 24967 4294967295 134512640 134569956 3221224400 3221214752 1131216258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 24967 13073 16 0 212194 0
vsize: 848840
[startup+220.052 s]
Raw data (loadavg): 1.08 1.01 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 20912 52 0 0 24 0 11 0 543155850 869212160 25036 4294967295 134512640 134569956 3221224400 3221214800 1131176320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25036 13073 16 0 212194 0
vsize: 848840
[startup+230.052 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 21891 52 0 0 25 0 11 0 543155850 869212160 25114 4294967295 134512640 134569956 3221224400 3221214752 1131215939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25114 13073 16 0 212194 0
vsize: 848840
[startup+240.052 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 22870 53 0 0 24 0 11 0 543155850 869212160 25194 4294967295 134512640 134569956 3221224400 3221214752 1131216022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25194 13073 16 0 212194 0
vsize: 848840
[startup+250.052 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 23851 53 0 0 25 0 11 0 543155850 869212160 25256 4294967295 134512640 134569956 3221224400 3221214800 1131176341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25256 13073 16 0 212194 0
vsize: 848840
[startup+260.053 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 24831 53 0 0 25 0 11 0 543155850 869212160 25316 4294967295 134512640 134569956 3221224400 3221214632 1131310966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25316 13073 16 0 212194 0
vsize: 848840
[startup+270.053 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 25810 54 0 0 24 0 11 0 543155850 869212160 25385 4294967295 134512640 134569956 3221224400 3221214800 1131176320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25385 13073 16 0 212194 0
vsize: 848840
[startup+280.053 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 26790 54 0 0 25 0 11 0 543155850 869212160 25432 4294967295 134512640 134569956 3221224400 3221214752 1131215685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25432 13073 16 0 212194 0
vsize: 848840
[startup+290.055 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 27765 55 0 0 25 0 11 0 543155850 869212160 25496 4294967295 134512640 134569956 3221224400 3221214752 1131215955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25496 13073 16 0 212194 0
vsize: 848840
[startup+300.055 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 28743 55 0 0 25 0 11 0 543155850 869212160 25551 4294967295 134512640 134569956 3221224400 3221214752 1131215505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25551 13073 16 0 212194 0
vsize: 848840
[startup+310.054 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 29718 55 0 0 25 0 11 0 543155850 869212160 25631 4294967295 134512640 134569956 3221224400 3221214800 1131176320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25631 13073 16 0 212194 0
vsize: 848840
[startup+320.054 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 30695 55 0 0 25 0 11 0 543155850 869212160 25695 4294967295 134512640 134569956 3221224400 3221214752 1131215732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25695 13073 16 0 212194 0
vsize: 848840
[startup+330.055 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 31673 55 0 0 25 0 11 0 543155850 869212160 25774 4294967295 134512640 134569956 3221224400 3221214752 1131215866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25774 13073 16 0 212194 0
vsize: 848840
[startup+340.055 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 32651 56 0 0 25 0 11 0 543155850 869212160 25858 4294967295 134512640 134569956 3221224400 3221214752 1131215973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25858 13073 16 0 212194 0
vsize: 848840
[startup+350.055 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 33632 56 0 0 25 0 11 0 543155850 869212160 25918 4294967295 134512640 134569956 3221224400 3221214752 1131215847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25918 13073 16 0 212194 0
vsize: 848840
[startup+360.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 34610 56 0 0 25 0 11 0 543155850 869212160 25971 4294967295 134512640 134569956 3221224400 3221214752 1131215812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 25971 13073 16 0 212194 0
vsize: 848840
[startup+370.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 35589 57 0 0 25 0 11 0 543155850 869212160 26032 4294967295 134512640 134569956 3221224400 3221214752 1131215372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26032 13073 16 0 212194 0
vsize: 848840
[startup+380.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 36567 57 0 0 25 0 11 0 543155850 869212160 26110 4294967295 134512640 134569956 3221224400 3221214752 1131215361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26110 13073 16 0 212194 0
vsize: 848840
[startup+390.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 37545 57 0 0 25 0 11 0 543155850 869212160 26178 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26178 13073 16 0 212194 0
vsize: 848840
[startup+400.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 38525 58 0 0 21 0 11 0 543155850 869212160 26249 4294967295 134512640 134569956 3221224400 3221214752 1131216603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26249 13073 16 0 212194 0
vsize: 848840
[startup+410.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 39503 58 0 0 25 0 11 0 543155850 869212160 26311 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26311 13073 16 0 212194 0
vsize: 848840
[startup+420.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 40482 58 0 0 25 0 11 0 543155850 869212160 26377 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26377 13073 16 0 212194 0
vsize: 848840
[startup+430.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 41460 59 0 0 25 0 11 0 543155850 869212160 26437 4294967295 134512640 134569956 3221224400 3221214800 1131176435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26437 13073 16 0 212194 0
vsize: 848840
[startup+440.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 42440 59 0 0 25 0 11 0 543155850 869212160 26478 4294967295 134512640 134569956 3221224400 3221214752 1131216635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26478 13073 16 0 212194 0
vsize: 848840
[startup+450.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 43416 60 0 0 25 0 11 0 543155850 869212160 26543 4294967295 134512640 134569956 3221224400 3221214752 1131216022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26543 13073 16 0 212194 0
vsize: 848840
[startup+460.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 44390 60 0 0 25 0 11 0 543155850 869212160 26631 4294967295 134512640 134569956 3221224400 3221214752 1131216013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26631 13073 16 0 212194 0
vsize: 848840
[startup+470.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 45368 60 0 0 25 0 11 0 543155850 869212160 26707 4294967295 134512640 134569956 3221224400 3221214752 1131215828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26707 13073 16 0 212194 0
vsize: 848840
[startup+480.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 46344 61 0 0 24 0 11 0 543155850 869212160 26791 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26791 13073 16 0 212194 0
vsize: 848840
[startup+490.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 47322 61 0 0 25 0 11 0 543155850 869212160 26846 4294967295 134512640 134569956 3221224400 3221214752 1131215428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26846 13073 16 0 212194 0
vsize: 848840
[startup+500.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 48299 61 0 0 25 0 11 0 543155850 869212160 26889 4294967295 134512640 134569956 3221224400 3221214752 1131216555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26889 13073 16 0 212194 0
vsize: 848840
[startup+510.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 49275 62 0 0 25 0 11 0 543155850 869212160 26973 4294967295 134512640 134569956 3221224400 3221214752 1131215365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 26973 13073 16 0 212194 0
vsize: 848840
[startup+520.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 50252 62 0 0 25 0 11 0 543155850 869212160 27056 4294967295 134512640 134569956 3221224400 3221214752 1131215683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27056 13073 16 0 212194 0
vsize: 848840
[startup+530.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 51229 62 0 0 25 0 11 0 543155850 869212160 27132 4294967295 134512640 134569956 3221224400 3221214752 1131215933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27132 13073 16 0 212194 0
vsize: 848840
[startup+540.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 52210 62 0 0 25 0 11 0 543155850 869212160 27202 4294967295 134512640 134569956 3221224400 3221214800 1131176317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27202 13073 16 0 212194 0
vsize: 848840
[startup+550.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 53189 62 0 0 25 0 11 0 543155850 869212160 27274 4294967295 134512640 134569956 3221224400 3221214752 1131215732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27274 13073 16 0 212194 0
vsize: 848840
[startup+560.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 54169 63 0 0 25 0 11 0 543155850 869212160 27333 4294967295 134512640 134569956 3221224400 3221214752 1131216608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27333 13073 16 0 212194 0
vsize: 848840
[startup+570.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 55147 63 0 0 25 0 11 0 543155850 869212160 27389 4294967295 134512640 134569956 3221224400 3221214800 1131176337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27389 13073 16 0 212194 0
vsize: 848840
[startup+580.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 56121 63 0 0 24 0 11 0 543155850 869212160 27460 4294967295 134512640 134569956 3221224400 3221214752 1131215900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27460 13073 16 0 212194 0
vsize: 848840
[startup+590.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 57097 63 0 0 25 0 11 0 543155850 869212160 27543 4294967295 134512640 134569956 3221224400 3221214844 1131410371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27543 13073 16 0 212194 0
vsize: 848840
[startup+600.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 58073 64 0 0 25 0 11 0 543155850 869212160 27612 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27612 13073 16 0 212194 0
vsize: 848840
[startup+610.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 59051 64 0 0 25 0 11 0 543155850 869212160 27674 4294967295 134512640 134569956 3221224400 3221214752 1131215732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27674 13073 16 0 212194 0
vsize: 848840
[startup+620.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 60028 64 0 0 25 0 11 0 543155850 869212160 27768 4294967295 134512640 134569956 3221224400 3221214752 1131215372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27768 13073 16 0 212194 0
vsize: 848840
[startup+630.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 61009 64 0 0 25 0 11 0 543155850 869212160 27820 4294967295 134512640 134569956 3221224400 3221214800 1131176331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27820 13073 16 0 212194 0
vsize: 848840
[startup+640.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 61988 65 0 0 25 0 11 0 543155850 869212160 27886 4294967295 134512640 134569956 3221224400 3221214800 1131176352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 27886 13073 16 0 212194 0
vsize: 848840
[startup+650.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 62969 65 0 0 25 0 11 0 543155850 869212160 27932 4294967295 134512640 134569956 3221224400 3221214800 1131176341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 27932 13073 16 0 212194 0
vsize: 848840
[startup+660.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 63947 65 0 0 25 0 11 0 543155850 869212160 28000 4294967295 134512640 134569956 3221224400 3221214752 1131215397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28000 13073 16 0 212194 0
vsize: 848840
[startup+670.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 64925 65 0 0 25 0 11 0 543155850 869212160 28063 4294967295 134512640 134569956 3221224400 3221214752 1131215670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28063 13073 16 0 212194 0
vsize: 848840
[startup+680.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 65905 65 0 0 25 0 11 0 543155850 869212160 28135 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28135 13073 16 0 212194 0
vsize: 848840
[startup+690.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 66884 65 0 0 25 0 11 0 543155850 869212160 28203 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28203 13073 16 0 212194 0
vsize: 848840
[startup+700.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31432
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 67864 65 0 0 25 0 11 0 543155850 869212160 28274 4294967295 134512640 134569956 3221224400 3221214800 1131176320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28274 13073 16 0 212194 0
vsize: 848840
[startup+710.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 68846 66 0 0 25 0 11 0 543155850 869212160 28297 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28297 13073 16 0 212194 0
vsize: 848840
[startup+720.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 69825 66 0 0 24 0 11 0 543155850 869212160 28359 4294967295 134512640 134569956 3221224400 3221214752 1131215397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28359 13073 16 0 212194 0
vsize: 848840
[startup+730.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 70805 66 0 0 25 0 11 0 543155850 869212160 28403 4294967295 134512640 134569956 3221224400 3221214800 1131176320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28403 13073 16 0 212194 0
vsize: 848840
[startup+740.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 71782 66 0 0 24 0 11 0 543155850 869212160 28457 4294967295 134512640 134569956 3221224400 3221214752 1131215397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28457 13073 16 0 212194 0
vsize: 848840
[startup+750.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 72760 66 0 0 25 0 11 0 543155850 869212160 28529 4294967295 134512640 134569956 3221224400 3221214752 1131215959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28529 13073 16 0 212194 0
vsize: 848840
[startup+760.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 73737 66 0 0 25 0 11 0 543155850 869212160 28568 4294967295 134512640 134569956 3221224400 3221214832 1131227260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28568 13073 16 0 212194 0
vsize: 848840
[startup+770.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 74713 66 0 0 24 0 11 0 543155850 869212160 28640 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28640 13073 16 0 212194 0
vsize: 848840
[startup+780.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 75693 66 0 0 25 0 11 0 543155850 869212160 28719 4294967295 134512640 134569956 3221224400 3221214800 1131176337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28719 13073 16 0 212194 0
vsize: 848840
[startup+790.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 76671 66 0 0 25 0 11 0 543155850 869212160 28790 4294967295 134512640 134569956 3221224400 3221214752 1131215797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28790 13073 16 0 212194 0
vsize: 848840
[startup+800.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 77649 66 0 0 24 0 11 0 543155850 869212160 28871 4294967295 134512640 134569956 3221224400 3221214752 1131216834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28871 13073 16 0 212194 0
vsize: 848840
[startup+810.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 78630 66 0 0 25 0 11 0 543155850 869212160 28923 4294967295 134512640 134569956 3221224400 3221214752 1131215959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28923 13073 16 0 212194 0
vsize: 848840
[startup+820.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 79607 66 0 0 25 0 11 0 543155850 869212160 28996 4294967295 134512640 134569956 3221224400 3221214520 1131229941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 28996 13073 16 0 212194 0
vsize: 848840
[startup+830.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 80586 66 0 0 25 0 11 0 543155850 869212160 29048 4294967295 134512640 134569956 3221224400 3221214632 1131309901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 29048 13073 16 0 212194 0
vsize: 848840
[startup+840.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 81563 66 0 0 25 0 11 0 543155850 869212160 29138 4294967295 134512640 134569956 3221224400 3221214656 1131460903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 29138 13073 16 0 212194 0
vsize: 848840
[startup+850.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 82541 66 0 0 25 0 11 0 543155850 869212160 29182 4294967295 134512640 134569956 3221224400 3221214752 1131215768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29182 13073 16 0 212194 0
vsize: 848840
[startup+860.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 83519 67 0 0 25 0 11 0 543155850 869212160 29264 4294967295 134512640 134569956 3221224400 3221214752 1131216637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29264 13073 16 0 212194 0
vsize: 848840
[startup+870.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 84496 67 0 0 25 0 11 0 543155850 869212160 29322 4294967295 134512640 134569956 3221224400 3221214752 1131215421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29322 13073 16 0 212194 0
vsize: 848840
[startup+880.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 85475 67 0 0 25 0 11 0 543155850 869212160 29370 4294967295 134512640 134569956 3221224400 3221214456 1131678828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29370 13073 16 0 212194 0
vsize: 848840
[startup+890.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 86452 67 0 0 25 0 11 0 543155850 869212160 29419 4294967295 134512640 134569956 3221224400 3221214784 1131211444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29419 13073 16 0 212194 0
vsize: 848840
[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) S 31418 28099 28098 0 -1 0 18078 3 1 0 87429 67 0 0 25 0 11 0 543155850 869212160 29476 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29476 13073 16 0 212194 0
vsize: 848840
[startup+910.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 88405 68 0 0 25 0 11 0 543155850 869212160 29532 4294967295 134512640 134569956 3221224400 3221214408 1131657321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29532 13073 16 0 212194 0
vsize: 848840
[startup+920.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 89379 68 0 0 25 0 11 0 543155850 869212160 29592 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29592 13073 16 0 212194 0
vsize: 848840
[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 90354 68 0 0 25 0 11 0 543155850 869212160 29654 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29654 13073 16 0 212194 0
vsize: 848840
[startup+940.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 91330 68 0 0 25 0 11 0 543155850 869212160 29712 4294967295 134512640 134569956 3221224400 3221214752 1131216842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29712 13073 16 0 212194 0
vsize: 848840
[startup+950.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 92307 69 0 0 25 0 11 0 543155850 869212160 29775 4294967295 134512640 134569956 3221224400 3221214752 1131215778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29775 13073 16 0 212194 0
vsize: 848840
[startup+960.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 93282 69 0 0 25 0 11 0 543155850 869212160 29818 4294967295 134512640 134569956 3221224400 3221214752 1131215361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29818 13073 16 0 212194 0
vsize: 848840
[startup+970.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 94258 69 0 0 25 0 11 0 543155850 869212160 29868 4294967295 134512640 134569956 3221224400 3221214800 1131176337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29868 13073 16 0 212194 0
vsize: 848840
[startup+980.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 95234 69 0 0 21 0 11 0 543155850 869212160 29931 4294967295 134512640 134569956 3221224400 3221214752 1131215559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 29931 13073 16 0 212194 0
vsize: 848840
[startup+990.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 96211 69 0 0 25 0 11 0 543155850 869212160 29996 4294967295 134512640 134569956 3221224400 3221214752 1131215491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 29996 13073 16 0 212194 0
vsize: 848840
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 97187 70 0 0 25 0 11 0 543155850 869212160 30055 4294967295 134512640 134569956 3221224400 3221214472 1131351819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30055 13073 16 0 212194 0
vsize: 848840
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 98164 70 0 0 24 0 11 0 543155850 869212160 30109 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30109 13073 16 0 212194 0
vsize: 848840
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 99143 70 0 0 25 0 11 0 543155850 869212160 30157 4294967295 134512640 134569956 3221224400 3221214752 1131215732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 30157 13073 16 0 212194 0
vsize: 848840
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 100119 71 0 0 25 0 11 0 543155850 869212160 30198 4294967295 134512640 134569956 3221224400 3221214848 1131259188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30198 13073 16 0 212194 0
vsize: 848840
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 101096 71 0 0 25 0 11 0 543155850 869212160 30269 4294967295 134512640 134569956 3221224400 3221214752 1131215458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30269 13073 16 0 212194 0
vsize: 848840
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 102071 72 0 0 25 0 11 0 543155850 869212160 30319 4294967295 134512640 134569956 3221224400 3221214752 1131215598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30319 13073 16 0 212194 0
vsize: 848840
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 103046 72 0 0 25 0 11 0 543155850 869212160 30379 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30379 13073 16 0 212194 0
vsize: 848840
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 104021 73 0 0 25 0 11 0 543155850 869212160 30451 4294967295 134512640 134569956 3221224400 3221214752 1131215397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30451 13073 16 0 212194 0
vsize: 848840
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 104995 73 0 0 25 0 11 0 543155850 869212160 30535 4294967295 134512640 134569956 3221224400 3221214752 1131215505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30535 13073 16 0 212194 0
vsize: 848840
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) S 31418 28099 28098 0 -1 0 18078 3 1 0 105973 73 0 0 25 0 11 0 543155850 869212160 30568 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30568 13073 16 0 212194 0
vsize: 848840
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 106946 74 0 0 25 0 11 0 543155850 869212160 30632 4294967295 134512640 134569956 3221224400 3221214520 1131230310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30632 13073 16 0 212194 0
vsize: 848840
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 107921 74 0 0 25 0 11 0 543155850 869212160 30697 4294967295 134512640 134569956 3221224400 3221214520 1131229976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30697 13073 16 0 212194 0
vsize: 848840
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 108899 75 0 0 25 0 11 0 543155850 869212160 30746 4294967295 134512640 134569956 3221224400 3221214752 1131215651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30746 13073 16 0 212194 0
vsize: 848840
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 109879 75 0 0 25 0 11 0 543155850 869212160 30822 4294967295 134512640 134569956 3221224400 3221214752 1131215797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30822 13073 16 0 212194 0
vsize: 848840
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 110854 75 0 0 25 0 11 0 543155850 869212160 30871 4294967295 134512640 134569956 3221224400 3221214752 1131216635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30871 13073 16 0 212194 0
vsize: 848840
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 111830 75 0 0 25 0 11 0 543155850 869212160 30931 4294967295 134512640 134569956 3221224400 3221214752 1131216656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30931 13073 16 0 212194 0
vsize: 848840
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 112803 76 0 0 25 0 11 0 543155850 869212160 30973 4294967295 134512640 134569956 3221224400 3221214752 1131215866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 30973 13073 16 0 212194 0
vsize: 848840
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 113781 76 0 0 25 0 11 0 543155850 869212160 31050 4294967295 134512640 134569956 3221224400 3221214752 1131215683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212210 31050 13073 16 0 212194 0
vsize: 848840
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 114758 76 0 0 25 0 11 0 543155850 869212160 31099 4294967295 134512640 134569956 3221224400 3221214752 1131215781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 31099 13073 16 0 212194 0
vsize: 848840
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 115737 76 0 0 25 0 11 0 543155850 869212160 31135 4294967295 134512640 134569956 3221224400 3221214752 1131215390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 31135 13073 16 0 212194 0
vsize: 848840
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 116714 76 0 0 25 0 11 0 543155850 869212160 31172 4294967295 134512640 134569956 3221224400 3221214632 1131308755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 31172 13073 16 0 212194 0
vsize: 848840
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 117692 77 0 0 25 0 11 0 543155850 869212160 31224 4294967295 134512640 134569956 3221224400 3221214752 1131215797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 31224 13073 16 0 212194 0
vsize: 848840
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 118671 77 0 0 25 0 11 0 543155850 869212160 31263 4294967295 134512640 134569956 3221224400 3221214752 1131216646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 31263 13073 16 0 212194 0
vsize: 848840
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 119648 77 0 0 25 0 11 0 543155850 869212160 31302 4294967295 134512640 134569956 3221224400 3221214752 1131216258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 31302 13073 16 0 212194 0
vsize: 848840
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31433
Raw data (stat): 31419 (java) R 31418 28099 28098 0 -1 0 18078 3 1 0 120622 78 0 0 24 0 11 0 543155850 869212160 31367 4294967295 134512640 134569956 3221224400 3221214848 1131259159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212210 31367 13073 16 0 212194 0
vsize: 848840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.21 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 31435
Raw data (stat): 31419 (java) Z 31418 28099 28098 0 -1 1036 18078 19457 1 2 120624 84 4482 58 25 0 1 0 543155850 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.21
CPU time (s): 1252.5
CPU user time (s): 1251.07
CPU system time (s): 1.43278
CPU usage (%): 100.991
Max. virtual memory (Kb): 849864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####