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-protfold.opb
MD5SUM	c5ca7819a7dcae16ff6045242cdd1f87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-23
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	120
Number of bits of the sum of numbers in the objective function	7
Biggest number in a constraint	18
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	900
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	1835
Total number of constraints	3947
Number of constraints which are clauses	1906
Number of constraints which are cardinality constraints (but not clauses)	1921
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	1
Maximum length of a constraint	882
Trace number 21627

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-04-22 00:30:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12944 boxname=wulflinc19 idbench=996 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-protfold.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-protfold.opb
IDLAUNCH: 12944
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        762576 kB
Buffers:         10600 kB
Cached:         237992 kB
SwapCached:        560 kB
Active:          21072 kB
Inactive:       229628 kB
HighTotal:      131008 kB
HighFree:        43708 kB
LowTotal:       903652 kB
LowFree:        718868 kB
SwapTotal:     2097892 kB
SwapFree:      2096388 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5172 kB
Slab:            15704 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 00:51:49 (client local time) WITH STATUS 143 IN 1275.71 SECONDS
stats: 12944 7 1275.71 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-protfold.opb
c reading problem 
c [nbvar=1835]
c [nbconstr=3947]
c time 5.315
c #vars     1835
c #clauses  2149
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=-11
c Current CPU time (ms) : 28.316
c starts	: 2
c conflicts	: 123
c decisions	: 2203
c propagations	: 18402
c inspects	: 50393
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 123
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-12
c Current CPU time (ms) : 53.658
c starts	: 4
c conflicts	: 232
c decisions	: 3485
c propagations	: 32034
c inspects	: 97709
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 232
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-13
c Current CPU time (ms) : 79.919
c starts	: 5
c conflicts	: 320
c decisions	: 4351
c propagations	: 43263
c inspects	: 135503
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 320
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-15
c Current CPU time (ms) : 128.15
c starts	: 7
c conflicts	: 469
c decisions	: 5861
c propagations	: 61519
c inspects	: 223330
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-16
c Current CPU time (ms) : 229.582
c starts	: 10
c conflicts	: 761
c decisions	: 9713
c propagations	: 100370
c inspects	: 422129
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 761
c root simplifications	: 10
c 
c CURRENT OPTIMUM=-17
c Current CPU time (ms) : 424.773
c starts	: 13
c conflicts	: 1082
c decisions	: 13024
c propagations	: 140868
c inspects	: 740379
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1082
c root simplifications	: 13
#### 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.90 0.95 0.91 1/55 12723
Raw data (stat): 12723 (runsolver) R 12722 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549409550 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.0067 s]
Raw data (loadavg): 1.23 1.02 0.93 3/65 12733
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18074 0 1 0 714 42 0 0 25 0 11 0 549409550 860057600 20630 4294967295 134512640 134569956 3221224400 3221214688 1131305040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209975 20630 13073 16 0 209959 0
vsize: 839900
[startup+20.008 s]
Raw data (loadavg): 1.19 1.02 0.93 2/65 12733
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18075 0 1 0 1628 43 0 0 25 0 11 0 549409550 862511104 22081 4294967295 134512640 134569956 3221224400 3221214688 1131228037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 22081 13073 16 0 210558 0
vsize: 842296
[startup+30.0073 s]
Raw data (loadavg): 1.24 1.04 0.93 2/65 12734
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18075 3 1 0 2552 43 0 0 25 0 11 0 549409550 859246592 21699 4294967295 134512640 134569956 3221224400 3221214712 1131343212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 21699 13073 16 0 209761 0
vsize: 839108
[startup+40.0082 s]
Raw data (loadavg): 1.20 1.03 0.93 2/65 12734
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18075 3 1 0 3478 43 0 0 25 0 11 0 549409550 859246592 22067 4294967295 134512640 134569956 3221224400 3221214688 1131228767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 22067 13073 16 0 209761 0
vsize: 839108
[startup+50.0088 s]
Raw data (loadavg): 1.17 1.03 0.93 2/65 12734
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 4399 44 0 0 25 0 11 0 549409550 859246592 22148 4294967295 134512640 134569956 3221224400 3221214648 1131474194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 22148 13073 16 0 209761 0
vsize: 839108
[startup+60.0102 s]
Raw data (loadavg): 1.14 1.03 0.93 2/65 12735
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 5325 45 0 0 25 0 11 0 549409550 859246592 22363 4294967295 134512640 134569956 3221224400 3221214664 1131357124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 22363 13073 16 0 209761 0
vsize: 839108
[startup+70.0106 s]
Raw data (loadavg): 1.12 1.03 0.93 2/65 12735
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 6251 45 0 0 25 0 11 0 549409550 859246592 22566 4294967295 134512640 134569956 3221224400 3221214744 1131238462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 22566 13073 16 0 209761 0
vsize: 839108
[startup+80.0192 s]
Raw data (loadavg): 1.10 1.03 0.93 2/65 12735
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 7158 45 0 0 25 0 11 0 549409550 859246592 22850 4294967295 134512640 134569956 3221224400 3221214656 1131514049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 22850 13073 16 0 209761 0
vsize: 839108
[startup+90.0191 s]
Raw data (loadavg): 1.09 1.03 0.93 2/65 12736
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 8086 45 0 0 25 0 11 0 549409550 859246592 23010 4294967295 134512640 134569956 3221224400 3221214656 1131514000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 23010 13073 16 0 209761 0
vsize: 839108
[startup+100.019 s]
Raw data (loadavg): 1.07 1.03 0.93 2/65 12736
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 9005 45 0 0 25 0 11 0 549409550 859246592 23258 4294967295 134512640 134569956 3221224400 3221214552 1131542681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 23258 13073 16 0 209761 0
vsize: 839108
[startup+110.023 s]
Raw data (loadavg): 1.06 1.02 0.93 2/65 12736
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 9932 45 0 0 25 0 11 0 549409550 859246592 23512 4294967295 134512640 134569956 3221224400 3221214776 1131313753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 23512 13073 16 0 209761 0
vsize: 839108
[startup+120.029 s]
Raw data (loadavg): 1.05 1.02 0.93 2/65 12736
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 10865 45 0 0 25 0 11 0 549409550 859246592 23695 4294967295 134512640 134569956 3221224400 3221214808 1131382451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 23695 13073 16 0 209761 0
vsize: 839108
[startup+130.028 s]
Raw data (loadavg): 1.12 1.04 0.94 3/65 12737
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 11789 45 0 0 25 0 11 0 549409550 861347840 24245 4294967295 134512640 134569956 3221224400 3221214680 1131228037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210290 24245 13073 16 0 210274 0
vsize: 841160
[startup+140.03 s]
Raw data (loadavg): 1.10 1.04 0.94 2/65 12737
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 12728 46 0 0 25 0 11 0 549409550 860524544 24377 4294967295 134512640 134569956 3221224400 3221214808 1131380268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24377 13073 16 0 210073 0
vsize: 840356
[startup+150.031 s]
Raw data (loadavg): 1.09 1.04 0.94 2/65 12737
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 13663 46 0 0 25 0 11 0 549409550 860524544 24552 4294967295 134512640 134569956 3221224400 3221214744 1131238505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24552 13073 16 0 210073 0
vsize: 840356
[startup+160.032 s]
Raw data (loadavg): 1.07 1.03 0.94 2/65 12737
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 14600 46 0 0 25 0 11 0 549409550 860524544 24723 4294967295 134512640 134569956 3221224400 3221214680 1131228254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24723 13073 16 0 210073 0
vsize: 840356
[startup+170.032 s]
Raw data (loadavg): 1.06 1.03 0.94 2/65 12737
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 15538 47 0 0 25 0 11 0 549409550 860524544 24875 4294967295 134512640 134569956 3221224400 3221214560 1131238505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24875 13073 16 0 210073 0
vsize: 840356
[startup+180.032 s]
Raw data (loadavg): 1.05 1.03 0.94 2/65 12737
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 16472 48 0 0 24 0 11 0 549409550 859246592 24731 4294967295 134512640 134569956 3221224400 3221214664 1131359268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 24731 13073 16 0 209761 0
vsize: 839108
[startup+190.033 s]
Raw data (loadavg): 1.04 1.03 0.94 2/65 12737
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 17412 48 0 0 25 0 11 0 549409550 859246592 24817 4294967295 134512640 134569956 3221224400 3221214808 1131380792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 24817 13073 16 0 209761 0
vsize: 839108
[startup+200.034 s]
Raw data (loadavg): 1.04 1.03 0.94 2/65 12737
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 18345 48 0 0 25 0 11 0 549409550 859246592 25000 4294967295 134512640 134569956 3221224400 3221214760 1131214246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 25000 13073 16 0 209761 0
vsize: 839108
[startup+210.034 s]
Raw data (loadavg): 1.03 1.03 0.94 2/65 12737
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 19268 49 0 0 24 0 11 0 549409550 859246592 25196 4294967295 134512640 134569956 3221224400 3221214744 1131238505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 25196 13073 16 0 209761 0
vsize: 839108
[startup+220.035 s]
Raw data (loadavg): 1.02 1.03 0.94 2/65 12737
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 20196 49 0 0 24 0 11 0 549409550 859246592 25414 4294967295 134512640 134569956 3221224400 3221214680 1131228709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 25414 13073 16 0 209761 0
vsize: 839108
[startup+230.035 s]
Raw data (loadavg): 1.02 1.02 0.94 2/65 12737
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 21134 49 0 0 25 0 11 0 549409550 859246592 25570 4294967295 134512640 134569956 3221224400 3221214680 1131228037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 25570 13073 16 0 209761 0
vsize: 839108
[startup+240.035 s]
Raw data (loadavg): 1.02 1.02 0.94 2/65 12738
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 22082 49 0 0 24 0 11 0 549409550 859246592 25737 4294967295 134512640 134569956 3221224400 3221214656 1131514141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 25737 13073 16 0 209761 0
vsize: 839108
[startup+250.036 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 12738
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 23034 50 0 0 25 0 11 0 549409550 859246592 25871 4294967295 134512640 134569956 3221224400 3221214776 1131311745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 25871 13073 16 0 209761 0
vsize: 839108
[startup+260.037 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 23980 50 0 0 25 0 11 0 549409550 859246592 25955 4294967295 134512640 134569956 3221224400 3221214776 1131312818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 25955 13073 16 0 209761 0
vsize: 839108
[startup+270.038 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 24927 50 0 0 25 0 11 0 549409550 859246592 26075 4294967295 134512640 134569956 3221224400 3221214696 1131447864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 26075 13073 16 0 209761 0
vsize: 839108
[startup+280.038 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 25890 51 0 0 25 0 11 0 549409550 859246592 26204 4294967295 134512640 134569956 3221224400 3221214560 1131238670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 26204 13073 16 0 209761 0
vsize: 839108
[startup+290.039 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 26861 51 0 0 25 0 11 0 549409550 859246592 26261 4294967295 134512640 134569956 3221224400 3221214744 1131229230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 26261 13073 16 0 209761 0
vsize: 839108
[startup+300.039 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 27811 51 0 0 25 0 11 0 549409550 859246592 26345 4294967295 134512640 134569956 3221224400 3221214808 1131383004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 26345 13073 16 0 209761 0
vsize: 839108
[startup+310.039 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 28762 51 0 0 25 0 11 0 549409550 859246592 26488 4294967295 134512640 134569956 3221224400 3221214680 1131228041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 26488 13073 16 0 209761 0
vsize: 839108
[startup+320.04 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 29713 52 0 0 25 0 11 0 549409550 859246592 26488 4294967295 134512640 134569956 3221224400 3221214680 1131228537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 26488 13073 16 0 209761 0
vsize: 839108
[startup+330.04 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 30658 52 0 0 25 0 11 0 549409550 859246592 26655 4294967295 134512640 134569956 3221224400 3221214776 1131313069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 26655 13073 16 0 209761 0
vsize: 839108
[startup+340.041 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 31604 52 0 0 25 0 11 0 549409550 859246592 26759 4294967295 134512640 134569956 3221224400 3221214656 1131514127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 26759 13073 16 0 209761 0
vsize: 839108
[startup+350.042 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 32563 53 0 0 25 0 11 0 549409550 859246592 26854 4294967295 134512640 134569956 3221224400 3221214776 1131313796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 26854 13073 16 0 209761 0
vsize: 839108
[startup+360.041 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 33518 53 0 0 25 0 11 0 549409550 859246592 26932 4294967295 134512640 134569956 3221224400 3221214552 1131540981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 26932 13073 16 0 209761 0
vsize: 839108
[startup+370.041 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 34460 53 0 0 25 0 11 0 549409550 859246592 27098 4294967295 134512640 134569956 3221224400 3221214772 1131272083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 27098 13073 16 0 209761 0
vsize: 839108
[startup+380.042 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 35408 53 0 0 25 0 11 0 549409550 859246592 27207 4294967295 134512640 134569956 3221224400 3221214656 1131514017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 27207 13073 16 0 209761 0
vsize: 839108
[startup+390.042 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 36347 54 0 0 25 0 11 0 549409550 859246592 27302 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 27302 13073 16 0 209761 0
vsize: 839108
[startup+400.043 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 12740
Raw data (stat): 12723 (java) S 12722 22929 22928 0 -1 0 18076 3 1 0 37282 54 0 0 25 0 11 0 549409550 859246592 27433 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 27433 13073 16 0 209761 0
vsize: 839108
[startup+410.044 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 38221 54 0 0 25 0 11 0 549409550 859246592 27587 4294967295 134512640 134569956 3221224400 3221214680 1131228731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 27587 13073 16 0 209761 0
vsize: 839108
[startup+420.044 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 12740
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 39164 54 0 0 24 0 11 0 549409550 859246592 27813 4294967295 134512640 134569956 3221224400 3221214776 1131311899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 27813 13073 16 0 209761 0
vsize: 839108
[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 40119 55 0 0 25 0 11 0 549409550 859246592 27923 4294967295 134512640 134569956 3221224400 3221214840 1131327463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 27923 13073 16 0 209761 0
vsize: 839108
[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 41082 55 0 0 25 0 11 0 549409550 859246592 27978 4294967295 134512640 134569956 3221224400 3221214680 1131229218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 27978 13073 16 0 209761 0
vsize: 839108
[startup+450.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 42037 55 0 0 25 0 11 0 549409550 859246592 28065 4294967295 134512640 134569956 3221224400 3221214840 1131647705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 28065 13073 16 0 209761 0
vsize: 839108
[startup+460.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 42989 55 0 0 25 0 11 0 549409550 859246592 28168 4294967295 134512640 134569956 3221224400 3221214776 1131311741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 28168 13073 16 0 209761 0
vsize: 839108
[startup+470.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 43937 55 0 0 25 0 11 0 549409550 859246592 28266 4294967295 134512640 134569956 3221224400 3221214776 1131313012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 28266 13073 16 0 209761 0
vsize: 839108
[startup+480.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 44884 55 0 0 25 0 11 0 549409550 859246592 28369 4294967295 134512640 134569956 3221224400 3221214560 1131238462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 28369 13073 16 0 209761 0
vsize: 839108
[startup+490.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 45841 55 0 0 25 0 11 0 549409550 859246592 28463 4294967295 134512640 134569956 3221224400 3221214776 1131315621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 28463 13073 16 0 209761 0
vsize: 839108
[startup+500.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 46793 55 0 0 25 0 11 0 549409550 859246592 28581 4294967295 134512640 134569956 3221224400 3221214576 1131253909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 28581 13073 16 0 209761 0
vsize: 839108
[startup+510.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 47749 55 0 0 25 0 11 0 549409550 859246592 28748 4294967295 134512640 134569956 3221224400 3221214840 1131327456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 28748 13073 16 0 209761 0
vsize: 839108
[startup+520.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 48710 55 0 0 25 0 11 0 549409550 859246592 28832 4294967295 134512640 134569956 3221224400 3221214680 1131228199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 28832 13073 16 0 209761 0
vsize: 839108
[startup+530.118 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 49670 55 0 0 24 0 11 0 549409550 859246592 28918 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 28918 13073 16 0 209761 0
vsize: 839108
[startup+540.119 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 50622 55 0 0 24 0 11 0 549409550 859246592 29018 4294967295 134512640 134569956 3221224400 3221214840 1131647526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 29018 13073 16 0 209761 0
vsize: 839108
[startup+550.122 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12741
Raw data (stat): 12723 (java) S 12722 22929 22928 0 -1 0 18076 3 1 0 51576 56 0 0 25 0 11 0 549409550 859246592 29126 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 29126 13073 16 0 209761 0
vsize: 839108
[startup+560.121 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 52533 56 0 0 25 0 11 0 549409550 859246592 29245 4294967295 134512640 134569956 3221224400 3221214776 1131312841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 29245 13073 16 0 209761 0
vsize: 839108
[startup+570.131 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 53490 56 0 0 25 0 11 0 549409550 859246592 29365 4294967295 134512640 134569956 3221224400 3221214776 1131311855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 29365 13073 16 0 209761 0
vsize: 839108
[startup+580.132 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) S 12722 22929 22928 0 -1 0 18076 3 1 0 54456 57 0 0 25 0 11 0 549409550 859246592 29403 4294967295 134512640 134569956 3221224400 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 29403 13073 16 0 209761 0
vsize: 839108
[startup+590.132 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) S 12722 22929 22928 0 -1 0 18076 3 1 0 55412 57 0 0 25 0 11 0 549409550 859246592 29501 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 29501 13073 16 0 209761 0
vsize: 839108
[startup+600.133 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 56371 57 0 0 25 0 11 0 549409550 859246592 29583 4294967295 134512640 134569956 3221224400 3221214840 1131327704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 29583 13073 16 0 209761 0
vsize: 839108
[startup+610.133 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 57328 58 0 0 25 0 11 0 549409550 859246592 29641 4294967295 134512640 134569956 3221224400 3221214772 1131228012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 29641 13073 16 0 209761 0
vsize: 839108
[startup+620.133 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 58283 59 0 0 25 0 11 0 549409550 859246592 29768 4294967295 134512640 134569956 3221224400 3221214680 1131228709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 29768 13073 16 0 209761 0
vsize: 839108
[startup+630.134 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 59233 59 0 0 25 0 11 0 549409550 859246592 29857 4294967295 134512640 134569956 3221224400 3221214680 1131228225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 29857 13073 16 0 209761 0
vsize: 839108
[startup+640.135 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 60193 59 0 0 25 0 11 0 549409550 859246592 29942 4294967295 134512640 134569956 3221224400 3221214776 1131311909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 29942 13073 16 0 209761 0
vsize: 839108
[startup+650.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 61144 60 0 0 25 0 11 0 549409550 859246592 30045 4294967295 134512640 134569956 3221224400 3221214656 1131511879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 30045 13073 16 0 209761 0
vsize: 839108
[startup+660.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 62097 60 0 0 25 0 11 0 549409550 859246592 30142 4294967295 134512640 134569956 3221224400 3221214680 1131229247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 30142 13073 16 0 209761 0
vsize: 839108
[startup+670.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 63054 61 0 0 25 0 11 0 549409550 859246592 30197 4294967295 134512640 134569956 3221224400 3221214652 1131239367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 30197 13073 16 0 209761 0
vsize: 839108
[startup+680.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 64014 61 0 0 25 0 11 0 549409550 859246592 30321 4294967295 134512640 134569956 3221224400 3221214680 1131228537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 30321 13073 16 0 209761 0
vsize: 839108
[startup+690.137 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 64977 61 0 0 25 0 11 0 549409550 859246592 30401 4294967295 134512640 134569956 3221224400 3221213988 1131655760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 30401 13073 16 0 209761 0
vsize: 839108
[startup+700.138 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 65942 62 0 0 25 0 11 0 549409550 859246592 30468 4294967295 134512640 134569956 3221224400 3221213824 1131655761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 30468 13073 16 0 209761 0
vsize: 839108
[startup+710.137 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 66900 62 0 0 25 0 11 0 549409550 859246592 30582 4294967295 134512640 134569956 3221224400 3221214680 1131228206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 30582 13073 16 0 209761 0
vsize: 839108
[startup+720.138 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 67852 62 0 0 25 0 11 0 549409550 859246592 30620 4294967295 134512640 134569956 3221224400 3221214680 1131228259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 30620 13073 16 0 209761 0
vsize: 839108
[startup+730.138 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 68796 63 0 0 25 0 11 0 549409550 859246592 30721 4294967295 134512640 134569956 3221224400 3221214776 1131313705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 30721 13073 16 0 209761 0
vsize: 839108
[startup+740.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 69743 63 0 0 25 0 11 0 549409550 859246592 30872 4294967295 134512640 134569956 3221224400 3221214680 1131228644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 30872 13073 16 0 209761 0
vsize: 839108
[startup+750.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 70692 63 0 0 25 0 11 0 549409550 859246592 30985 4294967295 134512640 134569956 3221224400 3221214552 1131541007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 30985 13073 16 0 209761 0
vsize: 839108
[startup+760.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 71655 63 0 0 25 0 11 0 549409550 859246592 31078 4294967295 134512640 134569956 3221224400 3221214680 1131238530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 31078 13073 16 0 209761 0
vsize: 839108
[startup+770.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 72618 63 0 0 25 0 11 0 549409550 859246592 31207 4294967295 134512640 134569956 3221224400 3221214656 1131511879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 31207 13073 16 0 209761 0
vsize: 839108
[startup+780.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 73586 64 0 0 25 0 11 0 549409550 859246592 31294 4294967295 134512640 134569956 3221224400 3221214776 1131314403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 31294 13073 16 0 209761 0
vsize: 839108
[startup+790.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 74554 64 0 0 25 0 11 0 549409550 859246592 31379 4294967295 134512640 134569956 3221224400 3221214656 1131514000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 31379 13073 16 0 209761 0
vsize: 839108
[startup+800.142 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 75518 65 0 0 25 0 11 0 549409550 859246592 31419 4294967295 134512640 134569956 3221224400 3221214560 1131238505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 31419 13073 16 0 209761 0
vsize: 839108
[startup+810.142 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 76481 65 0 0 25 0 11 0 549409550 859246592 31458 4294967295 134512640 134569956 3221224400 3221214560 1131238625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 31458 13073 16 0 209761 0
vsize: 839108
[startup+820.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 77446 65 0 0 25 0 11 0 549409550 859246592 31553 4294967295 134512640 134569956 3221224400 3221214680 1131229137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 31553 13073 16 0 209761 0
vsize: 839108
[startup+830.142 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 78409 66 0 0 25 0 11 0 549409550 859246592 31630 4294967295 134512640 134569956 3221224400 3221214776 1131311535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 31630 13073 16 0 209761 0
vsize: 839108
[startup+840.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 79366 66 0 0 25 0 11 0 549409550 859246592 31710 4294967295 134512640 134569956 3221224400 3221214952 1131300680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 31710 13073 16 0 209761 0
vsize: 839108
[startup+850.144 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12743
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 80319 66 0 0 25 0 11 0 549409550 859246592 31804 4294967295 134512640 134569956 3221224400 3221214680 1131228491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 31804 13073 16 0 209761 0
vsize: 839108
[startup+860.144 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 81275 67 0 0 25 0 11 0 549409550 859246592 31877 4294967295 134512640 134569956 3221224400 3221214680 1131228693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 31877 13073 16 0 209761 0
vsize: 839108
[startup+870.145 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 82229 67 0 0 25 0 11 0 549409550 859246592 31986 4294967295 134512640 134569956 3221224400 3221214480 1131506430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 31986 13073 16 0 209761 0
vsize: 839108
[startup+880.145 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 83196 67 0 0 25 0 11 0 549409550 859246592 32061 4294967295 134512640 134569956 3221224400 3221214544 1131638730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 32061 13073 16 0 209761 0
vsize: 839108
[startup+890.145 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 84167 67 0 0 25 0 11 0 549409550 859246592 32117 4294967295 134512640 134569956 3221224400 3221214560 1131238646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 32117 13073 16 0 209761 0
vsize: 839108
[startup+900.146 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 85139 67 0 0 25 0 11 0 549409550 859246592 32205 4294967295 134512640 134569956 3221224400 3221214384 1080217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 32205 13073 16 0 209761 0
vsize: 839108
[startup+910.147 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 86125 68 0 0 25 0 11 0 549409550 859246592 33058 4294967295 134512640 134569956 3221224400 3221214512 1131488746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 33058 13073 16 0 209761 0
vsize: 839108
[startup+920.148 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 87115 68 0 0 25 0 11 0 549409550 859246592 33295 4294967295 134512640 134569956 3221224400 3221214776 1131311535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 33295 13073 16 0 209761 0
vsize: 839108
[startup+930.148 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 88094 68 0 0 25 0 11 0 549409550 859246592 33295 4294967295 134512640 134569956 3221224400 3221214560 1131238313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 33295 13073 16 0 209761 0
vsize: 839108
[startup+940.149 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 89069 69 0 0 25 0 11 0 549409550 859246592 33295 4294967295 134512640 134569956 3221224400 3221214804 1131304787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 33295 13073 16 0 209761 0
vsize: 839108
[startup+950.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 90043 69 0 0 25 0 11 0 549409550 859246592 33295 4294967295 134512640 134569956 3221224400 3221214512 1131488483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 33295 13073 16 0 209761 0
vsize: 839108
[startup+960.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 91012 69 0 0 25 0 11 0 549409550 859246592 33295 4294967295 134512640 134569956 3221224400 3221214776 1131311829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 33295 13073 16 0 209761 0
vsize: 839108
[startup+970.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 91978 69 0 0 25 0 11 0 549409550 859246592 33374 4294967295 134512640 134569956 3221224400 3221214776 1131311734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 33374 13073 16 0 209761 0
vsize: 839108
[startup+980.152 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 92938 69 0 0 25 0 11 0 549409550 859246592 33472 4294967295 134512640 134569956 3221224400 3221214776 1131311741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 33472 13073 16 0 209761 0
vsize: 839108
[startup+990.152 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 93895 69 0 0 25 0 11 0 549409550 859246592 33639 4294967295 134512640 134569956 3221224400 3221214656 1131514020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 33639 13073 16 0 209761 0
vsize: 839108
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 94849 69 0 0 24 0 11 0 549409550 859246592 33669 4294967295 134512640 134569956 3221224400 3221214856 1131251719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 33669 13073 16 0 209761 0
vsize: 839108
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 95804 70 0 0 24 0 11 0 549409550 859246592 33808 4294967295 134512640 134569956 3221224400 3221214680 1131228607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 33808 13073 16 0 209761 0
vsize: 839108
[startup+1020.15 s]
Raw data (loadavg): 1.07 1.02 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 96763 70 0 0 25 0 11 0 549409550 859246592 33896 4294967295 134512640 134569956 3221224400 3221214656 1131514007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 33896 13073 16 0 209761 0
vsize: 839108
[startup+1030.15 s]
Raw data (loadavg): 1.06 1.02 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 97717 70 0 0 25 0 11 0 549409550 859246592 33991 4294967295 134512640 134569956 3221224400 3221214656 1131511884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 33991 13073 16 0 209761 0
vsize: 839108
[startup+1040.16 s]
Raw data (loadavg): 1.05 1.01 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 98676 70 0 0 25 0 11 0 549409550 859246592 34059 4294967295 134512640 134569956 3221224400 3221214720 1131342283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 34059 13073 16 0 209761 0
vsize: 839108
[startup+1050.16 s]
Raw data (loadavg): 1.04 1.01 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 99625 70 0 0 25 0 11 0 549409550 859246592 34129 4294967295 134512640 134569956 3221224400 3221214560 1131239356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 34129 13073 16 0 209761 0
vsize: 839108
[startup+1060.16 s]
Raw data (loadavg): 1.04 1.01 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 100578 70 0 0 25 0 11 0 549409550 859246592 34215 4294967295 134512640 134569956 3221224400 3221214808 1131381183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 34215 13073 16 0 209761 0
vsize: 839108
[startup+1070.16 s]
Raw data (loadavg): 1.03 1.01 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 101525 70 0 0 25 0 11 0 549409550 859246592 34349 4294967295 134512640 134569956 3221224400 3221214776 1131312700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209777 34349 13073 16 0 209761 0
vsize: 839108
[startup+1080.16 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 102474 70 0 0 25 0 11 0 549409550 859246592 34485 4294967295 134512640 134569956 3221224400 3221214656 1131511879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 34485 13073 16 0 209761 0
vsize: 839108
[startup+1090.16 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 103436 70 0 0 25 0 11 0 549409550 859246592 34598 4294967295 134512640 134569956 3221224400 3221214680 1131229230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 34598 13073 16 0 209761 0
vsize: 839108
[startup+1100.16 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 104389 70 0 0 25 0 11 0 549409550 859246592 34693 4294967295 134512640 134569956 3221224400 3221214680 1131228832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 34693 13073 16 0 209761 0
vsize: 839108
[startup+1110.16 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 105341 71 0 0 25 0 11 0 549409550 859246592 34797 4294967295 134512640 134569956 3221224400 3221214680 1131228537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 34797 13073 16 0 209761 0
vsize: 839108
[startup+1120.16 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 106288 71 0 0 25 0 11 0 549409550 859246592 34958 4294967295 134512640 134569956 3221224400 3221214680 1131228537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 34958 13073 16 0 209761 0
vsize: 839108
[startup+1130.16 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 107239 71 0 0 25 0 11 0 549409550 859246592 35037 4294967295 134512640 134569956 3221224400 3221214680 1131228769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 35037 13073 16 0 209761 0
vsize: 839108
[startup+1140.16 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 108197 72 0 0 25 0 11 0 549409550 859246592 35138 4294967295 134512640 134569956 3221224400 3221214440 1131524392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 35138 13073 16 0 209761 0
vsize: 839108
[startup+1150.16 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 12745
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 109154 72 0 0 24 0 11 0 549409550 859246592 35220 4294967295 134512640 134569956 3221224400 3221214680 1131228745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 35220 13073 16 0 209761 0
vsize: 839108
[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12747
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 110115 73 0 0 25 0 11 0 549409550 859246592 35282 4294967295 134512640 134569956 3221224400 3221214560 1131238505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 35282 13073 16 0 209761 0
vsize: 839108
[startup+1170.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12747
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 111071 73 0 0 25 0 11 0 549409550 859246592 35381 4294967295 134512640 134569956 3221224400 3221214560 1131238505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 35381 13073 16 0 209761 0
vsize: 839108
[startup+1180.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12747
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 112021 74 0 0 25 0 11 0 549409550 859246592 35465 4294967295 134512640 134569956 3221224400 3221214776 1131313625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 35465 13073 16 0 209761 0
vsize: 839108
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12747
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 112974 74 0 0 25 0 11 0 549409550 859246592 35589 4294967295 134512640 134569956 3221224400 3221214560 1131238505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 35589 13073 16 0 209761 0
vsize: 839108
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12747
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 113938 74 0 0 25 0 11 0 549409550 859246592 35666 4294967295 134512640 134569956 3221224400 3221214560 1131239181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 35666 13073 16 0 209761 0
vsize: 839108
[startup+1210.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12747
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 114899 74 0 0 25 0 11 0 549409550 859246592 35724 4294967295 134512640 134569956 3221224400 3221214776 1131311806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 35724 13073 16 0 209761 0
vsize: 839108
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12747
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 115844 74 0 0 25 0 11 0 549409550 859246592 35834 4294967295 134512640 134569956 3221224400 3221214680 1131228228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 35834 13073 16 0 209761 0
vsize: 839108
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12747
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 116803 74 0 0 25 0 11 0 549409550 859246592 35889 4294967295 134512640 134569956 3221224400 3221214776 1131311806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 35889 13073 16 0 209761 0
vsize: 839108
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12747
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 117751 74 0 0 25 0 11 0 549409550 859246592 36004 4294967295 134512640 134569956 3221224400 3221214680 1131228417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 36004 13073 16 0 209761 0
vsize: 839108
[startup+1250.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12747
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 118709 75 0 0 25 0 11 0 549409550 859246592 36109 4294967295 134512640 134569956 3221224400 3221214776 1131314445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 36109 13073 16 0 209761 0
vsize: 839108
[startup+1260.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12747
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 119666 75 0 0 25 0 11 0 549409550 859246592 36178 4294967295 134512640 134569956 3221224400 3221214656 1131514133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 36178 13073 16 0 209761 0
vsize: 839108
[startup+1270.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 12747
Raw data (stat): 12723 (java) R 12722 22929 22928 0 -1 0 18076 3 1 0 120623 76 0 0 25 0 11 0 549409550 859246592 36291 4294967295 134512640 134569956 3221224400 3221214656 1131514144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 36291 13073 16 0 209761 0
vsize: 839108
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.27 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 12749
Raw data (stat): 12723 (java) Z 12722 22929 22928 0 -1 1036 18076 21985 1 1 120625 76 6810 58 25 0 1 0 549409550 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1270.27
CPU time (s): 1275.71
CPU user time (s): 1274.36
CPU system time (s): 1.35179
CPU usage (%): 100.428
Max. virtual memory (Kb): 842296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####