PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst2.opb
MD5SUM	fe2e8f62e013702a825e7d0ee28c2295
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	13958659059
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.869867
Number of variables	13736
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	592
Minimum length of a constraint	1
Maximum length of a constraint	390
Trace number 20815

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        571536 kB
Buffers:         29184 kB
Cached:         410376 kB
SwapCached:       3324 kB
Active:         180164 kB
Inactive:       264152 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        571284 kB
SwapTotal:     2097136 kB
SwapFree:      2092928 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            13052 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 22:15:36 (client local time) WITH STATUS 143 IN 1237.88 SECONDS
stats: 14426 7 1237.88 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-bienst2.opb
c reading problem 
c [nbvar=13736]
c [nbconstr=632]
c time 61.281
c #vars     13736
c #clauses  725
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
#### 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.72 0.89 0.89 2/54 11647
Raw data (stat): 11647 (runsolver) R 11646 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490260882 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0015 s]
Raw data (loadavg): 0.84 0.91 0.89 2/63 11656
Raw data (stat): 11647 (java) S 11646 20937 20936 0 -1 0 18005 0 1 0 827 42 0 0 25 0 10 0 490260882 857747456 20624 4294967295 134512640 134569956 3221224400 3221213320 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209411 20624 13073 16 0 209395 0
vsize: 837644
[startup+20.002 s]
Raw data (loadavg): 0.86 0.91 0.89 2/63 11656
Raw data (stat): 11647 (java) S 11646 20937 20936 0 -1 0 18005 0 1 0 1705 42 0 0 25 0 10 0 490260882 856502272 21021 4294967295 134512640 134569956 3221224400 3221213776 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209107 21021 13073 16 0 209091 0
vsize: 836428
[startup+30.0022 s]
Raw data (loadavg): 0.88 0.91 0.90 2/63 11656
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18005 0 1 0 2575 43 0 0 25 0 10 0 490260882 856502272 21323 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209107 21323 13073 16 0 209091 0
vsize: 836428
[startup+40.0036 s]
Raw data (loadavg): 0.90 0.91 0.90 2/63 11656
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18005 0 1 0 3470 43 0 0 25 0 10 0 490260882 856502272 21707 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209107 21707 13073 16 0 209091 0
vsize: 836428
[startup+50.0042 s]
Raw data (loadavg): 0.92 0.92 0.90 2/63 11656
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18005 0 1 0 4375 43 0 0 25 0 10 0 490260882 857022464 22073 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 22073 13073 16 0 209218 0
vsize: 836936
[startup+60.0043 s]
Raw data (loadavg): 0.93 0.92 0.90 2/63 11656
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18005 0 1 0 5274 43 0 0 25 0 10 0 490260882 857022464 22303 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 22303 13073 16 0 209218 0
vsize: 836936
[startup+70.005 s]
Raw data (loadavg): 0.94 0.92 0.90 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18040 0 1 0 6166 43 0 0 25 0 11 0 490260882 858480640 24227 4294967295 134512640 134569956 3221224400 3221214680 1131278433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209590 24227 13073 16 0 209574 0
vsize: 838360
[startup+80.0095 s]
Raw data (loadavg): 0.95 0.92 0.90 4/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18078 0 1 0 7156 43 0 0 25 0 11 0 490260882 858951680 24377 4294967295 134512640 134569956 3221224400 3221213776 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209705 24377 13073 16 0 209689 0
vsize: 838820
[startup+90.0104 s]
Raw data (loadavg): 1.11 0.96 0.91 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18084 0 1 0 8075 44 0 0 25 0 11 0 490260882 860839936 25044 4294967295 134512640 134569956 3221224400 3221214848 1131364958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25044 13073 16 0 210150 0
vsize: 840664
[startup+100.017 s]
Raw data (loadavg): 1.09 0.96 0.91 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18084 0 1 0 9070 44 0 0 25 0 11 0 490260882 860839936 25048 4294967295 134512640 134569956 3221224400 3221214672 1131384257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25048 13073 16 0 210150 0
vsize: 840664
[startup+110.022 s]
Raw data (loadavg): 1.08 0.96 0.91 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18085 0 1 0 10063 44 0 0 25 0 11 0 490260882 860839936 25057 4294967295 134512640 134569956 3221224400 3221214684 1080203674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25057 13073 16 0 210150 0
vsize: 840664
[startup+120.022 s]
Raw data (loadavg): 1.07 0.96 0.91 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18085 0 1 0 11057 44 0 0 25 0 11 0 490260882 860839936 25078 4294967295 134512640 134569956 3221224400 3221214848 1131364966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25078 13073 16 0 210150 0
vsize: 840664
[startup+130.021 s]
Raw data (loadavg): 1.14 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18085 0 1 0 12029 45 0 0 25 0 11 0 490260882 860839936 25096 4294967295 134512640 134569956 3221224400 3221214680 1131278085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25096 13073 16 0 210150 0
vsize: 840664
[startup+140.046 s]
Raw data (loadavg): 1.11 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18086 0 1 0 13017 45 0 0 25 0 11 0 490260882 860839936 25105 4294967295 134512640 134569956 3221224400 3221214680 1131278505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25105 13073 16 0 210150 0
vsize: 840664
[startup+150.065 s]
Raw data (loadavg): 1.10 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18086 0 1 0 14004 45 0 0 25 0 11 0 490260882 860839936 25110 4294967295 134512640 134569956 3221224400 3221214776 1131342896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25110 13073 16 0 210150 0
vsize: 840664
[startup+160.075 s]
Raw data (loadavg): 1.08 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18086 0 1 0 14993 46 0 0 25 0 11 0 490260882 860839936 25145 4294967295 134512640 134569956 3221224400 3221214776 1131338978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25145 13073 16 0 210150 0
vsize: 840664
[startup+170.088 s]
Raw data (loadavg): 1.07 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18086 0 1 0 15982 46 0 0 25 0 11 0 490260882 860839936 25161 4294967295 134512640 134569956 3221224400 3221214776 1131340144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25161 13073 16 0 210150 0
vsize: 840664
[startup+180.102 s]
Raw data (loadavg): 1.06 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18086 0 1 0 16970 47 0 0 25 0 11 0 490260882 860839936 25187 4294967295 134512640 134569956 3221224400 3221214680 1131278163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25187 13073 16 0 210150 0
vsize: 840664
[startup+190.112 s]
Raw data (loadavg): 1.05 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18086 0 1 0 17959 47 0 0 25 0 11 0 490260882 860839936 25221 4294967295 134512640 134569956 3221224400 3221214680 1131278085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25221 13073 16 0 210150 0
vsize: 840664
[startup+200.113 s]
Raw data (loadavg): 1.04 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 18949 48 0 0 25 0 11 0 490260882 860839936 25250 4294967295 134512640 134569956 3221224400 3221214488 1131290131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210166 25250 13073 16 0 210150 0
vsize: 840664
[startup+210.114 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 19928 48 0 0 25 0 11 0 490260882 860839936 25279 4294967295 134512640 134569956 3221224400 3221214776 1131343581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25279 13073 16 0 210150 0
vsize: 840664
[startup+220.131 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 20910 49 0 0 25 0 11 0 490260882 860839936 25307 4294967295 134512640 134569956 3221224400 3221214680 1131279008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25307 13073 16 0 210150 0
vsize: 840664
[startup+230.139 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 21891 49 0 0 25 0 11 0 490260882 860839936 25347 4294967295 134512640 134569956 3221224400 3221214848 1131364707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25347 13073 16 0 210150 0
vsize: 840664
[startup+240.145 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 22875 49 0 0 25 0 11 0 490260882 860839936 25448 4294967295 134512640 134569956 3221224400 3221214776 1131340063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25448 13073 16 0 210150 0
vsize: 840664
[startup+250.15 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 23861 50 0 0 25 0 11 0 490260882 860839936 25481 4294967295 134512640 134569956 3221224400 3221214776 1131342883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25481 13073 16 0 210150 0
vsize: 840664
[startup+260.151 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 24850 50 0 0 25 0 11 0 490260882 860839936 25518 4294967295 134512640 134569956 3221224400 3221214680 1131278637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25518 13073 16 0 210150 0
vsize: 840664
[startup+270.162 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 25837 50 0 0 25 0 11 0 490260882 860839936 25533 4294967295 134512640 134569956 3221224400 3221214504 1131290131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25533 13073 16 0 210150 0
vsize: 840664
[startup+280.162 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 26818 51 0 0 25 0 11 0 490260882 860839936 25547 4294967295 134512640 134569956 3221224400 3221214696 1131510956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25547 13073 16 0 210150 0
vsize: 840664
[startup+290.176 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 27798 51 0 0 24 0 11 0 490260882 860839936 25560 4294967295 134512640 134569956 3221224400 3221214848 1131364973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25560 13073 16 0 210150 0
vsize: 840664
[startup+300.176 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 11657
Raw data (stat): 11647 (java) S 11646 20937 20936 0 -1 0 18087 0 1 0 28774 52 0 0 25 0 11 0 490260882 860839936 25580 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25580 13073 16 0 210150 0
vsize: 840664
[startup+310.177 s]
Raw data (loadavg): 1.00 0.98 0.92 4/68 11691
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 29751 52 0 0 25 0 11 0 490260882 860839936 25600 4294967295 134512640 134569956 3221224400 3221214696 1131511068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210166 25600 13073 16 0 210150 0
vsize: 840664
[startup+320.178 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 11710
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 30718 52 0 0 25 0 11 0 490260882 860839936 25615 4294967295 134512640 134569956 3221224400 3221214512 1131285791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25615 13073 16 0 210150 0
vsize: 840664
[startup+330.178 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 11710
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 31689 53 0 0 25 0 11 0 490260882 860839936 25630 4294967295 134512640 134569956 3221224400 3221214648 1131290740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25630 13073 16 0 210150 0
vsize: 840664
[startup+340.178 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 11710
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 32613 53 0 0 25 0 11 0 490260882 860839936 25719 4294967295 134512640 134569956 3221224400 3221214020 1076914544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 25719 13073 16 0 210150 0
vsize: 840664
[startup+350.179 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 11710
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 33531 53 0 0 25 0 11 0 490260882 860839936 26087 4294967295 134512640 134569956 3221224400 3221214776 1131339992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 26087 13073 16 0 210150 0
vsize: 840664
[startup+360.181 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 11710
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 34487 53 0 0 25 0 11 0 490260882 860839936 26484 4294967295 134512640 134569956 3221224400 3221214680 1131278657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 26484 13073 16 0 210150 0
vsize: 840664
[startup+370.182 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 11710
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 35474 54 0 0 25 0 11 0 490260882 860839936 26603 4294967295 134512640 134569956 3221224400 3221214680 1131278092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 26603 13073 16 0 210150 0
vsize: 840664
[startup+380.181 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 36464 54 0 0 25 0 11 0 490260882 860839936 26620 4294967295 134512640 134569956 3221224400 3221214848 1131364969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 26620 13073 16 0 210150 0
vsize: 840664
[startup+390.182 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 37453 54 0 0 25 0 11 0 490260882 860839936 26652 4294967295 134512640 134569956 3221224400 3221214848 1131364952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 26652 13073 16 0 210150 0
vsize: 840664
[startup+400.183 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 38440 55 0 0 25 0 11 0 490260882 860839936 26685 4294967295 134512640 134569956 3221224400 3221214776 1131342944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 26685 13073 16 0 210150 0
vsize: 840664
[startup+410.183 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 39429 55 0 0 25 0 11 0 490260882 860839936 26708 4294967295 134512640 134569956 3221224400 3221214776 1131342896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 26708 13073 16 0 210150 0
vsize: 840664
[startup+420.184 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18087 0 1 0 40419 56 0 0 25 0 11 0 490260882 860839936 26725 4294967295 134512640 134569956 3221224400 3221214616 1131380816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210166 26725 13073 16 0 210150 0
vsize: 840664
[startup+430.185 s]
Raw data (loadavg): 1.09 1.01 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 41407 56 0 0 24 0 11 0 490260882 862257152 27064 4294967295 134512640 134569956 3221224400 3221214680 1131279012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27064 13073 16 0 210496 0
vsize: 842048
[startup+440.185 s]
Raw data (loadavg): 1.08 1.01 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 42392 57 0 0 25 0 11 0 490260882 861851648 26994 4294967295 134512640 134569956 3221224400 3221214776 1131342866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 26994 13073 16 0 210397 0
vsize: 841652
[startup+450.186 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 43372 58 0 0 25 0 11 0 490260882 861851648 27009 4294967295 134512640 134569956 3221224400 3221214536 1131285791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 27009 13073 16 0 210397 0
vsize: 841652
[startup+460.188 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 44351 58 0 0 25 0 11 0 490260882 861851648 27013 4294967295 134512640 134569956 3221224400 3221214688 1131285893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 27013 13073 16 0 210397 0
vsize: 841652
[startup+470.188 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 45324 58 0 0 25 0 11 0 490260882 861851648 27059 4294967295 134512640 134569956 3221224400 3221214680 1131278081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 27059 13073 16 0 210397 0
vsize: 841652
[startup+480.188 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 46294 59 0 0 25 0 11 0 490260882 861851648 27145 4294967295 134512640 134569956 3221224400 3221214776 1131339142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 27145 13073 16 0 210397 0
vsize: 841652
[startup+490.189 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 47277 59 0 0 25 0 11 0 490260882 861851648 27225 4294967295 134512640 134569956 3221224400 3221214536 1131285791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 27225 13073 16 0 210397 0
vsize: 841652
[startup+500.19 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 48255 60 0 0 25 0 11 0 490260882 861851648 27246 4294967295 134512640 134569956 3221224400 3221214720 1131510959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 27246 13073 16 0 210397 0
vsize: 841652
[startup+510.191 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 49233 60 0 0 25 0 11 0 490260882 861851648 27255 4294967295 134512640 134569956 3221224400 3221214708 1131583315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 27255 13073 16 0 210397 0
vsize: 841652
[startup+520.196 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 50200 60 0 0 25 0 11 0 490260882 861851648 27352 4294967295 134512640 134569956 3221224400 3221214776 1131340112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 27352 13073 16 0 210397 0
vsize: 841652
[startup+530.202 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 51121 61 0 0 25 0 11 0 490260882 861851648 27486 4294967295 134512640 134569956 3221224400 3221214680 1131278743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 27486 13073 16 0 210397 0
vsize: 841652
[startup+540.202 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 52049 61 0 0 25 0 11 0 490260882 861851648 27719 4294967295 134512640 134569956 3221224400 3221214680 1131278631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 27719 13073 16 0 210397 0
vsize: 841652
[startup+550.203 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 53019 61 0 0 25 0 11 0 490260882 861851648 28147 4294967295 134512640 134569956 3221224400 3221214776 1131340066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28147 13073 16 0 210397 0
vsize: 841652
[startup+560.204 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 54008 62 0 0 25 0 11 0 490260882 861851648 28182 4294967295 134512640 134569956 3221224400 3221214680 1131278461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28182 13073 16 0 210397 0
vsize: 841652
[startup+570.205 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 54992 62 0 0 25 0 11 0 490260882 861851648 28212 4294967295 134512640 134569956 3221224400 3221214776 1131342896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28212 13073 16 0 210397 0
vsize: 841652
[startup+580.205 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 55980 62 0 0 25 0 11 0 490260882 861851648 28240 4294967295 134512640 134569956 3221224400 3221214872 1131364958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28240 13073 16 0 210397 0
vsize: 841652
[startup+590.206 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 56967 63 0 0 25 0 11 0 490260882 861851648 28284 4294967295 134512640 134569956 3221224400 3221214680 1131278618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28284 13073 16 0 210397 0
vsize: 841652
[startup+600.207 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 57952 63 0 0 25 0 11 0 490260882 861851648 28296 4294967295 134512640 134569956 3221224400 3221214680 1131279385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28296 13073 16 0 210397 0
vsize: 841652
[startup+610.207 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 58937 64 0 0 25 0 11 0 490260882 861851648 28316 4294967295 134512640 134569956 3221224400 3221214776 1131419994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28316 13073 16 0 210397 0
vsize: 841652
[startup+620.208 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 59920 64 0 0 25 0 11 0 490260882 861851648 28380 4294967295 134512640 134569956 3221224400 3221214688 1131384257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28380 13073 16 0 210397 0
vsize: 841652
[startup+630.209 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 60913 64 0 0 25 0 11 0 490260882 861851648 28390 4294967295 134512640 134569956 3221224400 3221214712 1131551192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28390 13073 16 0 210397 0
vsize: 841652
[startup+640.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11712
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 61903 64 0 0 25 0 11 0 490260882 861851648 28412 4294967295 134512640 134569956 3221224400 3221214696 1131547521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 28412 13073 16 0 210397 0
vsize: 841652
[startup+650.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 62886 64 0 0 25 0 11 0 490260882 861851648 28435 4294967295 134512640 134569956 3221224400 3221214608 1131568229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 28435 13073 16 0 210397 0
vsize: 841652
[startup+660.211 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 63871 65 0 0 25 0 11 0 490260882 861851648 28444 4294967295 134512640 134569956 3221224400 3221214720 1131510956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28444 13073 16 0 210397 0
vsize: 841652
[startup+670.212 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 64854 65 0 0 25 0 11 0 490260882 861851648 28454 4294967295 134512640 134569956 3221224400 3221214720 1131510956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28454 13073 16 0 210397 0
vsize: 841652
[startup+680.211 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 65833 65 0 0 25 0 11 0 490260882 861851648 28476 4294967295 134512640 134569956 3221224400 3221214720 1131510956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28476 13073 16 0 210397 0
vsize: 841652
[startup+690.212 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 66803 65 0 0 25 0 11 0 490260882 861851648 28492 4294967295 134512640 134569956 3221224400 3221214720 1131510944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28492 13073 16 0 210397 0
vsize: 841652
[startup+700.213 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 67777 66 0 0 25 0 11 0 490260882 861851648 28508 4294967295 134512640 134569956 3221224400 3221214680 1131278657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28508 13073 16 0 210397 0
vsize: 841652
[startup+710.214 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 68748 66 0 0 25 0 11 0 490260882 861851648 28524 4294967295 134512640 134569956 3221224400 3221214720 1131511053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28524 13073 16 0 210397 0
vsize: 841652
[startup+720.215 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 69718 66 0 0 25 0 11 0 490260882 861851648 28605 4294967295 134512640 134569956 3221224400 3221214608 1131568548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28605 13073 16 0 210397 0
vsize: 841652
[startup+730.215 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 70687 66 0 0 25 0 11 0 490260882 861851648 28695 4294967295 134512640 134569956 3221224400 3221214720 1131511075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28695 13073 16 0 210397 0
vsize: 841652
[startup+740.219 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 71646 67 0 0 25 0 11 0 490260882 861851648 28810 4294967295 134512640 134569956 3221224400 3221214832 1131579710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 28810 13073 16 0 210397 0
vsize: 841652
[startup+750.229 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 72615 67 0 0 25 0 11 0 490260882 861851648 28919 4294967295 134512640 134569956 3221224400 3221214720 1131511075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 28919 13073 16 0 210397 0
vsize: 841652
[startup+760.229 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 73584 67 0 0 25 0 11 0 490260882 861851648 29004 4294967295 134512640 134569956 3221224400 3221214720 1131510944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 29004 13073 16 0 210397 0
vsize: 841652
[startup+770.23 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 74544 67 0 0 25 0 11 0 490260882 861851648 29149 4294967295 134512640 134569956 3221224400 3221214680 1131278670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 29149 13073 16 0 210397 0
vsize: 841652
[startup+780.231 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 75499 67 0 0 25 0 11 0 490260882 861851648 29263 4294967295 134512640 134569956 3221224400 3221214720 1131511053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 29263 13073 16 0 210397 0
vsize: 841652
[startup+790.231 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 76471 67 0 0 25 0 11 0 490260882 861851648 29349 4294967295 134512640 134569956 3221224400 3221214720 1131511068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 29349 13073 16 0 210397 0
vsize: 841652
[startup+800.232 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 77444 68 0 0 25 0 11 0 490260882 861851648 29452 4294967295 134512640 134569956 3221224400 3221214720 1131510961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 29452 13073 16 0 210397 0
vsize: 841652
[startup+810.234 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 78410 68 0 0 25 0 11 0 490260882 861851648 29577 4294967295 134512640 134569956 3221224400 3221214720 1131511075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 29577 13073 16 0 210397 0
vsize: 841652
[startup+820.239 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 79386 68 0 0 25 0 11 0 490260882 861851648 29665 4294967295 134512640 134569956 3221224400 3221214720 1131510956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 29665 13073 16 0 210397 0
vsize: 841652
[startup+830.239 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 80361 69 0 0 25 0 11 0 490260882 861851648 29758 4294967295 134512640 134569956 3221224400 3221214720 1131510956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 29758 13073 16 0 210397 0
vsize: 841652
[startup+840.239 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 81330 69 0 0 25 0 11 0 490260882 861851648 29875 4294967295 134512640 134569956 3221224400 3221214720 1131511053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 29875 13073 16 0 210397 0
vsize: 841652
[startup+850.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 82305 69 0 0 25 0 11 0 490260882 861851648 29969 4294967295 134512640 134569956 3221224400 3221214608 1131567898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 29969 13073 16 0 210397 0
vsize: 841652
[startup+860.241 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 83282 69 0 0 25 0 11 0 490260882 861851648 30047 4294967295 134512640 134569956 3221224400 3221214720 1131510944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 30047 13073 16 0 210397 0
vsize: 841652
[startup+870.241 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 84258 70 0 0 25 0 11 0 490260882 861851648 30050 4294967295 134512640 134569956 3221224400 3221214536 1131286193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 30050 13073 16 0 210397 0
vsize: 841652
[startup+880.242 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 85226 70 0 0 24 0 11 0 490260882 861851648 30146 4294967295 134512640 134569956 3221224400 3221214720 1131510959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 30146 13073 16 0 210397 0
vsize: 841652
[startup+890.242 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 86202 70 0 0 25 0 11 0 490260882 861851648 30204 4294967295 134512640 134569956 3221224400 3221214720 1131510961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 30204 13073 16 0 210397 0
vsize: 841652
[startup+900.242 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 87177 71 0 0 25 0 11 0 490260882 861851648 30251 4294967295 134512640 134569956 3221224400 3221214536 1131285957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 30251 13073 16 0 210397 0
vsize: 841652
[startup+910.243 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 88142 71 0 0 25 0 11 0 490260882 861851648 30335 4294967295 134512640 134569956 3221224400 3221214720 1131510961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 30335 13073 16 0 210397 0
vsize: 841652
[startup+920.25 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 89116 71 0 0 25 0 11 0 490260882 861851648 30413 4294967295 134512640 134569956 3221224400 3221214720 1131510944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 30413 13073 16 0 210397 0
vsize: 841652
[startup+930.256 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 90090 72 0 0 25 0 11 0 490260882 861851648 30477 4294967295 134512640 134569956 3221224400 3221214536 1131285886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 30477 13073 16 0 210397 0
vsize: 841652
[startup+940.256 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 91064 72 0 0 25 0 11 0 490260882 861851648 30573 4294967295 134512640 134569956 3221224400 3221214720 1131511068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 30573 13073 16 0 210397 0
vsize: 841652
[startup+950.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) S 11646 20937 20936 0 -1 0 18088 0 1 0 92037 72 0 0 25 0 11 0 490260882 861851648 30669 4294967295 134512640 134569956 3221224400 3221213240 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 30669 13073 16 0 210397 0
vsize: 841652
[startup+960.263 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 93008 73 0 0 25 0 11 0 490260882 861851648 30752 4294967295 134512640 134569956 3221224400 3221214720 1131510956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 30752 13073 16 0 210397 0
vsize: 841652
[startup+970.263 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 93983 73 0 0 25 0 11 0 490260882 861851648 30781 4294967295 134512640 134569956 3221224400 3221214240 1131165513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 30781 13073 16 0 210397 0
vsize: 841652
[startup+980.263 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 94946 74 0 0 25 0 11 0 490260882 861851648 30876 4294967295 134512640 134569956 3221224400 3221214704 1131197767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 30876 13073 16 0 210397 0
vsize: 841652
[startup+990.264 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 95918 74 0 0 25 0 11 0 490260882 861851648 30938 4294967295 134512640 134569956 3221224400 3221214720 1131511053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 30938 13073 16 0 210397 0
vsize: 841652
[startup+1000.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 96891 74 0 0 25 0 11 0 490260882 861851648 31021 4294967295 134512640 134569956 3221224400 3221214608 1131567875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 31021 13073 16 0 210397 0
vsize: 841652
[startup+1010.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 97865 74 0 0 25 0 11 0 490260882 861851648 31131 4294967295 134512640 134569956 3221224400 3221214708 1131290060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 31131 13073 16 0 210397 0
vsize: 841652
[startup+1020.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 98840 75 0 0 25 0 11 0 490260882 861851648 31201 4294967295 134512640 134569956 3221224400 3221214720 1131510961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 31201 13073 16 0 210397 0
vsize: 841652
[startup+1030.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 99804 75 0 0 25 0 11 0 490260882 861851648 31260 4294967295 134512640 134569956 3221224400 3221214716 1131290060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 31260 13073 16 0 210397 0
vsize: 841652
[startup+1040.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 100778 76 0 0 25 0 11 0 490260882 861851648 31315 4294967295 134512640 134569956 3221224400 3221214720 1131510944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 31315 13073 16 0 210397 0
vsize: 841652
[startup+1050.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 101752 76 0 0 25 0 11 0 490260882 861851648 31407 4294967295 134512640 134569956 3221224400 3221214712 1131547499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 31407 13073 16 0 210397 0
vsize: 841652
[startup+1060.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 102725 76 0 0 25 0 11 0 490260882 861851648 31470 4294967295 134512640 134569956 3221224400 3221214720 1131511068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 31470 13073 16 0 210397 0
vsize: 841652
[startup+1070.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 103699 77 0 0 25 0 11 0 490260882 861851648 31574 4294967295 134512640 134569956 3221224400 3221214720 1131510956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 31574 13073 16 0 210397 0
vsize: 841652
[startup+1080.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 104672 77 0 0 25 0 11 0 490260882 861851648 31670 4294967295 134512640 134569956 3221224400 3221214720 1131510959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210413 31670 13073 16 0 210397 0
vsize: 841652
[startup+1090.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 105647 77 0 0 25 0 11 0 490260882 861851648 31752 4294967295 134512640 134569956 3221224400 3221214608 1131567945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 31752 13073 16 0 210397 0
vsize: 841652
[startup+1100.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 106611 77 0 0 25 0 11 0 490260882 861851648 31809 4294967295 134512640 134569956 3221224400 3221214720 1131510956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 31809 13073 16 0 210397 0
vsize: 841652
[startup+1110.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 107568 78 0 0 25 0 11 0 490260882 861851648 31952 4294967295 134512640 134569956 3221224400 3221214776 1131339152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 31952 13073 16 0 210397 0
vsize: 841652
[startup+1120.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 108544 78 0 0 25 0 11 0 490260882 861851648 32019 4294967295 134512640 134569956 3221224400 3221214720 1131511053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 32019 13073 16 0 210397 0
vsize: 841652
[startup+1130.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 109511 78 0 0 25 0 11 0 490260882 861851648 32113 4294967295 134512640 134569956 3221224400 3221214680 1131279299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 32113 13073 16 0 210397 0
vsize: 841652
[startup+1140.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 110485 79 0 0 25 0 11 0 490260882 861851648 32173 4294967295 134512640 134569956 3221224400 3221214720 1131510944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 32173 13073 16 0 210397 0
vsize: 841652
[startup+1150.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 111457 79 0 0 25 0 11 0 490260882 861851648 32249 4294967295 134512640 134569956 3221224400 3221214608 1131568689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 32249 13073 16 0 210397 0
vsize: 841652
[startup+1160.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 112429 79 0 0 25 0 11 0 490260882 861851648 32360 4294967295 134512640 134569956 3221224400 3221214720 1131510956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 32360 13073 16 0 210397 0
vsize: 841652
[startup+1170.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) S 11646 20937 20936 0 -1 0 18088 0 1 0 113392 80 0 0 25 0 11 0 490260882 861851648 32424 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 32424 13073 16 0 210397 0
vsize: 841652
[startup+1180.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 114361 80 0 0 25 0 11 0 490260882 861851648 32530 4294967295 134512640 134569956 3221224400 3221214720 1131510944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 32530 13073 16 0 210397 0
vsize: 841652
[startup+1190.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 115332 80 0 0 25 0 11 0 490260882 861851648 32612 4294967295 134512640 134569956 3221224400 3221214680 1131278178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 32612 13073 16 0 210397 0
vsize: 841652
[startup+1200.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 116301 81 0 0 25 0 11 0 490260882 861851648 32691 4294967295 134512640 134569956 3221224400 3221214720 1131510956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 32691 13073 16 0 210397 0
vsize: 841652
[startup+1210.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 117269 81 0 0 25 0 11 0 490260882 861851648 32785 4294967295 134512640 134569956 3221224400 3221214880 1131400738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 32785 13073 16 0 210397 0
vsize: 841652
[startup+1220.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 118228 81 0 0 24 0 11 0 490260882 861851648 32892 4294967295 134512640 134569956 3221224400 3221214856 1131466169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 32892 13073 16 0 210397 0
vsize: 841652
[startup+1230.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 119197 82 0 0 25 0 11 0 490260882 861851648 32993 4294967295 134512640 134569956 3221224400 3221214736 1131316219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 32993 13073 16 0 210397 0
vsize: 841652
[startup+1240.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11714
Raw data (stat): 11647 (java) R 11646 20937 20936 0 -1 0 18088 0 1 0 120165 82 0 0 25 0 11 0 490260882 861851648 33097 4294967295 134512640 134569956 3221224400 3221214720 1131511068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210413 33097 13073 16 0 210397 0
vsize: 841652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.39 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 11716
Raw data (stat): 11647 (java) Z 11646 20937 20936 0 -1 1036 18088 12652 1 0 120170 82 3500 34 25 0 1 0 490260882 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.39
CPU time (s): 1237.88
CPU user time (s): 1236.71
CPU system time (s): 1.17582
CPU usage (%): 99.7981
Max. virtual memory (Kb): 842048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####