PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb
MD5SUM	58b746ba9d27bca658263dee1941983b
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	3424
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	180407058264
Number of bits of the sum of numbers in the objective function	38
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	180407058264
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.282956
Number of variables	5344
Total number of constraints	200
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	1
Maximum length of a constraint	240
Trace number 21625

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        317712 kB
Buffers:         32804 kB
Cached:         662236 kB
SwapCached:        328 kB
Active:         178236 kB
Inactive:       519400 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        317460 kB
SwapTotal:     2097136 kB
SwapFree:      2096520 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6456 kB
Slab:            13700 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 00:51:31 (client local time) WITH STATUS 143 IN 1241.67 SECONDS
stats: 12931 7 1241.67 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-pp08a.opb
c reading problem 
c [nbvar=5344]
c [nbconstr=200]
c time 11.359
c #vars     5344
c #clauses  201
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.76 0.88 0.88 1/54 22879
Raw data (stat): 22879 (runsolver) D 22878 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491200530 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0136 s]
Raw data (loadavg): 0.87 0.90 0.89 2/63 22888
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 17999 0 1 0 829 40 0 0 25 0 10 0 491200530 854892544 19694 4294967295 134512640 134569956 3221224400 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208714 19694 13073 16 0 208698 0
vsize: 834856
[startup+20.0213 s]
Raw data (loadavg): 0.97 0.92 0.89 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18092 0 1 0 1629 41 0 0 25 0 11 0 491200530 859811840 21837 4294967295 134512640 134569956 3221224400 3221214744 1131387387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209915 21837 13073 16 0 209899 0
vsize: 839660
[startup+30.0224 s]
Raw data (loadavg): 0.97 0.92 0.90 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18093 0 1 0 2521 41 0 0 25 0 11 0 491200530 858042368 21534 4294967295 134512640 134569956 3221224400 3221214752 1131370883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 21534 13073 16 0 209467 0
vsize: 837932
[startup+40.0226 s]
Raw data (loadavg): 0.97 0.92 0.90 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18093 0 1 0 3424 42 0 0 18 0 11 0 491200530 858042368 21691 4294967295 134512640 134569956 3221224400 3221214768 1131320680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 21691 13073 16 0 209467 0
vsize: 837932
[startup+50.0232 s]
Raw data (loadavg): 0.98 0.93 0.90 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 4343 42 0 0 25 0 11 0 491200530 858042368 21893 4294967295 134512640 134569956 3221224400 3221214592 1131372027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 21893 13073 16 0 209467 0
vsize: 837932
[startup+60.024 s]
Raw data (loadavg): 0.98 0.93 0.90 4/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 5288 42 0 0 25 0 11 0 491200530 858042368 22384 4294967295 134512640 134569956 3221224400 3221213812 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 22384 13073 16 0 209467 0
vsize: 837932
[startup+70.0255 s]
Raw data (loadavg): 1.06 0.95 0.90 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 6244 42 0 0 25 0 11 0 491200530 862519296 23604 4294967295 134512640 134569956 3221224400 3221214576 1131370827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 23604 13073 16 0 210560 0
vsize: 842304
[startup+80.0251 s]
Raw data (loadavg): 1.05 0.95 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 7205 43 0 0 25 0 11 0 491200530 861147136 23347 4294967295 134512640 134569956 3221224400 3221214744 1131247279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210241 23347 13073 16 0 210225 0
vsize: 840964
[startup+90.0252 s]
Raw data (loadavg): 1.12 0.96 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 8180 43 0 0 24 0 11 0 491200530 861147136 23522 4294967295 134512640 134569956 3221224400 3221214584 1131233067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210241 23522 13073 16 0 210225 0
vsize: 840964
[startup+100.034 s]
Raw data (loadavg): 1.11 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 9170 43 0 0 25 0 11 0 491200530 861147136 23602 4294967295 134512640 134569956 3221224400 3221214680 1131607792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210241 23602 13073 16 0 210225 0
vsize: 840964
[startup+110.04 s]
Raw data (loadavg): 1.09 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 10158 43 0 0 25 0 11 0 491200530 861147136 23606 4294967295 134512640 134569956 3221224400 3221214680 1131590114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210241 23606 13073 16 0 210225 0
vsize: 840964
[startup+120.041 s]
Raw data (loadavg): 1.07 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 11142 44 0 0 25 0 11 0 491200530 861147136 23607 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210241 23607 13073 16 0 210225 0
vsize: 840964
[startup+130.041 s]
Raw data (loadavg): 1.06 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 12123 44 0 0 25 0 11 0 491200530 861147136 23607 4294967295 134512640 134569956 3221224400 3221214680 1131589971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210241 23607 13073 16 0 210225 0
vsize: 840964
[startup+140.041 s]
Raw data (loadavg): 1.05 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 13109 44 0 0 25 0 11 0 491200530 861147136 23718 4294967295 134512640 134569956 3221224400 3221214568 1131484152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210241 23718 13073 16 0 210225 0
vsize: 840964
[startup+150.042 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 14101 45 0 0 25 0 11 0 491200530 861147136 23722 4294967295 134512640 134569956 3221224400 3221214584 1131233281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210241 23722 13073 16 0 210225 0
vsize: 840964
[startup+160.042 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 15093 45 0 0 25 0 11 0 491200530 861147136 23742 4294967295 134512640 134569956 3221224400 3221214664 1131246507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210241 23742 13073 16 0 210225 0
vsize: 840964
[startup+170.042 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 16079 45 0 0 25 0 11 0 491200530 861147136 23751 4294967295 134512640 134569956 3221224400 3221214700 1080204298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210241 23751 13073 16 0 210225 0
vsize: 840964
[startup+180.042 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 17061 46 0 0 25 0 11 0 491200530 861147136 23753 4294967295 134512640 134569956 3221224400 3221214760 1131324484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210241 23753 13073 16 0 210225 0
vsize: 840964
[startup+190.043 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 18043 46 0 0 25 0 11 0 491200530 861147136 23778 4294967295 134512640 134569956 3221224400 3221214664 1131246638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210241 23778 13073 16 0 210225 0
vsize: 840964
[startup+200.042 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 19025 46 0 0 25 0 11 0 491200530 861114368 23787 4294967295 134512640 134569956 3221224400 3221214664 1131246113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210233 23787 13073 16 0 210217 0
vsize: 840932
[startup+210.043 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 20002 46 0 0 25 0 11 0 491200530 861114368 23787 4294967295 134512640 134569956 3221224400 3221214664 1131246703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210233 23787 13073 16 0 210217 0
vsize: 840932
[startup+220.043 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 20980 47 0 0 25 0 11 0 491200530 861114368 23870 4294967295 134512640 134569956 3221224400 3221214664 1131246553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210233 23870 13073 16 0 210217 0
vsize: 840932
[startup+230.043 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 21958 47 0 0 25 0 11 0 491200530 858042368 23203 4294967295 134512640 134569956 3221224400 3221214568 1131485693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23203 13073 16 0 209467 0
vsize: 837932
[startup+240.044 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 22937 48 0 0 25 0 11 0 491200530 858042368 23265 4294967295 134512640 134569956 3221224400 3221214756 1131246092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23265 13073 16 0 209467 0
vsize: 837932
[startup+250.044 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 23916 48 0 0 25 0 11 0 491200530 858042368 23342 4294967295 134512640 134569956 3221224400 3221214760 1131324542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23342 13073 16 0 209467 0
vsize: 837932
[startup+260.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 24895 49 0 0 25 0 11 0 491200530 858042368 23412 4294967295 134512640 134569956 3221224400 3221214568 1131484957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23412 13073 16 0 209467 0
vsize: 837932
[startup+270.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 25874 49 0 0 25 0 11 0 491200530 858042368 23473 4294967295 134512640 134569956 3221224400 3221214664 1131246490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23473 13073 16 0 209467 0
vsize: 837932
[startup+280.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 26849 50 0 0 25 0 11 0 491200530 858042368 23535 4294967295 134512640 134569956 3221224400 3221214584 1131233400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23535 13073 16 0 209467 0
vsize: 837932
[startup+290.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 27828 50 0 0 25 0 11 0 491200530 858042368 23603 4294967295 134512640 134569956 3221224400 3221214680 1131589971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23603 13073 16 0 209467 0
vsize: 837932
[startup+300.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 28810 50 0 0 25 0 11 0 491200530 858042368 23678 4294967295 134512640 134569956 3221224400 3221214796 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23678 13073 16 0 209467 0
vsize: 837932
[startup+310.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 29799 51 0 0 25 0 11 0 491200530 858042368 23733 4294967295 134512640 134569956 3221224400 3221214584 1131233250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23733 13073 16 0 209467 0
vsize: 837932
[startup+320.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 30792 51 0 0 25 0 11 0 491200530 858042368 23733 4294967295 134512640 134569956 3221224400 3221214568 1131484152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23733 13073 16 0 209467 0
vsize: 837932
[startup+330.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 31784 51 0 0 25 0 11 0 491200530 858042368 23794 4294967295 134512640 134569956 3221224400 3221214664 1131246507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23794 13073 16 0 209467 0
vsize: 837932
[startup+340.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 32766 52 0 0 25 0 11 0 491200530 858042368 23794 4294967295 134512640 134569956 3221224400 3221214584 1131233067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23794 13073 16 0 209467 0
vsize: 837932
[startup+350.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 33735 52 0 0 25 0 11 0 491200530 858042368 23794 4294967295 134512640 134569956 3221224400 3221214568 1131448911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23794 13073 16 0 209467 0
vsize: 837932
[startup+360.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) S 22878 22932 22931 0 -1 0 18094 0 1 0 34707 53 0 0 25 0 11 0 491200530 858042368 23794 4294967295 134512640 134569956 3221224400 3221213224 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23794 13073 16 0 209467 0
vsize: 837932
[startup+370.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 35684 53 0 0 25 0 11 0 491200530 858042368 23900 4294967295 134512640 134569956 3221224400 3221214664 1131246757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 23900 13073 16 0 209467 0
vsize: 837932
[startup+380.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 36671 53 0 0 25 0 11 0 491200530 858042368 24054 4294967295 134512640 134569956 3221224400 3221214584 1131233050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24054 13073 16 0 209467 0
vsize: 837932
[startup+390.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 37660 54 0 0 25 0 11 0 491200530 858042368 24054 4294967295 134512640 134569956 3221224400 3221214808 1131385054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24054 13073 16 0 209467 0
vsize: 837932
[startup+400.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 38633 54 0 0 25 0 11 0 491200530 858042368 24054 4294967295 134512640 134569956 3221224400 3221214584 1131233430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24054 13073 16 0 209467 0
vsize: 837932
[startup+410.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 39611 55 0 0 25 0 11 0 491200530 858042368 24068 4294967295 134512640 134569956 3221224400 3221214584 1131233233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24068 13073 16 0 209467 0
vsize: 837932
[startup+420.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 40584 55 0 0 25 0 11 0 491200530 858042368 24078 4294967295 134512640 134569956 3221224400 3221214696 1131358102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24078 13073 16 0 209467 0
vsize: 837932
[startup+430.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 41562 56 0 0 25 0 11 0 491200530 858042368 24184 4294967295 134512640 134569956 3221224400 3221214680 1131589968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24184 13073 16 0 209467 0
vsize: 837932
[startup+440.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 42545 56 0 0 25 0 11 0 491200530 858042368 24317 4294967295 134512640 134569956 3221224400 3221214760 1131370827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24317 13073 16 0 209467 0
vsize: 837932
[startup+450.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 43521 57 0 0 25 0 11 0 491200530 858042368 24338 4294967295 134512640 134569956 3221224400 3221214760 1131320676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24338 13073 16 0 209467 0
vsize: 837932
[startup+460.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 44495 57 0 0 25 0 11 0 491200530 858042368 24434 4294967295 134512640 134569956 3221224400 3221214760 1131320676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24434 13073 16 0 209467 0
vsize: 837932
[startup+470.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 45474 57 0 0 24 0 11 0 491200530 858042368 24455 4294967295 134512640 134569956 3221224400 3221214664 1131246553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24455 13073 16 0 209467 0
vsize: 837932
[startup+480.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 46463 58 0 0 25 0 11 0 491200530 858042368 24539 4294967295 134512640 134569956 3221224400 3221214664 1131246715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24539 13073 16 0 209467 0
vsize: 837932
[startup+490.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 47450 58 0 0 25 0 11 0 491200530 858042368 24557 4294967295 134512640 134569956 3221224400 3221214760 1131320676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24557 13073 16 0 209467 0
vsize: 837932
[startup+500.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 48438 59 0 0 25 0 11 0 491200530 858042368 24585 4294967295 134512640 134569956 3221224400 3221214664 1131246553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24585 13073 16 0 209467 0
vsize: 837932
[startup+510.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 49425 59 0 0 25 0 11 0 491200530 858042368 24622 4294967295 134512640 134569956 3221224400 3221214792 1131376272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24622 13073 16 0 209467 0
vsize: 837932
[startup+520.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) S 22878 22932 22931 0 -1 0 18094 0 1 0 50406 60 0 0 25 0 11 0 491200530 858042368 24664 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24664 13073 16 0 209467 0
vsize: 837932
[startup+530.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 51385 60 0 0 25 0 11 0 491200530 858042368 24682 4294967295 134512640 134569956 3221224400 3221214680 1131590107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24682 13073 16 0 209467 0
vsize: 837932
[startup+540.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 52356 60 0 0 25 0 11 0 491200530 858042368 24713 4294967295 134512640 134569956 3221224400 3221214680 1131589978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24713 13073 16 0 209467 0
vsize: 837932
[startup+550.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 53323 61 0 0 25 0 11 0 491200530 858042368 24806 4294967295 134512640 134569956 3221224400 3221214664 1131247310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24806 13073 16 0 209467 0
vsize: 837932
[startup+560.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 54291 61 0 0 25 0 11 0 491200530 858042368 24905 4294967295 134512640 134569956 3221224400 3221214680 1131589971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24905 13073 16 0 209467 0
vsize: 837932
[startup+570.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) S 22878 22932 22931 0 -1 0 18094 0 1 0 55262 62 0 0 25 0 11 0 491200530 858042368 24990 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 24990 13073 16 0 209467 0
vsize: 837932
[startup+580.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 56228 62 0 0 25 0 11 0 491200530 858042368 25091 4294967295 134512640 134569956 3221224400 3221214680 1131589973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25091 13073 16 0 209467 0
vsize: 837932
[startup+590.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 57198 63 0 0 25 0 11 0 491200530 858042368 25208 4294967295 134512640 134569956 3221224400 3221214664 1131246689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25208 13073 16 0 209467 0
vsize: 837932
[startup+600.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 58169 63 0 0 24 0 11 0 491200530 858042368 25342 4294967295 134512640 134569956 3221224400 3221214664 1131246994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25342 13073 16 0 209467 0
vsize: 837932
[startup+610.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 59149 63 0 0 25 0 11 0 491200530 858042368 25356 4294967295 134512640 134569956 3221224400 3221214664 1131246715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25356 13073 16 0 209467 0
vsize: 837932
[startup+620.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 60126 64 0 0 25 0 11 0 491200530 858042368 25444 4294967295 134512640 134569956 3221224400 3221214568 1131485059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25444 13073 16 0 209467 0
vsize: 837932
[startup+630.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 61107 64 0 0 25 0 11 0 491200530 858042368 25481 4294967295 134512640 134569956 3221224400 3221214664 1131246553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25481 13073 16 0 209467 0
vsize: 837932
[startup+640.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 62085 65 0 0 25 0 11 0 491200530 858042368 25528 4294967295 134512640 134569956 3221224400 3221214664 1131246553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25528 13073 16 0 209467 0
vsize: 837932
[startup+650.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 63065 66 0 0 25 0 11 0 491200530 858042368 25596 4294967295 134512640 134569956 3221224400 3221214760 1131320676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25596 13073 16 0 209467 0
vsize: 837932
[startup+660.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 64041 67 0 0 25 0 11 0 491200530 858042368 25664 4294967295 134512640 134569956 3221224400 3221214664 1131246711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25664 13073 16 0 209467 0
vsize: 837932
[startup+670.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 65020 67 0 0 20 0 11 0 491200530 858042368 25727 4294967295 134512640 134569956 3221224400 3221214568 1131484966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25727 13073 16 0 209467 0
vsize: 837932
[startup+680.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 65996 68 0 0 25 0 11 0 491200530 858042368 25787 4294967295 134512640 134569956 3221224400 3221214680 1131589952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25787 13073 16 0 209467 0
vsize: 837932
[startup+690.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 66970 68 0 0 25 0 11 0 491200530 858042368 25850 4294967295 134512640 134569956 3221224400 3221214680 1131589978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25850 13073 16 0 209467 0
vsize: 837932
[startup+700.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 67946 69 0 0 25 0 11 0 491200530 858042368 25923 4294967295 134512640 134569956 3221224400 3221214756 1131247631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 25923 13073 16 0 209467 0
vsize: 837932
[startup+710.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 68919 69 0 0 25 0 11 0 491200530 858042368 26016 4294967295 134512640 134569956 3221224400 3221214760 1131320676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26016 13073 16 0 209467 0
vsize: 837932
[startup+720.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 69896 70 0 0 25 0 11 0 491200530 858042368 26092 4294967295 134512640 134569956 3221224400 3221214568 1131484282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26092 13073 16 0 209467 0
vsize: 837932
[startup+730.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 70871 70 0 0 25 0 11 0 491200530 858042368 26164 4294967295 134512640 134569956 3221224400 3221214760 1131324512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26164 13073 16 0 209467 0
vsize: 837932
[startup+740.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 71847 71 0 0 25 0 11 0 491200530 858042368 26238 4294967295 134512640 134569956 3221224400 3221214760 1131321742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26238 13073 16 0 209467 0
vsize: 837932
[startup+750.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 72824 71 0 0 25 0 11 0 491200530 858042368 26290 4294967295 134512640 134569956 3221224400 3221214680 1131589964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26290 13073 16 0 209467 0
vsize: 837932
[startup+760.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 73799 71 0 0 17 0 11 0 491200530 858042368 26364 4294967295 134512640 134569956 3221224400 3221214760 1131321798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26364 13073 16 0 209467 0
vsize: 837932
[startup+770.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 74776 72 0 0 25 0 11 0 491200530 858042368 26441 4294967295 134512640 134569956 3221224400 3221214760 1131320638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26441 13073 16 0 209467 0
vsize: 837932
[startup+780.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 75752 72 0 0 25 0 11 0 491200530 858042368 26539 4294967295 134512640 134569956 3221224400 3221214664 1131246689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26539 13073 16 0 209467 0
vsize: 837932
[startup+790.073 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 76729 73 0 0 25 0 11 0 491200530 858042368 26627 4294967295 134512640 134569956 3221224400 3221214664 1131246117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26627 13073 16 0 209467 0
vsize: 837932
[startup+800.073 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 77707 73 0 0 25 0 11 0 491200530 858042368 26714 4294967295 134512640 134569956 3221224400 3221214760 1131322689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26714 13073 16 0 209467 0
vsize: 837932
[startup+810.074 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 78682 74 0 0 25 0 11 0 491200530 858042368 26780 4294967295 134512640 134569956 3221224400 3221214664 1131247294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26780 13073 16 0 209467 0
vsize: 837932
[startup+820.077 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 22889
Raw data (stat): 22879 (java) S 22878 22932 22931 0 -1 0 18094 0 1 0 79651 74 0 0 25 0 11 0 491200530 858042368 26896 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26896 13073 16 0 209467 0
vsize: 837932
[startup+830.077 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 80628 75 0 0 25 0 11 0 491200530 858042368 26935 4294967295 134512640 134569956 3221224400 3221214664 1131246683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 26935 13073 16 0 209467 0
vsize: 837932
[startup+840.077 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 81610 75 0 0 25 0 11 0 491200530 858042368 27043 4294967295 134512640 134569956 3221224400 3221214664 1131246699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27043 13073 16 0 209467 0
vsize: 837932
[startup+850.077 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 82595 75 0 0 25 0 11 0 491200530 858042368 27053 4294967295 134512640 134569956 3221224400 3221214664 1131246624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27053 13073 16 0 209467 0
vsize: 837932
[startup+860.077 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 83580 76 0 0 20 0 11 0 491200530 858042368 27091 4294967295 134512640 134569956 3221224400 3221214744 1131350190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27091 13073 16 0 209467 0
vsize: 837932
[startup+870.078 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 84565 76 0 0 25 0 11 0 491200530 858042368 27137 4294967295 134512640 134569956 3221224400 3221214664 1131365487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27137 13073 16 0 209467 0
vsize: 837932
[startup+880.078 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 85552 76 0 0 25 0 11 0 491200530 858042368 27182 4294967295 134512640 134569956 3221224400 3221214680 1131607808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27182 13073 16 0 209467 0
vsize: 837932
[startup+890.078 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 86543 77 0 0 25 0 11 0 491200530 858042368 27195 4294967295 134512640 134569956 3221224400 3221214760 1131320741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27195 13073 16 0 209467 0
vsize: 837932
[startup+900.078 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 87530 77 0 0 25 0 11 0 491200530 858042368 27195 4294967295 134512640 134569956 3221224400 3221214876 1080204267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27195 13073 16 0 209467 0
vsize: 837932
[startup+910.079 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 88506 78 0 0 25 0 11 0 491200530 858042368 27210 4294967295 134512640 134569956 3221224400 3221214568 1131484062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27210 13073 16 0 209467 0
vsize: 837932
[startup+920.08 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 89488 78 0 0 25 0 11 0 491200530 858042368 27210 4294967295 134512640 134569956 3221224400 3221214664 1131246683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27210 13073 16 0 209467 0
vsize: 837932
[startup+930.079 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 90467 78 0 0 25 0 11 0 491200530 858042368 27278 4294967295 134512640 134569956 3221224400 3221214680 1131590114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27278 13073 16 0 209467 0
vsize: 837932
[startup+940.08 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 91453 78 0 0 25 0 11 0 491200530 858042368 27389 4294967295 134512640 134569956 3221224400 3221214584 1131233233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27389 13073 16 0 209467 0
vsize: 837932
[startup+950.08 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 92445 79 0 0 25 0 11 0 491200530 858042368 27394 4294967295 134512640 134569956 3221224400 3221214664 1131246390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27394 13073 16 0 209467 0
vsize: 837932
[startup+960.08 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 93435 80 0 0 25 0 11 0 491200530 858042368 27408 4294967295 134512640 134569956 3221224400 3221214664 1131246553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27408 13073 16 0 209467 0
vsize: 837932
[startup+970.08 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 94419 80 0 0 24 0 11 0 491200530 858042368 27408 4294967295 134512640 134569956 3221224400 3221214676 1131234563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27408 13073 16 0 209467 0
vsize: 837932
[startup+980.08 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 95403 80 0 0 25 0 11 0 491200530 858042368 27413 4294967295 134512640 134569956 3221224400 3221214808 1131385530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27413 13073 16 0 209467 0
vsize: 837932
[startup+990.081 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 96386 81 0 0 25 0 11 0 491200530 858042368 27425 4294967295 134512640 134569956 3221224400 3221214664 1131246705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27425 13073 16 0 209467 0
vsize: 837932
[startup+1000.08 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 97371 81 0 0 25 0 11 0 491200530 858042368 27504 4294967295 134512640 134569956 3221224400 3221214568 1131448936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27504 13073 16 0 209467 0
vsize: 837932
[startup+1010.08 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 98363 81 0 0 25 0 11 0 491200530 858042368 27508 4294967295 134512640 134569956 3221224400 3221214568 1131485725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27508 13073 16 0 209467 0
vsize: 837932
[startup+1020.08 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 99352 82 0 0 25 0 11 0 491200530 858042368 27509 4294967295 134512640 134569956 3221224400 3221214584 1131233050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27509 13073 16 0 209467 0
vsize: 837932
[startup+1030.08 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 100345 82 0 0 25 0 11 0 491200530 858042368 27530 4294967295 134512640 134569956 3221224400 3221214664 1131246145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27530 13073 16 0 209467 0
vsize: 837932
[startup+1040.08 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 101335 83 0 0 25 0 11 0 491200530 858042368 27538 4294967295 134512640 134569956 3221224400 3221214676 1131246099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27538 13073 16 0 209467 0
vsize: 837932
[startup+1050.08 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 102327 83 0 0 25 0 11 0 491200530 858042368 27545 4294967295 134512640 134569956 3221224400 3221214584 1131233067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27545 13073 16 0 209467 0
vsize: 837932
[startup+1060.08 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 103319 83 0 0 25 0 11 0 491200530 858042368 27551 4294967295 134512640 134569956 3221224400 3221214696 1131344373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27551 13073 16 0 209467 0
vsize: 837932
[startup+1070.09 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 104309 84 0 0 25 0 11 0 491200530 858042368 27563 4294967295 134512640 134569956 3221224400 3221214680 1131589968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27563 13073 16 0 209467 0
vsize: 837932
[startup+1080.09 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 105299 85 0 0 25 0 11 0 491200530 858042368 27572 4294967295 134512640 134569956 3221224400 3221214568 1131484062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27572 13073 16 0 209467 0
vsize: 837932
[startup+1090.09 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 106291 85 0 0 25 0 11 0 491200530 858042368 27578 4294967295 134512640 134569956 3221224400 3221214804 1131348940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27578 13073 16 0 209467 0
vsize: 837932
[startup+1100.09 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 107282 85 0 0 25 0 11 0 491200530 858042368 27590 4294967295 134512640 134569956 3221224400 3221214568 1131484272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27590 13073 16 0 209467 0
vsize: 837932
[startup+1110.09 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 108272 86 0 0 25 0 11 0 491200530 858042368 27602 4294967295 134512640 134569956 3221224400 3221214584 1131233233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27602 13073 16 0 209467 0
vsize: 837932
[startup+1120.09 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 109263 87 0 0 25 0 11 0 491200530 858042368 27616 4294967295 134512640 134569956 3221224400 3221214748 1080204322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27616 13073 16 0 209467 0
vsize: 837932
[startup+1130.09 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 110256 87 0 0 25 0 11 0 491200530 858042368 27617 4294967295 134512640 134569956 3221224400 3221214664 1131246973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27617 13073 16 0 209467 0
vsize: 837932
[startup+1140.09 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 111246 88 0 0 25 0 11 0 491200530 858042368 27630 4294967295 134512640 134569956 3221224400 3221214584 1131233233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27630 13073 16 0 209467 0
vsize: 837932
[startup+1150.09 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 112238 88 0 0 25 0 11 0 491200530 858042368 27638 4294967295 134512640 134569956 3221224400 3221214796 1080203717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27638 13073 16 0 209467 0
vsize: 837932
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 113231 88 0 0 25 0 11 0 491200530 858042368 27638 4294967295 134512640 134569956 3221224400 3221214760 1131320481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27638 13073 16 0 209467 0
vsize: 837932
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 114220 89 0 0 25 0 11 0 491200530 858042368 27648 4294967295 134512640 134569956 3221224400 3221214744 1131350043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27648 13073 16 0 209467 0
vsize: 837932
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 115207 89 0 0 25 0 11 0 491200530 858042368 27663 4294967295 134512640 134569956 3221224400 3221214696 1131370827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27663 13073 16 0 209467 0
vsize: 837932
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 116191 90 0 0 25 0 11 0 491200530 858042368 27663 4294967295 134512640 134569956 3221224400 3221214760 1131370936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27663 13073 16 0 209467 0
vsize: 837932
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 117179 91 0 0 25 0 11 0 491200530 858042368 27712 4294967295 134512640 134569956 3221224400 3221214664 1131246553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27712 13073 16 0 209467 0
vsize: 837932
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 118168 91 0 0 25 0 11 0 491200530 858042368 27735 4294967295 134512640 134569956 3221224400 3221214744 1131350156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27735 13073 16 0 209467 0
vsize: 837932
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 119157 91 0 0 25 0 11 0 491200530 858042368 27764 4294967295 134512640 134569956 3221224400 3221214760 1131321698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27764 13073 16 0 209467 0
vsize: 837932
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22889
Raw data (stat): 22879 (java) R 22878 22932 22931 0 -1 0 18094 0 1 0 120148 92 0 0 25 0 11 0 491200530 858042368 27785 4294967295 134512640 134569956 3221224400 3221214808 1131385567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27785 13073 16 0 209467 0
vsize: 837932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 22891
Raw data (stat): 22879 (java) Z 22878 22932 22931 0 -1 1036 18094 15680 1 0 120153 92 3872 48 25 0 1 0 491200530 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): 1230.2
CPU time (s): 1241.67
CPU user time (s): 1240.26
CPU system time (s): 1.40679
CPU usage (%): 100.932
Max. virtual memory (Kb): 842304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####