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/submitted/een/normalized-lseu.opb
MD5SUM	a578bf261896413ca78de4dc6db2447f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	89
Total number of constraints	28
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	2
Maximum length of a constraint	47
Trace number 6978

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-14 20:45:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5027 boxname=wulflinc10 idbench=387 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a578bf261896413ca78de4dc6db2447f  /oldhome/oroussel/tmp/wulflinc10/normalized-lseu.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-lseu.opb
IDLAUNCH: 5027
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        843636 kB
Buffers:         35920 kB
Cached:         135276 kB
SwapCached:        164 kB
Active:          59212 kB
Inactive:       114916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        843384 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11260 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 21:06:04 (client local time) WITH STATUS 143 IN 1235.63 SECONDS
stats: 5027 7 1235.63 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-lseu.opb
c reading problem 
c [nbvar=89]
c [nbconstr=28]
c time 0.403
c #vars     89
c #clauses  28
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=3730
c Current CPU time (ms) : 1.596
c starts	: 1
c conflicts	: 7
c decisions	: 84
c propagations	: 157
c inspects	: 225
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7
c root simplifications	: 1
c 
c CURRENT OPTIMUM=3491
c Current CPU time (ms) : 1.839
c starts	: 2
c conflicts	: 8
c decisions	: 121
c propagations	: 250
c inspects	: 329
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8
c root simplifications	: 2
c 
c CURRENT OPTIMUM=2535
c Current CPU time (ms) : 1.873
c starts	: 3
c conflicts	: 8
c decisions	: 189
c propagations	: 339
c inspects	: 482
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8
c root simplifications	: 3
c 
c CURRENT OPTIMUM=2286
c Current CPU time (ms) : 2.075
c starts	: 4
c conflicts	: 9
c decisions	: 257
c propagations	: 435
c inspects	: 525
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 9
c root simplifications	: 4
c 
c CURRENT OPTIMUM=2283
c Current CPU time (ms) : 2.105
c starts	: 5
c conflicts	: 9
c decisions	: 325
c propagations	: 524
c inspects	: 579
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 9
c root simplifications	: 5
c 
c CURRENT OPTIMUM=2119
c Current CPU time (ms) : 2.318
c starts	: 6
c conflicts	: 12
c decisions	: 410
c propagations	: 641
c inspects	: 653
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 12
c root simplifications	: 6
c 
c CURRENT OPTIMUM=2118
c Current CPU time (ms) : 2.519
c starts	: 7
c conflicts	: 13
c decisions	: 476
c propagations	: 736
c inspects	: 730
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 13
c root simplifications	: 7
c 
c CURRENT OPTIMUM=1980
c Current CPU time (ms) : 3.405
c starts	: 8
c conflicts	: 17
c decisions	: 549
c propagations	: 853
c inspects	: 927
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 17
c root simplifications	: 8
c 
c CURRENT OPTIMUM=1922
c Current CPU time (ms) : 14.026
c starts	: 10
c conflicts	: 129
c decisions	: 973
c propagations	: 2538
c inspects	: 10920
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 129
c root simplifications	: 10
c 
c CURRENT OPTIMUM=1651
c Current CPU time (ms) : 14.226
c starts	: 11
c conflicts	: 135
c decisions	: 1043
c propagations	: 2659
c inspects	: 12313
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 135
c root simplifications	: 11
c 
c CURRENT OPTIMUM=1570
c Current CPU time (ms) : 48.685
c starts	: 14
c conflicts	: 581
c decisions	: 2783
c propagations	: 8908
c inspects	: 112321
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 581
c root simplifications	: 14
c 
c CURRENT OPTIMUM=1546
c Current CPU time (ms) : 50.369
c starts	: 15
c conflicts	: 594
c decisions	: 2910
c propagations	: 9197
c inspects	: 121273
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 594
c root simplifications	: 15
c 
c CURRENT OPTIMUM=1534
c Current CPU time (ms) : 77.457
c starts	: 17
c conflicts	: 765
c decisions	: 3415
c propagations	: 11444
c inspects	: 204784
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 765
c root simplifications	: 17
c 
c CURRENT OPTIMUM=1532
c Current CPU time (ms) : 91.694
c starts	: 19
c conflicts	: 878
c decisions	: 3757
c propagations	: 13222
c inspects	: 269372
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 878
c root simplifications	: 19
c 
c CURRENT OPTIMUM=1399
c Current CPU time (ms) : 140.558
c starts	: 22
c conflicts	: 1229
c decisions	: 4768
c propagations	: 17753
c inspects	: 474937
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1229
c root simplifications	: 22
c 
c CURRENT OPTIMUM=1291
c Current CPU time (ms) : 381.193
c starts	: 27
c conflicts	: 2045
c decisions	: 7630
c propagations	: 29347
c inspects	: 1211233
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2045
c root simplifications	: 27
c 
c CURRENT OPTIMUM=1255
c Current CPU time (ms) : 605.068
c starts	: 32
c conflicts	: 2862
c decisions	: 10193
c propagations	: 39766
c inspects	: 2254460
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2862
c root simplifications	: 32
#### 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.91 0.95 0.68 2/54 5460
Raw data (stat): 5460 (runsolver) R 5459 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 429360558 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 1.23 1.02 0.71 4/64 5478
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 17766 10 1 0 579 37 0 0 25 0 11 0 429360558 871350272 21932 4294967295 134512640 134569956 3221224416 3221214784 1131191644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212732 21932 13073 16 0 212716 0
vsize: 850928
[startup+20.0072 s]
Raw data (loadavg): 1.27 1.03 0.71 2/64 5480
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18076 10 1 0 1470 39 0 0 25 0 11 0 429360558 871186432 23076 4294967295 134512640 134569956 3221224416 3221214808 1131195607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212692 23076 13073 16 0 212676 0
vsize: 850768
[startup+30.0076 s]
Raw data (loadavg): 1.23 1.03 0.72 2/64 5480
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18076 10 1 0 2437 39 0 0 25 0 11 0 429360558 870137856 23034 4294967295 134512640 134569956 3221224416 3221214704 1131393669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212436 23034 13073 16 0 212420 0
vsize: 849744
[startup+40.0085 s]
Raw data (loadavg): 1.19 1.03 0.72 2/64 5480
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18076 10 1 0 3396 39 0 0 25 0 11 0 429360558 870137856 23316 4294967295 134512640 134569956 3221224416 3221214704 1131150911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 23316 13073 16 0 212420 0
vsize: 849744
[startup+50.0091 s]
Raw data (loadavg): 1.16 1.03 0.72 2/64 5481
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 4348 39 0 0 25 0 11 0 429360558 870137856 23568 4294967295 134512640 134569956 3221224416 3221214192 1085679766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212436 23568 13073 16 0 212420 0
vsize: 849744
[startup+60.0083 s]
Raw data (loadavg): 1.14 1.03 0.73 2/64 5482
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 5298 39 0 0 24 0 11 0 429360558 870137856 23876 4294967295 134512640 134569956 3221224416 3221214704 1131150864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 23876 13073 16 0 212420 0
vsize: 849744
[startup+70.0115 s]
Raw data (loadavg): 1.12 1.03 0.73 2/64 5482
Raw data (stat): 5460 (java) S 5459 25347 25346 0 -1 0 18077 10 1 0 6259 39 0 0 25 0 11 0 429360558 870137856 24072 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 24072 13073 16 0 212420 0
vsize: 849744
[startup+80.0129 s]
Raw data (loadavg): 1.10 1.02 0.73 2/64 5483
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 7226 40 0 0 25 0 11 0 429360558 870137856 24206 4294967295 134512640 134569956 3221224416 3221214892 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 24206 13073 16 0 212420 0
vsize: 849744
[startup+90.0118 s]
Raw data (loadavg): 1.08 1.02 0.73 2/64 5483
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 8192 40 0 0 25 0 11 0 429360558 870137856 24332 4294967295 134512640 134569956 3221224416 3221214704 1131150704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 24332 13073 16 0 212420 0
vsize: 849744
[startup+100.012 s]
Raw data (loadavg): 1.07 1.02 0.73 2/64 5484
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 9157 40 0 0 25 0 11 0 429360558 870137856 24436 4294967295 134512640 134569956 3221224416 3221214704 1131150739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 24436 13073 16 0 212420 0
vsize: 849744
[startup+110.012 s]
Raw data (loadavg): 1.06 1.02 0.74 2/64 5484
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 10121 40 0 0 25 0 11 0 429360558 870137856 24514 4294967295 134512640 134569956 3221224416 3221214568 1131189788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 24514 13073 16 0 212420 0
vsize: 849744
[startup+120.013 s]
Raw data (loadavg): 1.05 1.02 0.74 2/64 5484
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 11083 40 0 0 25 0 11 0 429360558 870137856 24650 4294967295 134512640 134569956 3221224416 3221214816 1131236903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 24650 13073 16 0 212420 0
vsize: 849744
[startup+130.013 s]
Raw data (loadavg): 1.04 1.02 0.74 2/64 5484
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 12048 40 0 0 25 0 11 0 429360558 870137856 24778 4294967295 134512640 134569956 3221224416 3221214528 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 24778 13073 16 0 212420 0
vsize: 849744
[startup+140.02 s]
Raw data (loadavg): 1.03 1.02 0.74 2/64 5484
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 13014 40 0 0 25 0 11 0 429360558 870137856 24887 4294967295 134512640 134569956 3221224416 3221214448 1131421996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 24887 13073 16 0 212420 0
vsize: 849744
[startup+150.027 s]
Raw data (loadavg): 1.03 1.02 0.74 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 13985 40 0 0 25 0 11 0 429360558 870137856 24982 4294967295 134512640 134569956 3221224416 3221214440 1131385053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 24982 13073 16 0 212420 0
vsize: 849744
[startup+160.027 s]
Raw data (loadavg): 1.02 1.02 0.75 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 14959 40 0 0 25 0 11 0 429360558 870137856 25052 4294967295 134512640 134569956 3221224416 3221214208 1131419531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 25052 13073 16 0 212420 0
vsize: 849744
[startup+170.028 s]
Raw data (loadavg): 1.02 1.02 0.75 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 15922 40 0 0 24 0 11 0 429360558 870137856 25154 4294967295 134512640 134569956 3221224416 3221214704 1131150627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 25154 13073 16 0 212420 0
vsize: 849744
[startup+180.028 s]
Raw data (loadavg): 1.02 1.02 0.75 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 16890 40 0 0 25 0 11 0 429360558 870137856 25248 4294967295 134512640 134569956 3221224416 3221214600 1131150481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 25248 13073 16 0 212420 0
vsize: 849744
[startup+190.028 s]
Raw data (loadavg): 1.01 1.01 0.75 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 17859 40 0 0 25 0 11 0 429360558 870137856 25346 4294967295 134512640 134569956 3221224416 3221214704 1131150597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 25346 13073 16 0 212420 0
vsize: 849744
[startup+200.028 s]
Raw data (loadavg): 1.01 1.01 0.75 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 18827 41 0 0 25 0 11 0 429360558 870137856 25450 4294967295 134512640 134569956 3221224416 3221214036 1131384780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 25450 13073 16 0 212420 0
vsize: 849744
[startup+210.028 s]
Raw data (loadavg): 1.01 1.01 0.76 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 19796 41 0 0 25 0 11 0 429360558 870137856 25537 4294967295 134512640 134569956 3221224416 3221214276 1131421963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 25537 13073 16 0 212420 0
vsize: 849744
[startup+220.029 s]
Raw data (loadavg): 1.09 1.03 0.76 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 20765 41 0 0 25 0 11 0 429360558 870137856 25651 4294967295 134512640 134569956 3221224416 3221214192 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 25651 13073 16 0 212420 0
vsize: 849744
[startup+230.029 s]
Raw data (loadavg): 1.07 1.03 0.77 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 21739 41 0 0 25 0 11 0 429360558 870137856 25721 4294967295 134512640 134569956 3221224416 3221214808 1131192673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 25721 13073 16 0 212420 0
vsize: 849744
[startup+240.028 s]
Raw data (loadavg): 1.06 1.03 0.77 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 22708 41 0 0 24 0 11 0 429360558 870137856 25814 4294967295 134512640 134569956 3221224416 3221214704 1131150624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 25814 13073 16 0 212420 0
vsize: 849744
[startup+250.028 s]
Raw data (loadavg): 1.05 1.02 0.77 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 23683 41 0 0 25 0 11 0 429360558 870137856 25879 4294967295 134512640 134569956 3221224416 3221214736 1131156677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212436 25879 13073 16 0 212420 0
vsize: 849744
[startup+260.029 s]
Raw data (loadavg): 1.04 1.02 0.77 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 24658 41 0 0 25 0 11 0 429360558 870137856 25963 4294967295 134512640 134569956 3221224416 3221214464 1131544891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 25963 13073 16 0 212420 0
vsize: 849744
[startup+270.029 s]
Raw data (loadavg): 1.04 1.02 0.77 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 25640 41 0 0 25 0 11 0 429360558 870137856 26023 4294967295 134512640 134569956 3221224416 3221214560 1131532462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26023 13073 16 0 212420 0
vsize: 849744
[startup+280.029 s]
Raw data (loadavg): 1.03 1.02 0.78 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 26613 41 0 0 25 0 11 0 429360558 870137856 26118 4294967295 134512640 134569956 3221224416 3221214692 1131605747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26118 13073 16 0 212420 0
vsize: 849744
[startup+290.029 s]
Raw data (loadavg): 1.02 1.02 0.78 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 27589 41 0 0 24 0 11 0 429360558 870137856 26218 4294967295 134512640 134569956 3221224416 3221214584 1131341081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26218 13073 16 0 212420 0
vsize: 849744
[startup+300.029 s]
Raw data (loadavg): 1.02 1.02 0.78 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 28571 41 0 0 25 0 11 0 429360558 870137856 26277 4294967295 134512640 134569956 3221224416 3221214808 1131192632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26277 13073 16 0 212420 0
vsize: 849744
[startup+310.029 s]
Raw data (loadavg): 1.02 1.02 0.78 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 29549 41 0 0 25 0 11 0 429360558 870137856 26362 4294967295 134512640 134569956 3221224416 3221214616 1131381719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26362 13073 16 0 212420 0
vsize: 849744
[startup+320.03 s]
Raw data (loadavg): 1.01 1.02 0.78 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 30536 41 0 0 25 0 11 0 429360558 870137856 26413 4294967295 134512640 134569956 3221224416 3221214752 1131332773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26413 13073 16 0 212420 0
vsize: 849744
[startup+330.029 s]
Raw data (loadavg): 1.01 1.02 0.79 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 31516 41 0 0 25 0 11 0 429360558 870137856 26481 4294967295 134512640 134569956 3221224416 3221214584 1131341134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26481 13073 16 0 212420 0
vsize: 849744
[startup+340.029 s]
Raw data (loadavg): 1.01 1.02 0.79 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 32500 41 0 0 25 0 11 0 429360558 870137856 26541 4294967295 134512640 134569956 3221224416 3221214576 1131381852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26541 13073 16 0 212420 0
vsize: 849744
[startup+350.03 s]
Raw data (loadavg): 1.01 1.02 0.79 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 33487 41 0 0 25 0 11 0 429360558 870137856 26586 4294967295 134512640 134569956 3221224416 3221214704 1131391183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26586 13073 16 0 212420 0
vsize: 849744
[startup+360.03 s]
Raw data (loadavg): 1.01 1.01 0.79 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 34482 41 0 0 25 0 11 0 429360558 870137856 26608 4294967295 134512640 134569956 3221224416 3221214576 1131164294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26608 13073 16 0 212420 0
vsize: 849744
[startup+370.03 s]
Raw data (loadavg): 1.00 1.01 0.79 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 35470 41 0 0 25 0 11 0 429360558 870137856 26647 4294967295 134512640 134569956 3221224416 3221214168 1131385020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26647 13073 16 0 212420 0
vsize: 849744
[startup+380.03 s]
Raw data (loadavg): 1.00 1.01 0.79 2/64 5485
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 36455 41 0 0 25 0 11 0 429360558 870137856 26714 4294967295 134512640 134569956 3221224416 3221214808 1131191644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26714 13073 16 0 212420 0
vsize: 849744
[startup+390.03 s]
Raw data (loadavg): 1.00 1.01 0.80 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 37439 42 0 0 25 0 11 0 429360558 870137856 26789 4294967295 134512640 134569956 3221224416 3221214704 1131150675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26789 13073 16 0 212420 0
vsize: 849744
[startup+400.031 s]
Raw data (loadavg): 1.00 1.01 0.80 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 38418 42 0 0 25 0 11 0 429360558 870137856 26858 4294967295 134512640 134569956 3221224416 3221214032 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26858 13073 16 0 212420 0
vsize: 849744
[startup+410.03 s]
Raw data (loadavg): 1.00 1.01 0.80 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 39397 42 0 0 25 0 11 0 429360558 870137856 26931 4294967295 134512640 134569956 3221224416 3221214704 1131150816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26931 13073 16 0 212420 0
vsize: 849744
[startup+420.031 s]
Raw data (loadavg): 1.00 1.01 0.80 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 40380 42 0 0 25 0 11 0 429360558 870137856 26955 4294967295 134512640 134569956 3221224416 3221214600 1131533909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 26955 13073 16 0 212420 0
vsize: 849744
[startup+430.032 s]
Raw data (loadavg): 1.00 1.01 0.80 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 41353 42 0 0 25 0 11 0 429360558 870137856 27050 4294967295 134512640 134569956 3221224416 3221214704 1131150838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27050 13073 16 0 212420 0
vsize: 849744
[startup+440.031 s]
Raw data (loadavg): 1.00 1.01 0.81 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 42326 42 0 0 24 0 11 0 429360558 870137856 27120 4294967295 134512640 134569956 3221224416 3221214704 1131393285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27120 13073 16 0 212420 0
vsize: 849744
[startup+450.033 s]
Raw data (loadavg): 1.00 1.01 0.81 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 43304 42 0 0 25 0 11 0 429360558 870137856 27191 4294967295 134512640 134569956 3221224416 3221214656 1131150627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27191 13073 16 0 212420 0
vsize: 849744
[startup+460.032 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 44281 42 0 0 25 0 11 0 429360558 870137856 27255 4294967295 134512640 134569956 3221224416 3221213936 1131419603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27255 13073 16 0 212420 0
vsize: 849744
[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 45255 42 0 0 25 0 11 0 429360558 870137856 27323 4294967295 134512640 134569956 3221224416 3221214688 1131173011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27323 13073 16 0 212420 0
vsize: 849744
[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 46228 42 0 0 25 0 11 0 429360558 870137856 27393 4294967295 134512640 134569956 3221224416 3221214688 1131172858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27393 13073 16 0 212420 0
vsize: 849744
[startup+490.032 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 47208 42 0 0 25 0 11 0 429360558 870137856 27433 4294967295 134512640 134569956 3221224416 3221214420 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27433 13073 16 0 212420 0
vsize: 849744
[startup+500.034 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 48187 42 0 0 25 0 11 0 429360558 870137856 27481 4294967295 134512640 134569956 3221224416 3221214664 1131425557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27481 13073 16 0 212420 0
vsize: 849744
[startup+510.033 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 49166 42 0 0 25 0 11 0 429360558 870137856 27536 4294967295 134512640 134569956 3221224416 3221214656 1131150597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27536 13073 16 0 212420 0
vsize: 849744
[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 50145 42 0 0 25 0 11 0 429360558 870137856 27597 4294967295 134512640 134569956 3221224416 3221214656 1131150183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27597 13073 16 0 212420 0
vsize: 849744
[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 51124 42 0 0 25 0 11 0 429360558 870137856 27659 4294967295 134512640 134569956 3221224416 3221214672 1131389918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27659 13073 16 0 212420 0
vsize: 849744
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 52095 43 0 0 25 0 11 0 429360558 870137856 27750 4294967295 134512640 134569956 3221224416 3221214656 1131150675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27750 13073 16 0 212420 0
vsize: 849744
[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 53071 43 0 0 25 0 11 0 429360558 870137856 27825 4294967295 134512640 134569956 3221224416 3221214112 1131385032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27825 13073 16 0 212420 0
vsize: 849744
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 54051 43 0 0 25 0 11 0 429360558 870137856 27881 4294967295 134512640 134569956 3221224416 3221214656 1131150880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27881 13073 16 0 212420 0
vsize: 849744
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 55026 43 0 0 25 0 11 0 429360558 870137856 27942 4294967295 134512640 134569956 3221224416 3221214536 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 27942 13073 16 0 212420 0
vsize: 849744
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 56001 43 0 0 25 0 11 0 429360558 870137856 28004 4294967295 134512640 134569956 3221224416 3221214232 1131384927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28004 13073 16 0 212420 0
vsize: 849744
[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 56976 43 0 0 25 0 11 0 429360558 870137856 28061 4294967295 134512640 134569956 3221224416 3221214760 1131191568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28061 13073 16 0 212420 0
vsize: 849744
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 5486
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 57954 43 0 0 25 0 11 0 429360558 870137856 28117 4294967295 134512640 134569956 3221224416 3221214168 1131384876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28117 13073 16 0 212420 0
vsize: 849744
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 58936 43 0 0 25 0 11 0 429360558 870137856 28166 4294967295 134512640 134569956 3221224416 3221214504 1131172973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28166 13073 16 0 212420 0
vsize: 849744
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 59916 43 0 0 25 0 11 0 429360558 870137856 28220 4294967295 134512640 134569956 3221224416 3221214364 1080217332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28220 13073 16 0 212420 0
vsize: 849744
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 60903 43 0 0 25 0 11 0 429360558 870137856 28265 4294967295 134512640 134569956 3221224416 3221214656 1131150183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28265 13073 16 0 212420 0
vsize: 849744
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 61887 43 0 0 25 0 11 0 429360558 870137856 28318 4294967295 134512640 134569956 3221224416 3221214656 1131150627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28318 13073 16 0 212420 0
vsize: 849744
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 62864 43 0 0 25 0 11 0 429360558 870137856 28386 4294967295 134512640 134569956 3221224416 3221214760 1131192599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28386 13073 16 0 212420 0
vsize: 849744
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 63841 43 0 0 25 0 11 0 429360558 870137856 28445 4294967295 134512640 134569956 3221224416 3221214772 1080203717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28445 13073 16 0 212420 0
vsize: 849744
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 64818 43 0 0 25 0 11 0 429360558 870137856 28502 4294967295 134512640 134569956 3221224416 3221214672 1131393669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28502 13073 16 0 212420 0
vsize: 849744
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 65798 43 0 0 25 0 11 0 429360558 870137856 28566 4294967295 134512640 134569956 3221224416 3221214760 1131191575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28566 13073 16 0 212420 0
vsize: 849744
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 66778 43 0 0 25 0 11 0 429360558 870137856 28613 4294967295 134512640 134569956 3221224416 3221214920 1131554393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28613 13073 16 0 212420 0
vsize: 849744
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 67749 43 0 0 25 0 11 0 429360558 870137856 28686 4294967295 134512640 134569956 3221224416 3221214656 1131150271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28686 13073 16 0 212420 0
vsize: 849744
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 68728 43 0 0 25 0 11 0 429360558 870137856 28736 4294967295 134512640 134569956 3221224416 3221214336 1131384988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28736 13073 16 0 212420 0
vsize: 849744
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 69699 43 0 0 25 0 11 0 429360558 870137856 28820 4294967295 134512640 134569956 3221224416 3221214880 1131604987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28820 13073 16 0 212420 0
vsize: 849744
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 70678 43 0 0 25 0 11 0 429360558 870137856 28867 4294967295 134512640 134569956 3221224416 3221214656 1131150627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28867 13073 16 0 212420 0
vsize: 849744
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 71657 43 0 0 25 0 11 0 429360558 870137856 28925 4294967295 134512640 134569956 3221224416 3221214472 1131568706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 28925 13073 16 0 212420 0
vsize: 849744
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 72629 43 0 0 25 0 11 0 429360558 870137856 29001 4294967295 134512640 134569956 3221224416 3221214472 1131577927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29001 13073 16 0 212420 0
vsize: 849744
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 73605 43 0 0 25 0 11 0 429360558 870137856 29059 4294967295 134512640 134569956 3221224416 3221214448 1131384873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29059 13073 16 0 212420 0
vsize: 849744
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 74582 43 0 0 25 0 11 0 429360558 870137856 29132 4294967295 134512640 134569956 3221224416 3221214656 1131150824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29132 13073 16 0 212420 0
vsize: 849744
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 75559 43 0 0 25 0 11 0 429360558 870137856 29202 4294967295 134512640 134569956 3221224416 3221214656 1131150362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29202 13073 16 0 212420 0
vsize: 849744
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 76540 43 0 0 25 0 11 0 429360558 870137856 29255 4294967295 134512640 134569956 3221224416 3221214480 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29255 13073 16 0 212420 0
vsize: 849744
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 77524 44 0 0 25 0 11 0 429360558 870137856 29294 4294967295 134512640 134569956 3221224416 3221214760 1131195041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29294 13073 16 0 212420 0
vsize: 849744
[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 78498 44 0 0 25 0 11 0 429360558 870137856 29342 4294967295 134512640 134569956 3221224416 3221214656 1131150660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29342 13073 16 0 212420 0
vsize: 849744
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 79481 44 0 0 25 0 11 0 429360558 870137856 29383 4294967295 134512640 134569956 3221224416 3221214288 1131384992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29383 13073 16 0 212420 0
vsize: 849744
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 80454 44 0 0 25 0 11 0 429360558 870137856 29450 4294967295 134512640 134569956 3221224416 3221214504 1131173283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29450 13073 16 0 212420 0
vsize: 849744
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 81432 44 0 0 25 0 11 0 429360558 870137856 29509 4294967295 134512640 134569956 3221224416 3221214760 1131192643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29509 13073 16 0 212420 0
vsize: 849744
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 82400 44 0 0 25 0 11 0 429360558 870137856 29606 4294967295 134512640 134569956 3221224416 3221214656 1131150808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29606 13073 16 0 212420 0
vsize: 849744
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 5487
Raw data (stat): 5460 (java) S 5459 25347 25346 0 -1 0 18077 10 1 0 83374 44 0 0 25 0 11 0 429360558 870137856 29678 4294967295 134512640 134569956 3221224416 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29678 13073 16 0 212420 0
vsize: 849744
[startup+870.05 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 84351 44 0 0 25 0 11 0 429360558 870137856 29749 4294967295 134512640 134569956 3221224416 3221214472 1131571848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29749 13073 16 0 212420 0
vsize: 849744
[startup+880.107 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 5487
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 85332 44 0 0 25 0 11 0 429360558 870137856 29834 4294967295 134512640 134569956 3221224416 3221214544 1131381601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29834 13073 16 0 212420 0
vsize: 849744
[startup+890.109 s]
Raw data (loadavg): 1.08 1.02 0.86 2/64 5540
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 86301 53 0 0 25 0 11 0 429360558 870137856 29889 4294967295 134512640 134569956 3221224416 3221214624 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29889 13073 16 0 212420 0
vsize: 849744
[startup+900.109 s]
Raw data (loadavg): 1.07 1.02 0.86 2/64 5540
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 87273 53 0 0 25 0 11 0 429360558 870137856 29951 4294967295 134512640 134569956 3221224416 3221214544 1131165399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29951 13073 16 0 212420 0
vsize: 849744
[startup+910.109 s]
Raw data (loadavg): 1.06 1.01 0.86 2/64 5540
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 88252 53 0 0 25 0 11 0 429360558 870137856 29992 4294967295 134512640 134569956 3221224416 3221214656 1131150627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 29992 13073 16 0 212420 0
vsize: 849744
[startup+920.109 s]
Raw data (loadavg): 1.05 1.01 0.86 2/64 5540
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 89223 54 0 0 25 0 11 0 429360558 870137856 30077 4294967295 134512640 134569956 3221224416 3221214760 1131191575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30077 13073 16 0 212420 0
vsize: 849744
[startup+930.109 s]
Raw data (loadavg): 1.04 1.01 0.87 2/64 5540
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 90195 54 0 0 25 0 11 0 429360558 870137856 30162 4294967295 134512640 134569956 3221224416 3221214480 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30162 13073 16 0 212420 0
vsize: 849744
[startup+940.109 s]
Raw data (loadavg): 1.03 1.01 0.87 2/64 5540
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 91171 54 0 0 25 0 11 0 429360558 870137856 30210 4294967295 134512640 134569956 3221224416 3221214064 1131421969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30210 13073 16 0 212420 0
vsize: 849744
[startup+950.11 s]
Raw data (loadavg): 1.03 1.01 0.87 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 92148 54 0 0 24 0 11 0 429360558 870137856 30270 4294967295 134512640 134569956 3221224416 3221214656 1131151120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30270 13073 16 0 212420 0
vsize: 849744
[startup+960.11 s]
Raw data (loadavg): 1.02 1.01 0.87 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 93128 54 0 0 25 0 11 0 429360558 870137856 30321 4294967295 134512640 134569956 3221224416 3221214656 1131150652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30321 13073 16 0 212420 0
vsize: 849744
[startup+970.111 s]
Raw data (loadavg): 1.02 1.01 0.87 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 94102 54 0 0 25 0 11 0 429360558 870137856 30391 4294967295 134512640 134569956 3221224416 3221214788 1131173928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30391 13073 16 0 212420 0
vsize: 849744
[startup+980.111 s]
Raw data (loadavg): 1.02 1.01 0.87 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 95084 54 0 0 25 0 11 0 429360558 870137856 30434 4294967295 134512640 134569956 3221224416 3221213928 1085679735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30434 13073 16 0 212420 0
vsize: 849744
[startup+990.111 s]
Raw data (loadavg): 1.01 1.01 0.87 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 96058 54 0 0 25 0 11 0 429360558 870137856 30506 4294967295 134512640 134569956 3221224416 3221214720 1131332604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30506 13073 16 0 212420 0
vsize: 849744
[startup+1000.11 s]
Raw data (loadavg): 1.01 1.01 0.87 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 97040 54 0 0 25 0 11 0 429360558 870137856 30547 4294967295 134512640 134569956 3221224416 3221214112 1131385007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30547 13073 16 0 212420 0
vsize: 849744
[startup+1010.11 s]
Raw data (loadavg): 1.01 1.00 0.87 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 98022 54 0 0 25 0 11 0 429360558 870137856 30603 4294967295 134512640 134569956 3221224416 3221214760 1131192660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30603 13073 16 0 212420 0
vsize: 849744
[startup+1020.11 s]
Raw data (loadavg): 1.01 1.00 0.87 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 99001 54 0 0 25 0 11 0 429360558 870137856 30649 4294967295 134512640 134569956 3221224416 3221214656 1131150479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30649 13073 16 0 212420 0
vsize: 849744
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 99983 54 0 0 25 0 11 0 429360558 870137856 30678 4294967295 134512640 134569956 3221224416 3221214684 1131137907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30678 13073 16 0 212420 0
vsize: 849744
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 100963 54 0 0 25 0 11 0 429360558 870137856 30728 4294967295 134512640 134569956 3221224416 3221214672 1131384974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30728 13073 16 0 212420 0
vsize: 849744
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 101940 54 0 0 25 0 11 0 429360558 870137856 30787 4294967295 134512640 134569956 3221224416 3221214564 1131421968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30787 13073 16 0 212420 0
vsize: 849744
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 102916 54 0 0 25 0 11 0 429360558 870137856 30819 4294967295 134512640 134569956 3221224416 3221214656 1131151392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30819 13073 16 0 212420 0
vsize: 849744
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 103889 54 0 0 25 0 11 0 429360558 870137856 30876 4294967295 134512640 134569956 3221224416 3221214672 1131390410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30876 13073 16 0 212420 0
vsize: 849744
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 104874 54 0 0 25 0 11 0 429360558 870137856 30911 4294967295 134512640 134569956 3221224416 3221213812 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30911 13073 16 0 212420 0
vsize: 849744
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 105858 54 0 0 25 0 11 0 429360558 870137856 30968 4294967295 134512640 134569956 3221224416 3221214560 1131384810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 30968 13073 16 0 212420 0
vsize: 849744
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 106844 54 0 0 25 0 11 0 429360558 870137856 31022 4294967295 134512640 134569956 3221224416 3221214328 1131425557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31022 13073 16 0 212420 0
vsize: 849744
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 107822 54 0 0 24 0 11 0 429360558 870137856 31061 4294967295 134512640 134569956 3221224416 3221214760 1131192646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31061 13073 16 0 212420 0
vsize: 849744
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 108803 54 0 0 25 0 11 0 429360558 870137856 31108 4294967295 134512640 134569956 3221224416 3221214792 1131314504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31108 13073 16 0 212420 0
vsize: 849744
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 109784 55 0 0 25 0 11 0 429360558 870137856 31141 4294967295 134512640 134569956 3221224416 3221214656 1131150747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31141 13073 16 0 212420 0
vsize: 849744
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 110763 55 0 0 25 0 11 0 429360558 870137856 31175 4294967295 134512640 134569956 3221224416 3221213816 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31175 13073 16 0 212420 0
vsize: 849744
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 111738 55 0 0 25 0 11 0 429360558 870137856 31221 4294967295 134512640 134569956 3221224416 3221214656 1131150627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31221 13073 16 0 212420 0
vsize: 849744
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 112712 55 0 0 25 0 11 0 429360558 870137856 31285 4294967295 134512640 134569956 3221224416 3221214664 1131385032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31285 13073 16 0 212420 0
vsize: 849744
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 113687 55 0 0 25 0 11 0 429360558 870137856 31337 4294967295 134512640 134569956 3221224416 3221214728 1131561889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31337 13073 16 0 212420 0
vsize: 849744
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 114658 55 0 0 25 0 11 0 429360558 870137856 31400 4294967295 134512640 134569956 3221224416 3221214760 1131194938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31400 13073 16 0 212420 0
vsize: 849744
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 115626 55 0 0 25 0 11 0 429360558 870137856 31498 4294967295 134512640 134569956 3221224416 3221214656 1131150832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31498 13073 16 0 212420 0
vsize: 849744
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 5542
Raw data (stat): 5460 (java) S 5459 25347 25346 0 -1 0 18077 10 1 0 116604 55 0 0 25 0 11 0 429360558 870137856 31559 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31559 13073 16 0 212420 0
vsize: 849744
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 117581 55 0 0 24 0 11 0 429360558 870137856 31612 4294967295 134512640 134569956 3221224416 3221214016 1131421916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31612 13073 16 0 212420 0
vsize: 849744
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 118561 55 0 0 24 0 11 0 429360558 870137856 31660 4294967295 134512640 134569956 3221224416 3221214760 1131192646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31660 13073 16 0 212420 0
vsize: 849744
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 5542
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 119533 55 0 0 25 0 11 0 429360558 870137856 31708 4294967295 134512640 134569956 3221224416 3221214544 1131166264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31708 13073 16 0 212420 0
vsize: 849744
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 5544
Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 120509 55 0 0 25 0 11 0 429360558 870137856 31783 4294967295 134512640 134569956 3221224416 3221214656 1131150183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212436 31783 13073 16 0 212420 0
vsize: 849744
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.23 s]
Raw data (loadavg): 1.00 1.00 0.90 1/54 5546
Raw data (stat): 5460 (java) Z 5459 25347 25346 0 -1 1036 18077 9776 1 0 120512 55 2964 31 25 0 1 0 429360558 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.23
CPU time (s): 1235.63
CPU user time (s): 1234.76
CPU system time (s): 0.866868
CPU usage (%): 99.629
Max. virtual memory (Kb): 850928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####