PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb
MD5SUM	56e0ae8659c33a6c7b55390a12db116b
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	537600
Optimality of the best value was proved	NO
Number of terms in the objective function	1160
Biggest coefficient in the objective function	196608
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	15892320
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	25600000000
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	232836875088
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1256.32
Number of variables	1260
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	100
Minimum length of a constraint	1
Maximum length of a constraint	127
Trace number 22001

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        310368 kB
Buffers:         33304 kB
Cached:         667104 kB
SwapCached:       3324 kB
Active:         354664 kB
Inactive:       350500 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        310116 kB
SwapTotal:     2097136 kB
SwapFree:      2092928 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            13340 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 02:07:52 (client local time) WITH STATUS 143 IN 1268.11 SECONDS
stats: 12242 7 1268.11 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-rgn.opb
c reading problem 
c [nbvar=1260]
c [nbconstr=204]
c time 2.462
c #vars     1260
c #clauses  124
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.62 0.87 0.88 2/54 18119
Raw data (stat): 18119 (runsolver) R 18118 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491653761 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.0036 s]
Raw data (loadavg): 0.99 0.94 0.90 4/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18101 0 1 0 730 40 0 0 25 0 11 0 491653761 871735296 22634 4294967295 134512640 134569956 3221224400 3221214348 1076461501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212826 22634 13073 16 0 212810 0
vsize: 851304
[startup+20.0046 s]
Raw data (loadavg): 1.14 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18104 0 1 0 1464 41 0 0 24 0 11 0 491653761 870236160 22989 4294967295 134512640 134569956 3221224400 3221214304 1131520081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212460 22989 13073 16 0 212444 0
vsize: 849840
[startup+30.0049 s]
Raw data (loadavg): 1.12 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 2415 42 0 0 25 0 11 0 491653761 870170624 23588 4294967295 134512640 134569956 3221224400 3221214560 1131239742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 23588 13073 16 0 212428 0
vsize: 849776
[startup+40.005 s]
Raw data (loadavg): 1.10 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 3355 42 0 0 25 0 11 0 491653761 870170624 24069 4294967295 134512640 134569956 3221224400 3221214560 1131238894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 24069 13073 16 0 212428 0
vsize: 849776
[startup+50.006 s]
Raw data (loadavg): 1.08 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) S 18118 20937 20936 0 -1 0 18106 0 1 0 4297 43 0 0 25 0 11 0 491653761 870170624 24393 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 24393 13073 16 0 212428 0
vsize: 849776
[startup+60.006 s]
Raw data (loadavg): 1.07 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 5223 43 0 0 24 0 11 0 491653761 870170624 24473 4294967295 134512640 134569956 3221224400 3221214688 1131374758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 24473 13073 16 0 212428 0
vsize: 849776
[startup+70.0073 s]
Raw data (loadavg): 1.06 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 6168 43 0 0 25 0 11 0 491653761 870170624 24770 4294967295 134512640 134569956 3221224400 3221214712 1131238894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 24770 13073 16 0 212428 0
vsize: 849776
[startup+80.0079 s]
Raw data (loadavg): 1.05 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 7113 44 0 0 25 0 11 0 491653761 870170624 25037 4294967295 134512640 134569956 3221224400 3221214772 1131750963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 25037 13073 16 0 212428 0
vsize: 849776
[startup+90.008 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 8071 44 0 0 25 0 11 0 491653761 870170624 25206 4294967295 134512640 134569956 3221224400 3221214472 1131591033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 25206 13073 16 0 212428 0
vsize: 849776
[startup+100.008 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 9027 44 0 0 25 0 11 0 491653761 870170624 25350 4294967295 134512640 134569956 3221224400 3221214688 1131220157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 25350 13073 16 0 212428 0
vsize: 849776
[startup+110.01 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 9981 45 0 0 25 0 11 0 491653761 870170624 25487 4294967295 134512640 134569956 3221224400 3221214688 1131375771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 25487 13073 16 0 212428 0
vsize: 849776
[startup+120.01 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 10943 45 0 0 25 0 11 0 491653761 870170624 25656 4294967295 134512640 134569956 3221224400 3221214688 1131220055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 25656 13073 16 0 212428 0
vsize: 849776
[startup+130.01 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 11907 45 0 0 25 0 11 0 491653761 870170624 25853 4294967295 134512640 134569956 3221224400 3221214688 1131219987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 25853 13073 16 0 212428 0
vsize: 849776
[startup+140.011 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 12871 45 0 0 24 0 11 0 491653761 870170624 26029 4294967295 134512640 134569956 3221224400 3221214560 1131239187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 26029 13073 16 0 212428 0
vsize: 849776
[startup+150.011 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 13837 46 0 0 25 0 11 0 491653761 870170624 26128 4294967295 134512640 134569956 3221224400 3221214776 1131274059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 26128 13073 16 0 212428 0
vsize: 849776
[startup+160.013 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 14798 46 0 0 25 0 11 0 491653761 870170624 26287 4294967295 134512640 134569956 3221224400 3221214840 1131610016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 26287 13073 16 0 212428 0
vsize: 849776
[startup+170.014 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 15763 46 0 0 25 0 11 0 491653761 870170624 26464 4294967295 134512640 134569956 3221224400 3221214776 1131274128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 26464 13073 16 0 212428 0
vsize: 849776
[startup+180.013 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 16729 47 0 0 25 0 11 0 491653761 870170624 26692 4294967295 134512640 134569956 3221224400 3221214688 1131220267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 26692 13073 16 0 212428 0
vsize: 849776
[startup+190.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 17699 47 0 0 25 0 11 0 491653761 870170624 26818 4294967295 134512640 134569956 3221224400 3221214776 1131277429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 26818 13073 16 0 212428 0
vsize: 849776
[startup+200.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 18664 47 0 0 25 0 11 0 491653761 870170624 26941 4294967295 134512640 134569956 3221224400 3221214720 1131301377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 26941 13073 16 0 212428 0
vsize: 849776
[startup+210.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 19628 48 0 0 25 0 11 0 491653761 870170624 27098 4294967295 134512640 134569956 3221224400 3221214776 1131275150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 27098 13073 16 0 212428 0
vsize: 849776
[startup+220.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 20597 48 0 0 25 0 11 0 491653761 870170624 27225 4294967295 134512640 134569956 3221224400 3221214688 1131219956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 27225 13073 16 0 212428 0
vsize: 849776
[startup+230.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 21563 48 0 0 25 0 11 0 491653761 870170624 27406 4294967295 134512640 134569956 3221224400 3221214728 1131163160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 27406 13073 16 0 212428 0
vsize: 849776
[startup+240.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 22532 48 0 0 25 0 11 0 491653761 870170624 27570 4294967295 134512640 134569956 3221224400 3221214688 1131221078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 27570 13073 16 0 212428 0
vsize: 849776
[startup+250.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 23502 49 0 0 25 0 11 0 491653761 870170624 27686 4294967295 134512640 134569956 3221224400 3221214776 1131275168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 27686 13073 16 0 212428 0
vsize: 849776
[startup+260.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 24474 49 0 0 25 0 11 0 491653761 870170624 27818 4294967295 134512640 134569956 3221224400 3221214776 1131275118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 27818 13073 16 0 212428 0
vsize: 849776
[startup+270.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 25444 49 0 0 25 0 11 0 491653761 870170624 27917 4294967295 134512640 134569956 3221224400 3221214688 1131220050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 27917 13073 16 0 212428 0
vsize: 849776
[startup+280.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 26411 50 0 0 25 0 11 0 491653761 870170624 28111 4294967295 134512640 134569956 3221224400 3221214856 1131298176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 28111 13073 16 0 212428 0
vsize: 849776
[startup+290.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 27378 51 0 0 25 0 11 0 491653761 870170624 28284 4294967295 134512640 134569956 3221224400 3221214688 1131220157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 28284 13073 16 0 212428 0
vsize: 849776
[startup+300.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 28345 51 0 0 25 0 11 0 491653761 870170624 28505 4294967295 134512640 134569956 3221224400 3221214688 1131219553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 28505 13073 16 0 212428 0
vsize: 849776
[startup+310.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 29312 51 0 0 25 0 11 0 491653761 870170624 28686 4294967295 134512640 134569956 3221224400 3221214960 1131302540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 28686 13073 16 0 212428 0
vsize: 849776
[startup+320.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 30281 52 0 0 25 0 11 0 491653761 870170624 28905 4294967295 134512640 134569956 3221224400 3221214688 1131220125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 28905 13073 16 0 212428 0
vsize: 849776
[startup+330.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 31251 52 0 0 25 0 11 0 491653761 870170624 29107 4294967295 134512640 134569956 3221224400 3221214688 1131220222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 29107 13073 16 0 212428 0
vsize: 849776
[startup+340.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 32222 53 0 0 25 0 11 0 491653761 870170624 29267 4294967295 134512640 134569956 3221224400 3221214688 1131220125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 29267 13073 16 0 212428 0
vsize: 849776
[startup+350.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 33193 53 0 0 25 0 11 0 491653761 870170624 29462 4294967295 134512640 134569956 3221224400 3221214776 1131274128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 29462 13073 16 0 212428 0
vsize: 849776
[startup+360.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 34165 54 0 0 25 0 11 0 491653761 870170624 29608 4294967295 134512640 134569956 3221224400 3221214840 1131610113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 29608 13073 16 0 212428 0
vsize: 849776
[startup+370.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 35135 55 0 0 25 0 11 0 491653761 870170624 29761 4294967295 134512640 134569956 3221224400 3221214728 1131163133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 29761 13073 16 0 212428 0
vsize: 849776
[startup+380.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 36105 55 0 0 25 0 11 0 491653761 870170624 29903 4294967295 134512640 134569956 3221224400 3221214148 1131642752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 29903 13073 16 0 212428 0
vsize: 849776
[startup+390.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 37077 55 0 0 25 0 11 0 491653761 870170624 30061 4294967295 134512640 134569956 3221224400 3221214664 1131616652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 30061 13073 16 0 212428 0
vsize: 849776
[startup+400.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 38054 56 0 0 24 0 11 0 491653761 870170624 30260 4294967295 134512640 134569956 3221224400 3221214152 1131608561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 30260 13073 16 0 212428 0
vsize: 849776
[startup+410.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 39035 56 0 0 24 0 11 0 491653761 870170624 30388 4294967295 134512640 134569956 3221224400 3221214688 1131220205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 30388 13073 16 0 212428 0
vsize: 849776
[startup+420.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 40017 56 0 0 25 0 11 0 491653761 870170624 30423 4294967295 134512640 134569956 3221224400 3221214720 1131746211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 30423 13073 16 0 212428 0
vsize: 849776
[startup+430.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 40996 57 0 0 25 0 11 0 491653761 870170624 30473 4294967295 134512640 134569956 3221224400 3221214072 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 30473 13073 16 0 212428 0
vsize: 849776
[startup+440.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 41973 57 0 0 25 0 11 0 491653761 870170624 30517 4294967295 134512640 134569956 3221224400 3221214776 1131274754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 30517 13073 16 0 212428 0
vsize: 849776
[startup+450.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 42948 58 0 0 25 0 11 0 491653761 870170624 30590 4294967295 134512640 134569956 3221224400 3221214776 1131273858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 30590 13073 16 0 212428 0
vsize: 849776
[startup+460.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 43922 58 0 0 25 0 11 0 491653761 870170624 30666 4294967295 134512640 134569956 3221224400 3221214688 1131220125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 30666 13073 16 0 212428 0
vsize: 849776
[startup+470.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 44898 58 0 0 25 0 11 0 491653761 870170624 30766 4294967295 134512640 134569956 3221224400 3221214688 1131220836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 30766 13073 16 0 212428 0
vsize: 849776
[startup+480.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 45874 59 0 0 25 0 11 0 491653761 870170624 30874 4294967295 134512640 134569956 3221224400 3221214688 1131220819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 30874 13073 16 0 212428 0
vsize: 849776
[startup+490.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 46847 60 0 0 25 0 11 0 491653761 870170624 30974 4294967295 134512640 134569956 3221224400 3221214688 1131219987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 30974 13073 16 0 212428 0
vsize: 849776
[startup+500.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 47806 60 0 0 25 0 11 0 491653761 870170624 31023 4294967295 134512640 134569956 3221224400 3221214312 1131652777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 31023 13073 16 0 212428 0
vsize: 849776
[startup+510.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 48760 61 0 0 25 0 11 0 491653761 870170624 31181 4294967295 134512640 134569956 3221224400 3221214688 1131220171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 31181 13073 16 0 212428 0
vsize: 849776
[startup+520.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 49715 61 0 0 25 0 11 0 491653761 870170624 31450 4294967295 134512640 134569956 3221224400 3221214688 1131219545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 31450 13073 16 0 212428 0
vsize: 849776
[startup+530.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 50671 61 0 0 25 0 11 0 491653761 870170624 31663 4294967295 134512640 134569956 3221224400 3221214688 1131220197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 31663 13073 16 0 212428 0
vsize: 849776
[startup+540.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 51634 62 0 0 25 0 11 0 491653761 870170624 31840 4294967295 134512640 134569956 3221224400 3221214776 1131275118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 31840 13073 16 0 212428 0
vsize: 849776
[startup+550.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 52598 62 0 0 25 0 11 0 491653761 870170624 32021 4294967295 134512640 134569956 3221224400 3221214720 1131746296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 32021 13073 16 0 212428 0
vsize: 849776
[startup+560.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 53566 63 0 0 25 0 11 0 491653761 870170624 32282 4294967295 134512640 134569956 3221224400 3221214568 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 32282 13073 16 0 212428 0
vsize: 849776
[startup+570.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 54534 63 0 0 25 0 11 0 491653761 870170624 32387 4294967295 134512640 134569956 3221224400 3221214688 1131220203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 32387 13073 16 0 212428 0
vsize: 849776
[startup+580.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 55497 63 0 0 25 0 11 0 491653761 870170624 32519 4294967295 134512640 134569956 3221224400 3221214688 1131220110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 32519 13073 16 0 212428 0
vsize: 849776
[startup+590.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) S 18118 20937 20936 0 -1 0 18106 0 1 0 56451 63 0 0 25 0 11 0 491653761 870170624 32719 4294967295 134512640 134569956 3221224400 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 32719 13073 16 0 212428 0
vsize: 849776
[startup+600.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 57406 64 0 0 24 0 11 0 491653761 870170624 33030 4294967295 134512640 134569956 3221224400 3221214688 1131219825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 33030 13073 16 0 212428 0
vsize: 849776
[startup+610.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 58365 64 0 0 24 0 11 0 491653761 870170624 33351 4294967295 134512640 134569956 3221224400 3221214776 1131277541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 33351 13073 16 0 212428 0
vsize: 849776
[startup+620.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 59329 64 0 0 25 0 11 0 491653761 870170624 33649 4294967295 134512640 134569956 3221224400 3221214776 1131274128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 33649 13073 16 0 212428 0
vsize: 849776
[startup+630.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 60296 65 0 0 25 0 11 0 491653761 870170624 33910 4294967295 134512640 134569956 3221224400 3221214664 1131616791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 33910 13073 16 0 212428 0
vsize: 849776
[startup+640.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 61264 65 0 0 25 0 11 0 491653761 870170624 33975 4294967295 134512640 134569956 3221224400 3221214688 1131220519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 33975 13073 16 0 212428 0
vsize: 849776
[startup+650.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 62231 66 0 0 25 0 11 0 491653761 870170624 34202 4294967295 134512640 134569956 3221224400 3221214688 1131220431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 34202 13073 16 0 212428 0
vsize: 849776
[startup+660.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 63199 67 0 0 25 0 11 0 491653761 870170624 34354 4294967295 134512640 134569956 3221224400 3221214688 1131220145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 34354 13073 16 0 212428 0
vsize: 849776
[startup+670.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 64165 67 0 0 25 0 11 0 491653761 870170624 34498 4294967295 134512640 134569956 3221224400 3221214776 1131274128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 34498 13073 16 0 212428 0
vsize: 849776
[startup+680.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 65135 67 0 0 25 0 11 0 491653761 870170624 34670 4294967295 134512640 134569956 3221224400 3221214688 1131219987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 34670 13073 16 0 212428 0
vsize: 849776
[startup+690.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 66107 67 0 0 25 0 11 0 491653761 870170624 34880 4294967295 134512640 134569956 3221224400 3221214688 1131219987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 34880 13073 16 0 212428 0
vsize: 849776
[startup+700.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 67077 67 0 0 24 0 11 0 491653761 870170624 34973 4294967295 134512640 134569956 3221224400 3221214204 1131608656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 34973 13073 16 0 212428 0
vsize: 849776
[startup+710.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 68047 67 0 0 24 0 11 0 491653761 870170624 35060 4294967295 134512640 134569956 3221224400 3221214688 1131220161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 35060 13073 16 0 212428 0
vsize: 849776
[startup+720.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 69016 67 0 0 24 0 11 0 491653761 870170624 35158 4294967295 134512640 134569956 3221224400 3221214776 1131274059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 35158 13073 16 0 212428 0
vsize: 849776
[startup+730.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 69986 67 0 0 25 0 11 0 491653761 870170624 35418 4294967295 134512640 134569956 3221224400 3221214688 1131220306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 35418 13073 16 0 212428 0
vsize: 849776
[startup+740.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 70959 67 0 0 25 0 11 0 491653761 870170624 35514 4294967295 134512640 134569956 3221224400 3221214688 1131219987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 35514 13073 16 0 212428 0
vsize: 849776
[startup+750.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 71930 67 0 0 25 0 11 0 491653761 870170624 35578 4294967295 134512640 134569956 3221224400 3221214688 1131220050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 35578 13073 16 0 212428 0
vsize: 849776
[startup+760.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 72896 67 0 0 25 0 11 0 491653761 870170624 35706 4294967295 134512640 134569956 3221224400 3221214776 1131276013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 35706 13073 16 0 212428 0
vsize: 849776
[startup+770.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 73862 67 0 0 25 0 11 0 491653761 870170624 35779 4294967295 134512640 134569956 3221224400 3221214728 1131163270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 35779 13073 16 0 212428 0
vsize: 849776
[startup+780.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18129
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 74819 67 0 0 25 0 11 0 491653761 870170624 35934 4294967295 134512640 134569956 3221224400 3221214688 1131219880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 35934 13073 16 0 212428 0
vsize: 849776
[startup+790.047 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 18182
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 75770 71 0 0 25 0 11 0 491653761 870170624 36158 4294967295 134512640 134569956 3221224400 3221214688 1131220295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 36158 13073 16 0 212428 0
vsize: 849776
[startup+800.047 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 18182
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 76735 71 0 0 25 0 11 0 491653761 870170624 36349 4294967295 134512640 134569956 3221224400 3221214688 1131219987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 36349 13073 16 0 212428 0
vsize: 849776
[startup+810.048 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 18182
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 77697 71 0 0 19 0 11 0 491653761 870170624 36625 4294967295 134512640 134569956 3221224400 3221214096 1131608632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 36625 13073 16 0 212428 0
vsize: 849776
[startup+820.048 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 18182
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 78662 71 0 0 25 0 11 0 491653761 870170624 36813 4294967295 134512640 134569956 3221224400 3221214512 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 36813 13073 16 0 212428 0
vsize: 849776
[startup+830.049 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 18182
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 79626 72 0 0 25 0 11 0 491653761 870170624 36933 4294967295 134512640 134569956 3221224400 3221214688 1131219987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 36933 13073 16 0 212428 0
vsize: 849776
[startup+840.049 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 18182
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 80586 72 0 0 25 0 11 0 491653761 870170624 37168 4294967295 134512640 134569956 3221224400 3221214688 1131219843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 37168 13073 16 0 212428 0
vsize: 849776
[startup+850.049 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 81550 73 0 0 25 0 11 0 491653761 870170624 37318 4294967295 134512640 134569956 3221224400 3221214840 1131610113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 37318 13073 16 0 212428 0
vsize: 849776
[startup+860.05 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 82516 73 0 0 25 0 11 0 491653761 870170624 37553 4294967295 134512640 134569956 3221224400 3221214456 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 37553 13073 16 0 212428 0
vsize: 849776
[startup+870.051 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 83479 74 0 0 25 0 11 0 491653761 870170624 37693 4294967295 134512640 134569956 3221224400 3221214400 1085679759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 37693 13073 16 0 212428 0
vsize: 849776
[startup+880.05 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 84441 74 0 0 25 0 11 0 491653761 870170624 37837 4294967295 134512640 134569956 3221224400 3221214688 1131219553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 37837 13073 16 0 212428 0
vsize: 849776
[startup+890.052 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 85398 74 0 0 25 0 11 0 491653761 870170624 38052 4294967295 134512640 134569956 3221224400 3221214688 1131220475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 38052 13073 16 0 212428 0
vsize: 849776
[startup+900.052 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 86356 74 0 0 25 0 11 0 491653761 870170624 38283 4294967295 134512640 134569956 3221224400 3221214776 1131275263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 38283 13073 16 0 212428 0
vsize: 849776
[startup+910.053 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 87318 75 0 0 25 0 11 0 491653761 870170624 38540 4294967295 134512640 134569956 3221224400 3221214688 1131220175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 38540 13073 16 0 212428 0
vsize: 849776
[startup+920.054 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 88281 75 0 0 25 0 11 0 491653761 870170624 38831 4294967295 134512640 134569956 3221224400 3221214688 1131219984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 38831 13073 16 0 212428 0
vsize: 849776
[startup+930.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 89247 76 0 0 25 0 11 0 491653761 870170624 38937 4294967295 134512640 134569956 3221224400 3221214688 1131220157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 38937 13073 16 0 212428 0
vsize: 849776
[startup+940.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 90214 76 0 0 24 0 11 0 491653761 870170624 39034 4294967295 134512640 134569956 3221224400 3221214776 1131275047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 39034 13073 16 0 212428 0
vsize: 849776
[startup+950.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 91189 76 0 0 25 0 11 0 491653761 870170624 39278 4294967295 134512640 134569956 3221224400 3221214688 1131220051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 39278 13073 16 0 212428 0
vsize: 849776
[startup+960.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 92161 76 0 0 25 0 11 0 491653761 870170624 39363 4294967295 134512640 134569956 3221224400 3221214688 1131220161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 39363 13073 16 0 212428 0
vsize: 849776
[startup+970.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 93120 76 0 0 25 0 11 0 491653761 870170624 39432 4294967295 134512640 134569956 3221224400 3221214688 1131220135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 39432 13073 16 0 212428 0
vsize: 849776
[startup+980.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 94075 77 0 0 25 0 11 0 491653761 870170624 39502 4294967295 134512640 134569956 3221224400 3221214776 1131274128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 39502 13073 16 0 212428 0
vsize: 849776
[startup+990.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 95030 77 0 0 25 0 11 0 491653761 870170624 39572 4294967295 134512640 134569956 3221224400 3221214840 1131761293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 39572 13073 16 0 212428 0
vsize: 849776
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 95987 77 0 0 25 0 11 0 491653761 870170624 39752 4294967295 134512640 134569956 3221224400 3221214600 1131608666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 39752 13073 16 0 212428 0
vsize: 849776
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 96954 77 0 0 25 0 11 0 491653761 870170624 39811 4294967295 134512640 134569956 3221224400 3221214688 1131220839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 39811 13073 16 0 212428 0
vsize: 849776
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) S 18118 20937 20936 0 -1 0 18106 0 1 0 97922 78 0 0 25 0 11 0 491653761 870170624 39869 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 39869 13073 16 0 212428 0
vsize: 849776
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 98885 78 0 0 25 0 11 0 491653761 870170624 39916 4294967295 134512640 134569956 3221224400 3221214772 1131163116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 39916 13073 16 0 212428 0
vsize: 849776
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 99851 78 0 0 25 0 11 0 491653761 870170624 40016 4294967295 134512640 134569956 3221224400 3221214688 1131219735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 40016 13073 16 0 212428 0
vsize: 849776
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 100814 78 0 0 25 0 11 0 491653761 870170624 40095 4294967295 134512640 134569956 3221224400 3221214688 1131219991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 40095 13073 16 0 212428 0
vsize: 849776
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 101780 79 0 0 25 0 11 0 491653761 870170624 40224 4294967295 134512640 134569956 3221224400 3221214664 1131616757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 40224 13073 16 0 212428 0
vsize: 849776
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 102745 79 0 0 25 0 11 0 491653761 870170624 40330 4294967295 134512640 134569956 3221224400 3221214776 1131275996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 40330 13073 16 0 212428 0
vsize: 849776
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 103709 79 0 0 25 0 11 0 491653761 870170624 40456 4294967295 134512640 134569956 3221224400 3221214728 1131163160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 40456 13073 16 0 212428 0
vsize: 849776
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 104670 79 0 0 25 0 11 0 491653761 870170624 40645 4294967295 134512640 134569956 3221224400 3221214688 1131219850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 40645 13073 16 0 212428 0
vsize: 849776
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 105634 80 0 0 25 0 11 0 491653761 870170624 40775 4294967295 134512640 134569956 3221224400 3221214688 1131219987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 40775 13073 16 0 212428 0
vsize: 849776
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18184
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 106595 80 0 0 25 0 11 0 491653761 870170624 40863 4294967295 134512640 134569956 3221224400 3221214688 1131220874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 40863 13073 16 0 212428 0
vsize: 849776
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 107560 81 0 0 25 0 11 0 491653761 870170624 41055 4294967295 134512640 134569956 3221224400 3221214688 1131220125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212444 41055 13073 16 0 212428 0
vsize: 849776
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 108525 82 0 0 25 0 11 0 491653761 870170624 41209 4294967295 134512640 134569956 3221224400 3221214688 1131220023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 41209 13073 16 0 212428 0
vsize: 849776
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 109491 82 0 0 25 0 11 0 491653761 870170624 41293 4294967295 134512640 134569956 3221224400 3221214688 1131220145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 41293 13073 16 0 212428 0
vsize: 849776
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 110453 83 0 0 25 0 11 0 491653761 870170624 41433 4294967295 134512640 134569956 3221224400 3221214688 1131220088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 41433 13073 16 0 212428 0
vsize: 849776
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 111410 83 0 0 25 0 11 0 491653761 870170624 41597 4294967295 134512640 134569956 3221224400 3221214688 1131220117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 41597 13073 16 0 212428 0
vsize: 849776
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 112374 83 0 0 25 0 11 0 491653761 870170624 41769 4294967295 134512640 134569956 3221224400 3221214688 1131219984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 41769 13073 16 0 212428 0
vsize: 849776
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 113338 83 0 0 25 0 11 0 491653761 870170624 42021 4294967295 134512640 134569956 3221224400 3221214776 1131274059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 42021 13073 16 0 212428 0
vsize: 849776
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 114310 84 0 0 25 0 11 0 491653761 870170624 42136 4294967295 134512640 134569956 3221224400 3221214892 1131138227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 42136 13073 16 0 212428 0
vsize: 849776
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 115277 84 0 0 25 0 11 0 491653761 870170624 42217 4294967295 134512640 134569956 3221224400 3221214688 1131219829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 42217 13073 16 0 212428 0
vsize: 849776
[startup+1210.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 116235 84 0 0 25 0 11 0 491653761 870170624 42297 4294967295 134512640 134569956 3221224400 3221214688 1131220900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 42297 13073 16 0 212428 0
vsize: 849776
[startup+1220.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 117189 84 0 0 25 0 11 0 491653761 870170624 42638 4294967295 134512640 134569956 3221224400 3221214776 1131277572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 42638 13073 16 0 212428 0
vsize: 849776
[startup+1230.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 118138 84 0 0 25 0 11 0 491653761 870170624 42974 4294967295 134512640 134569956 3221224400 3221214688 1131219564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 42974 13073 16 0 212428 0
vsize: 849776
[startup+1240.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 119092 85 0 0 25 0 11 0 491653761 870170624 43186 4294967295 134512640 134569956 3221224400 3221214688 1131220149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 43186 13073 16 0 212428 0
vsize: 849776
[startup+1250.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18186
Raw data (stat): 18119 (java) R 18118 20937 20936 0 -1 0 18106 0 1 0 120050 86 0 0 25 0 11 0 491653761 870170624 43562 4294967295 134512640 134569956 3221224400 3221214776 1131274059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212444 43562 13073 16 0 212428 0
vsize: 849776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.16 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 18188
Raw data (stat): 18119 (java) Z 18118 20937 20936 0 -1 1036 18106 37350 1 0 120051 94 6565 99 25 0 1 0 491653761 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.16
CPU time (s): 1268.11
CPU user time (s): 1266.17
CPU system time (s): 1.9377
CPU usage (%): 101.436
Max. virtual memory (Kb): 851304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####