PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-gen.opb
MD5SUM	860f839de61311f9d82ecee84a58294b
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	13134
Biggest coefficient in the objective function	3456331981783040
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	2106245048465744992
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	3456331981783040
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	2106245048465744992
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.167973
Number of variables	19038
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	264
Trace number 29526

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        655820 kB
Buffers:         34608 kB
Cached:         320860 kB
SwapCached:        716 kB
Active:          84908 kB
Inactive:       272608 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        655568 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15712 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:00:05 (client local time) WITH STATUS 143 IN 1271.35 SECONDS
stats: 20926 7 1271.35 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/wulflinc30/normalized-mps-v2-20-10-gen.opb
c reading problem ... done. Time 106.807 ms.
c #vars     19038
c #constraints  1080
c starts	: 10
c conflicts	: 7750
c decisions	: 37573
c propagations	: 191340
c inspects	: 2590359
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7750
c root simplifications	: 45
s UNKNOWN
c Total CPU time (ms) : 1259.127
#### 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.84 0.94 0.98 2/54 5483
Raw data (stat): 5483 (runsolver) R 5482 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837499072 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.01 0.97 0.99 2/63 5492
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18004 0 1 0 877 38 0 0 25 0 10 0 837499072 853823488 19430 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 19430 13086 16 0 208437 0
vsize: 833812
[startup+20.0014 s]
Raw data (loadavg): 1.01 0.97 0.99 2/63 5492
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18004 0 1 0 1772 38 0 0 25 0 10 0 837499072 853823488 19975 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 19975 13086 16 0 208437 0
vsize: 833812
[startup+30.0026 s]
Raw data (loadavg): 1.01 0.97 0.99 2/63 5492
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18004 0 1 0 2661 38 0 0 25 0 10 0 837499072 853823488 20526 4294967295 134512640 134569956 3221224368 3221214484 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 20526 13086 16 0 208437 0
vsize: 833812
[startup+40.002 s]
Raw data (loadavg): 1.01 0.97 0.99 2/63 5492
Raw data (stat): 5483 (java) S 5482 22056 22055 0 -1 0 18004 0 1 0 3575 38 0 0 25 0 10 0 837499072 853991424 20877 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208494 20877 13086 16 0 208478 0
vsize: 833976
[startup+50.0033 s]
Raw data (loadavg): 1.00 0.97 0.99 2/63 5492
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18004 0 1 0 4498 39 0 0 25 0 10 0 837499072 853991424 21057 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208494 21057 13086 16 0 208478 0
vsize: 833976
[startup+60.003 s]
Raw data (loadavg): 1.00 0.97 0.99 2/63 5492
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18014 0 1 0 5409 39 0 0 24 0 10 0 837499072 853823488 21179 4294967295 134512640 134569956 3221224368 3221214768 1131233208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 21179 13086 16 0 208437 0
vsize: 833812
[startup+70.0036 s]
Raw data (loadavg): 1.00 0.97 0.99 2/63 5492
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18015 0 1 0 6332 39 0 0 25 0 10 0 837499072 853823488 21437 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21437 13086 16 0 208437 0
vsize: 833812
[startup+80.0044 s]
Raw data (loadavg): 1.00 0.97 0.99 2/63 5492
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18016 0 1 0 7269 40 0 0 25 0 10 0 837499072 853823488 21602 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21602 13086 16 0 208437 0
vsize: 833812
[startup+90.0046 s]
Raw data (loadavg): 1.00 0.97 0.99 3/63 5492
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18016 0 1 0 8207 40 0 0 25 0 10 0 837499072 856150016 22167 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209021 22167 13086 16 0 209005 0
vsize: 836084
[startup+100.005 s]
Raw data (loadavg): 1.00 0.97 0.99 2/63 5492
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18016 0 1 0 9151 40 0 0 25 0 10 0 837499072 855113728 22073 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208768 22073 13086 16 0 208752 0
vsize: 835072
[startup+110.006 s]
Raw data (loadavg): 1.16 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18054 0 1 0 10073 41 0 0 25 0 11 0 837499072 856895488 23057 4294967295 134512640 134569956 3221224368 3221214688 1131353135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209203 23057 13086 16 0 209187 0
vsize: 836812
[startup+120.007 s]
Raw data (loadavg): 1.13 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18076 0 1 0 10991 42 0 0 25 0 11 0 837499072 856731648 24422 4294967295 134512640 134569956 3221224368 3221214736 1131253701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209163 24422 13086 16 0 209147 0
vsize: 836652
[startup+130.007 s]
Raw data (loadavg): 1.11 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18077 0 1 0 11970 42 0 0 25 0 11 0 837499072 856633344 24364 4294967295 134512640 134569956 3221224368 3221214712 1131306091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 24364 13086 16 0 209123 0
vsize: 836556
[startup+140.007 s]
Raw data (loadavg): 1.10 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18078 0 1 0 12938 42 0 0 24 0 11 0 837499072 856633344 24368 4294967295 134512640 134569956 3221224368 3221214640 1131352883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 24368 13086 16 0 209123 0
vsize: 836556
[startup+150.008 s]
Raw data (loadavg): 1.15 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18079 0 1 0 13901 42 0 0 25 0 11 0 837499072 856633344 24396 4294967295 134512640 134569956 3221224368 3221214640 1131353076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 24396 13086 16 0 209123 0
vsize: 836556
[startup+160.009 s]
Raw data (loadavg): 1.13 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18079 0 1 0 14866 43 0 0 25 0 11 0 837499072 856633344 24509 4294967295 134512640 134569956 3221224368 3221214640 1131353135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 24509 13086 16 0 209123 0
vsize: 836556
[startup+170.01 s]
Raw data (loadavg): 1.27 1.05 1.01 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18079 0 1 0 15824 43 0 0 25 0 11 0 837499072 856633344 24539 4294967295 134512640 134569956 3221224368 3221214432 1131305954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 24539 13086 16 0 209123 0
vsize: 836556
[startup+180.011 s]
Raw data (loadavg): 1.23 1.05 1.01 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18079 0 1 0 16792 43 0 0 25 0 11 0 837499072 856633344 24587 4294967295 134512640 134569956 3221224368 3221214352 1131549947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 24587 13086 16 0 209123 0
vsize: 836556
[startup+190.01 s]
Raw data (loadavg): 1.19 1.05 1.01 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18079 0 1 0 17737 43 0 0 25 0 11 0 837499072 856633344 24753 4294967295 134512640 134569956 3221224368 3221214432 1131451599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 24753 13086 16 0 209123 0
vsize: 836556
[startup+200.01 s]
Raw data (loadavg): 1.16 1.04 1.01 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 18687 43 0 0 25 0 11 0 837499072 856633344 25068 4294967295 134512640 134569956 3221224368 3221214432 1131450794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 25068 13086 16 0 209123 0
vsize: 836556
[startup+210.011 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 19630 43 0 0 25 0 11 0 837499072 856633344 25277 4294967295 134512640 134569956 3221224368 3221214440 1131306217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 25277 13086 16 0 209123 0
vsize: 836556
[startup+220.012 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 20589 43 0 0 25 0 11 0 837499072 856633344 25504 4294967295 134512640 134569956 3221224368 3221214532 1131422720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 25504 13086 16 0 209123 0
vsize: 836556
[startup+230.012 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 21543 43 0 0 25 0 11 0 837499072 856633344 25980 4294967295 134512640 134569956 3221224368 3221214504 1131432112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 25980 13086 16 0 209123 0
vsize: 836556
[startup+240.012 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 22496 44 0 0 25 0 11 0 837499072 856633344 26525 4294967295 134512640 134569956 3221224368 3221214484 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 26525 13086 16 0 209123 0
vsize: 836556
[startup+250.012 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 23454 44 0 0 25 0 11 0 837499072 856633344 26871 4294967295 134512640 134569956 3221224368 3221214640 1131352686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 26871 13086 16 0 209123 0
vsize: 836556
[startup+260.012 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 24406 44 0 0 25 0 11 0 837499072 856633344 27122 4294967295 134512640 134569956 3221224368 3221214608 1131434074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 27122 13086 16 0 209123 0
vsize: 836556
[startup+270.013 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 25355 45 0 0 25 0 11 0 837499072 856633344 27469 4294967295 134512640 134569956 3221224368 3221214392 1131580796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 27469 13086 16 0 209123 0
vsize: 836556
[startup+280.013 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 26306 45 0 0 25 0 11 0 837499072 856633344 27664 4294967295 134512640 134569956 3221224368 3221214640 1131353284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 27664 13086 16 0 209123 0
vsize: 836556
[startup+290.013 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 27254 45 0 0 25 0 11 0 837499072 856633344 27950 4294967295 134512640 134569956 3221224368 3221214544 1131433959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 27950 13086 16 0 209123 0
vsize: 836556
[startup+300.014 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 28202 45 0 0 25 0 11 0 837499072 856633344 28241 4294967295 134512640 134569956 3221224368 3221214116 1131583376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 28241 13086 16 0 209123 0
vsize: 836556
[startup+310.015 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 29149 46 0 0 25 0 11 0 837499072 856633344 28512 4294967295 134512640 134569956 3221224368 3221214640 1131353135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 28512 13086 16 0 209123 0
vsize: 836556
[startup+320.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 30107 46 0 0 25 0 11 0 837499072 856633344 28764 4294967295 134512640 134569956 3221224368 3221214744 1131409280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 28764 13086 16 0 209123 0
vsize: 836556
[startup+330.016 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 31068 46 0 0 25 0 11 0 837499072 856633344 28924 4294967295 134512640 134569956 3221224368 3221214520 1131306929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 28924 13086 16 0 209123 0
vsize: 836556
[startup+340.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 32009 46 0 0 25 0 11 0 837499072 856633344 29100 4294967295 134512640 134569956 3221224368 3221214688 1131253713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 29100 13086 16 0 209123 0
vsize: 836556
[startup+350.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 32960 46 0 0 25 0 11 0 837499072 856633344 29344 4294967295 134512640 134569956 3221224368 3221213880 1131578900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 29344 13086 16 0 209123 0
vsize: 836556
[startup+360.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 33899 46 0 0 25 0 11 0 837499072 856633344 29534 4294967295 134512640 134569956 3221224368 3221213992 1131578887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 29534 13086 16 0 209123 0
vsize: 836556
[startup+370.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 34847 47 0 0 25 0 11 0 837499072 856633344 29746 4294967295 134512640 134569956 3221224368 3221214592 1131223149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 29746 13086 16 0 209123 0
vsize: 836556
[startup+380.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 35794 47 0 0 25 0 11 0 837499072 856633344 29970 4294967295 134512640 134569956 3221224368 3221214640 1131353021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 29970 13086 16 0 209123 0
vsize: 836556
[startup+390.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 36744 47 0 0 25 0 11 0 837499072 856633344 30164 4294967295 134512640 134569956 3221224368 3221214168 1131580796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 30164 13086 16 0 209123 0
vsize: 836556
[startup+400.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 37693 48 0 0 25 0 11 0 837499072 856633344 30362 4294967295 134512640 134569956 3221224368 3221214744 1131409202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 30362 13086 16 0 209123 0
vsize: 836556
[startup+410.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 38641 48 0 0 25 0 11 0 837499072 856633344 30560 4294967295 134512640 134569956 3221224368 3221214744 1131408965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 30560 13086 16 0 209123 0
vsize: 836556
[startup+420.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 39591 48 0 0 25 0 11 0 837499072 856633344 30761 4294967295 134512640 134569956 3221224368 3221214520 1131306217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 30761 13086 16 0 209123 0
vsize: 836556
[startup+430.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 40550 48 0 0 25 0 11 0 837499072 856633344 30922 4294967295 134512640 134569956 3221224368 3221214640 1131353189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 30922 13086 16 0 209123 0
vsize: 836556
[startup+440.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 41497 48 0 0 25 0 11 0 837499072 856633344 31121 4294967295 134512640 134569956 3221224368 3221214288 1131583297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 31121 13086 16 0 209123 0
vsize: 836556
[startup+450.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 42445 48 0 0 25 0 11 0 837499072 856633344 31319 4294967295 134512640 134569956 3221224368 3221214640 1131353601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 31319 13086 16 0 209123 0
vsize: 836556
[startup+460.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 43402 48 0 0 25 0 11 0 837499072 856633344 31620 4294967295 134512640 134569956 3221224368 3221214448 1131580788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 31620 13086 16 0 209123 0
vsize: 836556
[startup+470.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 44360 49 0 0 25 0 11 0 837499072 856633344 31787 4294967295 134512640 134569956 3221224368 3221214312 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 31787 13086 16 0 209123 0
vsize: 836556
[startup+480.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 45320 49 0 0 25 0 11 0 837499072 856633344 31908 4294967295 134512640 134569956 3221224368 3221214416 1130894847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 31908 13086 16 0 209123 0
vsize: 836556
[startup+490.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 46269 49 0 0 25 0 11 0 837499072 856633344 32155 4294967295 134512640 134569956 3221224368 3221214640 1131353631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 32155 13086 16 0 209123 0
vsize: 836556
[startup+500.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 47218 49 0 0 25 0 11 0 837499072 856633344 32317 4294967295 134512640 134569956 3221224368 3221213784 1131583255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 32317 13086 16 0 209123 0
vsize: 836556
[startup+510.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 48167 50 0 0 25 0 11 0 837499072 856633344 32482 4294967295 134512640 134569956 3221224368 3221214472 1131245147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 32482 13086 16 0 209123 0
vsize: 836556
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 49116 50 0 0 25 0 11 0 837499072 856633344 32688 4294967295 134512640 134569956 3221224368 3221213780 1131583376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 32688 13086 16 0 209123 0
vsize: 836556
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 50064 50 0 0 25 0 11 0 837499072 856633344 32878 4294967295 134512640 134569956 3221224368 3221214640 1131353135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 32878 13086 16 0 209123 0
vsize: 836556
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 51013 50 0 0 24 0 11 0 837499072 856633344 33062 4294967295 134512640 134569956 3221224368 3221214288 1131583352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 33062 13086 16 0 209123 0
vsize: 836556
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 51972 51 0 0 25 0 11 0 837499072 856633344 33203 4294967295 134512640 134569956 3221224368 3221214336 1131580652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 33203 13086 16 0 209123 0
vsize: 836556
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 52921 51 0 0 25 0 11 0 837499072 856633344 33386 4294967295 134512640 134569956 3221224368 3221213624 1131583377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 33386 13086 16 0 209123 0
vsize: 836556
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 53870 51 0 0 25 0 11 0 837499072 856633344 33565 4294967295 134512640 134569956 3221224368 3221214592 1131223117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 33565 13086 16 0 209123 0
vsize: 836556
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 54818 52 0 0 25 0 11 0 837499072 856633344 33747 4294967295 134512640 134569956 3221224368 3221214640 1131352684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 33747 13086 16 0 209123 0
vsize: 836556
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 55777 52 0 0 25 0 11 0 837499072 856633344 33893 4294967295 134512640 134569956 3221224368 3221214640 1131353682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 33893 13086 16 0 209123 0
vsize: 836556
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 56726 53 0 0 25 0 11 0 837499072 856633344 34110 4294967295 134512640 134569956 3221224368 3221214640 1131352702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 34110 13086 16 0 209123 0
vsize: 836556
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 57675 53 0 0 25 0 11 0 837499072 856633344 34295 4294967295 134512640 134569956 3221224368 3221214744 1131409212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 34295 13086 16 0 209123 0
vsize: 836556
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 58634 53 0 0 25 0 11 0 837499072 856633344 34438 4294967295 134512640 134569956 3221224368 3221214640 1131352677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 34438 13086 16 0 209123 0
vsize: 836556
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 59583 53 0 0 25 0 11 0 837499072 856633344 34644 4294967295 134512640 134569956 3221224368 3221214768 1130883838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 34644 13086 16 0 209123 0
vsize: 836556
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 60541 54 0 0 25 0 11 0 837499072 856633344 34761 4294967295 134512640 134569956 3221224368 3221214688 1131334903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 34761 13086 16 0 209123 0
vsize: 836556
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 61489 55 0 0 25 0 11 0 837499072 856633344 34950 4294967295 134512640 134569956 3221224368 3221213836 1131585472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 34950 13086 16 0 209123 0
vsize: 836556
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 62447 55 0 0 25 0 11 0 837499072 856633344 35089 4294967295 134512640 134569956 3221224368 3221214224 1131580796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 35089 13086 16 0 209123 0
vsize: 836556
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 63406 55 0 0 25 0 11 0 837499072 856633344 35243 4294967295 134512640 134569956 3221224368 3221214064 1131583377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 35243 13086 16 0 209123 0
vsize: 836556
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 64354 55 0 0 25 0 11 0 837499072 856633344 35427 4294967295 134512640 134569956 3221224368 3221214520 1131306345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 35427 13086 16 0 209123 0
vsize: 836556
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 65312 56 0 0 25 0 11 0 837499072 856633344 35568 4294967295 134512640 134569956 3221224368 3221214352 1078020001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 35568 13086 16 0 209123 0
vsize: 836556
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 66270 56 0 0 25 0 11 0 837499072 856633344 35753 4294967295 134512640 134569956 3221224368 3221214640 1131352702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 35753 13086 16 0 209123 0
vsize: 836556
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 67247 57 0 0 25 0 11 0 837499072 856633344 35863 4294967295 134512640 134569956 3221224368 3221214744 1131408998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 35863 13086 16 0 209123 0
vsize: 836556
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 68206 57 0 0 25 0 11 0 837499072 856633344 35971 4294967295 134512640 134569956 3221224368 3221213940 1131585472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 35971 13086 16 0 209123 0
vsize: 836556
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 69164 58 0 0 25 0 11 0 837499072 856633344 36081 4294967295 134512640 134569956 3221224368 3221214640 1131353097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 36081 13086 16 0 209123 0
vsize: 836556
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 70123 58 0 0 25 0 11 0 837499072 856633344 36228 4294967295 134512640 134569956 3221224368 3221214512 1131450287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 36228 13086 16 0 209123 0
vsize: 836556
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 71082 58 0 0 25 0 11 0 837499072 856633344 36334 4294967295 134512640 134569956 3221224368 3221214592 1131223215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 36334 13086 16 0 209123 0
vsize: 836556
[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 72041 58 0 0 25 0 11 0 837499072 856633344 36486 4294967295 134512640 134569956 3221224368 3221214592 1131223048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 36486 13086 16 0 209123 0
vsize: 836556
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 72999 59 0 0 25 0 11 0 837499072 856633344 36672 4294967295 134512640 134569956 3221224368 3221214744 1131408805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 36672 13086 16 0 209123 0
vsize: 836556
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 73957 59 0 0 25 0 11 0 837499072 856633344 36791 4294967295 134512640 134569956 3221224368 3221214288 1131583352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 36791 13086 16 0 209123 0
vsize: 836556
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 74917 59 0 0 25 0 11 0 837499072 856633344 36947 4294967295 134512640 134569956 3221224368 3221214640 1131353228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 36947 13086 16 0 209123 0
vsize: 836556
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 75877 59 0 0 25 0 11 0 837499072 856633344 37077 4294967295 134512640 134569956 3221224368 3221214032 1085679519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 37077 13086 16 0 209123 0
vsize: 836556
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 76834 59 0 0 25 0 11 0 837499072 856633344 37332 4294967295 134512640 134569956 3221224368 3221214384 1131580808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 37332 13086 16 0 209123 0
vsize: 836556
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 77794 60 0 0 25 0 11 0 837499072 856633344 37556 4294967295 134512640 134569956 3221224368 3221214640 1131353135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 37556 13086 16 0 209123 0
vsize: 836556
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 78754 60 0 0 25 0 11 0 837499072 856633344 37662 4294967295 134512640 134569956 3221224368 3221213588 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 37662 13086 16 0 209123 0
vsize: 836556
[startup+840.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 79715 60 0 0 25 0 11 0 837499072 856633344 37798 4294967295 134512640 134569956 3221224368 3221213928 1085679296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 37798 13086 16 0 209123 0
vsize: 836556
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 80674 61 0 0 25 0 11 0 837499072 856633344 37964 4294967295 134512640 134569956 3221224368 3221214740 1131353961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 37964 13086 16 0 209123 0
vsize: 836556
[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 81634 61 0 0 25 0 11 0 837499072 856633344 38210 4294967295 134512640 134569956 3221224368 3221214640 1131353135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 38210 13086 16 0 209123 0
vsize: 836556
[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 82596 61 0 0 25 0 11 0 837499072 856633344 38210 4294967295 134512640 134569956 3221224368 3221214352 1076461217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 38210 13086 16 0 209123 0
vsize: 836556
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 83556 62 0 0 25 0 11 0 837499072 856633344 38346 4294967295 134512640 134569956 3221224368 3221214548 1078032288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 38346 13086 16 0 209123 0
vsize: 836556
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) S 5482 22056 22055 0 -1 0 18080 0 1 0 84517 62 0 0 25 0 11 0 837499072 856633344 38449 4294967295 134512640 134569956 3221224368 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 38449 13086 16 0 209123 0
vsize: 836556
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 85484 62 0 0 25 0 11 0 837499072 856633344 38591 4294967295 134512640 134569956 3221224368 3221214616 1131423395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 38591 13086 16 0 209123 0
vsize: 836556
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 86443 62 0 0 25 0 11 0 837499072 856633344 38734 4294967295 134512640 134569956 3221224368 3221214688 1131253696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 38734 13086 16 0 209123 0
vsize: 836556
[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 87403 63 0 0 25 0 11 0 837499072 856633344 38841 4294967295 134512640 134569956 3221224368 3221214220 1131585484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 38841 13086 16 0 209123 0
vsize: 836556
[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 88362 63 0 0 25 0 11 0 837499072 856633344 38977 4294967295 134512640 134569956 3221224368 3221214688 1131253803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 38977 13086 16 0 209123 0
vsize: 836556
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 89330 63 0 0 25 0 11 0 837499072 856633344 39108 4294967295 134512640 134569956 3221224368 3221213728 1131580586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 39108 13086 16 0 209123 0
vsize: 836556
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 90289 64 0 0 25 0 11 0 837499072 856633344 39206 4294967295 134512640 134569956 3221224368 3221214096 1131586492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 39206 13086 16 0 209123 0
vsize: 836556
[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 91248 64 0 0 25 0 11 0 837499072 856633344 39339 4294967295 134512640 134569956 3221224368 3221214584 1131432123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 39339 13086 16 0 209123 0
vsize: 836556
[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 92217 64 0 0 25 0 11 0 837499072 856633344 39438 4294967295 134512640 134569956 3221224368 3221213956 1131583376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 39438 13086 16 0 209123 0
vsize: 836556
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 93176 65 0 0 25 0 11 0 837499072 856633344 39573 4294967295 134512640 134569956 3221224368 3221214176 1131583370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 39573 13086 16 0 209123 0
vsize: 836556
[startup+990.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 94135 65 0 0 25 0 11 0 837499072 856633344 39702 4294967295 134512640 134569956 3221224368 3221214512 1131450287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 39702 13086 16 0 209123 0
vsize: 836556
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 95093 65 0 0 24 0 11 0 837499072 856633344 39911 4294967295 134512640 134569956 3221224368 3221214688 1131253846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 39911 13086 16 0 209123 0
vsize: 836556
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 96062 66 0 0 25 0 11 0 837499072 856633344 40010 4294967295 134512640 134569956 3221224368 3221214696 1131597270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 40010 13086 16 0 209123 0
vsize: 836556
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 97022 66 0 0 25 0 11 0 837499072 856633344 40140 4294967295 134512640 134569956 3221224368 3221213780 1131583371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 40140 13086 16 0 209123 0
vsize: 836556
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 97991 66 0 0 25 0 11 0 837499072 856633344 40238 4294967295 134512640 134569956 3221224368 3221214636 1131244704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 40238 13086 16 0 209123 0
vsize: 836556
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 98950 67 0 0 25 0 11 0 837499072 856633344 40372 4294967295 134512640 134569956 3221224368 3221213976 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 40372 13086 16 0 209123 0
vsize: 836556
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 99911 67 0 0 25 0 11 0 837499072 856633344 40502 4294967295 134512640 134569956 3221224368 3221214640 1131353376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 40502 13086 16 0 209123 0
vsize: 836556
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 100878 67 0 0 25 0 11 0 837499072 856633344 40707 4294967295 134512640 134569956 3221224368 3221213784 1131583300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 40707 13086 16 0 209123 0
vsize: 836556
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 101838 68 0 0 25 0 11 0 837499072 856633344 40829 4294967295 134512640 134569956 3221224368 3221214640 1131353132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 40829 13086 16 0 209123 0
vsize: 836556
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 102808 68 0 0 25 0 11 0 837499072 856633344 40957 4294967295 134512640 134569956 3221224368 3221214440 1131585495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 40957 13086 16 0 209123 0
vsize: 836556
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 103767 68 0 0 25 0 11 0 837499072 856633344 41087 4294967295 134512640 134569956 3221224368 3221214400 1131583437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 41087 13086 16 0 209123 0
vsize: 836556
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 104737 68 0 0 25 0 11 0 837499072 856633344 41195 4294967295 134512640 134569956 3221224368 3221214444 1131580772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 41195 13086 16 0 209123 0
vsize: 836556
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) S 5482 22056 22055 0 -1 0 18080 0 1 0 105701 69 0 0 25 0 11 0 837499072 856633344 41292 4294967295 134512640 134569956 3221224368 3221213224 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 41292 13086 16 0 209123 0
vsize: 836556
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 106664 69 0 0 25 0 11 0 837499072 856633344 41419 4294967295 134512640 134569956 3221224368 3221214512 1131450706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 41419 13086 16 0 209123 0
vsize: 836556
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 107624 69 0 0 24 0 11 0 837499072 856633344 41587 4294967295 134512640 134569956 3221224368 3221214592 1131223146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 41587 13086 16 0 209123 0
vsize: 836556
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 108593 69 0 0 25 0 11 0 837499072 856633344 41637 4294967295 134512640 134569956 3221224368 3221214332 1131585472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 41637 13086 16 0 209123 0
vsize: 836556
[startup+1150.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 109551 70 0 0 25 0 11 0 837499072 856633344 41772 4294967295 134512640 134569956 3221224368 3221214204 1131580553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 41772 13086 16 0 209123 0
vsize: 836556
[startup+1160.05 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 110520 70 0 0 25 0 11 0 837499072 856633344 41865 4294967295 134512640 134569956 3221224368 3221214640 1131353376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 41865 13086 16 0 209123 0
vsize: 836556
[startup+1170.05 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 111488 70 0 0 25 0 11 0 837499072 856633344 41962 4294967295 134512640 134569956 3221224368 3221214392 1131580581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 41962 13086 16 0 209123 0
vsize: 836556
[startup+1180.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 112446 70 0 0 25 0 11 0 837499072 856633344 42092 4294967295 134512640 134569956 3221224368 3221214480 1131498402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 42092 13086 16 0 209123 0
vsize: 836556
[startup+1190.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 113414 71 0 0 25 0 11 0 837499072 856633344 42216 4294967295 134512640 134569956 3221224368 3221214288 1131583377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 42216 13086 16 0 209123 0
vsize: 836556
[startup+1200.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 114374 71 0 0 25 0 11 0 837499072 856633344 42349 4294967295 134512640 134569956 3221224368 3221214640 1131352883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 42349 13086 16 0 209123 0
vsize: 836556
[startup+1210.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 115351 71 0 0 25 0 11 0 837499072 856633344 42413 4294967295 134512640 134569956 3221224368 3221214432 1131586253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 42413 13086 16 0 209123 0
vsize: 836556
[startup+1220.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 116329 71 0 0 25 0 11 0 837499072 856633344 42573 4294967295 134512640 134569956 3221224368 3221214640 1131352871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 42573 13086 16 0 209123 0
vsize: 836556
[startup+1230.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 117295 72 0 0 25 0 11 0 837499072 856633344 42702 4294967295 134512640 134569956 3221224368 3221214688 1131253713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 42702 13086 16 0 209123 0
vsize: 836556
[startup+1240.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 118262 72 0 0 24 0 11 0 837499072 856633344 42830 4294967295 134512640 134569956 3221224368 3221214688 1131253696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 42830 13086 16 0 209123 0
vsize: 836556
[startup+1250.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 119239 72 0 0 25 0 11 0 837499072 856633344 42956 4294967295 134512640 134569956 3221224368 3221213736 1131583225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 42956 13086 16 0 209123 0
vsize: 836556
[startup+1260.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5493
Raw data (stat): 5483 (java) R 5482 22056 22055 0 -1 0 18080 0 1 0 120206 72 0 0 25 0 11 0 837499072 856633344 43094 4294967295 134512640 134569956 3221224368 3221214688 1131253699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209139 43094 13086 16 0 209123 0
vsize: 836556
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.19 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 5496
Raw data (stat): 5483 (java) Z 5482 22056 22055 0 -1 1036 18080 28421 1 0 120210 80 6782 60 25 0 1 0 837499072 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.19
CPU time (s): 1271.35
CPU user time (s): 1269.94
CPU system time (s): 1.41878
CPU usage (%): 100.886
Max. virtual memory (Kb): 836812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####