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/submitted/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
MD5SUM	99cab377899feaa32c19b4b5cf94d7d4
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.871866
Number of variables	1305
Total number of constraints	958
Number of constraints which are clauses	899
Number of constraints which are cardinality constraints (but not clauses)	59
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 4216

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-04-13 15:53:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=423 boxname=wulflinc19 idbench=47 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  99cab377899feaa32c19b4b5cf94d7d4  /oldhome/oroussel/tmp/wulflinc19/normalized-fpga30_29_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-fpga30_29_sat_pb.cnf.cr.opb
IDLAUNCH: 423
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        914692 kB
Buffers:         30664 kB
Cached:          55504 kB
SwapCached:         56 kB
Active:          36504 kB
Inactive:        52636 kB
HighTotal:      131008 kB
HighFree:        71008 kB
LowTotal:       903652 kB
LowFree:        843684 kB
SwapTotal:     2097892 kB
SwapFree:      2097836 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7028 kB
Slab:            25252 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:14:29 (client local time) WITH STATUS 143 IN  SECONDS
stats: 423 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-fpga30_29_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=1305]
c [nbconstr=958]
c time 3.298
c #vars     1305
c #clauses  958
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.75 0.23 0.08 2/55 23177
Raw data (stat): 23177 (runsolver) R 23176 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477177115 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.0001 s]
Raw data (loadavg): 1.02 0.31 0.10 4/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18105 0 1 0 825 43 0 0 25 0 11 0 477177115 866050048 21573 4294967295 134512640 134569956 3221224400 3221214476 1130892539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211438 21573 13073 16 0 211422 0
vsize: 845752
[startup+20.0012 s]
Raw data (loadavg): 1.02 0.33 0.11 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18111 0 1 0 1770 44 0 0 25 0 11 0 477177115 865337344 22374 4294967295 134512640 134569956 3221224400 3221214496 1131320763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211264 22374 13073 16 0 211248 0
vsize: 845056
[startup+30.0065 s]
Raw data (loadavg): 1.10 0.37 0.13 2/65 23187
Raw data (stat): 23177 (java) S 23176 22929 22928 0 -1 0 18112 0 1 0 2726 44 0 0 25 0 11 0 477177115 864333824 22354 4294967295 134512640 134569956 3221224400 3221213328 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211019 22354 13073 16 0 211003 0
vsize: 844076
[startup+40.0063 s]
Raw data (loadavg): 1.08 0.39 0.14 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18112 0 1 0 3680 44 0 0 25 0 11 0 477177115 864333824 22726 4294967295 134512640 134569956 3221224400 3221214680 1131378106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211019 22726 13073 16 0 211003 0
vsize: 844076
[startup+50.0075 s]
Raw data (loadavg): 1.07 0.41 0.14 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18112 0 1 0 4603 44 0 0 24 0 11 0 477177115 864333824 23048 4294967295 134512640 134569956 3221224400 3221214584 1131561963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 23048 13073 16 0 211003 0
vsize: 844076
[startup+60.0082 s]
Raw data (loadavg): 1.06 0.43 0.15 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18112 0 1 0 5517 44 0 0 25 0 11 0 477177115 864333824 23327 4294967295 134512640 134569956 3221224400 3221214680 1131378131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 23327 13073 16 0 211003 0
vsize: 844076
[startup+70.0095 s]
Raw data (loadavg): 1.05 0.45 0.16 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18112 0 1 0 6434 45 0 0 25 0 11 0 477177115 864333824 23621 4294967295 134512640 134569956 3221224400 3221214784 1131339957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 23621 13073 16 0 211003 0
vsize: 844076
[startup+80.0108 s]
Raw data (loadavg): 1.04 0.46 0.17 2/65 23187
Raw data (stat): 23177 (java) S 23176 22929 22928 0 -1 0 18112 0 1 0 7352 45 0 0 25 0 11 0 477177115 864333824 23747 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 23748 13073 16 0 211003 0
vsize: 844076
[startup+90.0105 s]
Raw data (loadavg): 1.03 0.48 0.18 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18112 0 1 0 8269 46 0 0 24 0 11 0 477177115 864333824 24137 4294967295 134512640 134569956 3221224400 3221214688 1131264789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 24137 13073 16 0 211003 0
vsize: 844076
[startup+100.011 s]
Raw data (loadavg): 1.03 0.50 0.19 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 9198 46 0 0 25 0 11 0 477177115 864333824 24285 4294967295 134512640 134569956 3221224400 3221214828 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 24285 13073 16 0 211003 0
vsize: 844076
[startup+110.012 s]
Raw data (loadavg): 1.02 0.51 0.20 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 10107 47 0 0 25 0 11 0 477177115 864333824 24503 4294967295 134512640 134569956 3221224400 3221214800 1131420879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 24503 13073 16 0 211003 0
vsize: 844076
[startup+120.014 s]
Raw data (loadavg): 1.02 0.53 0.20 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 11011 47 0 0 24 0 11 0 477177115 864333824 24742 4294967295 134512640 134569956 3221224400 3221214680 1131374147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 24742 13073 16 0 211003 0
vsize: 844076
[startup+130.015 s]
Raw data (loadavg): 1.02 0.54 0.21 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 11924 48 0 0 25 0 11 0 477177115 864333824 24990 4294967295 134512640 134569956 3221224400 3221214800 1131417148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 24990 13073 16 0 211003 0
vsize: 844076
[startup+140.015 s]
Raw data (loadavg): 1.01 0.56 0.22 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 12856 48 0 0 25 0 11 0 477177115 864333824 25289 4294967295 134512640 134569956 3221224400 3221214688 1131264904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 25289 13073 16 0 211003 0
vsize: 844076
[startup+150.016 s]
Raw data (loadavg): 1.09 0.59 0.23 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 13788 48 0 0 25 0 11 0 477177115 864333824 25546 4294967295 134512640 134569956 3221224400 3221214840 1131293408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 25546 13073 16 0 211003 0
vsize: 844076
[startup+160.017 s]
Raw data (loadavg): 1.08 0.60 0.24 2/65 23187
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 14739 49 0 0 25 0 11 0 477177115 864333824 25595 4294967295 134512640 134569956 3221224400 3221214688 1131597537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 25595 13073 16 0 211003 0
vsize: 844076
[startup+170.018 s]
Raw data (loadavg): 1.06 0.61 0.25 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 15685 50 0 0 25 0 11 0 477177115 864333824 25726 4294967295 134512640 134569956 3221224400 3221214688 1131597649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 25726 13073 16 0 211003 0
vsize: 844076
[startup+180.018 s]
Raw data (loadavg): 1.05 0.63 0.26 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 16631 50 0 0 25 0 11 0 477177115 864333824 25857 4294967295 134512640 134569956 3221224400 3221214840 1131293433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 25857 13073 16 0 211003 0
vsize: 844076
[startup+190.019 s]
Raw data (loadavg): 1.04 0.64 0.26 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 17580 50 0 0 25 0 11 0 477177115 864333824 25995 4294967295 134512640 134569956 3221224400 3221214584 1131562745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 25995 13073 16 0 211003 0
vsize: 844076
[startup+200.02 s]
Raw data (loadavg): 1.04 0.65 0.27 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 18530 50 0 0 25 0 11 0 477177115 864333824 26085 4294967295 134512640 134569956 3221224400 3221214608 1131574361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 26085 13073 16 0 211003 0
vsize: 844076
[startup+210.021 s]
Raw data (loadavg): 1.03 0.66 0.28 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 19463 50 0 0 25 0 11 0 477177115 864333824 26392 4294967295 134512640 134569956 3221224400 3221214364 1131537484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 26392 13073 16 0 211003 0
vsize: 844076
[startup+220.022 s]
Raw data (loadavg): 1.03 0.67 0.29 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 20416 51 0 0 25 0 11 0 477177115 864333824 26592 4294967295 134512640 134569956 3221224400 3221214784 1131342033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 26592 13073 16 0 211003 0
vsize: 844076
[startup+230.022 s]
Raw data (loadavg): 1.02 0.68 0.29 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 21378 51 0 0 25 0 11 0 477177115 864333824 26685 4294967295 134512640 134569956 3221224400 3221214232 1085679308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 26685 13073 16 0 211003 0
vsize: 844076
[startup+240.022 s]
Raw data (loadavg): 1.02 0.69 0.30 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 22334 51 0 0 25 0 11 0 477177115 864333824 26875 4294967295 134512640 134569956 3221224400 3221214128 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 26875 13073 16 0 211003 0
vsize: 844076
[startup+250.023 s]
Raw data (loadavg): 1.01 0.70 0.31 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 23284 51 0 0 25 0 11 0 477177115 864333824 27008 4294967295 134512640 134569956 3221224400 3221214592 1131539371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211019 27008 13073 16 0 211003 0
vsize: 844076
[startup+260.024 s]
Raw data (loadavg): 1.01 0.71 0.31 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 24226 51 0 0 25 0 11 0 477177115 864333824 27092 4294967295 134512640 134569956 3221224400 3221214688 1131265096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 27092 13073 16 0 211003 0
vsize: 844076
[startup+270.024 s]
Raw data (loadavg): 1.01 0.72 0.32 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 25172 51 0 0 25 0 11 0 477177115 864333824 27243 4294967295 134512640 134569956 3221224400 3221214800 1131422244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211019 27243 13073 16 0 211003 0
vsize: 844076
[startup+280.025 s]
Raw data (loadavg): 1.01 0.73 0.33 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 26106 52 0 0 25 0 11 0 477177115 864333824 27382 4294967295 134512640 134569956 3221224400 3221214320 1131538193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 27382 13073 16 0 211003 0
vsize: 844076
[startup+290.026 s]
Raw data (loadavg): 1.01 0.74 0.33 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 27055 52 0 0 25 0 11 0 477177115 864333824 27461 4294967295 134512640 134569956 3221224400 3221214584 1131560283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 27461 13073 16 0 211003 0
vsize: 844076
[startup+300.027 s]
Raw data (loadavg): 1.00 0.75 0.34 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 28010 52 0 0 25 0 11 0 477177115 864333824 27626 4294967295 134512640 134569956 3221224400 3221214800 1131420746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 27626 13073 16 0 211003 0
vsize: 844076
[startup+310.027 s]
Raw data (loadavg): 1.00 0.75 0.35 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 28956 53 0 0 25 0 11 0 477177115 864333824 27765 4294967295 134512640 134569956 3221224400 3221214268 1131538192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 27765 13073 16 0 211003 0
vsize: 844076
[startup+320.028 s]
Raw data (loadavg): 1.00 0.76 0.35 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 29902 53 0 0 25 0 11 0 477177115 864333824 27925 4294967295 134512640 134569956 3221224400 3221214584 1131560283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 27925 13073 16 0 211003 0
vsize: 844076
[startup+330.029 s]
Raw data (loadavg): 1.00 0.77 0.36 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 30850 53 0 0 25 0 11 0 477177115 864333824 28038 4294967295 134512640 134569956 3221224400 3221214584 1131321058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 28038 13073 16 0 211003 0
vsize: 844076
[startup+340.028 s]
Raw data (loadavg): 1.00 0.78 0.37 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 31800 53 0 0 25 0 11 0 477177115 864333824 28174 4294967295 134512640 134569956 3221224400 3221214632 1131478212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 28174 13073 16 0 211003 0
vsize: 844076
[startup+350.029 s]
Raw data (loadavg): 1.00 0.78 0.37 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 32754 53 0 0 25 0 11 0 477177115 864333824 28308 4294967295 134512640 134569956 3221224400 3221214688 1131264453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 28308 13073 16 0 211003 0
vsize: 844076
[startup+360.03 s]
Raw data (loadavg): 1.00 0.79 0.38 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 33699 54 0 0 25 0 11 0 477177115 864333824 28497 4294967295 134512640 134569956 3221224400 3221214840 1131293527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 28497 13073 16 0 211003 0
vsize: 844076
[startup+370.03 s]
Raw data (loadavg): 1.00 0.80 0.39 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 34655 54 0 0 25 0 11 0 477177115 864333824 28625 4294967295 134512640 134569956 3221224400 3221214584 1131560986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 28625 13073 16 0 211003 0
vsize: 844076
[startup+380.031 s]
Raw data (loadavg): 1.00 0.80 0.39 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 35605 54 0 0 25 0 11 0 477177115 864333824 28842 4294967295 134512640 134569956 3221224400 3221214680 1131375379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 28842 13073 16 0 211003 0
vsize: 844076
[startup+390.03 s]
Raw data (loadavg): 1.00 0.81 0.40 2/65 23189
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 36561 55 0 0 25 0 11 0 477177115 864333824 28910 4294967295 134512640 134569956 3221224400 3221214784 1131340107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 28910 13073 16 0 211003 0
vsize: 844076
[startup+400.031 s]
Raw data (loadavg): 1.08 0.83 0.41 2/69 23232
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 37499 57 0 0 25 0 11 0 477177115 864333824 29009 4294967295 134512640 134569956 3221224400 3221214584 1131561882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211019 29009 13073 16 0 211003 0
vsize: 844076
[startup+410.031 s]
Raw data (loadavg): 1.07 0.83 0.41 2/65 23242
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 38443 58 0 0 25 0 11 0 477177115 864333824 29206 4294967295 134512640 134569956 3221224400 3221214584 1131560635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 29206 13073 16 0 211003 0
vsize: 844076
[startup+420.031 s]
Raw data (loadavg): 1.06 0.84 0.42 2/65 23242
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 39387 58 0 0 25 0 11 0 477177115 864333824 29305 4294967295 134512640 134569956 3221224400 3221214688 1131597527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 29305 13073 16 0 211003 0
vsize: 844076
[startup+430.032 s]
Raw data (loadavg): 1.05 0.84 0.43 2/65 23242
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 40341 58 0 0 25 0 11 0 477177115 864333824 29449 4294967295 134512640 134569956 3221224400 3221214584 1131320618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 29449 13073 16 0 211003 0
vsize: 844076
[startup+440.031 s]
Raw data (loadavg): 1.04 0.85 0.43 2/65 23242
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 41300 58 0 0 25 0 11 0 477177115 864333824 29588 4294967295 134512640 134569956 3221224400 3221214680 1131375335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 29588 13073 16 0 211003 0
vsize: 844076
[startup+450.032 s]
Raw data (loadavg): 1.03 0.85 0.44 2/65 23242
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 42255 59 0 0 25 0 11 0 477177115 864333824 29748 4294967295 134512640 134569956 3221224400 3221214584 1131561925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 29748 13073 16 0 211003 0
vsize: 844076
[startup+460.033 s]
Raw data (loadavg): 1.03 0.86 0.44 2/65 23242
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 43207 59 0 0 25 0 11 0 477177115 864333824 29908 4294967295 134512640 134569956 3221224400 3221214888 1131622891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 29908 13073 16 0 211003 0
vsize: 844076
[startup+470.032 s]
Raw data (loadavg): 1.02 0.86 0.45 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 44177 59 0 0 25 0 11 0 477177115 864333824 30018 4294967295 134512640 134569956 3221224400 3221214192 1131539458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 30018 13073 16 0 211003 0
vsize: 844076
[startup+480.032 s]
Raw data (loadavg): 1.02 0.87 0.45 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 45138 59 0 0 25 0 11 0 477177115 864333824 30098 4294967295 134512640 134569956 3221224400 3221214688 1131264615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 30098 13073 16 0 211003 0
vsize: 844076
[startup+490.032 s]
Raw data (loadavg): 1.02 0.87 0.46 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 46097 59 0 0 25 0 11 0 477177115 864333824 30199 4294967295 134512640 134569956 3221224400 3221214584 1131561116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 30199 13073 16 0 211003 0
vsize: 844076
[startup+500.034 s]
Raw data (loadavg): 1.01 0.87 0.46 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 47055 60 0 0 25 0 11 0 477177115 864333824 30273 4294967295 134512640 134569956 3221224400 3221214584 1131320735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 30273 13073 16 0 211003 0
vsize: 844076
[startup+510.034 s]
Raw data (loadavg): 1.01 0.88 0.47 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 48012 60 0 0 25 0 11 0 477177115 864333824 30360 4294967295 134512640 134569956 3221224400 3221214608 1131574421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 30360 13073 16 0 211003 0
vsize: 844076
[startup+520.033 s]
Raw data (loadavg): 1.01 0.88 0.47 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 48975 60 0 0 25 0 11 0 477177115 864333824 30413 4294967295 134512640 134569956 3221224400 3221214512 1085679394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 30413 13073 16 0 211003 0
vsize: 844076
[startup+530.034 s]
Raw data (loadavg): 1.01 0.89 0.48 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 49936 60 0 0 25 0 11 0 477177115 864333824 30542 4294967295 134512640 134569956 3221224400 3221214688 1131597540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 30542 13073 16 0 211003 0
vsize: 844076
[startup+540.034 s]
Raw data (loadavg): 1.00 0.89 0.48 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 50890 60 0 0 25 0 11 0 477177115 864333824 30685 4294967295 134512640 134569956 3221224400 3221214584 1131320735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 30685 13073 16 0 211003 0
vsize: 844076
[startup+550.035 s]
Raw data (loadavg): 1.00 0.89 0.49 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 51851 61 0 0 25 0 11 0 477177115 864333824 30762 4294967295 134512640 134569956 3221224400 3221214092 1131537472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 30762 13073 16 0 211003 0
vsize: 844076
[startup+560.035 s]
Raw data (loadavg): 1.00 0.89 0.49 2/65 23246
Raw data (stat): 23177 (java) S 23176 22929 22928 0 -1 0 18113 0 1 0 52809 61 0 0 25 0 11 0 477177115 864333824 30834 4294967295 134512640 134569956 3221224400 3221213312 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 30834 13073 16 0 211003 0
vsize: 844076
[startup+570.035 s]
Raw data (loadavg): 1.00 0.90 0.50 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 53768 61 0 0 25 0 11 0 477177115 864333824 30953 4294967295 134512640 134569956 3221224400 3221214096 1131539420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 30953 13073 16 0 211003 0
vsize: 844076
[startup+580.036 s]
Raw data (loadavg): 1.00 0.90 0.50 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 54715 61 0 0 24 0 11 0 477177115 864333824 31110 4294967295 134512640 134569956 3221224400 3221214760 1131421482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 31110 13073 16 0 211003 0
vsize: 844076
[startup+590.036 s]
Raw data (loadavg): 1.00 0.90 0.51 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 55685 61 0 0 24 0 11 0 477177115 864333824 31181 4294967295 134512640 134569956 3221224400 3221214768 1131339783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 31181 13073 16 0 211003 0
vsize: 844076
[startup+600.038 s]
Raw data (loadavg): 1.00 0.91 0.51 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 56631 62 0 0 25 0 11 0 477177115 864333824 31346 4294967295 134512640 134569956 3221224400 3221214760 1131417427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 31346 13073 16 0 211003 0
vsize: 844076
[startup+610.039 s]
Raw data (loadavg): 1.00 0.91 0.52 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 57591 62 0 0 25 0 11 0 477177115 864333824 31412 4294967295 134512640 134569956 3221224400 3221214176 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 31412 13073 16 0 211003 0
vsize: 844076
[startup+620.038 s]
Raw data (loadavg): 1.00 0.91 0.52 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 58542 62 0 0 25 0 11 0 477177115 864333824 31518 4294967295 134512640 134569956 3221224400 3221214672 1131265499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 31518 13073 16 0 211003 0
vsize: 844076
[startup+630.039 s]
Raw data (loadavg): 1.00 0.91 0.53 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 59490 62 0 0 25 0 11 0 477177115 864333824 31566 4294967295 134512640 134569956 3221224400 3221214800 1131293523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 31566 13073 16 0 211003 0
vsize: 844076
[startup+640.04 s]
Raw data (loadavg): 1.00 0.92 0.53 2/65 23246
Raw data (stat): 23177 (java) S 23176 22929 22928 0 -1 0 18113 0 1 0 60435 63 0 0 25 0 11 0 477177115 864333824 31702 4294967295 134512640 134569956 3221224400 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 31702 13073 16 0 211003 0
vsize: 844076
[startup+650.04 s]
Raw data (loadavg): 1.00 0.92 0.54 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 61373 63 0 0 24 0 11 0 477177115 864333824 31909 4294967295 134512640 134569956 3221224400 3221214768 1131341981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 31909 13073 16 0 211003 0
vsize: 844076
[startup+660.04 s]
Raw data (loadavg): 1.00 0.92 0.54 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 62331 63 0 0 25 0 11 0 477177115 864333824 31994 4294967295 134512640 134569956 3221224400 3221214672 1131264596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 31994 13073 16 0 211003 0
vsize: 844076
[startup+670.041 s]
Raw data (loadavg): 1.00 0.92 0.55 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 63275 64 0 0 25 0 11 0 477177115 864333824 32139 4294967295 134512640 134569956 3221224400 3221214160 1131538132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 32139 13073 16 0 211003 0
vsize: 844076
[startup+680.041 s]
Raw data (loadavg): 1.00 0.92 0.55 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 64229 64 0 0 25 0 11 0 477177115 864333824 32275 4294967295 134512640 134569956 3221224400 3221214640 1131374513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 32275 13073 16 0 211003 0
vsize: 844076
[startup+690.042 s]
Raw data (loadavg): 1.00 0.93 0.56 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 65185 64 0 0 25 0 11 0 477177115 864333824 32386 4294967295 134512640 134569956 3221224400 3221214592 1131539452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 32386 13073 16 0 211003 0
vsize: 844076
[startup+700.042 s]
Raw data (loadavg): 1.00 0.93 0.56 2/65 23246
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 66126 64 0 0 25 0 11 0 477177115 864333824 32707 4294967295 134512640 134569956 3221224400 3221214544 1131320789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 32707 13073 16 0 211003 0
vsize: 844076
[startup+710.043 s]
Raw data (loadavg): 1.00 0.93 0.56 2/65 23248
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 67061 65 0 0 25 0 11 0 477177115 864333824 32858 4294967295 134512640 134569956 3221224400 3221214232 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 32858 13073 16 0 211003 0
vsize: 844076
[startup+720.043 s]
Raw data (loadavg): 1.00 0.93 0.57 2/65 23248
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 68009 65 0 0 25 0 11 0 477177115 864333824 32858 4294967295 134512640 134569956 3221224400 3221214648 1131597524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 32858 13073 16 0 211003 0
vsize: 844076
[startup+730.044 s]
Raw data (loadavg): 1.00 0.93 0.57 2/65 23248
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 68958 65 0 0 25 0 11 0 477177115 864333824 33069 4294967295 134512640 134569956 3221224400 3221214692 1131269130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 33069 13073 16 0 211003 0
vsize: 844076
[startup+740.044 s]
Raw data (loadavg): 1.00 0.94 0.58 2/65 23248
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 69914 65 0 0 25 0 11 0 477177115 864333824 33218 4294967295 134512640 134569956 3221224400 3221214544 1131561061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 33218 13073 16 0 211003 0
vsize: 844076
[startup+750.045 s]
Raw data (loadavg): 1.00 0.94 0.58 2/65 23248
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 70874 66 0 0 25 0 11 0 477177115 864333824 33359 4294967295 134512640 134569956 3221224400 3221214544 1131561124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 33359 13073 16 0 211003 0
vsize: 844076
[startup+760.045 s]
Raw data (loadavg): 1.00 0.94 0.58 2/65 23248
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 71838 66 0 0 25 0 11 0 477177115 864333824 33610 4294967295 134512640 134569956 3221224400 3221214544 1131560283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 33610 13073 16 0 211003 0
vsize: 844076
[startup+770.045 s]
Raw data (loadavg): 1.00 0.94 0.59 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 72810 67 0 0 25 0 11 0 477177115 864333824 33683 4294967295 134512640 134569956 3221224400 3221214544 1131560625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 33683 13073 16 0 211003 0
vsize: 844076
[startup+780.046 s]
Raw data (loadavg): 1.00 0.94 0.59 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 73784 67 0 0 25 0 11 0 477177115 864333824 33763 4294967295 134512640 134569956 3221224400 3221214544 1131320824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 33763 13073 16 0 211003 0
vsize: 844076
[startup+790.047 s]
Raw data (loadavg): 1.00 0.94 0.59 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 74759 67 0 0 25 0 11 0 477177115 864333824 33813 4294967295 134512640 134569956 3221224400 3221214544 1131561061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 33813 13073 16 0 211003 0
vsize: 844076
[startup+800.046 s]
Raw data (loadavg): 1.00 0.94 0.60 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 75739 67 0 0 25 0 11 0 477177115 864333824 33870 4294967295 134512640 134569956 3221224400 3221214704 1131419395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211019 33870 13073 16 0 211003 0
vsize: 844076
[startup+810.048 s]
Raw data (loadavg): 1.00 0.95 0.60 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 76710 67 0 0 25 0 11 0 477177115 864333824 33942 4294967295 134512640 134569956 3221224400 3221214544 1131560902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 33942 13073 16 0 211003 0
vsize: 844076
[startup+820.048 s]
Raw data (loadavg): 1.00 0.95 0.61 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 77683 68 0 0 25 0 11 0 477177115 864333824 34019 4294967295 134512640 134569956 3221224400 3221214648 1131603596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 34019 13073 16 0 211003 0
vsize: 844076
[startup+830.048 s]
Raw data (loadavg): 1.00 0.95 0.61 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 78651 68 0 0 25 0 11 0 477177115 864333824 34087 4294967295 134512640 134569956 3221224400 3221214544 1131320855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 34087 13073 16 0 211003 0
vsize: 844076
[startup+840.049 s]
Raw data (loadavg): 1.00 0.95 0.61 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 79621 68 0 0 25 0 11 0 477177115 864333824 34134 4294967295 134512640 134569956 3221224400 3221214544 1131562701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 34134 13073 16 0 211003 0
vsize: 844076
[startup+850.05 s]
Raw data (loadavg): 1.00 0.95 0.62 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 80589 68 0 0 25 0 11 0 477177115 864333824 34207 4294967295 134512640 134569956 3221224400 3221214648 1131603591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 34207 13073 16 0 211003 0
vsize: 844076
[startup+860.05 s]
Raw data (loadavg): 1.00 0.95 0.62 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 81558 68 0 0 25 0 11 0 477177115 864333824 34261 4294967295 134512640 134569956 3221224400 3221214544 1131320927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 34261 13073 16 0 211003 0
vsize: 844076
[startup+870.05 s]
Raw data (loadavg): 1.00 0.95 0.63 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 82529 68 0 0 25 0 11 0 477177115 864333824 34395 4294967295 134512640 134569956 3221224400 3221214544 1131560263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 34395 13073 16 0 211003 0
vsize: 844076
[startup+880.051 s]
Raw data (loadavg): 1.00 0.95 0.63 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 83500 69 0 0 25 0 11 0 477177115 864333824 34445 4294967295 134512640 134569956 3221224400 3221214008 1085679766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 34445 13073 16 0 211003 0
vsize: 844076
[startup+890.05 s]
Raw data (loadavg): 1.00 0.95 0.63 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 84473 69 0 0 25 0 11 0 477177115 864333824 34504 4294967295 134512640 134569956 3221224400 3221214544 1131320618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211019 34504 13073 16 0 211003 0
vsize: 844076
[startup+900.052 s]
Raw data (loadavg): 1.00 0.95 0.64 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 85443 69 0 0 25 0 11 0 477177115 864333824 34584 4294967295 134512640 134569956 3221224400 3221214544 1131560615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 34584 13073 16 0 211003 0
vsize: 844076
[startup+910.053 s]
Raw data (loadavg): 1.00 0.95 0.64 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 86414 70 0 0 25 0 11 0 477177115 864333824 34694 4294967295 134512640 134569956 3221224400 3221214544 1131560899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211019 34694 13073 16 0 211003 0
vsize: 844076
[startup+920.053 s]
Raw data (loadavg): 1.00 0.96 0.64 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 87379 70 0 0 24 0 11 0 477177115 864333824 34751 4294967295 134512640 134569956 3221224400 3221214544 1131320735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 34751 13073 16 0 211003 0
vsize: 844076
[startup+930.053 s]
Raw data (loadavg): 1.00 0.96 0.65 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 88346 70 0 0 25 0 11 0 477177115 864333824 34823 4294967295 134512640 134569956 3221224400 3221214684 1131159728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 34823 13073 16 0 211003 0
vsize: 844076
[startup+940.053 s]
Raw data (loadavg): 1.00 0.96 0.65 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 89314 70 0 0 25 0 11 0 477177115 864333824 34883 4294967295 134512640 134569956 3221224400 3221213992 1131538193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 34883 13073 16 0 211003 0
vsize: 844076
[startup+950.053 s]
Raw data (loadavg): 1.00 0.96 0.65 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 90284 70 0 0 25 0 11 0 477177115 864333824 35027 4294967295 134512640 134569956 3221224400 3221214608 1131600208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211019 35027 13073 16 0 211003 0
vsize: 844076
[startup+960.053 s]
Raw data (loadavg): 1.00 0.96 0.66 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 91255 71 0 0 25 0 11 0 477177115 864333824 35060 4294967295 134512640 134569956 3221224400 3221214512 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 35060 13073 16 0 211003 0
vsize: 844076
[startup+970.053 s]
Raw data (loadavg): 1.00 0.96 0.66 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 92229 71 0 0 25 0 11 0 477177115 864333824 35123 4294967295 134512640 134569956 3221224400 3221214696 1131397127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 35123 13073 16 0 211003 0
vsize: 844076
[startup+980.054 s]
Raw data (loadavg): 1.00 0.96 0.66 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 93197 71 0 0 25 0 11 0 477177115 864333824 35178 4294967295 134512640 134569956 3221224400 3221214648 1131597649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211019 35178 13073 16 0 211003 0
vsize: 844076
[startup+990.055 s]
Raw data (loadavg): 1.00 0.96 0.66 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 94167 71 0 0 25 0 11 0 477177115 864333824 35327 4294967295 134512640 134569956 3221224400 3221214760 1131421478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 35327 13073 16 0 211003 0
vsize: 844076
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.96 0.67 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 95132 72 0 0 25 0 11 0 477177115 864333824 35383 4294967295 134512640 134569956 3221224400 3221214700 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 35383 13073 16 0 211003 0
vsize: 844076
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.96 0.67 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 96099 72 0 0 25 0 11 0 477177115 864333824 35453 4294967295 134512640 134569956 3221224400 3221214544 1131560899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 35453 13073 16 0 211003 0
vsize: 844076
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.97 0.67 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 97068 73 0 0 25 0 11 0 477177115 864333824 35509 4294967295 134512640 134569956 3221224400 3221214544 1131560986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 35509 13073 16 0 211003 0
vsize: 844076
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 98038 73 0 0 25 0 11 0 477177115 864333824 35662 4294967295 134512640 134569956 3221224400 3221214544 1131320443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 35662 13073 16 0 211003 0
vsize: 844076
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 99003 73 0 0 25 0 11 0 477177115 864333824 35709 4294967295 134512640 134569956 3221224400 3221214672 1131264445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 35709 13073 16 0 211003 0
vsize: 844076
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 99971 74 0 0 25 0 11 0 477177115 864333824 35783 4294967295 134512640 134569956 3221224400 3221214544 1131320688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 35783 13073 16 0 211003 0
vsize: 844076
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 23250
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 100939 74 0 0 25 0 11 0 477177115 864333824 35824 4294967295 134512640 134569956 3221224400 3221214648 1131597527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 35824 13073 16 0 211003 0
vsize: 844076
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 23252
Raw data (stat): 23177 (java) S 23176 22929 22928 0 -1 0 18113 0 1 0 101907 75 0 0 25 0 11 0 477177115 864333824 35983 4294967295 134512640 134569956 3221224400 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 35983 13073 16 0 211003 0
vsize: 844076
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 102877 75 0 0 25 0 11 0 477177115 864333824 36030 4294967295 134512640 134569956 3221224400 3221214800 1131293408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36030 13073 16 0 211003 0
vsize: 844076
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 103845 75 0 0 25 0 11 0 477177115 864333824 36102 4294967295 134512640 134569956 3221224400 3221214544 1131560902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36102 13073 16 0 211003 0
vsize: 844076
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 104807 76 0 0 24 0 11 0 477177115 864333824 36216 4294967295 134512640 134569956 3221224400 3221214544 1131320763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36216 13073 16 0 211003 0
vsize: 844076
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 105780 76 0 0 25 0 11 0 477177115 864333824 36306 4294967295 134512640 134569956 3221224400 3221214336 1076461473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36306 13073 16 0 211003 0
vsize: 844076
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 106752 77 0 0 25 0 11 0 477177115 864333824 36367 4294967295 134512640 134569956 3221224400 3221214484 1131538192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36367 13073 16 0 211003 0
vsize: 844076
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 107714 77 0 0 25 0 11 0 477177115 864333824 36436 4294967295 134512640 134569956 3221224400 3221214544 1131320735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36436 13073 16 0 211003 0
vsize: 844076
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 108683 77 0 0 25 0 11 0 477177115 864333824 36530 4294967295 134512640 134569956 3221224400 3221214376 1131538140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36530 13073 16 0 211003 0
vsize: 844076
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 109656 77 0 0 25 0 11 0 477177115 864333824 36618 4294967295 134512640 134569956 3221224400 3221214544 1131320957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36618 13073 16 0 211003 0
vsize: 844076
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 110627 78 0 0 25 0 11 0 477177115 864333824 36668 4294967295 134512640 134569956 3221224400 3221214544 1131561091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36668 13073 16 0 211003 0
vsize: 844076
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 111589 78 0 0 25 0 11 0 477177115 864333824 36754 4294967295 134512640 134569956 3221224400 3221214760 1131417069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36754 13073 16 0 211003 0
vsize: 844076
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 112558 78 0 0 25 0 11 0 477177115 864333824 36840 4294967295 134512640 134569956 3221224400 3221214544 1131320763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36840 13073 16 0 211003 0
vsize: 844076
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 113530 78 0 0 25 0 11 0 477177115 864333824 36943 4294967295 134512640 134569956 3221224400 3221214648 1131597527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36943 13073 16 0 211003 0
vsize: 844076
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 23252
Raw data (stat): 23177 (java) S 23176 22929 22928 0 -1 0 18113 0 1 0 114501 78 0 0 25 0 11 0 477177115 864333824 36996 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 36996 13073 16 0 211003 0
vsize: 844076
[startup+1210.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 115466 79 0 0 25 0 11 0 477177115 864333824 37071 4294967295 134512640 134569956 3221224400 3221214544 1131321034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 37071 13073 16 0 211003 0
vsize: 844076
[startup+1220.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 116434 79 0 0 25 0 11 0 477177115 864333824 37159 4294967295 134512640 134569956 3221224400 3221214544 1131560935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 37159 13073 16 0 211003 0
vsize: 844076
[startup+1230.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 117406 79 0 0 25 0 11 0 477177115 864333824 37263 4294967295 134512640 134569956 3221224400 3221214648 1131597537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 37263 13073 16 0 211003 0
vsize: 844076
[startup+1240.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 118373 79 0 0 25 0 11 0 477177115 864333824 37326 4294967295 134512640 134569956 3221224400 3221214768 1131339950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 37326 13073 16 0 211003 0
vsize: 844076
[startup+1250.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 119345 80 0 0 25 0 11 0 477177115 864333824 37383 4294967295 134512640 134569956 3221224400 3221214544 1131562024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 37383 13073 16 0 211003 0
vsize: 844076
[startup+1260.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/65 23252
Raw data (stat): 23177 (java) R 23176 22929 22928 0 -1 0 18113 0 1 0 120316 80 0 0 24 0 11 0 477177115 864333824 37465 4294967295 134512640 134569956 3221224400 3221214648 1131597579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211019 37465 13073 16 0 211003 0
vsize: 844076
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.18 s]
Raw data (loadavg): 1.00 0.97 0.74 1/55 23254
Raw data (stat): 23177 (java) Z 23176 22929 22928 0 -1 1036 18113 25179 1 1 120320 87 6960 61 25 0 1 0 477177115 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): 1260.18
CPU time (s): 1274.29
CPU user time (s): 1272.8
CPU system time (s): 1.48777
CPU usage (%): 101.12
Max. virtual memory (Kb): 845752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####