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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
MD5SUM	7850e0b228f4ef5ee038a9c3595683ab
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	58579
Number of constraints which are clauses	58579
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 4497

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        747312 kB
Buffers:         36992 kB
Cached:         209576 kB
SwapCached:          0 kB
Active:          80020 kB
Inactive:       169320 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        747060 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            32428 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:14:13 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2997 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-frb45-21-5.opb
c reading problem 
c [nbvar=945]
c [nbconstr=58579]
c time 9.561
c #vars     945
c #clauses  58579
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=0
c Current CPU time (ms) : 9.993
c starts	: 1
c conflicts	: 0
c decisions	: 945
c propagations	: 945
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-1
c Current CPU time (ms) : 10.181
c starts	: 2
c conflicts	: 0
c decisions	: 1889
c propagations	: 1890
c inspects	: 264
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-2
c Current CPU time (ms) : 15.432
c starts	: 3
c conflicts	: 20
c decisions	: 2833
c propagations	: 3065
c inspects	: 3434
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-32
c Current CPU time (ms) : 15.584
c starts	: 4
c conflicts	: 20
c decisions	: 2865
c propagations	: 4010
c inspects	: 7218
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-33
c Current CPU time (ms) : 90.578
c starts	: 7
c conflicts	: 272
c decisions	: 3245
c propagations	: 8750
c inspects	: 109533
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 272
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-34
c Current CPU time (ms) : 104.979
c starts	: 8
c conflicts	: 331
c decisions	: 3359
c propagations	: 10085
c inspects	: 135968
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 331
c root simplifications	: 8
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 12719
Raw data (stat): 12719 (runsolver) R 12718 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477891760 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.0003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 12728
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 17999 0 1 0 777 45 0 0 25 0 10 0 477891760 859488256 22657 4294967295 134512640 134569956 3221224416 3221214548 1131193237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209836 22657 13073 16 0 209820 0
vsize: 839344
[startup+20.001 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 12733
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18070 4 1 0 1514 46 0 0 25 0 11 0 477891760 858210304 29347 4294967295 134512640 134569956 3221224416 3221214808 1131357796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 29347 13073 16 0 209508 0
vsize: 838096
[startup+30.0013 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12733
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18070 4 1 0 2433 46 0 0 25 0 11 0 477891760 858210304 29350 4294967295 134512640 134569956 3221224416 3221214712 1131379572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 29350 13073 16 0 209508 0
vsize: 838096
[startup+40.0017 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12733
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 3332 46 0 0 25 0 11 0 477891760 858210304 29888 4294967295 134512640 134569956 3221224416 3221214808 1131357746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 29888 13073 16 0 209508 0
vsize: 838096
[startup+50.0025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12733
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 4216 46 0 0 25 0 11 0 477891760 858210304 30533 4294967295 134512640 134569956 3221224416 3221214712 1131199880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 30533 13073 16 0 209508 0
vsize: 838096
[startup+60.0027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12733
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 5114 46 0 0 25 0 11 0 477891760 858210304 30894 4294967295 134512640 134569956 3221224416 3221214712 1131199341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 30894 13073 16 0 209508 0
vsize: 838096
[startup+70.0031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12733
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 6012 46 0 0 25 0 11 0 477891760 858210304 31292 4294967295 134512640 134569956 3221224416 3221214624 1131254466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 31292 13073 16 0 209508 0
vsize: 838096
[startup+80.0037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12733
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 6919 47 0 0 25 0 11 0 477891760 858210304 31628 4294967295 134512640 134569956 3221224416 3221214808 1131357774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 31628 13073 16 0 209508 0
vsize: 838096
[startup+90.0031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12733
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 7814 47 0 0 25 0 11 0 477891760 858210304 32082 4294967295 134512640 134569956 3221224416 3221214712 1131200105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 32082 13073 16 0 209508 0
vsize: 838096
[startup+100.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12734
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 8684 47 0 0 25 0 11 0 477891760 858210304 32682 4294967295 134512640 134569956 3221224416 3221213792 1079753348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 32682 13073 16 0 209508 0
vsize: 838096
[startup+110.005 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 9542 47 0 0 24 0 11 0 477891760 862404608 33936 4294967295 134512640 134569956 3221224416 3221214712 1131199407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33936 13073 16 0 210532 0
vsize: 842192
[startup+120.006 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 10413 48 0 0 25 0 11 0 477891760 861356032 34400 4294967295 134512640 134569956 3221224416 3221214824 1131371773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 34400 13073 16 0 210276 0
vsize: 841168
[startup+130.007 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 11293 48 0 0 25 0 11 0 477891760 861356032 34829 4294967295 134512640 134569956 3221224416 3221214808 1131357796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 34829 13073 16 0 210276 0
vsize: 841168
[startup+140.008 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 12188 48 0 0 25 0 11 0 477891760 861356032 35138 4294967295 134512640 134569956 3221224416 3221214712 1131199845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 35138 13073 16 0 210276 0
vsize: 841168
[startup+150.008 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 13057 48 0 0 25 0 11 0 477891760 861356032 35446 4294967295 134512640 134569956 3221224416 3221214712 1131199136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 35446 13073 16 0 210276 0
vsize: 841168
[startup+160.008 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 13918 48 0 0 25 0 11 0 477891760 861356032 35791 4294967295 134512640 134569956 3221224416 3221214712 1131379376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 35791 13073 16 0 210276 0
vsize: 841168
[startup+170.008 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 14798 48 0 0 25 0 11 0 477891760 861356032 36138 4294967295 134512640 134569956 3221224416 3221214808 1131357746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 36138 13073 16 0 210276 0
vsize: 841168
[startup+180.008 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 15695 48 0 0 25 0 11 0 477891760 861356032 36377 4294967295 134512640 134569956 3221224416 3221214624 1131254294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 36377 13073 16 0 210276 0
vsize: 841168
[startup+190.009 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 16593 48 0 0 25 0 11 0 477891760 861356032 36694 4294967295 134512640 134569956 3221224416 3221214020 1077100736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 36694 13073 16 0 210276 0
vsize: 841168
[startup+200.009 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 17481 48 0 0 25 0 11 0 477891760 861356032 36947 4294967295 134512640 134569956 3221224416 3221214656 1131335120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 36947 13073 16 0 210276 0
vsize: 841168
[startup+210.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 18385 48 0 0 25 0 11 0 477891760 861356032 37212 4294967295 134512640 134569956 3221224416 3221214808 1131357789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 37212 13073 16 0 210276 0
vsize: 841168
[startup+220.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 19267 48 0 0 25 0 11 0 477891760 861356032 37532 4294967295 134512640 134569956 3221224416 3221214048 1131144225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 37532 13073 16 0 210276 0
vsize: 841168
[startup+230.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 20141 48 0 0 25 0 11 0 477891760 861356032 37818 4294967295 134512640 134569956 3221224416 3221214712 1131199109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 37818 13073 16 0 210276 0
vsize: 841168
[startup+240.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 21019 48 0 0 25 0 11 0 477891760 861356032 38168 4294967295 134512640 134569956 3221224416 3221214712 1131199345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 38168 13073 16 0 210276 0
vsize: 841168
[startup+250.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 21900 48 0 0 25 0 11 0 477891760 861356032 38619 4294967295 134512640 134569956 3221224416 3221214808 1131358704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 38619 13073 16 0 210276 0
vsize: 841168
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 22784 49 0 0 25 0 11 0 477891760 861356032 38875 4294967295 134512640 134569956 3221224416 3221214712 1131199673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 38875 13073 16 0 210276 0
vsize: 841168
[startup+270.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 23667 49 0 0 25 0 11 0 477891760 861356032 39269 4294967295 134512640 134569956 3221224416 3221214712 1131200214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 39269 13073 16 0 210276 0
vsize: 841168
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 24562 49 0 0 25 0 11 0 477891760 861356032 39601 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 39601 13073 16 0 210276 0
vsize: 841168
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 25455 49 0 0 25 0 11 0 477891760 861356032 39753 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 39753 13073 16 0 210276 0
vsize: 841168
[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 26344 49 0 0 24 0 11 0 477891760 861356032 40072 4294967295 134512640 134569956 3221224416 3221214712 1131199845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 40072 13073 16 0 210276 0
vsize: 841168
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 27259 49 0 0 25 0 11 0 477891760 861356032 40403 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210292 40403 13073 16 0 210276 0
vsize: 841168
[startup+320.017 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 28174 49 0 0 24 0 11 0 477891760 860307456 40341 4294967295 134512640 134569956 3221224416 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210036 40341 13073 16 0 210020 0
vsize: 840144
[startup+330.017 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 29083 49 0 0 25 0 11 0 477891760 860307456 40510 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210036 40510 13073 16 0 210020 0
vsize: 840144
[startup+340.017 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 29995 49 0 0 21 0 11 0 477891760 860307456 40698 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210036 40698 13073 16 0 210020 0
vsize: 840144
[startup+350.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 30900 50 0 0 24 0 11 0 477891760 860307456 40947 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210036 40947 13073 16 0 210020 0
vsize: 840144
[startup+360.021 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 31796 50 0 0 22 0 11 0 477891760 860307456 40996 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210036 40996 13073 16 0 210020 0
vsize: 840144
[startup+370.021 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 32681 50 0 0 19 0 11 0 477891760 860307456 41191 4294967295 134512640 134569956 3221224416 3221214656 1131335259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 41191 13073 16 0 210020 0
vsize: 840144
[startup+380.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 33567 50 0 0 18 0 11 0 477891760 860307456 41484 4294967295 134512640 134569956 3221224416 3221214712 1131199105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 41484 13073 16 0 210020 0
vsize: 840144
[startup+390.021 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 34466 50 0 0 21 0 11 0 477891760 860307456 41808 4294967295 134512640 134569956 3221224416 3221214568 1131414955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 41808 13073 16 0 210020 0
vsize: 840144
[startup+400.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 35356 51 0 0 16 0 11 0 477891760 860307456 41979 4294967295 134512640 134569956 3221224416 3221214688 1131575418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 41979 13073 16 0 210020 0
vsize: 840144
[startup+410.023 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 36269 51 0 0 23 0 11 0 477891760 860307456 42301 4294967295 134512640 134569956 3221224416 3221214712 1131200244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 42301 13073 16 0 210020 0
vsize: 840144
[startup+420.023 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 37183 51 0 0 21 0 11 0 477891760 860307456 42568 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 42568 13073 16 0 210020 0
vsize: 840144
[startup+430.025 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 38107 51 0 0 25 0 11 0 477891760 860307456 42712 4294967295 134512640 134569956 3221224416 3221214808 1131357746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 42712 13073 16 0 210020 0
vsize: 840144
[startup+440.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 39033 52 0 0 25 0 11 0 477891760 860307456 42911 4294967295 134512640 134569956 3221224416 3221214568 1131414955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 42911 13073 16 0 210020 0
vsize: 840144
[startup+450.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 39956 53 0 0 25 0 11 0 477891760 860307456 43084 4294967295 134512640 134569956 3221224416 3221214808 1131357856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 43084 13073 16 0 210020 0
vsize: 840144
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 40867 53 0 0 24 0 11 0 477891760 860307456 43224 4294967295 134512640 134569956 3221224416 3221214712 1131199289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 43224 13073 16 0 210020 0
vsize: 840144
[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12735
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 41783 53 0 0 25 0 11 0 477891760 860307456 43421 4294967295 134512640 134569956 3221224416 3221214712 1131200304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 43421 13073 16 0 210020 0
vsize: 840144
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12788
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 42702 54 0 0 25 0 11 0 477891760 860307456 43613 4294967295 134512640 134569956 3221224416 3221214712 1131199567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210036 43613 13073 16 0 210020 0
vsize: 840144
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12788
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 43619 54 0 0 25 0 11 0 477891760 860307456 43839 4294967295 134512640 134569956 3221224416 3221214712 1131199567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210036 43839 13073 16 0 210020 0
vsize: 840144
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12788
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 44526 54 0 0 24 0 11 0 477891760 860307456 44027 4294967295 134512640 134569956 3221224416 3221214712 1131199298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210036 44027 13073 16 0 210020 0
vsize: 840144
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12788
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 45433 54 0 0 25 0 11 0 477891760 860307456 44174 4294967295 134512640 134569956 3221224416 3221214712 1131200304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210036 44174 13073 16 0 210020 0
vsize: 840144
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12788
Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 46338 54 0 0 25 0 11 0 477891760 860307456 44343 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 44343 13073 16 0 210020 0
vsize: 840144
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12788
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 47255 55 0 0 25 0 11 0 477891760 860307456 44647 4294967295 134512640 134569956 3221224416 3221214808 1131358588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 44647 13073 16 0 210020 0
vsize: 840144
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12788
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 48180 55 0 0 25 0 11 0 477891760 860307456 44874 4294967295 134512640 134569956 3221224416 3221214704 1131254431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 44874 13073 16 0 210020 0
vsize: 840144
[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 49100 55 0 0 25 0 11 0 477891760 860307456 45049 4294967295 134512640 134569956 3221224416 3221214808 1131357662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 45049 13073 16 0 210020 0
vsize: 840144
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 50013 56 0 0 25 0 11 0 477891760 860307456 45171 4294967295 134512640 134569956 3221224416 3221214712 1131200189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 45171 13073 16 0 210020 0
vsize: 840144
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 50929 56 0 0 25 0 11 0 477891760 860307456 45369 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 45369 13073 16 0 210020 0
vsize: 840144
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 51861 57 0 0 25 0 11 0 477891760 860307456 45534 4294967295 134512640 134569956 3221224416 3221214808 1131358588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 45534 13073 16 0 210020 0
vsize: 840144
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 52787 57 0 0 25 0 11 0 477891760 860307456 45581 4294967295 134512640 134569956 3221224416 3221214912 1131504763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 45581 13073 16 0 210020 0
vsize: 840144
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 53692 57 0 0 25 0 11 0 477891760 860307456 45701 4294967295 134512640 134569956 3221224416 3221214808 1131358669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 45701 13073 16 0 210020 0
vsize: 840144
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 54604 58 0 0 25 0 11 0 477891760 860307456 45890 4294967295 134512640 134569956 3221224416 3221214624 1131404770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 45890 13073 16 0 210020 0
vsize: 840144
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 55511 58 0 0 25 0 11 0 477891760 860307456 46115 4294967295 134512640 134569956 3221224416 3221214808 1131357789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 46115 13073 16 0 210020 0
vsize: 840144
[startup+630.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 56429 59 0 0 25 0 11 0 477891760 860307456 46328 4294967295 134512640 134569956 3221224416 3221214712 1131199761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 46328 13073 16 0 210020 0
vsize: 840144
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 57341 59 0 0 25 0 11 0 477891760 860307456 46515 4294967295 134512640 134569956 3221224416 3221214712 1131200244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 46515 13073 16 0 210020 0
vsize: 840144
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 58254 59 0 0 24 0 11 0 477891760 860307456 46723 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 46723 13073 16 0 210020 0
vsize: 840144
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 59178 60 0 0 25 0 11 0 477891760 860307456 46956 4294967295 134512640 134569956 3221224416 3221214712 1131378961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 46956 13073 16 0 210020 0
vsize: 840144
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 60095 60 0 0 25 0 11 0 477891760 860307456 47129 4294967295 134512640 134569956 3221224416 3221214712 1131199134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 47129 13073 16 0 210020 0
vsize: 840144
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 61020 60 0 0 25 0 11 0 477891760 860307456 47266 4294967295 134512640 134569956 3221224416 3221214608 1131568532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 47266 13073 16 0 210020 0
vsize: 840144
[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 61943 61 0 0 25 0 11 0 477891760 860307456 47475 4294967295 134512640 134569956 3221224416 3221214712 1131380189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 47475 13073 16 0 210020 0
vsize: 840144
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 62872 61 0 0 24 0 11 0 477891760 860307456 47663 4294967295 134512640 134569956 3221224416 3221214712 1131199629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 47663 13073 16 0 210020 0
vsize: 840144
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 63807 62 0 0 25 0 11 0 477891760 860307456 47820 4294967295 134512640 134569956 3221224416 3221214824 1131371541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 47820 13073 16 0 210020 0
vsize: 840144
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 64741 62 0 0 24 0 11 0 477891760 860307456 47954 4294967295 134512640 134569956 3221224416 3221214712 1131200244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 47954 13073 16 0 210020 0
vsize: 840144
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 65686 62 0 0 25 0 11 0 477891760 860307456 48101 4294967295 134512640 134569956 3221224416 3221214712 1131199101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 48101 13073 16 0 210020 0
vsize: 840144
[startup+740.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 66616 63 0 0 25 0 11 0 477891760 860307456 48214 4294967295 134512640 134569956 3221224416 3221214808 1131358591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 48214 13073 16 0 210020 0
vsize: 840144
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 67538 63 0 0 25 0 11 0 477891760 860307456 48330 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 48330 13073 16 0 210020 0
vsize: 840144
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 68459 63 0 0 25 0 11 0 477891760 860307456 48500 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 48500 13073 16 0 210020 0
vsize: 840144
[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 69391 63 0 0 25 0 11 0 477891760 860307456 48679 4294967295 134512640 134569956 3221224416 3221214712 1131199139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 48679 13073 16 0 210020 0
vsize: 840144
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 70317 63 0 0 25 0 11 0 477891760 860307456 48841 4294967295 134512640 134569956 3221224416 3221214712 1131199697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 48841 13073 16 0 210020 0
vsize: 840144
[startup+790.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 71236 64 0 0 25 0 11 0 477891760 860307456 49015 4294967295 134512640 134569956 3221224416 3221214704 1131254187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 49015 13073 16 0 210020 0
vsize: 840144
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 72153 64 0 0 25 0 11 0 477891760 860307456 49127 4294967295 134512640 134569956 3221224416 3221214808 1131357908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 49127 13073 16 0 210020 0
vsize: 840144
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 73072 65 0 0 25 0 11 0 477891760 860307456 49370 4294967295 134512640 134569956 3221224416 3221214584 1131546519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 49370 13073 16 0 210020 0
vsize: 840144
[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12790
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 73990 65 0 0 25 0 11 0 477891760 860307456 49544 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 49544 13073 16 0 210020 0
vsize: 840144
[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 74917 66 0 0 25 0 11 0 477891760 860307456 49735 4294967295 134512640 134569956 3221224416 3221214712 1131199105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 49735 13073 16 0 210020 0
vsize: 840144
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 75841 66 0 0 25 0 11 0 477891760 860307456 49874 4294967295 134512640 134569956 3221224416 3221214712 1131199567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 49874 13073 16 0 210020 0
vsize: 840144
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 76761 66 0 0 25 0 11 0 477891760 860307456 50026 4294967295 134512640 134569956 3221224416 3221214808 1131358702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 50026 13073 16 0 210020 0
vsize: 840144
[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 77676 67 0 0 25 0 11 0 477891760 860307456 50219 4294967295 134512640 134569956 3221224416 3221214808 1131357716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 50219 13073 16 0 210020 0
vsize: 840144
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 78592 67 0 0 24 0 11 0 477891760 860307456 50367 4294967295 134512640 134569956 3221224416 3221214712 1131200259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 50367 13073 16 0 210020 0
vsize: 840144
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 79517 67 0 0 24 0 11 0 477891760 860307456 50636 4294967295 134512640 134569956 3221224416 3221214712 1131199517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 50636 13073 16 0 210020 0
vsize: 840144
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 80448 68 0 0 25 0 11 0 477891760 860307456 50824 4294967295 134512640 134569956 3221224416 3221214712 1131200189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 50824 13073 16 0 210020 0
vsize: 840144
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 81370 68 0 0 25 0 11 0 477891760 860307456 50942 4294967295 134512640 134569956 3221224416 3221214804 1131199084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 50942 13073 16 0 210020 0
vsize: 840144
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 82297 68 0 0 25 0 11 0 477891760 860307456 51142 4294967295 134512640 134569956 3221224416 3221214712 1131200209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 51142 13073 16 0 210020 0
vsize: 840144
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 83233 69 0 0 25 0 11 0 477891760 860307456 51325 4294967295 134512640 134569956 3221224416 3221214712 1131200224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 51325 13073 16 0 210020 0
vsize: 840144
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 84171 69 0 0 25 0 11 0 477891760 860307456 51436 4294967295 134512640 134569956 3221224416 3221214712 1131199644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 51436 13073 16 0 210020 0
vsize: 840144
[startup+940.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 85103 70 0 0 23 0 11 0 477891760 860307456 51556 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 51556 13073 16 0 210020 0
vsize: 840144
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 86043 71 0 0 25 0 11 0 477891760 860307456 51697 4294967295 134512640 134569956 3221224416 3221214808 1131357796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 51697 13073 16 0 210020 0
vsize: 840144
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 86978 71 0 0 25 0 11 0 477891760 860307456 51829 4294967295 134512640 134569956 3221224416 3221214712 1131199473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 51829 13073 16 0 210020 0
vsize: 840144
[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 87916 71 0 0 25 0 11 0 477891760 860307456 51975 4294967295 134512640 134569956 3221224416 3221214712 1131199127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 51975 13073 16 0 210020 0
vsize: 840144
[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 88851 71 0 0 25 0 11 0 477891760 860307456 52091 4294967295 134512640 134569956 3221224416 3221214712 1131199109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 52091 13073 16 0 210020 0
vsize: 840144
[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 89792 72 0 0 25 0 11 0 477891760 860307456 52263 4294967295 134512640 134569956 3221224416 3221214808 1131357774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 52263 13073 16 0 210020 0
vsize: 840144
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 90724 72 0 0 25 0 11 0 477891760 860307456 52364 4294967295 134512640 134569956 3221224416 3221214808 1131357746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 52364 13073 16 0 210020 0
vsize: 840144
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 91653 72 0 0 25 0 11 0 477891760 860307456 52530 4294967295 134512640 134569956 3221224416 3221214808 1131357856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 52530 13073 16 0 210020 0
vsize: 840144
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 92585 72 0 0 25 0 11 0 477891760 860307456 52655 4294967295 134512640 134569956 3221224416 3221214808 1131357698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 52655 13073 16 0 210020 0
vsize: 840144
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 93527 73 0 0 25 0 11 0 477891760 860307456 52793 4294967295 134512640 134569956 3221224416 3221214712 1131199366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 52793 13073 16 0 210020 0
vsize: 840144
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 94461 73 0 0 25 0 11 0 477891760 860307456 52828 4294967295 134512640 134569956 3221224416 3221214712 1131199769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 52828 13073 16 0 210020 0
vsize: 840144
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 95377 74 0 0 25 0 11 0 477891760 860307456 52857 4294967295 134512640 134569956 3221224416 3221214968 1131481111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 52857 13073 16 0 210020 0
vsize: 840144
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 96280 74 0 0 24 0 11 0 477891760 860307456 53081 4294967295 134512640 134569956 3221224416 3221214804 1131199084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 53081 13073 16 0 210020 0
vsize: 840144
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 97191 75 0 0 25 0 11 0 477891760 860307456 53250 4294967295 134512640 134569956 3221224416 3221214808 1131357796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 53250 13073 16 0 210020 0
vsize: 840144
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 98100 76 0 0 25 0 11 0 477891760 860307456 53463 4294967295 134512640 134569956 3221224416 3221214584 1131547428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 53463 13073 16 0 210020 0
vsize: 840144
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 99023 76 0 0 25 0 11 0 477891760 860307456 53745 4294967295 134512640 134569956 3221224416 3221214712 1131199841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 53745 13073 16 0 210020 0
vsize: 840144
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 99959 76 0 0 25 0 11 0 477891760 860307456 53909 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 53909 13073 16 0 210020 0
vsize: 840144
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 100903 76 0 0 25 0 11 0 477891760 860307456 54032 4294967295 134512640 134569956 3221224416 3221214712 1131199563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 54032 13073 16 0 210020 0
vsize: 840144
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 101846 76 0 0 25 0 11 0 477891760 860307456 54159 4294967295 134512640 134569956 3221224416 3221214712 1131199567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 54159 13073 16 0 210020 0
vsize: 840144
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 102775 77 0 0 25 0 11 0 477891760 860307456 54237 4294967295 134512640 134569956 3221224416 3221214712 1131199769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 54237 13073 16 0 210020 0
vsize: 840144
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 103689 77 0 0 24 0 11 0 477891760 860307456 54318 4294967295 134512640 134569956 3221224416 3221214712 1131199644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 54318 13073 16 0 210020 0
vsize: 840144
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 104614 78 0 0 25 0 11 0 477891760 860307456 54527 4294967295 134512640 134569956 3221224416 3221214808 1131357856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 54527 13073 16 0 210020 0
vsize: 840144
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 105543 78 0 0 25 0 11 0 477891760 860307456 54751 4294967295 134512640 134569956 3221224416 3221214808 1131357609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 54751 13073 16 0 210020 0
vsize: 840144
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 106475 78 0 0 25 0 11 0 477891760 860307456 54902 4294967295 134512640 134569956 3221224416 3221214712 1131200118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 54902 13073 16 0 210020 0
vsize: 840144
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 107403 79 0 0 25 0 11 0 477891760 860307456 55046 4294967295 134512640 134569956 3221224416 3221214712 1131199613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 55046 13073 16 0 210020 0
vsize: 840144
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 108323 79 0 0 25 0 11 0 477891760 860307456 55156 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 55156 13073 16 0 210020 0
vsize: 840144
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 109245 80 0 0 25 0 11 0 477891760 860307456 55355 4294967295 134512640 134569956 3221224416 3221214808 1131358629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 55355 13073 16 0 210020 0
vsize: 840144
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 110166 80 0 0 25 0 11 0 477891760 860307456 55442 4294967295 134512640 134569956 3221224416 3221214080 1076461257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 55442 13073 16 0 210020 0
vsize: 840144
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 111074 80 0 0 25 0 11 0 477891760 860307456 55631 4294967295 134512640 134569956 3221224416 3221214712 1131199515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 55631 13073 16 0 210020 0
vsize: 840144
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 111980 81 0 0 24 0 11 0 477891760 860307456 55837 4294967295 134512640 134569956 3221224416 3221214584 1131545904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 55837 13073 16 0 210020 0
vsize: 840144
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 112901 81 0 0 25 0 11 0 477891760 860307456 56054 4294967295 134512640 134569956 3221224416 3221214712 1131199805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 56054 13073 16 0 210020 0
vsize: 840144
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 113816 82 0 0 25 0 11 0 477891760 860307456 56228 4294967295 134512640 134569956 3221224416 3221214808 1131357789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 56228 13073 16 0 210020 0
vsize: 840144
[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 114736 83 0 0 25 0 11 0 477891760 860307456 56441 4294967295 134512640 134569956 3221224416 3221214664 1131568532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 56441 13073 16 0 210020 0
vsize: 840144
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 115655 83 0 0 25 0 11 0 477891760 860307456 56624 4294967295 134512640 134569956 3221224416 3221214608 1131568532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 56624 13073 16 0 210020 0
vsize: 840144
[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 116579 84 0 0 25 0 11 0 477891760 860307456 56799 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 56799 13073 16 0 210020 0
vsize: 840144
[startup+1290.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 117506 84 0 0 25 0 11 0 477891760 860307456 56984 4294967295 134512640 134569956 3221224416 3221214808 1131357856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 56984 13073 16 0 210020 0
vsize: 840144
[startup+1300.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 118451 84 0 0 21 0 11 0 477891760 860307456 57103 4294967295 134512640 134569956 3221224416 3221214712 1131199314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 57103 13073 16 0 210020 0
vsize: 840144
[startup+1310.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12792
Raw data (stat): 12719 (java) S 12718 11931 11930 0 -1 0 18071 4 1 0 119404 85 0 0 25 0 11 0 477891760 860307456 57259 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 57259 13073 16 0 210020 0
vsize: 840144
[startup+1320.07 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 12792
Raw data (stat): 12719 (java) R 12718 11931 11930 0 -1 0 18071 4 1 0 120356 85 0 0 25 0 11 0 477891760 860307456 57367 4294967295 134512640 134569956 3221224416 3221214596 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210036 57367 13073 16 0 210020 0
vsize: 840144
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.22 s]
Raw data (loadavg): 1.06 1.02 1.00 1/54 12794
Raw data (stat): 12719 (java) Z 12718 11931 11930 0 -1 1036 18071 44754 1 0 120360 96 12539 109 25 0 1 0 477891760 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): 1320.22
CPU time (s): 1331.06
CPU user time (s): 1329
CPU system time (s): 2.06269
CPU usage (%): 100.821
Max. virtual memory (Kb): 842192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####