PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
MD5SUM	3c39e3c2b993ee2185e2a1a3e73b9723
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3744
Optimality of the best value was proved	NO
Number of terms in the objective function	1086
Biggest coefficient in the objective function	283
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	197191
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	283
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	197191
Number of bits of the biggest sum of numbers	18
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	1086
Total number of constraints	1171
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1170
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1086
Trace number 17047

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        461220 kB
Buffers:         34488 kB
Cached:         515848 kB
SwapCached:         56 kB
Active:         110544 kB
Inactive:       442660 kB
HighTotal:      131008 kB
HighFree:         6328 kB
LowTotal:       903652 kB
LowFree:        454892 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6840 kB
Slab:            14616 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 09:47:41 (client local time) WITH STATUS 143 IN 1245.07 SECONDS
stats: 11917 7 1245.07 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-lp4l.opb
c reading problem 
c [nbvar=1086]
c [nbconstr=1171]
c time 3.527
c #vars     1086
c #clauses  169
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=4543
c Current CPU time (ms) : 546.777
c starts	: 4
c conflicts	: 511
c decisions	: 5443
c propagations	: 27648
c inspects	: 197429
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 511
c root simplifications	: 4
c 
c CURRENT OPTIMUM=4469
c Current CPU time (ms) : 563.054
c starts	: 5
c conflicts	: 521
c decisions	: 5631
c propagations	: 29167
c inspects	: 219440
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 521
c root simplifications	: 5
c 
c CURRENT OPTIMUM=4455
c Current CPU time (ms) : 572.162
c starts	: 6
c conflicts	: 523
c decisions	: 5744
c propagations	: 30313
c inspects	: 232806
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 523
c root simplifications	: 6
c 
c CURRENT OPTIMUM=4405
c Current CPU time (ms) : 585.841
c starts	: 7
c conflicts	: 525
c decisions	: 5910
c propagations	: 31494
c inspects	: 246037
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 525
c root simplifications	: 7
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.98 2/54 8643
Raw data (stat): 8643 (runsolver) R 8642 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 485765323 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.0016 s]
Raw data (loadavg): 1.23 1.02 1.01 3/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18061 0 1 0 606 42 0 0 25 0 11 0 485765323 865964032 21443 4294967295 134512640 134569956 3221224400 3221214848 1131307495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211417 21443 13073 16 0 211401 0
vsize: 845668
[startup+20.0019 s]
Raw data (loadavg): 1.20 1.02 1.00 4/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18064 0 1 0 1530 42 0 0 25 0 11 0 485765323 864591872 21664 4294967295 134512640 134569956 3221224400 3221214044 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211082 21664 13073 16 0 211066 0
vsize: 844328
[startup+30.0033 s]
Raw data (loadavg): 1.17 1.02 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18065 0 1 0 2444 42 0 0 25 0 11 0 485765323 864591872 22669 4294967295 134512640 134569956 3221224400 3221214456 1131227214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211082 22669 13073 16 0 211066 0
vsize: 844328
[startup+40.0041 s]
Raw data (loadavg): 1.14 1.02 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18065 0 1 0 3366 43 0 0 25 0 11 0 485765323 863109120 22703 4294967295 134512640 134569956 3221224400 3221214408 1131658499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 22703 13073 16 0 210704 0
vsize: 842880
[startup+50.0045 s]
Raw data (loadavg): 1.12 1.02 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18065 0 1 0 4277 43 0 0 25 0 11 0 485765323 863109120 23100 4294967295 134512640 134569956 3221224400 3221214600 1131227537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 23100 13073 16 0 210704 0
vsize: 842880
[startup+60.0053 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 5196 43 0 0 25 0 11 0 485765323 863109120 23375 4294967295 134512640 134569956 3221224400 3221214688 1131299757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 23375 13073 16 0 210704 0
vsize: 842880
[startup+70.0064 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 6113 43 0 0 25 0 11 0 485765323 863109120 23725 4294967295 134512640 134569956 3221224400 3221214744 1131321744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210720 23725 13073 16 0 210704 0
vsize: 842880
[startup+80.007 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 7033 43 0 0 25 0 11 0 485765323 863109120 23943 4294967295 134512640 134569956 3221224400 3221214456 1131227080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 23943 13073 16 0 210704 0
vsize: 842880
[startup+90.0073 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 7947 44 0 0 25 0 11 0 485765323 863109120 24104 4294967295 134512640 134569956 3221224400 3221214744 1131321726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 24104 13073 16 0 210704 0
vsize: 842880
[startup+100.007 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 8878 44 0 0 25 0 11 0 485765323 863109120 24252 4294967295 134512640 134569956 3221224400 3221214784 1131366653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 24252 13073 16 0 210704 0
vsize: 842880
[startup+110.007 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 9804 44 0 0 25 0 11 0 485765323 863109120 24627 4294967295 134512640 134569956 3221224400 3221214784 1131366615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 24627 13073 16 0 210704 0
vsize: 842880
[startup+120.009 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 10745 45 0 0 25 0 11 0 485765323 863109120 24870 4294967295 134512640 134569956 3221224400 3221214640 1131512068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 24870 13073 16 0 210704 0
vsize: 842880
[startup+130.01 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 11695 45 0 0 25 0 11 0 485765323 863109120 24996 4294967295 134512640 134569956 3221224400 3221214784 1131366466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 24996 13073 16 0 210704 0
vsize: 842880
[startup+140.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 12642 45 0 0 25 0 11 0 485765323 863109120 25105 4294967295 134512640 134569956 3221224400 3221214552 1131585761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 25105 13073 16 0 210704 0
vsize: 842880
[startup+150.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 13592 45 0 0 25 0 11 0 485765323 863109120 25244 4294967295 134512640 134569956 3221224400 3221214688 1131299604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 25244 13073 16 0 210704 0
vsize: 842880
[startup+160.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 14542 45 0 0 25 0 11 0 485765323 863109120 25396 4294967295 134512640 134569956 3221224400 3221214552 1131586385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 25396 13073 16 0 210704 0
vsize: 842880
[startup+170.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 15492 46 0 0 25 0 11 0 485765323 863109120 25505 4294967295 134512640 134569956 3221224400 3221214536 1131227214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 25505 13073 16 0 210704 0
vsize: 842880
[startup+180.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 16447 46 0 0 25 0 11 0 485765323 863109120 25667 4294967295 134512640 134569956 3221224400 3221214640 1131512156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 25667 13073 16 0 210704 0
vsize: 842880
[startup+190.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) S 8642 10720 10719 0 -1 0 18066 0 1 0 17403 46 0 0 25 0 11 0 485765323 863109120 25810 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 25810 13073 16 0 210704 0
vsize: 842880
[startup+200.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 18357 47 0 0 24 0 11 0 485765323 863109120 25962 4294967295 134512640 134569956 3221224400 3221214552 1131586189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 25962 13073 16 0 210704 0
vsize: 842880
[startup+210.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 19324 47 0 0 25 0 11 0 485765323 863109120 26075 4294967295 134512640 134569956 3221224400 3221214784 1131370921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26075 13073 16 0 210704 0
vsize: 842880
[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 20288 47 0 0 25 0 11 0 485765323 863109120 26148 4294967295 134512640 134569956 3221224400 3221214640 1131512197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26148 13073 16 0 210704 0
vsize: 842880
[startup+230.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 21257 47 0 0 25 0 11 0 485765323 863109120 26242 4294967295 134512640 134569956 3221224400 3221214640 1131512085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26242 13073 16 0 210704 0
vsize: 842880
[startup+240.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 22230 47 0 0 25 0 11 0 485765323 863109120 26341 4294967295 134512640 134569956 3221224400 3221214640 1131512071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26341 13073 16 0 210704 0
vsize: 842880
[startup+250.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 23202 48 0 0 25 0 11 0 485765323 863109120 26414 4294967295 134512640 134569956 3221224400 3221214552 1131585737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26414 13073 16 0 210704 0
vsize: 842880
[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 24180 48 0 0 24 0 11 0 485765323 863109120 26458 4294967295 134512640 134569956 3221224400 3221214536 1131227094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26458 13073 16 0 210704 0
vsize: 842880
[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 25150 49 0 0 25 0 11 0 485765323 863109120 26517 4294967295 134512640 134569956 3221224400 3221214408 1131300370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26517 13073 16 0 210704 0
vsize: 842880
[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 26111 49 0 0 25 0 11 0 485765323 863109120 26582 4294967295 134512640 134569956 3221224400 3221214536 1131227241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26582 13073 16 0 210704 0
vsize: 842880
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 27074 49 0 0 25 0 11 0 485765323 863109120 26635 4294967295 134512640 134569956 3221224400 3221214552 1131587090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26635 13073 16 0 210704 0
vsize: 842880
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 28041 49 0 0 25 0 11 0 485765323 863109120 26659 4294967295 134512640 134569956 3221224400 3221214640 1131713483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26659 13073 16 0 210704 0
vsize: 842880
[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 29008 49 0 0 25 0 11 0 485765323 863109120 26874 4294967295 134512640 134569956 3221224400 3221214536 1131227365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26874 13073 16 0 210704 0
vsize: 842880
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 29982 49 0 0 25 0 11 0 485765323 863109120 26923 4294967295 134512640 134569956 3221224400 3221214640 1131512071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26923 13073 16 0 210704 0
vsize: 842880
[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 30949 50 0 0 25 0 11 0 485765323 863109120 26979 4294967295 134512640 134569956 3221224400 3221214784 1131366718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 26979 13073 16 0 210704 0
vsize: 842880
[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 31915 50 0 0 25 0 11 0 485765323 863109120 27017 4294967295 134512640 134569956 3221224400 3221214688 1131299473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27017 13073 16 0 210704 0
vsize: 842880
[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 32867 51 0 0 25 0 11 0 485765323 863109120 27060 4294967295 134512640 134569956 3221224400 3221214640 1131512197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27060 13073 16 0 210704 0
vsize: 842880
[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 33826 51 0 0 25 0 11 0 485765323 863109120 27183 4294967295 134512640 134569956 3221224400 3221214640 1131512076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27183 13073 16 0 210704 0
vsize: 842880
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 34789 51 0 0 25 0 11 0 485765323 863109120 27285 4294967295 134512640 134569956 3221224400 3221214536 1131227711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27285 13073 16 0 210704 0
vsize: 842880
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 35756 52 0 0 25 0 11 0 485765323 863109120 27384 4294967295 134512640 134569956 3221224400 3221214536 1131538460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27384 13073 16 0 210704 0
vsize: 842880
[startup+390.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 36729 52 0 0 25 0 11 0 485765323 863109120 27549 4294967295 134512640 134569956 3221224400 3221214784 1131370781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27549 13073 16 0 210704 0
vsize: 842880
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 37708 52 0 0 25 0 11 0 485765323 863109120 27587 4294967295 134512640 134569956 3221224400 3221214688 1131431369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27587 13073 16 0 210704 0
vsize: 842880
[startup+410.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 38689 52 0 0 25 0 11 0 485765323 863109120 27624 4294967295 134512640 134569956 3221224400 3221214640 1131713443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27624 13073 16 0 210704 0
vsize: 842880
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 39675 53 0 0 25 0 11 0 485765323 863109120 27694 4294967295 134512640 134569956 3221224400 3221214552 1131586340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27694 13073 16 0 210704 0
vsize: 842880
[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 40660 53 0 0 25 0 11 0 485765323 863109120 27715 4294967295 134512640 134569956 3221224400 3221214552 1131585812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27715 13073 16 0 210704 0
vsize: 842880
[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 41643 53 0 0 25 0 11 0 485765323 863109120 27737 4294967295 134512640 134569956 3221224400 3221214784 1131372322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27737 13073 16 0 210704 0
vsize: 842880
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 42624 53 0 0 25 0 11 0 485765323 863109120 27775 4294967295 134512640 134569956 3221224400 3221214640 1131713468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27775 13073 16 0 210704 0
vsize: 842880
[startup+460.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 43599 53 0 0 25 0 11 0 485765323 863109120 27797 4294967295 134512640 134569956 3221224400 3221214552 1131587043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27797 13073 16 0 210704 0
vsize: 842880
[startup+470.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 44574 54 0 0 25 0 11 0 485765323 863109120 27833 4294967295 134512640 134569956 3221224400 3221214536 1131227158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27833 13073 16 0 210704 0
vsize: 842880
[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 45548 54 0 0 25 0 11 0 485765323 863109120 27891 4294967295 134512640 134569956 3221224400 3221214784 1131368826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27891 13073 16 0 210704 0
vsize: 842880
[startup+490.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 46527 54 0 0 25 0 11 0 485765323 863109120 27925 4294967295 134512640 134569956 3221224400 3221214784 1131370921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 27925 13073 16 0 210704 0
vsize: 842880
[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 47495 55 0 0 24 0 11 0 485765323 863109120 28030 4294967295 134512640 134569956 3221224400 3221214024 1076914545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28030 13073 16 0 210704 0
vsize: 842880
[startup+510.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 48468 55 0 0 25 0 11 0 485765323 863109120 28094 4294967295 134512640 134569956 3221224400 3221214688 1131299423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28094 13073 16 0 210704 0
vsize: 842880
[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 49433 55 0 0 25 0 11 0 485765323 863109120 28158 4294967295 134512640 134569956 3221224400 3221214536 1131227205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28158 13073 16 0 210704 0
vsize: 842880
[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) S 8642 10720 10719 0 -1 0 18066 0 1 0 50394 56 0 0 25 0 11 0 485765323 863109120 28187 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28187 13073 16 0 210704 0
vsize: 842880
[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8653
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18066 0 1 0 51359 57 0 0 25 0 11 0 485765323 863109120 28266 4294967295 134512640 134569956 3221224400 3221214688 1131299576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28266 13073 16 0 210704 0
vsize: 842880
[startup+550.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8654
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18067 3 1 0 52320 57 0 0 25 0 11 0 485765323 863109120 28348 4294967295 134512640 134569956 3221224400 3221214784 1131366653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28348 13073 16 0 210704 0
vsize: 842880
[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8654
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18067 3 1 0 53288 57 0 0 25 0 11 0 485765323 863109120 28449 4294967295 134512640 134569956 3221224400 3221214688 1131299553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28449 13073 16 0 210704 0
vsize: 842880
[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8655
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18067 3 1 0 54254 58 0 0 25 0 11 0 485765323 863109120 28550 4294967295 134512640 134569956 3221224400 3221214688 1131299553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210720 28550 13073 16 0 210704 0
vsize: 842880
[startup+580.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8656
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 55226 58 0 0 25 0 11 0 485765323 863109120 28587 4294967295 134512640 134569956 3221224400 3221214536 1131227214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28587 13073 16 0 210704 0
vsize: 842880
[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 56201 58 0 0 25 0 11 0 485765323 863109120 28665 4294967295 134512640 134569956 3221224400 3221214784 1131370921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28665 13073 16 0 210704 0
vsize: 842880
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 57173 58 0 0 25 0 11 0 485765323 863109120 28752 4294967295 134512640 134569956 3221224400 3221214784 1131369939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28752 13073 16 0 210704 0
vsize: 842880
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 58145 59 0 0 25 0 11 0 485765323 863109120 28803 4294967295 134512640 134569956 3221224400 3221214688 1131299574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28803 13073 16 0 210704 0
vsize: 842880
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 59113 59 0 0 25 0 11 0 485765323 863109120 28837 4294967295 134512640 134569956 3221224400 3221214784 1131370921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28837 13073 16 0 210704 0
vsize: 842880
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 60076 59 0 0 25 0 11 0 485765323 863109120 28885 4294967295 134512640 134569956 3221224400 3221214784 1131366718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28885 13073 16 0 210704 0
vsize: 842880
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 61026 59 0 0 25 0 11 0 485765323 863109120 28966 4294967295 134512640 134569956 3221224400 3221214640 1131714525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 28966 13073 16 0 210704 0
vsize: 842880
[startup+650.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 61977 60 0 0 25 0 11 0 485765323 863109120 29067 4294967295 134512640 134569956 3221224400 3221214640 1131713450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 29067 13073 16 0 210704 0
vsize: 842880
[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 62926 60 0 0 25 0 11 0 485765323 863109120 29158 4294967295 134512640 134569956 3221224400 3221214640 1131299553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 29158 13073 16 0 210704 0
vsize: 842880
[startup+670.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 63873 61 0 0 25 0 11 0 485765323 863109120 29317 4294967295 134512640 134569956 3221224400 3221214640 1131512071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 29317 13073 16 0 210704 0
vsize: 842880
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 64825 61 0 0 25 0 11 0 485765323 863109120 29464 4294967295 134512640 134569956 3221224400 3221214784 1131366737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 29464 13073 16 0 210704 0
vsize: 842880
[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 65774 61 0 0 25 0 11 0 485765323 863109120 29531 4294967295 134512640 134569956 3221224400 3221214744 1131324036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 29531 13073 16 0 210704 0
vsize: 842880
[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 66715 61 0 0 25 0 11 0 485765323 863109120 29679 4294967295 134512640 134569956 3221224400 3221214536 1131226988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 29679 13073 16 0 210704 0
vsize: 842880
[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 67668 62 0 0 25 0 11 0 485765323 863109120 29787 4294967295 134512640 134569956 3221224400 3221214640 1131713443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 29787 13073 16 0 210704 0
vsize: 842880
[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 68619 62 0 0 25 0 11 0 485765323 863109120 29927 4294967295 134512640 134569956 3221224400 3221214536 1131227241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 29927 13073 16 0 210704 0
vsize: 842880
[startup+730.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) S 8642 10720 10719 0 -1 0 18068 3 1 0 69586 62 0 0 25 0 11 0 485765323 863109120 30034 4294967295 134512640 134569956 3221224400 3221213424 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 30034 13073 16 0 210704 0
vsize: 842880
[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 70551 62 0 0 25 0 11 0 485765323 863109120 30228 4294967295 134512640 134569956 3221224400 3221214784 1131366611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 30228 13073 16 0 210704 0
vsize: 842880
[startup+750.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 71520 62 0 0 25 0 11 0 485765323 863109120 30269 4294967295 134512640 134569956 3221224400 3221214688 1131299473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 30269 13073 16 0 210704 0
vsize: 842880
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 72483 62 0 0 25 0 11 0 485765323 863109120 30326 4294967295 134512640 134569956 3221224400 3221214160 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 30326 13073 16 0 210704 0
vsize: 842880
[startup+770.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) S 8642 10720 10719 0 -1 0 18068 3 1 0 73430 63 0 0 25 0 11 0 485765323 863109120 30397 4294967295 134512640 134569956 3221224400 3221213240 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 30397 13073 16 0 210704 0
vsize: 842880
[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 74374 63 0 0 25 0 11 0 485765323 863109120 30530 4294967295 134512640 134569956 3221224400 3221214688 1131299553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 30530 13073 16 0 210704 0
vsize: 842880
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 75326 63 0 0 25 0 11 0 485765323 863109120 30626 4294967295 134512640 134569956 3221224400 3221214640 1131713556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 30626 13073 16 0 210704 0
vsize: 842880
[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 76283 63 0 0 25 0 11 0 485765323 863109120 30744 4294967295 134512640 134569956 3221224400 3221214640 1131512088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 30744 13073 16 0 210704 0
vsize: 842880
[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 77241 64 0 0 25 0 11 0 485765323 863109120 30910 4294967295 134512640 134569956 3221224400 3221214680 1131228088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 30910 13073 16 0 210704 0
vsize: 842880
[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 78192 64 0 0 25 0 11 0 485765323 863109120 31016 4294967295 134512640 134569956 3221224400 3221214640 1131512139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31016 13073 16 0 210704 0
vsize: 842880
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 79149 65 0 0 25 0 11 0 485765323 863109120 31076 4294967295 134512640 134569956 3221224400 3221214784 1131369869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31076 13073 16 0 210704 0
vsize: 842880
[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 80108 65 0 0 25 0 11 0 485765323 863109120 31159 4294967295 134512640 134569956 3221224400 3221214536 1131227212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31159 13073 16 0 210704 0
vsize: 842880
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 81076 65 0 0 25 0 11 0 485765323 863109120 31294 4294967295 134512640 134569956 3221224400 3221214640 1131512071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31294 13073 16 0 210704 0
vsize: 842880
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 82056 66 0 0 25 0 11 0 485765323 863109120 31389 4294967295 134512640 134569956 3221224400 3221214680 1131295789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210720 31389 13073 16 0 210704 0
vsize: 842880
[startup+870.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 83039 66 0 0 25 0 11 0 485765323 863109120 31445 4294967295 134512640 134569956 3221224400 3221214536 1131227105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31445 13073 16 0 210704 0
vsize: 842880
[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 84019 67 0 0 25 0 11 0 485765323 863109120 31471 4294967295 134512640 134569956 3221224400 3221214784 1131366718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31471 13073 16 0 210704 0
vsize: 842880
[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 84989 67 0 0 25 0 11 0 485765323 863109120 31471 4294967295 134512640 134569956 3221224400 3221214568 1131479499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31471 13073 16 0 210704 0
vsize: 842880
[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 85946 68 0 0 25 0 11 0 485765323 863109120 31536 4294967295 134512640 134569956 3221224400 3221214552 1131587111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31536 13073 16 0 210704 0
vsize: 842880
[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 86908 68 0 0 25 0 11 0 485765323 863109120 31536 4294967295 134512640 134569956 3221224400 3221214640 1131713443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31536 13073 16 0 210704 0
vsize: 842880
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 87869 68 0 0 25 0 11 0 485765323 863109120 31690 4294967295 134512640 134569956 3221224400 3221214552 1131586189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31690 13073 16 0 210704 0
vsize: 842880
[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 88843 68 0 0 25 0 11 0 485765323 863109120 31797 4294967295 134512640 134569956 3221224400 3221214800 1131336172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31797 13073 16 0 210704 0
vsize: 842880
[startup+940.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 89815 68 0 0 24 0 11 0 485765323 863109120 31861 4294967295 134512640 134569956 3221224400 3221214536 1131227365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31861 13073 16 0 210704 0
vsize: 842880
[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 90791 69 0 0 25 0 11 0 485765323 863109120 31885 4294967295 134512640 134569956 3221224400 3221214736 1131292917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31885 13073 16 0 210704 0
vsize: 842880
[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 91769 69 0 0 25 0 11 0 485765323 863109120 31921 4294967295 134512640 134569956 3221224400 3221214640 1131512144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 31921 13073 16 0 210704 0
vsize: 842880
[startup+970.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 92746 69 0 0 24 0 11 0 485765323 863109120 32030 4294967295 134512640 134569956 3221224400 3221214536 1131226915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32030 13073 16 0 210704 0
vsize: 842880
[startup+980.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 93729 69 0 0 25 0 11 0 485765323 863109120 32030 4294967295 134512640 134569956 3221224400 3221214784 1131366646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32030 13073 16 0 210704 0
vsize: 842880
[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 94701 69 0 0 25 0 11 0 485765323 863109120 32062 4294967295 134512640 134569956 3221224400 3221214736 1131292928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32062 13073 16 0 210704 0
vsize: 842880
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 95669 70 0 0 25 0 11 0 485765323 863109120 32094 4294967295 134512640 134569956 3221224400 3221214548 1131519391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32094 13073 16 0 210704 0
vsize: 842880
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 96645 71 0 0 25 0 11 0 485765323 863109120 32094 4294967295 134512640 134569956 3221224400 3221214512 1131663804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32094 13073 16 0 210704 0
vsize: 842880
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 97618 71 0 0 25 0 11 0 485765323 863109120 32245 4294967295 134512640 134569956 3221224400 3221214784 1131367946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32245 13073 16 0 210704 0
vsize: 842880
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 98592 71 0 0 25 0 11 0 485765323 863109120 32270 4294967295 134512640 134569956 3221224400 3221214536 1131227212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32270 13073 16 0 210704 0
vsize: 842880
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 99564 72 0 0 25 0 11 0 485765323 863109120 32307 4294967295 134512640 134569956 3221224400 3221214688 1131299465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32307 13073 16 0 210704 0
vsize: 842880
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 100535 72 0 0 25 0 11 0 485765323 863109120 32335 4294967295 134512640 134569956 3221224400 3221214536 1131227094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32335 13073 16 0 210704 0
vsize: 842880
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 101514 72 0 0 25 0 11 0 485765323 863109120 32422 4294967295 134512640 134569956 3221224400 3221214784 1131366653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32422 13073 16 0 210704 0
vsize: 842880
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 102491 72 0 0 25 0 11 0 485765323 863109120 32447 4294967295 134512640 134569956 3221224400 3221214640 1131512085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32447 13073 16 0 210704 0
vsize: 842880
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 103475 72 0 0 25 0 11 0 485765323 863109120 32522 4294967295 134512640 134569956 3221224400 3221214536 1131227214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32522 13073 16 0 210704 0
vsize: 842880
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 104459 73 0 0 25 0 11 0 485765323 863109120 32522 4294967295 134512640 134569956 3221224400 3221214536 1131227128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32522 13073 16 0 210704 0
vsize: 842880
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 105442 73 0 0 25 0 11 0 485765323 863109120 32568 4294967295 134512640 134569956 3221224400 3221214536 1131227334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210720 32568 13073 16 0 210704 0
vsize: 842880
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 106419 73 0 0 25 0 11 0 485765323 863109120 32569 4294967295 134512640 134569956 3221224400 3221214552 1131480391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32569 13073 16 0 210704 0
vsize: 842880
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 107383 73 0 0 25 0 11 0 485765323 863109120 32576 4294967295 134512640 134569956 3221224400 3221214536 1131227323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32576 13073 16 0 210704 0
vsize: 842880
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 108350 74 0 0 25 0 11 0 485765323 863109120 32618 4294967295 134512640 134569956 3221224400 3221214536 1131227214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210720 32618 13073 16 0 210704 0
vsize: 842880
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 109317 74 0 0 25 0 11 0 485765323 863109120 32728 4294967295 134512640 134569956 3221224400 3221214552 1131586134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32728 13073 16 0 210704 0
vsize: 842880
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 110294 74 0 0 25 0 11 0 485765323 863109120 32805 4294967295 134512640 134569956 3221224400 3221214784 1131366831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32805 13073 16 0 210704 0
vsize: 842880
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 111271 75 0 0 25 0 11 0 485765323 863109120 32861 4294967295 134512640 134569956 3221224400 3221214784 1131369112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32861 13073 16 0 210704 0
vsize: 842880
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 112252 76 0 0 25 0 11 0 485765323 863109120 32899 4294967295 134512640 134569956 3221224400 3221214688 1131299576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32899 13073 16 0 210704 0
vsize: 842880
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 113225 76 0 0 25 0 11 0 485765323 863109120 32899 4294967295 134512640 134569956 3221224400 3221214536 1131227186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32899 13073 16 0 210704 0
vsize: 842880
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 114188 76 0 0 25 0 11 0 485765323 863109120 32931 4294967295 134512640 134569956 3221224400 3221214356 1131598160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 32931 13073 16 0 210704 0
vsize: 842880
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 115153 76 0 0 25 0 11 0 485765323 863109120 33016 4294967295 134512640 134569956 3221224400 3221214636 1131228109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 33016 13073 16 0 210704 0
vsize: 842880
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 116115 77 0 0 25 0 11 0 485765323 863109120 33068 4294967295 134512640 134569956 3221224400 3221214528 1131592979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 33068 13073 16 0 210704 0
vsize: 842880
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 117072 77 0 0 25 0 11 0 485765323 863109120 33162 4294967295 134512640 134569956 3221224400 3221214800 1131335839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210720 33162 13073 16 0 210704 0
vsize: 842880
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 118028 77 0 0 25 0 11 0 485765323 863109120 33238 4294967295 134512640 134569956 3221224400 3221214552 1131586189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 33238 13073 16 0 210704 0
vsize: 842880
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 118993 78 0 0 25 0 11 0 485765323 863109120 33359 4294967295 134512640 134569956 3221224400 3221214736 1131227537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 33359 13073 16 0 210704 0
vsize: 842880
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8657
Raw data (stat): 8643 (java) R 8642 10720 10719 0 -1 0 18068 3 1 0 119957 78 0 0 25 0 11 0 485765323 863109120 33439 4294967295 134512640 134569956 3221224400 3221214536 1131227098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210720 33439 13073 16 0 210704 0
vsize: 842880
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8659
Raw data (stat): 8643 (java) Z 8642 10720 10719 0 -1 1036 18068 12840 1 0 119963 78 4427 38 25 0 1 0 485765323 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): 1250.2
CPU time (s): 1245.07
CPU user time (s): 1243.91
CPU system time (s): 1.16582
CPU usage (%): 99.5899
Max. virtual memory (Kb): 845668
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####