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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-22 00:56:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12697 boxname=wulflinc13 idbench=977 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  b8ad25b48a93aa2545086c9eaeaee0ef  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-misc07.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-misc07.opb
IDLAUNCH: 12697
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        375844 kB
Buffers:         18448 kB
Cached:         619068 kB
SwapCached:        392 kB
Active:          94096 kB
Inactive:       545552 kB
HighTotal:      131008 kB
HighFree:         2968 kB
LowTotal:       903652 kB
LowFree:        372876 kB
SwapTotal:     2097136 kB
SwapFree:      2095968 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            13500 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 01:17:28 (client local time) WITH STATUS 143 IN 1244 SECONDS
stats: 12697 7 1244 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-misc07.opb
c reading problem 
c [nbvar=290]
c [nbconstr=471]
c time 2.486
c #vars     290
c #clauses  247
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=1079449600
c Current CPU time (ms) : 14.936
c starts	: 1
c conflicts	: 52
c decisions	: 590
c propagations	: 1938
c inspects	: 11356
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 52
c root simplifications	: 3
c 
c CURRENT OPTIMUM=1079249920
c Current CPU time (ms) : 17.116
c starts	: 2
c conflicts	: 71
c decisions	: 829
c propagations	: 2647
c inspects	: 16982
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 71
c root simplifications	: 4
c 
c CURRENT OPTIMUM=1078886400
c Current CPU time (ms) : 18.664
c starts	: 3
c conflicts	: 76
c decisions	: 919
c propagations	: 3302
c inspects	: 20866
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 76
c root simplifications	: 5
c 
c CURRENT OPTIMUM=1078604800
c Current CPU time (ms) : 19.994
c starts	: 4
c conflicts	: 78
c decisions	: 1031
c propagations	: 3716
c inspects	: 24564
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 78
c root simplifications	: 6
c 
c CURRENT OPTIMUM=1077826560
c Current CPU time (ms) : 44.862
c starts	: 6
c conflicts	: 188
c decisions	: 1645
c propagations	: 5448
c inspects	: 48093
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 188
c root simplifications	: 8
c 
c CURRENT OPTIMUM=1077555200
c Current CPU time (ms) : 235.593
c starts	: 8
c conflicts	: 386
c decisions	: 2695
c propagations	: 10730
c inspects	: 308943
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 386
c root simplifications	: 12
c 
c CURRENT OPTIMUM=1077432320
c Current CPU time (ms) : 364.371
c starts	: 10
c conflicts	: 492
c decisions	: 3120
c propagations	: 13648
c inspects	: 491579
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 492
c root simplifications	: 14
c 
c CURRENT OPTIMUM=1077196800
c Current CPU time (ms) : 383.083
c starts	: 11
c conflicts	: 496
c decisions	: 3179
c propagations	: 14094
c inspects	: 519079
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 496
c root simplifications	: 15
c 
c CURRENT OPTIMUM=1077155840
c Current CPU time (ms) : 520.061
c starts	: 13
c conflicts	: 596
c decisions	: 3444
c propagations	: 16275
c inspects	: 709626
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 596
c root simplifications	: 17
c 
c CURRENT OPTIMUM=1077089280
c Current CPU time (ms) : 579.185
c starts	: 14
c conflicts	: 632
c decisions	: 3591
c propagations	: 17203
c inspects	: 789957
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 632
c root simplifications	: 18
c 
c CURRENT OPTIMUM=1076920320
c Current CPU time (ms) : 831.539
c starts	: 16
c conflicts	: 784
c decisions	: 4008
c propagations	: 20605
c inspects	: 1157676
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 784
c root simplifications	: 20
c 
c CURRENT OPTIMUM=1076879360
c Current CPU time (ms) : 1218.249
c starts	: 18
c conflicts	: 1003
c decisions	: 4506
c propagations	: 24914
c inspects	: 1732326
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1003
c root simplifications	: 22
#### 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.92 1.00 0.99 2/54 32385
Raw data (stat): 32385 (runsolver) R 32384 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491355451 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.0006 s]
Raw data (loadavg): 1.01 1.02 0.99 3/64 32395
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18049 0 1 0 617 34 0 0 25 0 11 0 491355451 863113216 20712 4294967295 134512640 134569956 3221224400 3221214632 1131319628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210721 20712 13073 16 0 210705 0
vsize: 842884
[startup+20.0061 s]
Raw data (loadavg): 1.15 1.05 1.00 2/64 32398
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18057 3 1 0 1569 35 0 0 25 0 11 0 491355451 869433344 22862 4294967295 134512640 134569956 3221224400 3221214680 1131214201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212264 22862 13073 16 0 212248 0
vsize: 849056
[startup+30.0058 s]
Raw data (loadavg): 1.13 1.05 1.00 2/64 32399
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18057 3 1 0 2520 35 0 0 25 0 11 0 491355451 865402880 22192 4294967295 134512640 134569956 3221224400 3221214776 1131283779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 22192 13073 16 0 211264 0
vsize: 845120
[startup+40.0296 s]
Raw data (loadavg): 1.11 1.04 1.00 2/64 32399
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 3457 36 0 0 25 0 11 0 491355451 865402880 22828 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 22828 13073 16 0 211264 0
vsize: 845120
[startup+50.0551 s]
Raw data (loadavg): 1.09 1.04 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 4389 36 0 0 25 0 11 0 491355451 865402880 23137 4294967295 134512640 134569956 3221224400 3221214680 1131214113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 23137 13073 16 0 211264 0
vsize: 845120
[startup+60.0557 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 5326 36 0 0 25 0 11 0 491355451 865402880 23313 4294967295 134512640 134569956 3221224400 3221214680 1131214129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 23313 13073 16 0 211264 0
vsize: 845120
[startup+70.0678 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 6291 36 0 0 25 0 11 0 491355451 865402880 23666 4294967295 134512640 134569956 3221224400 3221214680 1131215347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 23666 13073 16 0 211264 0
vsize: 845120
[startup+80.081 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 7273 36 0 0 25 0 11 0 491355451 865402880 23726 4294967295 134512640 134569956 3221224400 3221214680 1131214641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 23726 13073 16 0 211264 0
vsize: 845120
[startup+90.0816 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 8253 36 0 0 25 0 11 0 491355451 865402880 23770 4294967295 134512640 134569956 3221224400 3221214680 1131329304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 23770 13073 16 0 211264 0
vsize: 845120
[startup+100.092 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 9232 36 0 0 25 0 11 0 491355451 865402880 23833 4294967295 134512640 134569956 3221224400 3221214560 1131485313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 23833 13073 16 0 211264 0
vsize: 845120
[startup+110.106 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 10212 37 0 0 25 0 11 0 491355451 865402880 23881 4294967295 134512640 134569956 3221224400 3221214776 1131283977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 23881 13073 16 0 211264 0
vsize: 845120
[startup+120.115 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 11189 37 0 0 25 0 11 0 491355451 865402880 23937 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 23937 13073 16 0 211264 0
vsize: 845120
[startup+130.115 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 12165 37 0 0 25 0 11 0 491355451 865402880 24036 4294967295 134512640 134569956 3221224400 3221214776 1131283950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 24036 13073 16 0 211264 0
vsize: 845120
[startup+140.115 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 13145 37 0 0 25 0 11 0 491355451 865402880 24111 4294967295 134512640 134569956 3221224400 3221214680 1131214279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 24111 13073 16 0 211264 0
vsize: 845120
[startup+150.141 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 14123 37 0 0 25 0 11 0 491355451 865402880 24174 4294967295 134512640 134569956 3221224400 3221214680 1131214756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 24174 13073 16 0 211264 0
vsize: 845120
[startup+160.142 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 15099 37 0 0 25 0 11 0 491355451 865402880 24220 4294967295 134512640 134569956 3221224400 3221214776 1131283874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 24220 13073 16 0 211264 0
vsize: 845120
[startup+170.145 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32400
Raw data (stat): 32385 (java) S 32384 30701 30700 0 -1 0 18058 3 1 0 16073 38 0 0 25 0 11 0 491355451 865402880 24307 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 24307 13073 16 0 211264 0
vsize: 845120
[startup+180.147 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32400
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 17050 38 0 0 25 0 11 0 491355451 865402880 24455 4294967295 134512640 134569956 3221224400 3221214680 1131214411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 24455 13073 16 0 211264 0
vsize: 845120
[startup+190.159 s]
Raw data (loadavg): 1.01 1.02 1.00 3/65 32401
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 18030 38 0 0 25 0 11 0 491355451 865402880 24517 4294967295 134512640 134569956 3221224400 3221214680 1131214534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 24517 13073 16 0 211264 0
vsize: 845120
[startup+200.167 s]
Raw data (loadavg): 1.08 1.04 1.01 3/67 32436
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 19003 40 0 0 25 0 11 0 491355451 865402880 24579 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 24579 13073 16 0 211264 0
vsize: 845120
[startup+210.173 s]
Raw data (loadavg): 1.15 1.05 1.01 2/64 32453
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 19972 49 0 0 25 0 11 0 491355451 865402880 24659 4294967295 134512640 134569956 3221224400 3221214680 1131214569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 24659 13073 16 0 211264 0
vsize: 845120
[startup+220.182 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 32453
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 20950 50 0 0 25 0 11 0 491355451 865402880 24715 4294967295 134512640 134569956 3221224400 3221214532 1131499635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 24715 13073 16 0 211264 0
vsize: 845120
[startup+230.181 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 32453
Raw data (stat): 32385 (java) S 32384 30701 30700 0 -1 0 18058 3 1 0 21928 50 0 0 25 0 11 0 491355451 865402880 24795 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 24795 13073 16 0 211264 0
vsize: 845120
[startup+240.183 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 32454
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 22896 51 0 0 24 0 11 0 491355451 865402880 24859 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 24859 13073 16 0 211264 0
vsize: 845120
[startup+250.185 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 32454
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 23879 51 0 0 25 0 11 0 491355451 865402880 24922 4294967295 134512640 134569956 3221224400 3221214776 1131282848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 24922 13073 16 0 211264 0
vsize: 845120
[startup+260.189 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 32454
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 24864 51 0 0 25 0 11 0 491355451 865402880 24980 4294967295 134512640 134569956 3221224400 3221214776 1131285192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 24980 13073 16 0 211264 0
vsize: 845120
[startup+270.189 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 32456
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 25848 52 0 0 24 0 11 0 491355451 865402880 25010 4294967295 134512640 134569956 3221224400 3221214680 1131214387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25010 13073 16 0 211264 0
vsize: 845120
[startup+280.188 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 32456
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 26830 52 0 0 25 0 11 0 491355451 865402880 25035 4294967295 134512640 134569956 3221224400 3221214680 1131214085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25035 13073 16 0 211264 0
vsize: 845120
[startup+290.189 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 32456
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 27806 53 0 0 24 0 11 0 491355451 865402880 25063 4294967295 134512640 134569956 3221224400 3221214680 1131214085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25063 13073 16 0 211264 0
vsize: 845120
[startup+300.189 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 32456
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 28785 53 0 0 25 0 11 0 491355451 865402880 25140 4294967295 134512640 134569956 3221224400 3221214680 1131214657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25140 13073 16 0 211264 0
vsize: 845120
[startup+310.189 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 32456
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 29760 53 0 0 25 0 11 0 491355451 865402880 25213 4294967295 134512640 134569956 3221224400 3221214776 1131286834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25213 13073 16 0 211264 0
vsize: 845120
[startup+320.189 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 32456
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 30731 54 0 0 25 0 11 0 491355451 865402880 25278 4294967295 134512640 134569956 3221224400 3221214680 1131214331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25278 13073 16 0 211264 0
vsize: 845120
[startup+330.19 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 32456
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 31705 54 0 0 25 0 11 0 491355451 865402880 25430 4294967295 134512640 134569956 3221224400 3221214568 1131236425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25430 13073 16 0 211264 0
vsize: 845120
[startup+340.19 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 32456
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18058 3 1 0 32683 55 0 0 25 0 11 0 491355451 865402880 25554 4294967295 134512640 134569956 3221224400 3221214680 1131214168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25554 13073 16 0 211264 0
vsize: 845120
[startup+350.19 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 32456
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 33661 55 0 0 24 0 11 0 491355451 865402880 25636 4294967295 134512640 134569956 3221224400 3221214776 1131282779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25636 13073 16 0 211264 0
vsize: 845120
[startup+360.199 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 32456
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 34645 55 0 0 25 0 11 0 491355451 865402880 25675 4294967295 134512640 134569956 3221224400 3221214776 1131282848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25675 13073 16 0 211264 0
vsize: 845120
[startup+370.198 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32457
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 35627 56 0 0 25 0 11 0 491355451 865402880 25714 4294967295 134512640 134569956 3221224400 3221214680 1131215368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25714 13073 16 0 211264 0
vsize: 845120
[startup+380.198 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32457
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 36613 56 0 0 25 0 11 0 491355451 865402880 25768 4294967295 134512640 134569956 3221224400 3221214680 1131215320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25768 13073 16 0 211264 0
vsize: 845120
[startup+390.199 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 37599 56 0 0 25 0 11 0 491355451 865402880 25810 4294967295 134512640 134569956 3221224400 3221214680 1131214077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25810 13073 16 0 211264 0
vsize: 845120
[startup+400.199 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 38586 57 0 0 25 0 11 0 491355451 865402880 25820 4294967295 134512640 134569956 3221224400 3221214560 1131484072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25820 13073 16 0 211264 0
vsize: 845120
[startup+410.2 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 39569 58 0 0 25 0 11 0 491355451 865402880 25871 4294967295 134512640 134569956 3221224400 3221214680 1131214661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25871 13073 16 0 211264 0
vsize: 845120
[startup+420.2 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 40552 58 0 0 25 0 11 0 491355451 865402880 25892 4294967295 134512640 134569956 3221224400 3221214680 1131214263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25892 13073 16 0 211264 0
vsize: 845120
[startup+430.2 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 41532 59 0 0 25 0 11 0 491355451 865402880 25963 4294967295 134512640 134569956 3221224400 3221214680 1131215408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 25963 13073 16 0 211264 0
vsize: 845120
[startup+440.201 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 42515 60 0 0 25 0 11 0 491355451 865402880 26010 4294967295 134512640 134569956 3221224400 3221214680 1131214602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26010 13073 16 0 211264 0
vsize: 845120
[startup+450.201 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 43498 60 0 0 25 0 11 0 491355451 865402880 26074 4294967295 134512640 134569956 3221224400 3221214776 1131286037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26074 13073 16 0 211264 0
vsize: 845120
[startup+460.202 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 44480 61 0 0 24 0 11 0 491355451 865402880 26108 4294967295 134512640 134569956 3221224400 3221214680 1131214166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26108 13073 16 0 211264 0
vsize: 845120
[startup+470.203 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 45460 61 0 0 25 0 11 0 491355451 865402880 26147 4294967295 134512640 134569956 3221224400 3221214680 1131214439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 26147 13073 16 0 211264 0
vsize: 845120
[startup+480.203 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 46439 61 0 0 25 0 11 0 491355451 865402880 26194 4294967295 134512640 134569956 3221224400 3221214680 1131214610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26194 13073 16 0 211264 0
vsize: 845120
[startup+490.203 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 47418 62 0 0 25 0 11 0 491355451 865402880 26308 4294967295 134512640 134569956 3221224400 3221214680 1131214439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26308 13073 16 0 211264 0
vsize: 845120
[startup+500.204 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 48396 62 0 0 25 0 11 0 491355451 865402880 26363 4294967295 134512640 134569956 3221224400 3221214680 1131214641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 26363 13073 16 0 211264 0
vsize: 845120
[startup+510.205 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 49374 62 0 0 21 0 11 0 491355451 865402880 26413 4294967295 134512640 134569956 3221224400 3221214776 1131282848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26413 13073 16 0 211264 0
vsize: 845120
[startup+520.205 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32458
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 50350 63 0 0 24 0 11 0 491355451 865402880 26492 4294967295 134512640 134569956 3221224400 3221214680 1131214981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26492 13073 16 0 211264 0
vsize: 845120
[startup+530.205 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32459
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 51333 63 0 0 25 0 11 0 491355451 865402880 26560 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26560 13073 16 0 211264 0
vsize: 845120
[startup+540.206 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32459
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 52318 64 0 0 25 0 11 0 491355451 865402880 26608 4294967295 134512640 134569956 3221224400 3221214568 1131234632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26608 13073 16 0 211264 0
vsize: 845120
[startup+550.206 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32459
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 53301 64 0 0 25 0 11 0 491355451 865402880 26675 4294967295 134512640 134569956 3221224400 3221214680 1131215320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26675 13073 16 0 211264 0
vsize: 845120
[startup+560.207 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32461
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 54283 65 0 0 25 0 11 0 491355451 865402880 26692 4294967295 134512640 134569956 3221224400 3221214776 1131282779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26692 13073 16 0 211264 0
vsize: 845120
[startup+570.208 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32461
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 55262 65 0 0 25 0 11 0 491355451 865402880 26762 4294967295 134512640 134569956 3221224400 3221214776 1131285263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26762 13073 16 0 211264 0
vsize: 845120
[startup+580.208 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32461
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 56242 65 0 0 25 0 11 0 491355451 865402880 26818 4294967295 134512640 134569956 3221224400 3221214776 1131282779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211280 26818 13073 16 0 211264 0
vsize: 845120
[startup+590.208 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 57222 66 0 0 25 0 11 0 491355451 865402880 26862 4294967295 134512640 134569956 3221224400 3221214680 1131214641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26862 13073 16 0 211264 0
vsize: 845120
[startup+600.209 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 58204 66 0 0 25 0 11 0 491355451 865402880 26946 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 26946 13073 16 0 211264 0
vsize: 845120
[startup+610.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 59183 66 0 0 25 0 11 0 491355451 865402880 27008 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27008 13073 16 0 211264 0
vsize: 845120
[startup+620.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 60161 67 0 0 25 0 11 0 491355451 865402880 27072 4294967295 134512640 134569956 3221224400 3221214772 1131214060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27072 13073 16 0 211264 0
vsize: 845120
[startup+630.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 61138 67 0 0 25 0 11 0 491355451 865402880 27156 4294967295 134512640 134569956 3221224400 3221214776 1131283820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27156 13073 16 0 211264 0
vsize: 845120
[startup+640.211 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 62117 67 0 0 25 0 11 0 491355451 865402880 27240 4294967295 134512640 134569956 3221224400 3221214680 1131214129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27240 13073 16 0 211264 0
vsize: 845120
[startup+650.211 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 63096 67 0 0 24 0 11 0 491355451 865402880 27335 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27335 13073 16 0 211264 0
vsize: 845120
[startup+660.212 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 64077 68 0 0 25 0 11 0 491355451 865402880 27387 4294967295 134512640 134569956 3221224400 3221214680 1131214387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27387 13073 16 0 211264 0
vsize: 845120
[startup+670.212 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 65056 68 0 0 25 0 11 0 491355451 865402880 27443 4294967295 134512640 134569956 3221224400 3221214776 1131283702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27443 13073 16 0 211264 0
vsize: 845120
[startup+680.212 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 66035 69 0 0 25 0 11 0 491355451 865402880 27494 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27494 13073 16 0 211264 0
vsize: 845120
[startup+690.213 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 67014 69 0 0 25 0 11 0 491355451 865402880 27569 4294967295 134512640 134569956 3221224400 3221214680 1131215250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27569 13073 16 0 211264 0
vsize: 845120
[startup+700.213 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 67993 69 0 0 25 0 11 0 491355451 865402880 27635 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27635 13073 16 0 211264 0
vsize: 845120
[startup+710.214 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 68972 70 0 0 24 0 11 0 491355451 865402880 27707 4294967295 134512640 134569956 3221224400 3221214776 1131285100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27707 13073 16 0 211264 0
vsize: 845120
[startup+720.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 69954 70 0 0 25 0 11 0 491355451 865402880 27803 4294967295 134512640 134569956 3221224400 3221214680 1131214657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27803 13073 16 0 211264 0
vsize: 845120
[startup+730.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 70936 70 0 0 25 0 11 0 491355451 865402880 27861 4294967295 134512640 134569956 3221224400 3221214680 1131214380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27861 13073 16 0 211264 0
vsize: 845120
[startup+740.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 71919 70 0 0 25 0 11 0 491355451 865402880 27908 4294967295 134512640 134569956 3221224400 3221214680 1131214633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27908 13073 16 0 211264 0
vsize: 845120
[startup+750.217 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 72902 70 0 0 25 0 11 0 491355451 865402880 27957 4294967295 134512640 134569956 3221224400 3221214680 1131214501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27957 13073 16 0 211264 0
vsize: 845120
[startup+760.218 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 73886 71 0 0 17 0 11 0 491355451 865402880 27988 4294967295 134512640 134569956 3221224400 3221214680 1131214081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 27988 13073 16 0 211264 0
vsize: 845120
[startup+770.217 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 74868 72 0 0 25 0 11 0 491355451 865402880 28039 4294967295 134512640 134569956 3221224400 3221214680 1131214516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28039 13073 16 0 211264 0
vsize: 845120
[startup+780.219 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 75850 72 0 0 25 0 11 0 491355451 865402880 28058 4294967295 134512640 134569956 3221224400 3221214680 1131214357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28058 13073 16 0 211264 0
vsize: 845120
[startup+790.219 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 76831 72 0 0 25 0 11 0 491355451 865402880 28131 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28131 13073 16 0 211264 0
vsize: 845120
[startup+800.218 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 77812 72 0 0 25 0 11 0 491355451 865402880 28171 4294967295 134512640 134569956 3221224400 3221214776 1131285192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28171 13073 16 0 211264 0
vsize: 845120
[startup+810.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 78793 73 0 0 25 0 11 0 491355451 865402880 28206 4294967295 134512640 134569956 3221224400 3221214776 1131284801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28206 13073 16 0 211264 0
vsize: 845120
[startup+820.221 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 79776 73 0 0 25 0 11 0 491355451 865402880 28254 4294967295 134512640 134569956 3221224400 3221214680 1131214254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28254 13073 16 0 211264 0
vsize: 845120
[startup+830.221 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32462
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 80756 74 0 0 25 0 11 0 491355451 865402880 28278 4294967295 134512640 134569956 3221224400 3221214776 1131285126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28278 13073 16 0 211264 0
vsize: 845120
[startup+840.224 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) S 32384 30701 30700 0 -1 0 18059 3 1 0 81739 74 0 0 25 0 11 0 491355451 865402880 28315 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28315 13073 16 0 211264 0
vsize: 845120
[startup+850.224 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 82722 74 0 0 25 0 11 0 491355451 865402880 28378 4294967295 134512640 134569956 3221224400 3221214776 1131285143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28378 13073 16 0 211264 0
vsize: 845120
[startup+860.223 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 83704 75 0 0 25 0 11 0 491355451 865402880 28413 4294967295 134512640 134569956 3221224400 3221214680 1131214713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28413 13073 16 0 211264 0
vsize: 845120
[startup+870.224 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 84684 75 0 0 25 0 11 0 491355451 865402880 28450 4294967295 134512640 134569956 3221224400 3221214680 1131214641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28450 13073 16 0 211264 0
vsize: 845120
[startup+880.224 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 85665 75 0 0 25 0 11 0 491355451 865402880 28492 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28492 13073 16 0 211264 0
vsize: 845120
[startup+890.225 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 86645 76 0 0 25 0 11 0 491355451 865402880 28542 4294967295 134512640 134569956 3221224400 3221214776 1131282779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28542 13073 16 0 211264 0
vsize: 845120
[startup+900.226 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 87624 76 0 0 25 0 11 0 491355451 865402880 28601 4294967295 134512640 134569956 3221224400 3221214680 1131214331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28601 13073 16 0 211264 0
vsize: 845120
[startup+910.225 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 88604 76 0 0 25 0 11 0 491355451 865402880 28662 4294967295 134512640 134569956 3221224400 3221214776 1131283720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28662 13073 16 0 211264 0
vsize: 845120
[startup+920.225 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 89585 77 0 0 25 0 11 0 491355451 865402880 28707 4294967295 134512640 134569956 3221224400 3221214680 1131215375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28707 13073 16 0 211264 0
vsize: 845120
[startup+930.226 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 90565 77 0 0 25 0 11 0 491355451 865402880 28771 4294967295 134512640 134569956 3221224400 3221214776 1131282814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28771 13073 16 0 211264 0
vsize: 845120
[startup+940.226 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 91548 78 0 0 25 0 11 0 491355451 865402880 28802 4294967295 134512640 134569956 3221224400 3221214680 1131214144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28802 13073 16 0 211264 0
vsize: 845120
[startup+950.226 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 92530 78 0 0 25 0 11 0 491355451 865402880 28831 4294967295 134512640 134569956 3221224400 3221214724 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28831 13073 16 0 211264 0
vsize: 845120
[startup+960.227 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 93511 79 0 0 24 0 11 0 491355451 865402880 28882 4294967295 134512640 134569956 3221224400 3221214776 1131282848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28882 13073 16 0 211264 0
vsize: 845120
[startup+970.227 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 94491 79 0 0 25 0 11 0 491355451 865402880 28926 4294967295 134512640 134569956 3221224400 3221214680 1131214948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28926 13073 16 0 211264 0
vsize: 845120
[startup+980.226 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 95467 79 0 0 25 0 11 0 491355451 865402880 28975 4294967295 134512640 134569956 3221224400 3221214680 1131214713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 28975 13073 16 0 211264 0
vsize: 845120
[startup+990.228 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 96440 80 0 0 25 0 11 0 491355451 865402880 29023 4294967295 134512640 134569956 3221224400 3221214680 1131215242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29023 13073 16 0 211264 0
vsize: 845120
[startup+1000.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 97413 80 0 0 25 0 11 0 491355451 865402880 29179 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29179 13073 16 0 211264 0
vsize: 845120
[startup+1010.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 98390 80 0 0 25 0 11 0 491355451 865402880 29324 4294967295 134512640 134569956 3221224400 3221214440 1131394346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29324 13073 16 0 211264 0
vsize: 845120
[startup+1020.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 99370 81 0 0 25 0 11 0 491355451 865402880 29458 4294967295 134512640 134569956 3221224400 3221214776 1131285085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29458 13073 16 0 211264 0
vsize: 845120
[startup+1030.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 100352 81 0 0 25 0 11 0 491355451 865402880 29497 4294967295 134512640 134569956 3221224400 3221214776 1131284868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29497 13073 16 0 211264 0
vsize: 845120
[startup+1040.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 101333 81 0 0 25 0 11 0 491355451 865402880 29556 4294967295 134512640 134569956 3221224400 3221214680 1131214174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29556 13073 16 0 211264 0
vsize: 845120
[startup+1050.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 102313 81 0 0 25 0 11 0 491355451 865402880 29576 4294967295 134512640 134569956 3221224400 3221214776 1131285143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29576 13073 16 0 211264 0
vsize: 845120
[startup+1060.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 103291 81 0 0 25 0 11 0 491355451 865402880 29646 4294967295 134512640 134569956 3221224400 3221214568 1131234924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29646 13073 16 0 211264 0
vsize: 845120
[startup+1070.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 104272 82 0 0 25 0 11 0 491355451 865402880 29695 4294967295 134512640 134569956 3221224400 3221214776 1131282779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29695 13073 16 0 211264 0
vsize: 845120
[startup+1080.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 105252 82 0 0 25 0 11 0 491355451 865402880 29755 4294967295 134512640 134569956 3221224400 3221214776 1131282779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29755 13073 16 0 211264 0
vsize: 845120
[startup+1090.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 106232 82 0 0 25 0 11 0 491355451 865402880 29791 4294967295 134512640 134569956 3221224400 3221214680 1131214588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29791 13073 16 0 211264 0
vsize: 845120
[startup+1100.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 107209 83 0 0 25 0 11 0 491355451 865402880 29841 4294967295 134512640 134569956 3221224400 3221214776 1131284675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29841 13073 16 0 211264 0
vsize: 845120
[startup+1110.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 108189 83 0 0 25 0 11 0 491355451 865402880 29891 4294967295 134512640 134569956 3221224400 3221214680 1131214657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29891 13073 16 0 211264 0
vsize: 845120
[startup+1120.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 109168 83 0 0 25 0 11 0 491355451 865402880 29928 4294967295 134512640 134569956 3221224400 3221214680 1131214657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29928 13073 16 0 211264 0
vsize: 845120
[startup+1130.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 110147 83 0 0 25 0 11 0 491355451 865402880 29990 4294967295 134512640 134569956 3221224400 3221214680 1131214669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 29990 13073 16 0 211264 0
vsize: 845120
[startup+1140.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 111124 84 0 0 24 0 11 0 491355451 865402880 30056 4294967295 134512640 134569956 3221224400 3221214680 1131215260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 30056 13073 16 0 211264 0
vsize: 845120
[startup+1150.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 112102 84 0 0 25 0 11 0 491355451 865402880 30104 4294967295 134512640 134569956 3221224400 3221214568 1131234607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 30104 13073 16 0 211264 0
vsize: 845120
[startup+1160.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 113079 84 0 0 24 0 11 0 491355451 865402880 30195 4294967295 134512640 134569956 3221224400 3221214776 1131282575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 30195 13073 16 0 211264 0
vsize: 845120
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 114058 85 0 0 25 0 11 0 491355451 865402880 30234 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 30234 13073 16 0 211264 0
vsize: 845120
[startup+1180.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 115036 85 0 0 25 0 11 0 491355451 865402880 30313 4294967295 134512640 134569956 3221224400 3221214776 1131283882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 30313 13073 16 0 211264 0
vsize: 845120
[startup+1190.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 116015 85 0 0 25 0 11 0 491355451 865402880 30344 4294967295 134512640 134569956 3221224400 3221214776 1131283830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 30344 13073 16 0 211264 0
vsize: 845120
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 116995 85 0 0 25 0 11 0 491355451 865402880 30464 4294967295 134512640 134569956 3221224400 3221214680 1131214113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 30464 13073 16 0 211264 0
vsize: 845120
[startup+1210.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32463
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 117975 86 0 0 25 0 11 0 491355451 865402880 30502 4294967295 134512640 134569956 3221224400 3221213872 1079720997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 30502 13073 16 0 211264 0
vsize: 845120
[startup+1220.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32464
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 118955 86 0 0 25 0 11 0 491355451 865402880 30558 4294967295 134512640 134569956 3221224400 3221214680 1131214734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 30558 13073 16 0 211264 0
vsize: 845120
[startup+1230.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32464
Raw data (stat): 32385 (java) R 32384 30701 30700 0 -1 0 18059 3 1 0 119937 86 0 0 25 0 11 0 491355451 865402880 30613 4294967295 134512640 134569956 3221224400 3221214680 1131214485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211280 30613 13073 16 0 211264 0
vsize: 845120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.35 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32466
Raw data (stat): 32385 (java) Z 32384 30701 30700 0 -1 1036 18059 20995 1 0 119941 92 4299 65 25 0 1 0 491355451 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): 1230.35
CPU time (s): 1244
CPU user time (s): 1242.42
CPU system time (s): 1.57876
CPU usage (%): 101.109
Max. virtual memory (Kb): 849056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####