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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rgn.opb
MD5SUM	1400a638b0a1a6fa8602672cb986ba1d
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	67200
Optimality of the best value was proved	NO
Number of terms in the objective function	920
Biggest coefficient in the objective function	24576
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	1986400
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	3200000000
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	29101875011
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1227.77
Number of variables	1020
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	103
Trace number 15564

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        843496 kB
Buffers:         19212 kB
Cached:         143864 kB
SwapCached:        464 kB
Active:          44632 kB
Inactive:       120568 kB
HighTotal:      131008 kB
HighFree:          392 kB
LowTotal:       903652 kB
LowFree:        843104 kB
SwapTotal:     2097892 kB
SwapFree:      2096700 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5296 kB
Slab:            20140 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 05:21:04 (client local time) WITH STATUS 143 IN 1242.38 SECONDS
stats: 17234 7 1242.38 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-rgn.opb
c reading problem 
c [nbvar=1020]
c [nbconstr=204]
c time 2.179
c #vars     1020
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.74 0.93 0.94 2/54 22567
Raw data (stat): 22567 (runsolver) R 22566 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542390299 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.08 1.00 0.96 4/64 22577
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18070 0 1 0 540 43 0 0 25 0 11 0 542390299 869818368 22333 4294967295 134512640 134569956 3221224400 3221214752 1131267140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212358 22333 13073 16 0 212342 0
vsize: 849432
[startup+20.0018 s]
Raw data (loadavg): 1.22 1.03 0.97 2/64 22577
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18072 0 1 0 1422 44 0 0 25 0 11 0 542390299 867692544 22431 4294967295 134512640 134569956 3221224400 3221214656 1131220588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211839 22431 13073 16 0 211823 0
vsize: 847356
[startup+30.0027 s]
Raw data (loadavg): 1.18 1.03 0.97 2/64 22577
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18072 0 1 0 2384 44 0 0 24 0 11 0 542390299 867692544 22839 4294967295 134512640 134569956 3221224400 3221214712 1131409786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211839 22839 13073 16 0 211823 0
vsize: 847356
[startup+40.003 s]
Raw data (loadavg): 1.16 1.03 0.97 2/64 22577
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 3352 44 0 0 25 0 11 0 542390299 864854016 22307 4294967295 134512640 134569956 3221224400 3221214824 1131285844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 22307 13073 16 0 211130 0
vsize: 844584
[startup+50.0031 s]
Raw data (loadavg): 1.13 1.03 0.97 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 4322 45 0 0 25 0 11 0 542390299 864854016 22506 4294967295 134512640 134569956 3221224400 3221214488 1131370988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 22506 13073 16 0 211130 0
vsize: 844584
[startup+60.003 s]
Raw data (loadavg): 1.18 1.04 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 5290 45 0 0 25 0 11 0 542390299 864854016 22701 4294967295 134512640 134569956 3221224400 3221214488 1131604984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 22701 13073 16 0 211130 0
vsize: 844584
[startup+70.0043 s]
Raw data (loadavg): 1.16 1.04 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 6262 46 0 0 25 0 11 0 542390299 864854016 23102 4294967295 134512640 134569956 3221224400 3221214472 1131372116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 23102 13073 16 0 211130 0
vsize: 844584
[startup+80.0044 s]
Raw data (loadavg): 1.13 1.04 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 7239 46 0 0 25 0 11 0 542390299 864854016 23102 4294967295 134512640 134569956 3221224400 3221214624 1131603693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 23102 13073 16 0 211130 0
vsize: 844584
[startup+90.0046 s]
Raw data (loadavg): 1.11 1.04 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 8222 46 0 0 25 0 11 0 542390299 864854016 23142 4294967295 134512640 134569956 3221224400 3221214136 1131604966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 23142 13073 16 0 211130 0
vsize: 844584
[startup+100.005 s]
Raw data (loadavg): 1.09 1.04 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 9187 46 0 0 25 0 11 0 542390299 864854016 23269 4294967295 134512640 134569956 3221224400 3221214040 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 23269 13073 16 0 211130 0
vsize: 844584
[startup+110.006 s]
Raw data (loadavg): 1.08 1.03 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 10170 46 0 0 25 0 11 0 542390299 864854016 23353 4294967295 134512640 134569956 3221224400 3221214680 1131603892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 23353 13073 16 0 211130 0
vsize: 844584
[startup+120.007 s]
Raw data (loadavg): 1.07 1.03 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 11144 46 0 0 25 0 11 0 542390299 864854016 23443 4294967295 134512640 134569956 3221224400 3221214244 1131605008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 23443 13073 16 0 211130 0
vsize: 844584
[startup+130.007 s]
Raw data (loadavg): 1.06 1.03 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 12118 46 0 0 25 0 11 0 542390299 864854016 23494 4294967295 134512640 134569956 3221224400 3221214720 1131235925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 23494 13073 16 0 211130 0
vsize: 844584
[startup+140.006 s]
Raw data (loadavg): 1.05 1.03 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 13091 46 0 0 25 0 11 0 542390299 864854016 23569 4294967295 134512640 134569956 3221224400 3221214128 1131603868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 23569 13073 16 0 211130 0
vsize: 844584
[startup+150.007 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 14073 46 0 0 25 0 11 0 542390299 864854016 23642 4294967295 134512640 134569956 3221224400 3221214404 1131605008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 23642 13073 16 0 211130 0
vsize: 844584
[startup+160.007 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 15073 46 0 0 25 0 11 0 542390299 864854016 23642 4294967295 134512640 134569956 3221224400 3221214352 1131605009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 23642 13073 16 0 211130 0
vsize: 844584
[startup+170.007 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 16054 46 0 0 25 0 11 0 542390299 864854016 23779 4294967295 134512640 134569956 3221224400 3221214192 1131604857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 23779 13073 16 0 211130 0
vsize: 844584
[startup+180.007 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 17045 46 0 0 25 0 11 0 542390299 864854016 23787 4294967295 134512640 134569956 3221224400 3221214348 1131605008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 23787 13073 16 0 211130 0
vsize: 844584
[startup+190.008 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 18026 47 0 0 25 0 11 0 542390299 864854016 23861 4294967295 134512640 134569956 3221224400 3221214704 1131406526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 23861 13073 16 0 211130 0
vsize: 844584
[startup+200.008 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 19007 47 0 0 25 0 11 0 542390299 864854016 23929 4294967295 134512640 134569956 3221224400 3221214392 1131601960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 23929 13073 16 0 211130 0
vsize: 844584
[startup+210.008 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 19988 47 0 0 25 0 11 0 542390299 864854016 24003 4294967295 134512640 134569956 3221224400 3221214296 1131605009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 24003 13073 16 0 211130 0
vsize: 844584
[startup+220.009 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 20970 47 0 0 25 0 11 0 542390299 864854016 24057 4294967295 134512640 134569956 3221224400 3221214632 1131605058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24057 13073 16 0 211130 0
vsize: 844584
[startup+230.009 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 21935 47 0 0 25 0 11 0 542390299 864854016 24130 4294967295 134512640 134569956 3221224400 3221214520 1131604956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24130 13073 16 0 211130 0
vsize: 844584
[startup+240.009 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 22926 47 0 0 25 0 11 0 542390299 864854016 24130 4294967295 134512640 134569956 3221224400 3221214460 1131605008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 24130 13073 16 0 211130 0
vsize: 844584
[startup+250.009 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 23916 47 0 0 25 0 11 0 542390299 864854016 24163 4294967295 134512640 134569956 3221224400 3221214128 1131601991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 24163 13073 16 0 211130 0
vsize: 844584
[startup+260.01 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 24898 48 0 0 25 0 11 0 542390299 864854016 24221 4294967295 134512640 134569956 3221224400 3221214376 1131398283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 24221 13073 16 0 211130 0
vsize: 844584
[startup+270.011 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 25872 48 0 0 25 0 11 0 542390299 864854016 24357 4294967295 134512640 134569956 3221224400 3221214704 1131405910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24357 13073 16 0 211130 0
vsize: 844584
[startup+280.012 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 26847 48 0 0 24 0 11 0 542390299 864854016 24411 4294967295 134512640 134569956 3221224400 3221214144 1131603824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24411 13073 16 0 211130 0
vsize: 844584
[startup+290.012 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 27847 48 0 0 25 0 11 0 542390299 864854016 24411 4294967295 134512640 134569956 3221224400 3221214648 1131604853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24411 13073 16 0 211130 0
vsize: 844584
[startup+300.012 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 28830 48 0 0 25 0 11 0 542390299 864854016 24449 4294967295 134512640 134569956 3221224400 3221214552 1085679261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24449 13073 16 0 211130 0
vsize: 844584
[startup+310.012 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 29811 49 0 0 25 0 11 0 542390299 864854016 24499 4294967295 134512640 134569956 3221224400 3221214760 1131605073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 24499 13073 16 0 211130 0
vsize: 844584
[startup+320.012 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 22579
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 30792 49 0 0 25 0 11 0 542390299 864854016 24570 4294967295 134512640 134569956 3221224400 3221214312 1131605009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24570 13073 16 0 211130 0
vsize: 844584
[startup+330.014 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 31774 49 0 0 25 0 11 0 542390299 864854016 24657 4294967295 134512640 134569956 3221224400 3221214704 1131405959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24657 13073 16 0 211130 0
vsize: 844584
[startup+340.014 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 32756 50 0 0 25 0 11 0 542390299 864854016 24727 4294967295 134512640 134569956 3221224400 3221214536 1131604948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24727 13073 16 0 211130 0
vsize: 844584
[startup+350.015 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 33746 50 0 0 25 0 11 0 542390299 864854016 24758 4294967295 134512640 134569956 3221224400 3221214448 1085679452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24758 13073 16 0 211130 0
vsize: 844584
[startup+360.016 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 34737 50 0 0 25 0 11 0 542390299 864854016 24792 4294967295 134512640 134569956 3221224400 3221214704 1131405272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 24792 13073 16 0 211130 0
vsize: 844584
[startup+370.017 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 35727 51 0 0 25 0 11 0 542390299 864854016 24844 4294967295 134512640 134569956 3221224400 3221214704 1131605073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 24844 13073 16 0 211130 0
vsize: 844584
[startup+380.017 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 36718 51 0 0 25 0 11 0 542390299 864854016 24870 4294967295 134512640 134569956 3221224400 3221214928 1131599148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24870 13073 16 0 211130 0
vsize: 844584
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 37709 51 0 0 25 0 11 0 542390299 864854016 24915 4294967295 134512640 134569956 3221224400 3221214524 1131611808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24915 13073 16 0 211130 0
vsize: 844584
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 38699 51 0 0 25 0 11 0 542390299 864854016 24959 4294967295 134512640 134569956 3221224400 3221214748 1131604832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 24959 13073 16 0 211130 0
vsize: 844584
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 39690 51 0 0 25 0 11 0 542390299 864854016 25011 4294967295 134512640 134569956 3221224400 3221214648 1131605018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25011 13073 16 0 211130 0
vsize: 844584
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 40680 52 0 0 25 0 11 0 542390299 864854016 25053 4294967295 134512640 134569956 3221224400 3221214256 1131603854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25053 13073 16 0 211130 0
vsize: 844584
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 41671 52 0 0 25 0 11 0 542390299 864854016 25053 4294967295 134512640 134569956 3221224400 3221214800 1131603906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 25053 13073 16 0 211130 0
vsize: 844584
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 42662 52 0 0 25 0 11 0 542390299 864854016 25098 4294967295 134512640 134569956 3221224400 3221214420 1131605008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25098 13073 16 0 211130 0
vsize: 844584
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 43652 52 0 0 25 0 11 0 542390299 864854016 25135 4294967295 134512640 134569956 3221224400 3221214144 1131604984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25135 13073 16 0 211130 0
vsize: 844584
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 44633 52 0 0 25 0 11 0 542390299 864854016 25199 4294967295 134512640 134569956 3221224400 3221214636 1131603876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25199 13073 16 0 211130 0
vsize: 844584
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 45624 52 0 0 25 0 11 0 542390299 864854016 25234 4294967295 134512640 134569956 3221224400 3221214008 1085679337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25234 13073 16 0 211130 0
vsize: 844584
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 46605 53 0 0 25 0 11 0 542390299 864854016 25302 4294967295 134512640 134569956 3221224400 3221214208 1131605009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25302 13073 16 0 211130 0
vsize: 844584
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 47595 53 0 0 25 0 11 0 542390299 864854016 25353 4294967295 134512640 134569956 3221224400 3221214536 1131605009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25353 13073 16 0 211130 0
vsize: 844584
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 48577 53 0 0 25 0 11 0 542390299 864854016 25390 4294967295 134512640 134569956 3221224400 3221214504 1085679741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25390 13073 16 0 211130 0
vsize: 844584
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 49550 54 0 0 24 0 11 0 542390299 864854016 25457 4294967295 134512640 134569956 3221224400 3221214648 1131308770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25457 13073 16 0 211130 0
vsize: 844584
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 50541 54 0 0 25 0 11 0 542390299 864854016 25457 4294967295 134512640 134569956 3221224400 3221214536 1131605009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25457 13073 16 0 211130 0
vsize: 844584
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 51532 54 0 0 25 0 11 0 542390299 864854016 25494 4294967295 134512640 134569956 3221224400 3221213896 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25494 13073 16 0 211130 0
vsize: 844584
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 52514 54 0 0 25 0 11 0 542390299 864854016 25563 4294967295 134512640 134569956 3221224400 3221214296 1131601962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25563 13073 16 0 211130 0
vsize: 844584
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 53505 54 0 0 25 0 11 0 542390299 864854016 25563 4294967295 134512640 134569956 3221224400 3221214536 1131605047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25563 13073 16 0 211130 0
vsize: 844584
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 54487 54 0 0 25 0 11 0 542390299 864854016 25599 4294967295 134512640 134569956 3221224400 3221214176 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25599 13073 16 0 211130 0
vsize: 844584
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 55477 55 0 0 25 0 11 0 542390299 864854016 25637 4294967295 134512640 134569956 3221224400 3221214208 1131604977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25637 13073 16 0 211130 0
vsize: 844584
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 56468 55 0 0 25 0 11 0 542390299 864854016 25687 4294967295 134512640 134569956 3221224400 3221214648 1131604977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25687 13073 16 0 211130 0
vsize: 844584
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 57458 55 0 0 25 0 11 0 542390299 864854016 25719 4294967295 134512640 134569956 3221224400 3221214008 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25719 13073 16 0 211130 0
vsize: 844584
[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 58458 56 0 0 25 0 11 0 542390299 864854016 25719 4294967295 134512640 134569956 3221224400 3221214368 1131604960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25719 13073 16 0 211130 0
vsize: 844584
[startup+610.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 59430 56 0 0 25 0 11 0 542390299 864854016 25841 4294967295 134512640 134569956 3221224400 3221214272 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25841 13073 16 0 211130 0
vsize: 844584
[startup+620.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 60412 56 0 0 25 0 11 0 542390299 864854016 25879 4294967295 134512640 134569956 3221224400 3221214472 1131603872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25879 13073 16 0 211130 0
vsize: 844584
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 61412 56 0 0 25 0 11 0 542390299 864854016 25879 4294967295 134512640 134569956 3221224400 3221214200 1131603744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25879 13073 16 0 211130 0
vsize: 844584
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 62395 57 0 0 25 0 11 0 542390299 864854016 25945 4294967295 134512640 134569956 3221224400 3221213984 1131604984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25945 13073 16 0 211130 0
vsize: 844584
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 63385 57 0 0 25 0 11 0 542390299 864854016 25975 4294967295 134512640 134569956 3221224400 3221214752 1131603892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 25975 13073 16 0 211130 0
vsize: 844584
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 64377 57 0 0 25 0 11 0 542390299 864854016 26007 4294967295 134512640 134569956 3221224400 3221214568 1131607245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26007 13073 16 0 211130 0
vsize: 844584
[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 65368 57 0 0 25 0 11 0 542390299 864854016 26047 4294967295 134512640 134569956 3221224400 3221214752 1131270623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26047 13073 16 0 211130 0
vsize: 844584
[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 66359 58 0 0 25 0 11 0 542390299 864854016 26083 4294967295 134512640 134569956 3221224400 3221214536 1131604984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26083 13073 16 0 211130 0
vsize: 844584
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 67342 58 0 0 25 0 11 0 542390299 864854016 26124 4294967295 134512640 134569956 3221224400 3221214648 1131220715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26124 13073 16 0 211130 0
vsize: 844584
[startup+700.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 68334 58 0 0 25 0 11 0 542390299 864854016 26154 4294967295 134512640 134569956 3221224400 3221213840 1085632301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26154 13073 16 0 211130 0
vsize: 844584
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 69334 58 0 0 25 0 11 0 542390299 864854016 26154 4294967295 134512640 134569956 3221224400 3221214464 1131603903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 26154 13073 16 0 211130 0
vsize: 844584
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 70318 59 0 0 25 0 11 0 542390299 864854016 26261 4294967295 134512640 134569956 3221224400 3221214092 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26261 13073 16 0 211130 0
vsize: 844584
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 71309 59 0 0 25 0 11 0 542390299 864854016 26275 4294967295 134512640 134569956 3221224400 3221214928 1131599376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 26275 13073 16 0 211130 0
vsize: 844584
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 72301 59 0 0 25 0 11 0 542390299 864854016 26290 4294967295 134512640 134569956 3221224400 3221214752 1131603744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 26290 13073 16 0 211130 0
vsize: 844584
[startup+750.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 73293 59 0 0 25 0 11 0 542390299 864854016 26306 4294967295 134512640 134569956 3221224400 3221214532 1131605008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26306 13073 16 0 211130 0
vsize: 844584
[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 74284 59 0 0 25 0 11 0 542390299 864854016 26319 4294967295 134512640 134569956 3221224400 3221214408 1131603912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 26319 13073 16 0 211130 0
vsize: 844584
[startup+770.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 75259 59 0 0 25 0 11 0 542390299 864854016 26400 4294967295 134512640 134569956 3221224400 3221214504 1085679452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26400 13073 16 0 211130 0
vsize: 844584
[startup+780.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 76251 59 0 0 25 0 11 0 542390299 864854016 26427 4294967295 134512640 134569956 3221224400 3221214760 1131605047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26427 13073 16 0 211130 0
vsize: 844584
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 77235 59 0 0 25 0 11 0 542390299 864854016 26458 4294967295 134512640 134569956 3221224400 3221214656 1131224327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26458 13073 16 0 211130 0
vsize: 844584
[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 78225 60 0 0 25 0 11 0 542390299 864854016 26487 4294967295 134512640 134569956 3221224400 3221214132 1131611776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26487 13073 16 0 211130 0
vsize: 844584
[startup+810.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 79217 60 0 0 25 0 11 0 542390299 864854016 26513 4294967295 134512640 134569956 3221224400 3221214528 1131603824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 26513 13073 16 0 211130 0
vsize: 844584
[startup+820.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 80209 60 0 0 25 0 11 0 542390299 864854016 26572 4294967295 134512640 134569956 3221224400 3221214848 1131607268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 26572 13073 16 0 211130 0
vsize: 844584
[startup+830.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 81194 60 0 0 25 0 11 0 542390299 864854016 26637 4294967295 134512640 134569956 3221224400 3221214900 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26637 13073 16 0 211130 0
vsize: 844584
[startup+840.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 82180 60 0 0 25 0 11 0 542390299 864854016 26705 4294967295 134512640 134569956 3221224400 3221214648 1131220576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26705 13073 16 0 211130 0
vsize: 844584
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 83166 60 0 0 25 0 11 0 542390299 864854016 26731 4294967295 134512640 134569956 3221224400 3221214364 1131605008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26731 13073 16 0 211130 0
vsize: 844584
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 84166 61 0 0 25 0 11 0 542390299 864854016 26731 4294967295 134512640 134569956 3221224400 3221214120 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 26731 13073 16 0 211130 0
vsize: 844584
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 85159 61 0 0 25 0 11 0 542390299 864854016 26750 4294967295 134512640 134569956 3221224400 3221214644 1131605008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26750 13073 16 0 211130 0
vsize: 844584
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 86152 61 0 0 25 0 11 0 542390299 864854016 26781 4294967295 134512640 134569956 3221224400 3221214752 1131603693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 26781 13073 16 0 211130 0
vsize: 844584
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 87138 61 0 0 25 0 11 0 542390299 864854016 26825 4294967295 134512640 134569956 3221224400 3221214192 1131603912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26825 13073 16 0 211130 0
vsize: 844584
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 88131 61 0 0 25 0 11 0 542390299 864854016 26859 4294967295 134512640 134569956 3221224400 3221214500 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 26859 13073 16 0 211130 0
vsize: 844584
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 89124 61 0 0 25 0 11 0 542390299 864854016 26895 4294967295 134512640 134569956 3221224400 3221214368 1131603892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26895 13073 16 0 211130 0
vsize: 844584
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 90117 61 0 0 25 0 11 0 542390299 864854016 26914 4294967295 134512640 134569956 3221224400 3221214584 1131603892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 26914 13073 16 0 211130 0
vsize: 844584
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 91110 61 0 0 25 0 11 0 542390299 864854016 26934 4294967295 134512640 134569956 3221224400 3221214704 1131605036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26934 13073 16 0 211130 0
vsize: 844584
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 92103 61 0 0 25 0 11 0 542390299 864854016 26950 4294967295 134512640 134569956 3221224400 3221214536 1131248735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 26950 13073 16 0 211130 0
vsize: 844584
[startup+950.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 93089 61 0 0 25 0 11 0 542390299 864854016 27010 4294967295 134512640 134569956 3221224400 3221214480 1131367370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 27010 13073 16 0 211130 0
vsize: 844584
[startup+960.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 94076 62 0 0 25 0 11 0 542390299 864854016 27041 4294967295 134512640 134569956 3221224400 3221214536 1131247873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27041 13073 16 0 211130 0
vsize: 844584
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 95062 62 0 0 25 0 11 0 542390299 864854016 27092 4294967295 134512640 134569956 3221224400 3221214312 1131603858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27092 13073 16 0 211130 0
vsize: 844584
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 96050 62 0 0 24 0 11 0 542390299 864854016 27136 4294967295 134512640 134569956 3221224400 3221214704 1131406371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27136 13073 16 0 211130 0
vsize: 844584
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 97043 62 0 0 25 0 11 0 542390299 864854016 27152 4294967295 134512640 134569956 3221224400 3221214640 1131603690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27152 13073 16 0 211130 0
vsize: 844584
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 98037 62 0 0 25 0 11 0 542390299 864854016 27166 4294967295 134512640 134569956 3221224400 3221214472 1131484890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 27166 13073 16 0 211130 0
vsize: 844584
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 99030 62 0 0 25 0 11 0 542390299 864854016 27185 4294967295 134512640 134569956 3221224400 3221214808 1131603753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27185 13073 16 0 211130 0
vsize: 844584
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 100018 62 0 0 25 0 11 0 542390299 864854016 27226 4294967295 134512640 134569956 3221224400 3221214848 1131607245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27226 13073 16 0 211130 0
vsize: 844584
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 101011 63 0 0 25 0 11 0 542390299 864854016 27249 4294967295 134512640 134569956 3221224400 3221213872 1131604948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27249 13073 16 0 211130 0
vsize: 844584
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 101997 63 0 0 25 0 11 0 542390299 864854016 27294 4294967295 134512640 134569956 3221224400 3221214148 1131605008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 27294 13073 16 0 211130 0
vsize: 844584
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 102985 63 0 0 25 0 11 0 542390299 864854016 27335 4294967295 134512640 134569956 3221224400 3221214544 1131235642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27335 13073 16 0 211130 0
vsize: 844584
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 103979 63 0 0 25 0 11 0 542390299 864854016 27348 4294967295 134512640 134569956 3221224400 3221214800 1131358921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27348 13073 16 0 211130 0
vsize: 844584
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 104979 63 0 0 25 0 11 0 542390299 864854016 27348 4294967295 134512640 134569956 3221224400 3221214648 1131604988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 27348 13073 16 0 211130 0
vsize: 844584
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 105972 63 0 0 25 0 11 0 542390299 864854016 27363 4294967295 134512640 134569956 3221224400 3221214280 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27363 13073 16 0 211130 0
vsize: 844584
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 106966 63 0 0 25 0 11 0 542390299 864854016 27373 4294967295 134512640 134569956 3221224400 3221214616 1085679741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27373 13073 16 0 211130 0
vsize: 844584
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 107960 64 0 0 25 0 11 0 542390299 864854016 27391 4294967295 134512640 134569956 3221224400 3221214304 1131603681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 27391 13073 16 0 211130 0
vsize: 844584
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 108953 64 0 0 25 0 11 0 542390299 864854016 27426 4294967295 134512640 134569956 3221224400 3221214748 1131603876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27426 13073 16 0 211130 0
vsize: 844584
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 109940 64 0 0 25 0 11 0 542390299 864854016 27463 4294967295 134512640 134569956 3221224400 3221214080 1131603912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27463 13073 16 0 211130 0
vsize: 844584
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 110927 64 0 0 25 0 11 0 542390299 864854016 27496 4294967295 134512640 134569956 3221224400 3221214320 1131605036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27496 13073 16 0 211130 0
vsize: 844584
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 111915 64 0 0 25 0 11 0 542390299 864854016 27544 4294967295 134512640 134569956 3221224400 3221214352 1131603912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27544 13073 16 0 211130 0
vsize: 844584
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 112903 65 0 0 25 0 11 0 542390299 864854016 27591 4294967295 134512640 134569956 3221224400 3221214200 1131604948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27591 13073 16 0 211130 0
vsize: 844584
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 113903 65 0 0 25 0 11 0 542390299 864854016 27591 4294967295 134512640 134569956 3221224400 3221214064 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 27591 13073 16 0 211130 0
vsize: 844584
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 114897 65 0 0 25 0 11 0 542390299 864854016 27601 4294967295 134512640 134569956 3221224400 3221214200 1131603900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27601 13073 16 0 211130 0
vsize: 844584
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 115897 65 0 0 25 0 11 0 542390299 864854016 27601 4294967295 134512640 134569956 3221224400 3221214192 1131603824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 27601 13073 16 0 211130 0
vsize: 844584
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 116885 65 0 0 25 0 11 0 542390299 864854016 27623 4294967295 134512640 134569956 3221224400 3221214040 1131605009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211146 27623 13073 16 0 211130 0
vsize: 844584
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 117879 65 0 0 25 0 11 0 542390299 864854016 27640 4294967295 134512640 134569956 3221224400 3221214264 1131604958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27640 13073 16 0 211130 0
vsize: 844584
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 118872 65 0 0 25 0 11 0 542390299 864854016 27655 4294967295 134512640 134569956 3221224400 3221214256 1131603892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27655 13073 16 0 211130 0
vsize: 844584
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 119866 65 0 0 25 0 11 0 542390299 864854016 27667 4294967295 134512640 134569956 3221224400 3221214256 1131605069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27667 13073 16 0 211130 0
vsize: 844584
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 22581
Raw data (stat): 22567 (java) R 22566 27222 27221 0 -1 0 18073 0 1 0 120859 65 0 0 25 0 11 0 542390299 864854016 27676 4294967295 134512640 134569956 3221224400 3221214232 1131607253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211146 27676 13073 16 0 211130 0
vsize: 844584
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 22583
Raw data (stat): 22567 (java) Z 22566 27222 27221 0 -1 1036 18073 17626 1 0 120861 70 3266 38 25 0 1 0 542390299 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.12
CPU time (s): 1242.38
CPU user time (s): 1241.28
CPU system time (s): 1.09283
CPU usage (%): 100.996
Max. virtual memory (Kb): 849432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####