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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb
MD5SUM	41b5898e0f1b65f739b9a89af7596ef6
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	7565
Biggest coefficient in the objective function	258342282854400
Number of bits for the biggest coefficient in the objective function	48
Sum of the numbers in the objective function	4664562894591719
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	258342282854400
Number of bits of the biggest number in a constraint	48
Biggest sum of numbers in a constraint	4664562894591719
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1259.63
Number of variables	23376
Total number of constraints	1029
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1029
Minimum length of a constraint	10
Maximum length of a constraint	496
Trace number 22714

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        688844 kB
Buffers:         21284 kB
Cached:         298712 kB
SwapCached:        352 kB
Active:          52392 kB
Inactive:       270336 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        688592 kB
SwapTotal:     2097892 kB
SwapFree:      2097328 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5980 kB
Slab:            17352 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 03:55:08 (client local time) WITH STATUS 143 IN 1236.94 SECONDS
stats: 11358 7 1236.94 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-seba.opb
c reading problem 
c [nbvar=23376]
c [nbconstr=1029]
c time 171.353
c #vars     23376
c #clauses  1485
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 3725
Raw data (stat): 3725 (runsolver) R 3724 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550514718 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.0004 s]
Raw data (loadavg): 1.07 0.99 0.91 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 17979 0 1 0 880 39 0 0 24 0 10 0 550514718 853741568 19222 4294967295 134512640 134569956 3221224400 3221214588 1080019433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 19222 13073 16 0 208417 0
vsize: 833732
[startup+20.0462 s]
Raw data (loadavg): 1.06 0.99 0.91 4/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18012 0 1 0 1721 39 0 0 24 0 10 0 550514718 862089216 21622 4294967295 134512640 134569956 3221224400 3221213408 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210471 21622 13073 16 0 210455 0
vsize: 841884
[startup+30.1098 s]
Raw data (loadavg): 1.21 1.02 0.93 3/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18020 0 1 0 2503 40 0 0 25 0 10 0 550514718 873181184 25225 4294967295 134512640 134569956 3221224400 3221214376 1131251453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213179 25225 13073 16 0 213163 0
vsize: 852716
[startup+40.1107 s]
Raw data (loadavg): 1.25 1.04 0.93 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18020 0 1 0 3343 40 0 0 18 0 10 0 550514718 869199872 24936 4294967295 134512640 134569956 3221224400 3221214712 1130918696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 24936 13073 16 0 212191 0
vsize: 848828
[startup+50.1119 s]
Raw data (loadavg): 1.21 1.03 0.93 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18020 0 1 0 4194 41 0 0 18 0 10 0 550514718 869199872 25309 4294967295 134512640 134569956 3221224400 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 25309 13073 16 0 212191 0
vsize: 848828
[startup+60.1112 s]
Raw data (loadavg): 1.18 1.03 0.93 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18020 0 1 0 5043 41 0 0 17 0 10 0 550514718 869199872 25951 4294967295 134512640 134569956 3221224400 3221214792 1131216208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 25951 13073 16 0 212191 0
vsize: 848828
[startup+70.1173 s]
Raw data (loadavg): 1.15 1.03 0.93 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18020 0 1 0 5905 42 0 0 19 0 10 0 550514718 869199872 26402 4294967295 134512640 134569956 3221224400 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 26402 13073 16 0 212191 0
vsize: 848828
[startup+80.1223 s]
Raw data (loadavg): 1.13 1.03 0.93 2/63 3734
Raw data (stat): 3725 (java) S 3724 11931 11930 0 -1 0 18021 0 1 0 6759 42 0 0 21 0 10 0 550514718 869199872 26936 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 26936 13073 16 0 212191 0
vsize: 848828
[startup+90.1231 s]
Raw data (loadavg): 1.11 1.03 0.93 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18021 0 1 0 7619 43 0 0 18 0 10 0 550514718 869199872 27271 4294967295 134512640 134569956 3221224400 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 27271 13073 16 0 212191 0
vsize: 848828
[startup+100.128 s]
Raw data (loadavg): 1.09 1.03 0.93 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18021 0 1 0 8474 44 0 0 16 0 10 0 550514718 869199872 27616 4294967295 134512640 134569956 3221224400 3221214240 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 27616 13073 16 0 212191 0
vsize: 848828
[startup+110.129 s]
Raw data (loadavg): 1.08 1.03 0.93 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18021 0 1 0 9345 44 0 0 21 0 10 0 550514718 869199872 27921 4294967295 134512640 134569956 3221224400 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 27921 13073 16 0 212191 0
vsize: 848828
[startup+120.129 s]
Raw data (loadavg): 1.06 1.02 0.93 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18021 0 1 0 10208 45 0 0 17 0 10 0 550514718 869199872 28223 4294967295 134512640 134569956 3221224400 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 28223 13073 16 0 212191 0
vsize: 848828
[startup+130.133 s]
Raw data (loadavg): 1.05 1.02 0.93 2/63 3734
Raw data (stat): 3725 (java) S 3724 11931 11930 0 -1 0 18021 0 1 0 11074 45 0 0 20 0 10 0 550514718 869199872 28481 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 28481 13073 16 0 212191 0
vsize: 848828
[startup+140.134 s]
Raw data (loadavg): 1.05 1.02 0.93 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18021 0 1 0 11941 46 0 0 19 0 10 0 550514718 869199872 28787 4294967295 134512640 134569956 3221224400 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 28787 13073 16 0 212191 0
vsize: 848828
[startup+150.135 s]
Raw data (loadavg): 1.04 1.02 0.93 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18021 0 1 0 12815 46 0 0 17 0 10 0 550514718 869199872 29055 4294967295 134512640 134569956 3221224400 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 29055 13073 16 0 212191 0
vsize: 848828
[startup+160.134 s]
Raw data (loadavg): 1.03 1.02 0.93 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18021 0 1 0 13693 47 0 0 17 0 10 0 550514718 869199872 29290 4294967295 134512640 134569956 3221224400 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 29290 13073 16 0 212191 0
vsize: 848828
[startup+170.136 s]
Raw data (loadavg): 1.03 1.02 0.93 2/63 3734
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18021 0 1 0 14572 47 0 0 20 0 10 0 550514718 869199872 29545 4294967295 134512640 134569956 3221224400 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212207 29545 13073 16 0 212191 0
vsize: 848828
[startup+180.136 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18051 0 1 0 15462 48 0 0 16 0 11 0 550514718 869728256 29734 4294967295 134512640 134569956 3221224400 3221214648 1131324129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 29734 13073 16 0 212320 0
vsize: 849344
[startup+190.137 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18051 0 1 0 16369 48 0 0 17 0 11 0 550514718 869728256 29879 4294967295 134512640 134569956 3221224400 3221214736 1131316883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 29879 13073 16 0 212320 0
vsize: 849344
[startup+200.137 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18051 0 1 0 17294 48 0 0 22 0 11 0 550514718 869728256 30077 4294967295 134512640 134569956 3221224400 3221214792 1131255152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 30077 13073 16 0 212320 0
vsize: 849344
[startup+210.137 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18051 0 1 0 18251 49 0 0 24 0 11 0 550514718 869728256 30633 4294967295 134512640 134569956 3221224400 3221214792 1131256206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 30633 13073 16 0 212320 0
vsize: 849344
[startup+220.138 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18089 0 1 0 19126 50 0 0 25 0 11 0 550514718 869728256 30734 4294967295 134512640 134569956 3221224400 3221214600 1131623252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 30734 13073 16 0 212320 0
vsize: 849344
[startup+230.138 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18090 0 1 0 20116 50 0 0 25 0 11 0 550514718 869728256 30747 4294967295 134512640 134569956 3221224400 3221214440 1131319381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 30747 13073 16 0 212320 0
vsize: 849344
[startup+240.139 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18090 0 1 0 21106 50 0 0 25 0 11 0 550514718 869728256 30758 4294967295 134512640 134569956 3221224400 3221214600 1131643367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 30758 13073 16 0 212320 0
vsize: 849344
[startup+250.141 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18090 0 1 0 22100 50 0 0 25 0 11 0 550514718 869728256 30799 4294967295 134512640 134569956 3221224400 3221214616 1131604707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 30799 13073 16 0 212320 0
vsize: 849344
[startup+260.142 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18090 0 1 0 23092 50 0 0 25 0 11 0 550514718 869728256 30822 4294967295 134512640 134569956 3221224400 3221214616 1131604707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 30822 13073 16 0 212320 0
vsize: 849344
[startup+270.142 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18090 0 1 0 24088 50 0 0 25 0 11 0 550514718 869728256 30837 4294967295 134512640 134569956 3221224400 3221214616 1131604711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 30837 13073 16 0 212320 0
vsize: 849344
[startup+280.143 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18090 0 1 0 25084 50 0 0 25 0 11 0 550514718 869728256 30854 4294967295 134512640 134569956 3221224400 3221214600 1131622952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 30854 13073 16 0 212320 0
vsize: 849344
[startup+290.144 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18090 0 1 0 26080 50 0 0 25 0 11 0 550514718 869728256 30856 4294967295 134512640 134569956 3221224400 3221214544 1131365775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 30856 13073 16 0 212320 0
vsize: 849344
[startup+300.144 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18090 0 1 0 27077 50 0 0 25 0 11 0 550514718 869728256 30858 4294967295 134512640 134569956 3221224400 3221214440 1131319323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 30858 13073 16 0 212320 0
vsize: 849344
[startup+310.144 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18090 0 1 0 28073 50 0 0 25 0 11 0 550514718 869728256 30858 4294967295 134512640 134569956 3221224400 3221214440 1131320943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 30858 13073 16 0 212320 0
vsize: 849344
[startup+320.146 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18090 0 1 0 29067 50 0 0 25 0 11 0 550514718 869728256 30860 4294967295 134512640 134569956 3221224400 3221214704 1131720308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 30860 13073 16 0 212320 0
vsize: 849344
[startup+330.146 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18090 0 1 0 30064 51 0 0 25 0 11 0 550514718 869728256 30881 4294967295 134512640 134569956 3221224400 3221214600 1131622920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 30881 13073 16 0 212320 0
vsize: 849344
[startup+340.147 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18090 0 1 0 31062 51 0 0 25 0 11 0 550514718 869728256 30889 4294967295 134512640 134569956 3221224400 3221214704 1131720308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 30889 13073 16 0 212320 0
vsize: 849344
[startup+350.147 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 32051 51 0 0 25 0 11 0 550514718 869728256 30898 4294967295 134512640 134569956 3221224400 3221214648 1131324091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 30898 13073 16 0 212320 0
vsize: 849344
[startup+360.147 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 33034 52 0 0 25 0 11 0 550514718 869728256 30898 4294967295 134512640 134569956 3221224400 3221214792 1131255245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 30898 13073 16 0 212320 0
vsize: 849344
[startup+370.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 34013 52 0 0 24 0 11 0 550514718 869728256 30899 4294967295 134512640 134569956 3221224400 3221214896 1130895205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 30899 13073 16 0 212320 0
vsize: 849344
[startup+380.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 34995 53 0 0 25 0 11 0 550514718 869728256 30937 4294967295 134512640 134569956 3221224400 3221214736 1131525304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 30937 13073 16 0 212320 0
vsize: 849344
[startup+390.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 35984 53 0 0 25 0 11 0 550514718 869728256 30952 4294967295 134512640 134569956 3221224400 3221214592 1131623280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 30952 13073 16 0 212320 0
vsize: 849344
[startup+400.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 36975 53 0 0 25 0 11 0 550514718 869728256 31000 4294967295 134512640 134569956 3221224400 3221214536 1131319323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31000 13073 16 0 212320 0
vsize: 849344
[startup+410.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 37967 54 0 0 25 0 11 0 550514718 869728256 31015 4294967295 134512640 134569956 3221224400 3221214536 1131319608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31015 13073 16 0 212320 0
vsize: 849344
[startup+420.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 38962 54 0 0 25 0 11 0 550514718 869728256 31030 4294967295 134512640 134569956 3221224400 3221214592 1131625069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31030 13073 16 0 212320 0
vsize: 849344
[startup+430.151 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 39958 54 0 0 25 0 11 0 550514718 869728256 31043 4294967295 134512640 134569956 3221224400 3221214696 1131720308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31043 13073 16 0 212320 0
vsize: 849344
[startup+440.152 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 40955 54 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214536 1131319344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+450.152 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 41953 55 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214440 1078032573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+460.152 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 42951 55 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214696 1131720337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+470.153 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 43949 56 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214536 1131319235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+480.153 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 44948 56 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214592 1131623491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+490.154 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 45946 56 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214592 1131623263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+500.154 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 46944 57 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214536 1131320201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+510.168 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 47943 57 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214592 1131623252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+520.168 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 48941 57 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214696 1131726535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+530.169 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 49938 58 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214592 1131623411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+540.17 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 50936 59 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214536 1131319259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+550.17 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 51935 59 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214592 1131625095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+560.17 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 52932 59 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214536 1131319235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+570.172 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 53931 60 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214696 1131726644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+580.172 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 54928 60 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214536 1131319316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+590.183 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 55928 60 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214696 1131720308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+600.196 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 56927 61 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214736 1131606854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+610.196 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 57926 61 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214592 1131624282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+620.197 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 58924 61 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214696 1131720308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+630.198 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 59922 61 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214696 1131720300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+640.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 60920 62 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214536 1131319500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+650.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 61919 62 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214536 1131319381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+660.199 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 62917 62 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214536 1131319761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+670.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 63915 63 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214592 1131623340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+680.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 64912 63 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214696 1131726535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+690.202 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 65909 64 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214536 1131319574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+700.201 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 66906 64 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214536 1131319381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+710.202 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 67903 65 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214592 1131623252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+720.202 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 68901 65 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214536 1131319500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+730.202 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 69895 65 0 0 25 0 11 0 550514718 869728256 31069 4294967295 134512640 134569956 3221224400 3221214736 1131523594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31069 13073 16 0 212320 0
vsize: 849344
[startup+740.203 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 70882 65 0 0 25 0 11 0 550514718 869728256 31071 4294967295 134512640 134569956 3221224400 3221214792 1131256288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31071 13073 16 0 212320 0
vsize: 849344
[startup+750.204 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 71852 65 0 0 25 0 11 0 550514718 869728256 31073 4294967295 134512640 134569956 3221224400 3221214648 1131324052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31073 13073 16 0 212320 0
vsize: 849344
[startup+760.204 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 72815 65 0 0 25 0 11 0 550514718 869728256 31082 4294967295 134512640 134569956 3221224400 3221214648 1131324129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31082 13073 16 0 212320 0
vsize: 849344
[startup+770.206 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 73772 66 0 0 25 0 11 0 550514718 869728256 31118 4294967295 134512640 134569956 3221224400 3221214736 1131316701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31118 13073 16 0 212320 0
vsize: 849344
[startup+780.206 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 74728 66 0 0 25 0 11 0 550514718 869728256 31260 4294967295 134512640 134569956 3221224400 3221214648 1131324001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31260 13073 16 0 212320 0
vsize: 849344
[startup+790.207 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 75692 66 0 0 25 0 11 0 550514718 869728256 31289 4294967295 134512640 134569956 3221224400 3221214752 1131207824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31289 13073 16 0 212320 0
vsize: 849344
[startup+800.208 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 76651 66 0 0 25 0 11 0 550514718 869728256 31324 4294967295 134512640 134569956 3221224400 3221214440 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31324 13073 16 0 212320 0
vsize: 849344
[startup+810.209 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 77614 66 0 0 25 0 11 0 550514718 869728256 31488 4294967295 134512640 134569956 3221224400 3221214736 1131525442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31488 13073 16 0 212320 0
vsize: 849344
[startup+820.209 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 78591 66 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214808 1131557113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+830.209 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 79588 66 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214760 1131305021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+840.21 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 80585 66 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214808 1131557113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+850.209 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 81582 66 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214776 1131157277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+860.21 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 82578 66 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214808 1131556894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+870.21 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 83574 66 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214808 1131554571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+880.211 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 84571 66 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214848 1131505836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+890.212 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 85567 66 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214796 1080203690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+900.212 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 86565 66 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+910.213 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 87561 66 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214560 1131598883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+920.217 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 88558 66 0 0 17 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214776 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+930.217 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 89555 66 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214736 1131523567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+940.218 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 90550 66 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214700 1080204298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+950.219 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 91545 67 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214736 1131524173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+960.219 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 92540 67 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214760 1131305018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+970.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 93537 67 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214796 1080203690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+980.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 94532 68 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214736 1131523437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+990.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 95528 68 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214560 1131599203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1000.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 96523 69 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1010.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 97520 69 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214736 1131523594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1020.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 98517 69 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214680 1131518830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1030.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 99513 70 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214808 1131556084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1040.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 100509 70 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1050.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 101505 70 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214700 1080204267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1060.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 102501 70 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1070.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 103497 71 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214808 1131556298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1080.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 104493 71 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214876 1080204267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1090.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 105489 71 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214848 1131505824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1100.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 106485 72 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214700 1080204314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1110.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 107482 72 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214352 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1120.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 108477 73 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214740 1080204306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1130.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 109473 73 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1140.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 110469 74 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1150.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 111464 74 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214848 1131505836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1160.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 112461 74 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214760 1131779476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1170.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 113457 75 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214808 1131554926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1180.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 114447 75 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214696 1131720308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1190.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 115431 76 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214592 1131623340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1200.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 116416 76 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214536 1131319304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1210.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 117403 76 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214696 1131720313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1220.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 118390 77 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214536 1131320902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1230.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 119379 77 0 0 25 0 11 0 550514718 869728256 31663 4294967295 134512640 134569956 3221224400 3221214592 1131623252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212336 31663 13073 16 0 212320 0
vsize: 849344
[startup+1240.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3735
Raw data (stat): 3725 (java) R 3724 11931 11930 0 -1 0 18091 0 1 0 120369 77 0 0 25 0 11 0 550514718 869728256 31800 4294967295 134512640 134569956 3221224400 3221214696 1131726701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212336 31800 13073 16 0 212320 0
vsize: 849344
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.34 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 3737
Raw data (stat): 3725 (java) Z 3724 11931 11930 0 -1 1036 18091 9489 1 0 120373 77 3208 34 25 0 1 0 550514718 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): 1240.34
CPU time (s): 1236.94
CPU user time (s): 1235.82
CPU system time (s): 1.11983
CPU usage (%): 99.726
Max. virtual memory (Kb): 852716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####