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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-recipe.opb
MD5SUM	bd10fa79b23828275cb10d42f37d9d27
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	854
Biggest coefficient in the objective function	8192000
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	73033031
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	5548468076544
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	95967816416175
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.223965
Number of variables	2608
Total number of constraints	159
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	159
Minimum length of a constraint	7
Maximum length of a constraint	280
Trace number 29857

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 12:10:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21252 boxname=wulflinc9 idbench=1240 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  bd10fa79b23828275cb10d42f37d9d27  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-recipe.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-recipe.opb
IDLAUNCH: 21252
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        460060 kB
Buffers:         34840 kB
Cached:         518368 kB
SwapCached:        584 kB
Active:          55012 kB
Inactive:       500308 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        459808 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13652 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:31:38 (client local time) WITH STATUS 143 IN 1246.34 SECONDS
stats: 21252 7 1246.34 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-recipe.opb
c reading problem ... done. Time 5.133 ms.
c #vars     2608
c #constraints  219
c starts	: 9
c conflicts	: 6647
c decisions	: 10695
c propagations	: 35627
c inspects	: 10321483
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6647
c root simplifications	: 25
s UNKNOWN
c Total CPU time (ms) : 1239.256
#### 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.94 1.01 0.99 2/54 19852
Raw data (stat): 19852 (runsolver) R 19851 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780552986 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0006 s]
Raw data (loadavg): 1.10 1.04 1.01 5/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18074 0 1 0 722 40 0 0 25 0 11 0 780552986 861458432 21035 4294967295 134512640 134569956 3221224368 3221213480 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210317 21035 13086 16 0 210301 0
vsize: 841268
[startup+20.0009 s]
Raw data (loadavg): 1.23 1.07 1.02 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 1517 40 0 0 25 0 11 0 780552986 871350272 24364 4294967295 134512640 134569956 3221224368 3221214852 1131186976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212732 24364 13086 16 0 212716 0
vsize: 850928
[startup+30.0054 s]
Raw data (loadavg): 1.20 1.07 1.01 2/64 19862
Raw data (stat): 19852 (java) S 19851 3944 3943 0 -1 0 18098 0 1 0 2449 40 0 0 25 0 11 0 780552986 871186432 24556 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212692 24556 13086 16 0 212676 0
vsize: 850768
[startup+40.006 s]
Raw data (loadavg): 1.16 1.06 1.01 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 3377 40 0 0 25 0 11 0 780552986 867831808 23922 4294967295 134512640 134569956 3221224368 3221214584 1131187033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 23922 13086 16 0 211857 0
vsize: 847492
[startup+50.0071 s]
Raw data (loadavg): 1.14 1.06 1.01 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 4318 40 0 0 25 0 11 0 780552986 867831808 24068 4294967295 134512640 134569956 3221224368 3221214464 1131343558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 24068 13086 16 0 211857 0
vsize: 847492
[startup+60.007 s]
Raw data (loadavg): 1.12 1.06 1.01 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 5256 40 0 0 25 0 11 0 780552986 867831808 24307 4294967295 134512640 134569956 3221224368 3221214264 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 24307 13086 16 0 211857 0
vsize: 847492
[startup+70.0073 s]
Raw data (loadavg): 1.10 1.06 1.01 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 6213 40 0 0 25 0 11 0 780552986 867831808 24550 4294967295 134512640 134569956 3221224368 3221214648 1131680943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 24550 13086 16 0 211857 0
vsize: 847492
[startup+80.0075 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 7174 41 0 0 25 0 11 0 780552986 867831808 24669 4294967295 134512640 134569956 3221224368 3221214376 1131720193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 24669 13086 16 0 211857 0
vsize: 847492
[startup+90.013 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 19862
Raw data (stat): 19852 (java) S 19851 3944 3943 0 -1 0 18098 0 1 0 8128 41 0 0 25 0 11 0 780552986 867831808 24822 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 24822 13086 16 0 211857 0
vsize: 847492
[startup+100.014 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 9089 41 0 0 25 0 11 0 780552986 867831808 24970 4294967295 134512640 134569956 3221224368 3221214808 1131187033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 24970 13086 16 0 211857 0
vsize: 847492
[startup+110.014 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 10055 41 0 0 24 0 11 0 780552986 867831808 25094 4294967295 134512640 134569956 3221224368 3221214400 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 25094 13086 16 0 211857 0
vsize: 847492
[startup+120.017 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 19862
Raw data (stat): 19852 (java) S 19851 3944 3943 0 -1 0 18098 0 1 0 11026 41 0 0 25 0 11 0 780552986 867831808 25205 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 25205 13086 16 0 211857 0
vsize: 847492
[startup+130.018 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 12000 41 0 0 25 0 11 0 780552986 867831808 25286 4294967295 134512640 134569956 3221224368 3221214560 1131318810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 25286 13086 16 0 211857 0
vsize: 847492
[startup+140.018 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 12972 42 0 0 25 0 11 0 780552986 867831808 25367 4294967295 134512640 134569956 3221224368 3221214648 1131683887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 25367 13086 16 0 211857 0
vsize: 847492
[startup+150.019 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 13945 42 0 0 25 0 11 0 780552986 867831808 25438 4294967295 134512640 134569956 3221224368 3221213944 1131484954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 25438 13086 16 0 211857 0
vsize: 847492
[startup+160.02 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 14923 42 0 0 25 0 11 0 780552986 867831808 25498 4294967295 134512640 134569956 3221224368 3221214560 1131318810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 25498 13086 16 0 211857 0
vsize: 847492
[startup+170.021 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 15899 43 0 0 25 0 11 0 780552986 867831808 25566 4294967295 134512640 134569956 3221224368 3221214616 1131251701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 25566 13086 16 0 211857 0
vsize: 847492
[startup+180.021 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 16878 43 0 0 25 0 11 0 780552986 867831808 25621 4294967295 134512640 134569956 3221224368 3221214484 1131484944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 25621 13086 16 0 211857 0
vsize: 847492
[startup+190.022 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 17862 44 0 0 25 0 11 0 780552986 867831808 25677 4294967295 134512640 134569956 3221224368 3221214560 1131207088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 25677 13086 16 0 211857 0
vsize: 847492
[startup+200.023 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 18843 44 0 0 25 0 11 0 780552986 867831808 25726 4294967295 134512640 134569956 3221224368 3221214632 1131339337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 25726 13086 16 0 211857 0
vsize: 847492
[startup+210.023 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 19827 44 0 0 25 0 11 0 780552986 867831808 25760 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 25760 13086 16 0 211857 0
vsize: 847492
[startup+220.023 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 20807 45 0 0 25 0 11 0 780552986 867831808 25799 4294967295 134512640 134569956 3221224368 3221214648 1131690432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 25799 13086 16 0 211857 0
vsize: 847492
[startup+230.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 21792 45 0 0 25 0 11 0 780552986 867831808 25825 4294967295 134512640 134569956 3221224368 3221214488 1131484945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 25825 13086 16 0 211857 0
vsize: 847492
[startup+240.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 22772 45 0 0 25 0 11 0 780552986 867831808 25865 4294967295 134512640 134569956 3221224368 3221214640 1131217468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 25865 13086 16 0 211857 0
vsize: 847492
[startup+250.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 23751 46 0 0 24 0 11 0 780552986 867831808 25905 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 25905 13086 16 0 211857 0
vsize: 847492
[startup+260.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 24733 46 0 0 25 0 11 0 780552986 867831808 25939 4294967295 134512640 134569956 3221224368 3221214216 1131484924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 25939 13086 16 0 211857 0
vsize: 847492
[startup+270.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 25710 47 0 0 25 0 11 0 780552986 867831808 25981 4294967295 134512640 134569956 3221224368 3221214648 1131687384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 25981 13086 16 0 211857 0
vsize: 847492
[startup+280.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 26690 47 0 0 25 0 11 0 780552986 867831808 26023 4294967295 134512640 134569956 3221224368 3221214392 1131586872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26023 13086 16 0 211857 0
vsize: 847492
[startup+290.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 27668 48 0 0 25 0 11 0 780552986 867831808 26063 4294967295 134512640 134569956 3221224368 3221214488 1131484945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26063 13086 16 0 211857 0
vsize: 847492
[startup+300.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19862
Raw data (stat): 19852 (java) S 19851 3944 3943 0 -1 0 18098 0 1 0 28649 48 0 0 25 0 11 0 780552986 867831808 26103 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26103 13086 16 0 211857 0
vsize: 847492
[startup+310.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 29629 48 0 0 25 0 11 0 780552986 867831808 26139 4294967295 134512640 134569956 3221224368 3221214648 1131682332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26139 13086 16 0 211857 0
vsize: 847492
[startup+320.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 30606 48 0 0 25 0 11 0 780552986 867831808 26188 4294967295 134512640 134569956 3221224368 3221214648 1131680975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26188 13086 16 0 211857 0
vsize: 847492
[startup+330.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 31576 49 0 0 25 0 11 0 780552986 867831808 26261 4294967295 134512640 134569956 3221224368 3221214560 1131318697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26261 13086 16 0 211857 0
vsize: 847492
[startup+340.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 32555 49 0 0 25 0 11 0 780552986 867831808 26311 4294967295 134512640 134569956 3221224368 3221214264 1131583796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26311 13086 16 0 211857 0
vsize: 847492
[startup+350.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 33531 49 0 0 25 0 11 0 780552986 867831808 26357 4294967295 134512640 134569956 3221224368 3221214488 1131484945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26357 13086 16 0 211857 0
vsize: 847492
[startup+360.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 34510 49 0 0 25 0 11 0 780552986 867831808 26434 4294967295 134512640 134569956 3221224368 3221214560 1131319017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26434 13086 16 0 211857 0
vsize: 847492
[startup+370.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 35493 50 0 0 25 0 11 0 780552986 867831808 26482 4294967295 134512640 134569956 3221224368 3221214560 1131318766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26482 13086 16 0 211857 0
vsize: 847492
[startup+380.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 36475 50 0 0 25 0 11 0 780552986 867831808 26513 4294967295 134512640 134569956 3221224368 3221214552 1131315767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26513 13086 16 0 211857 0
vsize: 847492
[startup+390.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 37460 50 0 0 25 0 11 0 780552986 867831808 26543 4294967295 134512640 134569956 3221224368 3221214560 1131318825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26543 13086 16 0 211857 0
vsize: 847492
[startup+400.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 38443 51 0 0 25 0 11 0 780552986 867831808 26571 4294967295 134512640 134569956 3221224368 3221214536 1131590960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26571 13086 16 0 211857 0
vsize: 847492
[startup+410.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 39424 51 0 0 25 0 11 0 780552986 867831808 26595 4294967295 134512640 134569956 3221224368 3221214616 1131350252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26595 13086 16 0 211857 0
vsize: 847492
[startup+420.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 40400 52 0 0 25 0 11 0 780552986 867831808 26625 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26625 13086 16 0 211857 0
vsize: 847492
[startup+430.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 41378 52 0 0 25 0 11 0 780552986 867831808 26653 4294967295 134512640 134569956 3221224368 3221214632 1131382266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26653 13086 16 0 211857 0
vsize: 847492
[startup+440.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 42351 52 0 0 25 0 11 0 780552986 867831808 26705 4294967295 134512640 134569956 3221224368 3221214400 1131584865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26705 13086 16 0 211857 0
vsize: 847492
[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 43329 52 0 0 25 0 11 0 780552986 867831808 26766 4294967295 134512640 134569956 3221224368 3221214036 1131484939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26766 13086 16 0 211857 0
vsize: 847492
[startup+460.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 44305 53 0 0 25 0 11 0 780552986 867831808 26824 4294967295 134512640 134569956 3221224368 3221214560 1131318781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26824 13086 16 0 211857 0
vsize: 847492
[startup+470.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 45281 54 0 0 25 0 11 0 780552986 867831808 26871 4294967295 134512640 134569956 3221224368 3221214560 1131319397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26871 13086 16 0 211857 0
vsize: 847492
[startup+480.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 46257 54 0 0 25 0 11 0 780552986 867831808 26917 4294967295 134512640 134569956 3221224368 3221214648 1131683118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26917 13086 16 0 211857 0
vsize: 847492
[startup+490.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 47233 54 0 0 25 0 11 0 780552986 867831808 26958 4294967295 134512640 134569956 3221224368 3221214560 1131319225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 26958 13086 16 0 211857 0
vsize: 847492
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 48209 54 0 0 25 0 11 0 780552986 867831808 27005 4294967295 134512640 134569956 3221224368 3221214036 1131484944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27005 13086 16 0 211857 0
vsize: 847492
[startup+510.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 49189 55 0 0 25 0 11 0 780552986 867831808 27038 4294967295 134512640 134569956 3221224368 3221214484 1131484944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27038 13086 16 0 211857 0
vsize: 847492
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 50164 55 0 0 25 0 11 0 780552986 867831808 27102 4294967295 134512640 134569956 3221224368 3221214560 1131318846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27102 13086 16 0 211857 0
vsize: 847492
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 51136 55 0 0 25 0 11 0 780552986 867831808 27157 4294967295 134512640 134569956 3221224368 3221214560 1131318958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27157 13086 16 0 211857 0
vsize: 847492
[startup+540.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 52112 56 0 0 25 0 11 0 780552986 867831808 27204 4294967295 134512640 134569956 3221224368 3221214560 1131206522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27204 13086 16 0 211857 0
vsize: 847492
[startup+550.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 53089 56 0 0 25 0 11 0 780552986 867831808 27249 4294967295 134512640 134569956 3221224368 3221214400 1085679449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27249 13086 16 0 211857 0
vsize: 847492
[startup+560.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 54066 56 0 0 25 0 11 0 780552986 867831808 27298 4294967295 134512640 134569956 3221224368 3221214528 1131481493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27298 13086 16 0 211857 0
vsize: 847492
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 55045 56 0 0 25 0 11 0 780552986 867831808 27358 4294967295 134512640 134569956 3221224368 3221214552 1131315083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27358 13086 16 0 211857 0
vsize: 847492
[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 56020 57 0 0 24 0 11 0 780552986 867831808 27404 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27404 13086 16 0 211857 0
vsize: 847492
[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 57000 57 0 0 25 0 11 0 780552986 867831808 27441 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27441 13086 16 0 211857 0
vsize: 847492
[startup+600.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 57979 57 0 0 25 0 11 0 780552986 867831808 27480 4294967295 134512640 134569956 3221224368 3221214648 1131682828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27480 13086 16 0 211857 0
vsize: 847492
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 58957 58 0 0 25 0 11 0 780552986 867831808 27520 4294967295 134512640 134569956 3221224368 3221214560 1131319473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27520 13086 16 0 211857 0
vsize: 847492
[startup+620.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 59939 59 0 0 25 0 11 0 780552986 867831808 27549 4294967295 134512640 134569956 3221224368 3221214220 1131485030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27549 13086 16 0 211857 0
vsize: 847492
[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 60920 59 0 0 25 0 11 0 780552986 867831808 27579 4294967295 134512640 134569956 3221224368 3221214264 1131581018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27579 13086 16 0 211857 0
vsize: 847492
[startup+640.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 61906 59 0 0 25 0 11 0 780552986 867831808 27604 4294967295 134512640 134569956 3221224368 3221214128 1085679438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 27604 13086 16 0 211857 0
vsize: 847492
[startup+650.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 62883 59 0 0 24 0 11 0 780552986 867831808 27653 4294967295 134512640 134569956 3221224368 3221214648 1131680894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27653 13086 16 0 211857 0
vsize: 847492
[startup+660.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 63864 59 0 0 25 0 11 0 780552986 867831808 27692 4294967295 134512640 134569956 3221224368 3221213904 1131484868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27692 13086 16 0 211857 0
vsize: 847492
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 64845 59 0 0 25 0 11 0 780552986 867831808 27729 4294967295 134512640 134569956 3221224368 3221214256 1131582519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27729 13086 16 0 211857 0
vsize: 847492
[startup+680.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 65833 59 0 0 25 0 11 0 780552986 867831808 27750 4294967295 134512640 134569956 3221224368 3221213720 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27750 13086 16 0 211857 0
vsize: 847492
[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 66821 60 0 0 24 0 11 0 780552986 867831808 27763 4294967295 134512640 134569956 3221224368 3221214648 1131682649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27763 13086 16 0 211857 0
vsize: 847492
[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 67809 60 0 0 25 0 11 0 780552986 867831808 27772 4294967295 134512640 134569956 3221224368 3221213940 1131484944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27772 13086 16 0 211857 0
vsize: 847492
[startup+710.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 68790 60 0 0 25 0 11 0 780552986 867831808 27794 4294967295 134512640 134569956 3221224368 3221214044 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27794 13086 16 0 211857 0
vsize: 847492
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 69774 60 0 0 25 0 11 0 780552986 867831808 27817 4294967295 134512640 134569956 3221224368 3221214560 1131318877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27817 13086 16 0 211857 0
vsize: 847492
[startup+730.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 70755 60 0 0 24 0 11 0 780552986 867831808 27846 4294967295 134512640 134569956 3221224368 3221214488 1131484945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27846 13086 16 0 211857 0
vsize: 847492
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 71739 61 0 0 25 0 11 0 780552986 867831808 27867 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27867 13086 16 0 211857 0
vsize: 847492
[startup+750.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 72716 61 0 0 25 0 11 0 780552986 867831808 27896 4294967295 134512640 134569956 3221224368 3221214648 1131683039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27896 13086 16 0 211857 0
vsize: 847492
[startup+760.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 73695 61 0 0 25 0 11 0 780552986 867831808 27924 4294967295 134512640 134569956 3221224368 3221214536 1131582452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27924 13086 16 0 211857 0
vsize: 847492
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 74673 62 0 0 25 0 11 0 780552986 867831808 27957 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27957 13086 16 0 211857 0
vsize: 847492
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 75649 62 0 0 24 0 11 0 780552986 867831808 27994 4294967295 134512640 134569956 3221224368 3221214560 1131319575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 27994 13086 16 0 211857 0
vsize: 847492
[startup+790.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 76629 63 0 0 25 0 11 0 780552986 867831808 28025 4294967295 134512640 134569956 3221224368 3221214648 1131687550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28025 13086 16 0 211857 0
vsize: 847492
[startup+800.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 77612 63 0 0 25 0 11 0 780552986 867831808 28049 4294967295 134512640 134569956 3221224368 3221214264 1131594636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28049 13086 16 0 211857 0
vsize: 847492
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 78593 64 0 0 25 0 11 0 780552986 867831808 28066 4294967295 134512640 134569956 3221224368 3221213992 1131484945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28066 13086 16 0 211857 0
vsize: 847492
[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 79577 64 0 0 25 0 11 0 780552986 867831808 28084 4294967295 134512640 134569956 3221224368 3221214560 1131318852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28084 13086 16 0 211857 0
vsize: 847492
[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 80558 65 0 0 25 0 11 0 780552986 867831808 28095 4294967295 134512640 134569956 3221224368 3221214648 1131680975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28095 13086 16 0 211857 0
vsize: 847492
[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 81538 65 0 0 25 0 11 0 780552986 867831808 28108 4294967295 134512640 134569956 3221224368 3221214552 1131315120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28108 13086 16 0 211857 0
vsize: 847492
[startup+850.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 82519 65 0 0 25 0 11 0 780552986 867831808 28125 4294967295 134512640 134569956 3221224368 3221213992 1131579589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28125 13086 16 0 211857 0
vsize: 847492
[startup+860.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 83499 66 0 0 25 0 11 0 780552986 867831808 28143 4294967295 134512640 134569956 3221224368 3221214560 1131318747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28143 13086 16 0 211857 0
vsize: 847492
[startup+870.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 84480 66 0 0 25 0 11 0 780552986 867831808 28159 4294967295 134512640 134569956 3221224368 3221213992 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28159 13086 16 0 211857 0
vsize: 847492
[startup+880.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 85457 67 0 0 25 0 11 0 780552986 867831808 28181 4294967295 134512640 134569956 3221224368 3221214560 1131318852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28181 13086 16 0 211857 0
vsize: 847492
[startup+890.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 86438 67 0 0 25 0 11 0 780552986 867831808 28200 4294967295 134512640 134569956 3221224368 3221214216 1131484945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28200 13086 16 0 211857 0
vsize: 847492
[startup+900.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 87418 68 0 0 25 0 11 0 780552986 867831808 28216 4294967295 134512640 134569956 3221224368 3221214648 1131680943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28216 13086 16 0 211857 0
vsize: 847492
[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 88400 68 0 0 25 0 11 0 780552986 867831808 28232 4294967295 134512640 134569956 3221224368 3221214552 1131315094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28232 13086 16 0 211857 0
vsize: 847492
[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 89385 69 0 0 25 0 11 0 780552986 867831808 28247 4294967295 134512640 134569956 3221224368 3221213944 1131484945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 28247 13086 16 0 211857 0
vsize: 847492
[startup+930.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 90365 69 0 0 25 0 11 0 780552986 867831808 28260 4294967295 134512640 134569956 3221224368 3221214260 1085616771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28260 13086 16 0 211857 0
vsize: 847492
[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 91350 69 0 0 25 0 11 0 780552986 867831808 28270 4294967295 134512640 134569956 3221224368 3221214552 1131315767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28270 13086 16 0 211857 0
vsize: 847492
[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 92326 70 0 0 25 0 11 0 780552986 867831808 28290 4294967295 134512640 134569956 3221224368 3221214400 1131580485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28290 13086 16 0 211857 0
vsize: 847492
[startup+960.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 93306 70 0 0 25 0 11 0 780552986 867831808 28312 4294967295 134512640 134569956 3221224368 3221214216 1131484837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28312 13086 16 0 211857 0
vsize: 847492
[startup+970.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 94286 70 0 0 25 0 11 0 780552986 867831808 28344 4294967295 134512640 134569956 3221224368 3221214560 1131318691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28344 13086 16 0 211857 0
vsize: 847492
[startup+980.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 95266 70 0 0 25 0 11 0 780552986 867831808 28364 4294967295 134512640 134569956 3221224368 3221214264 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28364 13086 16 0 211857 0
vsize: 847492
[startup+990.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 96247 71 0 0 25 0 11 0 780552986 867831808 28388 4294967295 134512640 134569956 3221224368 3221214264 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28388 13086 16 0 211857 0
vsize: 847492
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 97227 71 0 0 25 0 11 0 780552986 867831808 28413 4294967295 134512640 134569956 3221224368 3221213952 1085679359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28413 13086 16 0 211857 0
vsize: 847492
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 98206 71 0 0 24 0 11 0 780552986 867831808 28439 4294967295 134512640 134569956 3221224368 3221214640 1131217422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28439 13086 16 0 211857 0
vsize: 847492
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 99189 72 0 0 25 0 11 0 780552986 867831808 28457 4294967295 134512640 134569956 3221224368 3221214536 1131580688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28457 13086 16 0 211857 0
vsize: 847492
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 100170 72 0 0 24 0 11 0 780552986 867831808 28478 4294967295 134512640 134569956 3221224368 3221214648 1131680936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28478 13086 16 0 211857 0
vsize: 847492
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 101153 73 0 0 25 0 11 0 780552986 867831808 28497 4294967295 134512640 134569956 3221224368 3221214648 1131687940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28497 13086 16 0 211857 0
vsize: 847492
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 102135 73 0 0 25 0 11 0 780552986 867831808 28515 4294967295 134512640 134569956 3221224368 3221214648 1131680975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28515 13086 16 0 211857 0
vsize: 847492
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 103114 73 0 0 25 0 11 0 780552986 867831808 28538 4294967295 134512640 134569956 3221224368 3221214392 1131580708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28538 13086 16 0 211857 0
vsize: 847492
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 104099 74 0 0 25 0 11 0 780552986 867831808 28553 4294967295 134512640 134569956 3221224368 3221214560 1131318997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28553 13086 16 0 211857 0
vsize: 847492
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 105082 75 0 0 25 0 11 0 780552986 867831808 28584 4294967295 134512640 134569956 3221224368 3221214648 1131687384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28584 13086 16 0 211857 0
vsize: 847492
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 106067 75 0 0 25 0 11 0 780552986 867831808 28600 4294967295 134512640 134569956 3221224368 3221214552 1131251701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28600 13086 16 0 211857 0
vsize: 847492
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 107048 75 0 0 25 0 11 0 780552986 867831808 28620 4294967295 134512640 134569956 3221224368 3221214648 1131690452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28620 13086 16 0 211857 0
vsize: 847492
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 108040 75 0 0 25 0 11 0 780552986 867831808 28639 4294967295 134512640 134569956 3221224368 3221214560 1131318899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28639 13086 16 0 211857 0
vsize: 847492
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 109022 75 0 0 25 0 11 0 780552986 867831808 28660 4294967295 134512640 134569956 3221224368 3221213944 1131478027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28660 13086 16 0 211857 0
vsize: 847492
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 109999 75 0 0 24 0 11 0 780552986 867831808 28680 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28680 13086 16 0 211857 0
vsize: 847492
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 110981 76 0 0 25 0 11 0 780552986 867831808 28696 4294967295 134512640 134569956 3221224368 3221213992 1085679538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28696 13086 16 0 211857 0
vsize: 847492
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 111958 76 0 0 25 0 11 0 780552986 867831808 28720 4294967295 134512640 134569956 3221224368 3221214648 1131680918 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28720 13086 16 0 211857 0
vsize: 847492
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 112942 76 0 0 25 0 11 0 780552986 867831808 28731 4294967295 134512640 134569956 3221224368 3221214124 1131482354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28731 13086 16 0 211857 0
vsize: 847492
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 113926 76 0 0 25 0 11 0 780552986 867831808 28738 4294967295 134512640 134569956 3221224368 3221214128 1131590736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28738 13086 16 0 211857 0
vsize: 847492
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 114912 77 0 0 25 0 11 0 780552986 867831808 28748 4294967295 134512640 134569956 3221224368 3221214632 1131382098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28748 13086 16 0 211857 0
vsize: 847492
[startup+1190.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 115895 77 0 0 25 0 11 0 780552986 867831808 28762 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211873 28762 13086 16 0 211857 0
vsize: 847492
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 116872 77 0 0 25 0 11 0 780552986 867831808 28782 4294967295 134512640 134569956 3221224368 3221214640 1131217468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28782 13086 16 0 211857 0
vsize: 847492
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 117852 78 0 0 25 0 11 0 780552986 867831808 28806 4294967295 134512640 134569956 3221224368 3221214560 1131318834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28806 13086 16 0 211857 0
vsize: 847492
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 118835 78 0 0 25 0 11 0 780552986 867831808 28820 4294967295 134512640 134569956 3221224368 3221213856 1131592186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28820 13086 16 0 211857 0
vsize: 847492
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 119818 78 0 0 25 0 11 0 780552986 867831808 28839 4294967295 134512640 134569956 3221224368 3221214644 1131319989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28839 13086 16 0 211857 0
vsize: 847492
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19862
Raw data (stat): 19852 (java) R 19851 3944 3943 0 -1 0 18098 0 1 0 120798 79 0 0 24 0 11 0 780552986 867831808 28862 4294967295 134512640 134569956 3221224368 3221214560 1131318818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211873 28862 13086 16 0 211857 0
vsize: 847492
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.3 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 19864
Raw data (stat): 19852 (java) Z 19851 3944 3943 0 -1 1036 18098 13891 1 0 120804 79 3712 37 25 0 1 0 780552986 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): 1240.3
CPU time (s): 1246.34
CPU user time (s): 1245.16
CPU system time (s): 1.17582
CPU usage (%): 100.487
Max. virtual memory (Kb): 850928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####