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-adlittle.opb
MD5SUM	f517bba7737c6a2d32340ac67613cda8
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	1640
Biggest coefficient in the objective function	86769664000
Number of bits for the biggest coefficient in the objective function	37
Sum of the numbers in the objective function	3602973954525
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	351272960000
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	5928173491850
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.212967
Number of variables	1940
Total number of constraints	56
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	56
Minimum length of a constraint	20
Maximum length of a constraint	540
Trace number 20178

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-21 20:19:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15440 boxname=wulflinc31 idbench=1188 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  f517bba7737c6a2d32340ac67613cda8  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-adlittle.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-adlittle.opb
IDLAUNCH: 15440
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        728336 kB
Buffers:         31784 kB
Cached:         249440 kB
SwapCached:        636 kB
Active:          66320 kB
Inactive:       216912 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        728028 kB
SwapTotal:     2097892 kB
SwapFree:      2096356 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            17500 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 20:40:29 (client local time) WITH STATUS 143 IN 1250.61 SECONDS
stats: 15440 7 1250.61 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-adlittle.opb
c reading problem 
c [nbvar=1940]
c [nbconstr=56]
c time 4.846
c #vars     1940
c #clauses  71
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 836
Raw data (stat): 836 (runsolver) R 835 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547895260 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.24 1.02 0.93 3/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18058 0 1 0 619 41 0 0 25 0 11 0 547895260 862785536 21508 4294967295 134512640 134569956 3221224400 3221214672 1131297651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 21508 13073 16 0 210625 0
vsize: 842564
[startup+20.0008 s]
Raw data (loadavg): 1.20 1.02 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18060 0 1 0 1562 42 0 0 25 0 11 0 547895260 864034816 22058 4294967295 134512640 134569956 3221224400 3221214796 1080203678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210946 22058 13073 16 0 210930 0
vsize: 843784
[startup+30.0018 s]
Raw data (loadavg): 1.17 1.02 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18060 0 1 0 2514 42 0 0 25 0 11 0 547895260 863576064 22117 4294967295 134512640 134569956 3221224400 3221214424 1078032389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210834 22117 13073 16 0 210818 0
vsize: 843336
[startup+40.0057 s]
Raw data (loadavg): 1.14 1.02 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18060 0 1 0 3458 42 0 0 25 0 11 0 547895260 863576064 22350 4294967295 134512640 134569956 3221224400 3221214552 1131370641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210834 22350 13073 16 0 210818 0
vsize: 843336
[startup+50.0116 s]
Raw data (loadavg): 1.12 1.02 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18060 0 1 0 4391 42 0 0 25 0 11 0 547895260 863510528 22640 4294967295 134512640 134569956 3221224400 3221214696 1131207862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210818 22640 13073 16 0 210802 0
vsize: 843272
[startup+60.0114 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 5341 42 0 0 25 0 11 0 547895260 863510528 23048 4294967295 134512640 134569956 3221224400 3221214664 1131297632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210818 23048 13073 16 0 210802 0
vsize: 843272
[startup+70.0115 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 6301 42 0 0 24 0 11 0 547895260 863510528 23182 4294967295 134512640 134569956 3221224400 3221214696 1131207021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210818 23182 13073 16 0 210802 0
vsize: 843272
[startup+80.0136 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 7268 42 0 0 25 0 11 0 547895260 863510528 23286 4294967295 134512640 134569956 3221224400 3221214552 1131368796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210818 23286 13073 16 0 210802 0
vsize: 843272
[startup+90.0135 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 8236 42 0 0 25 0 11 0 547895260 863510528 23469 4294967295 134512640 134569956 3221224400 3221214696 1131207814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210818 23469 13073 16 0 210802 0
vsize: 843272
[startup+100.014 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 9200 42 0 0 25 0 11 0 547895260 863510528 23560 4294967295 134512640 134569956 3221224400 3221214344 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210818 23560 13073 16 0 210802 0
vsize: 843272
[startup+110.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 10162 42 0 0 25 0 11 0 547895260 863510528 23690 4294967295 134512640 134569956 3221224400 3221214664 1131297779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210818 23690 13073 16 0 210802 0
vsize: 843272
[startup+120.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 11130 42 0 0 25 0 11 0 547895260 863510528 23880 4294967295 134512640 134569956 3221224400 3221214792 1131344563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210818 23880 13073 16 0 210802 0
vsize: 843272
[startup+130.016 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 12097 42 0 0 25 0 11 0 547895260 862785536 23805 4294967295 134512640 134569956 3221224400 3221214696 1131207138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 23805 13073 16 0 210625 0
vsize: 842564
[startup+140.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 13054 42 0 0 25 0 11 0 547895260 862785536 24000 4294967295 134512640 134569956 3221224400 3221214792 1131343458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 24000 13073 16 0 210625 0
vsize: 842564
[startup+150.017 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 14021 42 0 0 25 0 11 0 547895260 862785536 24068 4294967295 134512640 134569956 3221224400 3221214696 1131206880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 24068 13073 16 0 210625 0
vsize: 842564
[startup+160.018 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 14990 42 0 0 25 0 11 0 547895260 862785536 24322 4294967295 134512640 134569956 3221224400 3221214792 1131346393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 24322 13073 16 0 210625 0
vsize: 842564
[startup+170.018 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 15962 42 0 0 25 0 11 0 547895260 862785536 24419 4294967295 134512640 134569956 3221224400 3221214696 1131206597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 24419 13073 16 0 210625 0
vsize: 842564
[startup+180.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 16936 43 0 0 25 0 11 0 547895260 862785536 24521 4294967295 134512640 134569956 3221224400 3221214744 1131269671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 24521 13073 16 0 210625 0
vsize: 842564
[startup+190.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 17911 43 0 0 25 0 11 0 547895260 862785536 24619 4294967295 134512640 134569956 3221224400 3221214696 1131206625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 24619 13073 16 0 210625 0
vsize: 842564
[startup+200.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 18888 43 0 0 25 0 11 0 547895260 862785536 24820 4294967295 134512640 134569956 3221224400 3221214792 1131344504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 24820 13073 16 0 210625 0
vsize: 842564
[startup+210.029 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 19871 43 0 0 25 0 11 0 547895260 862785536 24873 4294967295 134512640 134569956 3221224400 3221214696 1131206593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 24873 13073 16 0 210625 0
vsize: 842564
[startup+220.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 20852 43 0 0 25 0 11 0 547895260 862785536 25104 4294967295 134512640 134569956 3221224400 3221214696 1131207539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 25104 13073 16 0 210625 0
vsize: 842564
[startup+230.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 21838 43 0 0 25 0 11 0 547895260 862785536 25161 4294967295 134512640 134569956 3221224400 3221214792 1131344476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 25161 13073 16 0 210625 0
vsize: 842564
[startup+240.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 22823 43 0 0 25 0 11 0 547895260 862785536 25202 4294967295 134512640 134569956 3221224400 3221214792 1131345432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 25202 13073 16 0 210625 0
vsize: 842564
[startup+250.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 23801 43 0 0 25 0 11 0 547895260 862785536 25308 4294967295 134512640 134569956 3221224400 3221214696 1131206935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25308 13073 16 0 210625 0
vsize: 842564
[startup+260.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 24779 43 0 0 25 0 11 0 547895260 862785536 25328 4294967295 134512640 134569956 3221224400 3221214696 1131206696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25328 13073 16 0 210625 0
vsize: 842564
[startup+270.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 25750 43 0 0 25 0 11 0 547895260 862785536 25441 4294967295 134512640 134569956 3221224400 3221214696 1131207021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 25441 13073 16 0 210625 0
vsize: 842564
[startup+280.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 26727 43 0 0 24 0 11 0 547895260 862785536 25765 4294967295 134512640 134569956 3221224400 3221214696 1131206932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 25765 13073 16 0 210625 0
vsize: 842564
[startup+290.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 27707 43 0 0 25 0 11 0 547895260 862785536 25856 4294967295 134512640 134569956 3221224400 3221214792 1131343458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 25856 13073 16 0 210625 0
vsize: 842564
[startup+300.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 28686 43 0 0 25 0 11 0 547895260 862785536 25998 4294967295 134512640 134569956 3221224400 3221214696 1131207891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 25998 13073 16 0 210625 0
vsize: 842564
[startup+310.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 29668 43 0 0 25 0 11 0 547895260 862785536 26067 4294967295 134512640 134569956 3221224400 3221214816 1131301849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 26067 13073 16 0 210625 0
vsize: 842564
[startup+320.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 30651 43 0 0 25 0 11 0 547895260 862785536 26287 4294967295 134512640 134569956 3221224400 3221214696 1131207201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 26287 13073 16 0 210625 0
vsize: 842564
[startup+330.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 31638 43 0 0 25 0 11 0 547895260 862785536 26366 4294967295 134512640 134569956 3221224400 3221214960 1131340420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 26366 13073 16 0 210625 0
vsize: 842564
[startup+340.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) S 835 23176 23175 0 -1 0 18061 0 1 0 32624 43 0 0 25 0 11 0 547895260 862785536 26395 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 26395 13073 16 0 210625 0
vsize: 842564
[startup+350.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 33606 44 0 0 25 0 11 0 547895260 862785536 26457 4294967295 134512640 134569956 3221224400 3221214792 1131344496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 26457 13073 16 0 210625 0
vsize: 842564
[startup+360.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 34581 44 0 0 25 0 11 0 547895260 862785536 26495 4294967295 134512640 134569956 3221224400 3221214696 1131206714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 26495 13073 16 0 210625 0
vsize: 842564
[startup+370.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 35559 44 0 0 25 0 11 0 547895260 862785536 26591 4294967295 134512640 134569956 3221224400 3221214792 1131345399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 26591 13073 16 0 210625 0
vsize: 842564
[startup+380.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 36539 44 0 0 25 0 11 0 547895260 862785536 26975 4294967295 134512640 134569956 3221224400 3221214696 1131206946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 26975 13073 16 0 210625 0
vsize: 842564
[startup+390.212 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 37535 44 0 0 25 0 11 0 547895260 862785536 27008 4294967295 134512640 134569956 3221224400 3221214792 1131345459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 27008 13073 16 0 210625 0
vsize: 842564
[startup+400.213 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 38516 44 0 0 25 0 11 0 547895260 862785536 27070 4294967295 134512640 134569956 3221224400 3221214696 1131206593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 27070 13073 16 0 210625 0
vsize: 842564
[startup+410.225 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 39499 44 0 0 25 0 11 0 547895260 862785536 27102 4294967295 134512640 134569956 3221224400 3221214696 1131207021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 27102 13073 16 0 210625 0
vsize: 842564
[startup+420.236 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 40474 44 0 0 25 0 11 0 547895260 862785536 27285 4294967295 134512640 134569956 3221224400 3221214792 1131345432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 27285 13073 16 0 210625 0
vsize: 842564
[startup+430.237 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 41442 44 0 0 25 0 11 0 547895260 862785536 27345 4294967295 134512640 134569956 3221224400 3221214696 1131207091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 27345 13073 16 0 210625 0
vsize: 842564
[startup+440.237 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 42409 44 0 0 24 0 11 0 547895260 862785536 27425 4294967295 134512640 134569956 3221224400 3221214560 1131257895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 27425 13073 16 0 210625 0
vsize: 842564
[startup+450.239 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 43379 44 0 0 25 0 11 0 547895260 862785536 27875 4294967295 134512640 134569956 3221224400 3221214696 1131207247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 27875 13073 16 0 210625 0
vsize: 842564
[startup+460.239 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 44352 44 0 0 25 0 11 0 547895260 862785536 27956 4294967295 134512640 134569956 3221224400 3221214696 1131207807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 27956 13073 16 0 210625 0
vsize: 842564
[startup+470.239 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 45327 44 0 0 25 0 11 0 547895260 862785536 28031 4294967295 134512640 134569956 3221224400 3221214696 1131206905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 28031 13073 16 0 210625 0
vsize: 842564
[startup+480.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 46298 44 0 0 25 0 11 0 547895260 862785536 28139 4294967295 134512640 134569956 3221224400 3221214592 1131550548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 28139 13073 16 0 210625 0
vsize: 842564
[startup+490.241 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 47274 44 0 0 25 0 11 0 547895260 862785536 28349 4294967295 134512640 134569956 3221224400 3221214792 1131344527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 28349 13073 16 0 210625 0
vsize: 842564
[startup+500.242 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 48249 44 0 0 25 0 11 0 547895260 862785536 28435 4294967295 134512640 134569956 3221224400 3221214664 1131297644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 28435 13073 16 0 210625 0
vsize: 842564
[startup+510.246 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) S 835 23176 23175 0 -1 0 18061 0 1 0 49226 44 0 0 25 0 11 0 547895260 862785536 28559 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 28559 13073 16 0 210625 0
vsize: 842564
[startup+520.246 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 50204 44 0 0 25 0 11 0 547895260 862785536 28671 4294967295 134512640 134569956 3221224400 3221214792 1131343458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 28671 13073 16 0 210625 0
vsize: 842564
[startup+530.248 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 51181 44 0 0 25 0 11 0 547895260 862785536 28752 4294967295 134512640 134569956 3221224400 3221214792 1131344527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 28752 13073 16 0 210625 0
vsize: 842564
[startup+540.249 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 52158 44 0 0 25 0 11 0 547895260 862785536 28811 4294967295 134512640 134569956 3221224400 3221214696 1131207002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 28811 13073 16 0 210625 0
vsize: 842564
[startup+550.249 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 53135 44 0 0 25 0 11 0 547895260 862785536 28880 4294967295 134512640 134569956 3221224400 3221214696 1131207247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 28880 13073 16 0 210625 0
vsize: 842564
[startup+560.25 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 54112 45 0 0 25 0 11 0 547895260 862785536 28946 4294967295 134512640 134569956 3221224400 3221214696 1131206690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 28946 13073 16 0 210625 0
vsize: 842564
[startup+570.251 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 55086 45 0 0 25 0 11 0 547895260 862785536 29035 4294967295 134512640 134569956 3221224400 3221214696 1131207521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 29035 13073 16 0 210625 0
vsize: 842564
[startup+580.251 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 56060 45 0 0 25 0 11 0 547895260 862785536 29113 4294967295 134512640 134569956 3221224400 3221214696 1131207251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 29113 13073 16 0 210625 0
vsize: 842564
[startup+590.251 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 57034 45 0 0 25 0 11 0 547895260 862785536 29254 4294967295 134512640 134569956 3221224400 3221214696 1131206741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 29254 13073 16 0 210625 0
vsize: 842564
[startup+600.253 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 58013 45 0 0 25 0 11 0 547895260 862785536 29368 4294967295 134512640 134569956 3221224400 3221214120 1085679394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 29368 13073 16 0 210625 0
vsize: 842564
[startup+610.254 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 58992 45 0 0 25 0 11 0 547895260 862785536 29460 4294967295 134512640 134569956 3221224400 3221214792 1131344436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 29460 13073 16 0 210625 0
vsize: 842564
[startup+620.254 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 59970 45 0 0 25 0 11 0 547895260 862785536 29527 4294967295 134512640 134569956 3221224400 3221214696 1131207105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 29527 13073 16 0 210625 0
vsize: 842564
[startup+630.255 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 60951 45 0 0 25 0 11 0 547895260 862785536 29585 4294967295 134512640 134569956 3221224400 3221214816 1131302648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 29585 13073 16 0 210625 0
vsize: 842564
[startup+640.256 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 61927 45 0 0 25 0 11 0 547895260 862785536 29692 4294967295 134512640 134569956 3221224400 3221214696 1131206922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 29692 13073 16 0 210625 0
vsize: 842564
[startup+650.257 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 62897 45 0 0 25 0 11 0 547895260 862785536 29751 4294967295 134512640 134569956 3221224400 3221214696 1131206593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 29751 13073 16 0 210625 0
vsize: 842564
[startup+660.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 63868 45 0 0 25 0 11 0 547895260 862785536 29832 4294967295 134512640 134569956 3221224400 3221214696 1131207064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 29832 13073 16 0 210625 0
vsize: 842564
[startup+670.257 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 64837 45 0 0 25 0 11 0 547895260 862785536 30184 4294967295 134512640 134569956 3221224400 3221214696 1131207021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 30184 13073 16 0 210625 0
vsize: 842564
[startup+680.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 65809 45 0 0 25 0 11 0 547895260 862785536 30305 4294967295 134512640 134569956 3221224400 3221214792 1131343458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 30305 13073 16 0 210625 0
vsize: 842564
[startup+690.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 66781 46 0 0 25 0 11 0 547895260 862785536 30545 4294967295 134512640 134569956 3221224400 3221214792 1131343167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 30545 13073 16 0 210625 0
vsize: 842564
[startup+700.262 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 67760 46 0 0 25 0 11 0 547895260 862785536 30743 4294967295 134512640 134569956 3221224400 3221214696 1131206597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 30743 13073 16 0 210625 0
vsize: 842564
[startup+710.262 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 68743 46 0 0 25 0 11 0 547895260 862785536 30854 4294967295 134512640 134569956 3221224400 3221213928 1085679545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 30854 13073 16 0 210625 0
vsize: 842564
[startup+720.262 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 69716 46 0 0 25 0 11 0 547895260 862785536 30932 4294967295 134512640 134569956 3221224400 3221214696 1131207021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 30932 13073 16 0 210625 0
vsize: 842564
[startup+730.263 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 70691 46 0 0 25 0 11 0 547895260 862785536 30986 4294967295 134512640 134569956 3221224400 3221214744 1131269501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 30986 13073 16 0 210625 0
vsize: 842564
[startup+740.264 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 71662 46 0 0 25 0 11 0 547895260 862785536 31061 4294967295 134512640 134569956 3221224400 3221214792 1131343386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 31061 13073 16 0 210625 0
vsize: 842564
[startup+750.265 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 72639 46 0 0 25 0 11 0 547895260 862785536 31438 4294967295 134512640 134569956 3221224400 3221214696 1131206637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 31438 13073 16 0 210625 0
vsize: 842564
[startup+760.266 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 73617 46 0 0 25 0 11 0 547895260 862785536 31543 4294967295 134512640 134569956 3221224400 3221214792 1131343458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 31543 13073 16 0 210625 0
vsize: 842564
[startup+770.267 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 74599 46 0 0 25 0 11 0 547895260 862785536 31653 4294967295 134512640 134569956 3221224400 3221214696 1131206597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 31653 13073 16 0 210625 0
vsize: 842564
[startup+780.268 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 75583 46 0 0 25 0 11 0 547895260 862785536 31731 4294967295 134512640 134569956 3221224400 3221214792 1131344476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 31731 13073 16 0 210625 0
vsize: 842564
[startup+790.268 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 76564 47 0 0 25 0 11 0 547895260 862785536 31800 4294967295 134512640 134569956 3221224400 3221214696 1131206905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 31800 13073 16 0 210625 0
vsize: 842564
[startup+800.269 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 77544 47 0 0 25 0 11 0 547895260 862785536 31841 4294967295 134512640 134569956 3221224400 3221214696 1131206625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 31841 13073 16 0 210625 0
vsize: 842564
[startup+810.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 78522 47 0 0 25 0 11 0 547895260 862785536 31926 4294967295 134512640 134569956 3221224400 3221214792 1131344534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 31926 13073 16 0 210625 0
vsize: 842564
[startup+820.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 79493 47 0 0 25 0 11 0 547895260 862785536 32077 4294967295 134512640 134569956 3221224400 3221214792 1131344504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 32077 13073 16 0 210625 0
vsize: 842564
[startup+830.271 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 80460 47 0 0 25 0 11 0 547895260 862785536 32280 4294967295 134512640 134569956 3221224400 3221214696 1131207021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 32280 13073 16 0 210625 0
vsize: 842564
[startup+840.271 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 81425 47 0 0 25 0 11 0 547895260 862785536 32369 4294967295 134512640 134569956 3221224400 3221214696 1131207006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 32369 13073 16 0 210625 0
vsize: 842564
[startup+850.273 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 82388 47 0 0 25 0 11 0 547895260 862785536 32765 4294967295 134512640 134569956 3221224400 3221214792 1131344527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 32765 13073 16 0 210625 0
vsize: 842564
[startup+860.274 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 83365 47 0 0 25 0 11 0 547895260 862785536 33174 4294967295 134512640 134569956 3221224400 3221214696 1131207021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 33174 13073 16 0 210625 0
vsize: 842564
[startup+870.274 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 84345 47 0 0 25 0 11 0 547895260 862785536 33227 4294967295 134512640 134569956 3221224400 3221214696 1131206658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 33227 13073 16 0 210625 0
vsize: 842564
[startup+880.274 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 85327 47 0 0 25 0 11 0 547895260 862785536 33296 4294967295 134512640 134569956 3221224400 3221214696 1131207251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 33296 13073 16 0 210625 0
vsize: 842564
[startup+890.275 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 86303 47 0 0 25 0 11 0 547895260 862785536 33386 4294967295 134512640 134569956 3221224400 3221214696 1131206932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 33386 13073 16 0 210625 0
vsize: 842564
[startup+900.276 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 87282 47 0 0 25 0 11 0 547895260 862785536 33421 4294967295 134512640 134569956 3221224400 3221214696 1131206688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 33421 13073 16 0 210625 0
vsize: 842564
[startup+910.277 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 88257 47 0 0 25 0 11 0 547895260 862785536 33553 4294967295 134512640 134569956 3221224400 3221214696 1131207568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 33553 13073 16 0 210625 0
vsize: 842564
[startup+920.278 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 89238 47 0 0 25 0 11 0 547895260 862785536 33721 4294967295 134512640 134569956 3221224400 3221214016 1131549228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 33721 13073 16 0 210625 0
vsize: 842564
[startup+930.279 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 90218 47 0 0 24 0 11 0 547895260 862785536 33749 4294967295 134512640 134569956 3221224400 3221214696 1131207247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 33749 13073 16 0 210625 0
vsize: 842564
[startup+940.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 91191 47 0 0 25 0 11 0 547895260 862785536 33864 4294967295 134512640 134569956 3221224400 3221214792 1131344180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 33864 13073 16 0 210625 0
vsize: 842564
[startup+950.281 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 92160 47 0 0 25 0 11 0 547895260 862785536 34432 4294967295 134512640 134569956 3221224400 3221214696 1131206589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 34432 13073 16 0 210625 0
vsize: 842564
[startup+960.282 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 93127 47 0 0 25 0 11 0 547895260 862785536 34432 4294967295 134512640 134569956 3221224400 3221214696 1131207021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 34432 13073 16 0 210625 0
vsize: 842564
[startup+970.282 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 94090 47 0 0 25 0 11 0 547895260 862785536 34486 4294967295 134512640 134569956 3221224400 3221214696 1131206593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 34486 13073 16 0 210625 0
vsize: 842564
[startup+980.283 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 95060 47 0 0 25 0 11 0 547895260 862785536 35046 4294967295 134512640 134569956 3221224400 3221214696 1131207950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 35046 13073 16 0 210625 0
vsize: 842564
[startup+990.284 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 96030 47 0 0 25 0 11 0 547895260 862785536 35182 4294967295 134512640 134569956 3221224400 3221214696 1131206932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 35182 13073 16 0 210625 0
vsize: 842564
[startup+1000.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 97004 48 0 0 25 0 11 0 547895260 862785536 35329 4294967295 134512640 134569956 3221224400 3221214696 1131206593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 35329 13073 16 0 210625 0
vsize: 842564
[startup+1010.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 97979 48 0 0 25 0 11 0 547895260 862785536 35503 4294967295 134512640 134569956 3221224400 3221214792 1131343048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 35503 13073 16 0 210625 0
vsize: 842564
[startup+1020.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 98957 48 0 0 25 0 11 0 547895260 862785536 35653 4294967295 134512640 134569956 3221224400 3221214664 1131297644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 35653 13073 16 0 210625 0
vsize: 842564
[startup+1030.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 99934 48 0 0 25 0 11 0 547895260 862785536 35759 4294967295 134512640 134569956 3221224400 3221214664 1131297648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 35759 13073 16 0 210625 0
vsize: 842564
[startup+1040.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 100904 48 0 0 25 0 11 0 547895260 862785536 35802 4294967295 134512640 134569956 3221224400 3221214696 1131206653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 35802 13073 16 0 210625 0
vsize: 842564
[startup+1050.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 101871 48 0 0 25 0 11 0 547895260 862785536 35860 4294967295 134512640 134569956 3221224400 3221214696 1131207002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 35860 13073 16 0 210625 0
vsize: 842564
[startup+1060.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 102834 48 0 0 25 0 11 0 547895260 862785536 35981 4294967295 134512640 134569956 3221224400 3221214696 1131207074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 35981 13073 16 0 210625 0
vsize: 842564
[startup+1070.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 103798 48 0 0 25 0 11 0 547895260 862785536 36204 4294967295 134512640 134569956 3221224400 3221214696 1131206625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 36204 13073 16 0 210625 0
vsize: 842564
[startup+1080.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 104763 48 0 0 25 0 11 0 547895260 862785536 36414 4294967295 134512640 134569956 3221224400 3221214792 1131343393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 36414 13073 16 0 210625 0
vsize: 842564
[startup+1090.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 105732 48 0 0 25 0 11 0 547895260 862785536 36489 4294967295 134512640 134569956 3221224400 3221214696 1131206637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 36489 13073 16 0 210625 0
vsize: 842564
[startup+1100.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 106698 48 0 0 25 0 11 0 547895260 862785536 36701 4294967295 134512640 134569956 3221224400 3221214696 1131206714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 36701 13073 16 0 210625 0
vsize: 842564
[startup+1110.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 107668 48 0 0 25 0 11 0 547895260 862785536 36963 4294967295 134512640 134569956 3221224400 3221214792 1131344527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 36963 13073 16 0 210625 0
vsize: 842564
[startup+1120.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 108641 48 0 0 25 0 11 0 547895260 862785536 37178 4294967295 134512640 134569956 3221224400 3221214696 1131207021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 37178 13073 16 0 210625 0
vsize: 842564
[startup+1130.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 109618 48 0 0 24 0 11 0 547895260 862785536 37222 4294967295 134512640 134569956 3221224400 3221214696 1131207052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 37222 13073 16 0 210625 0
vsize: 842564
[startup+1140.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 110595 48 0 0 25 0 11 0 547895260 862785536 37316 4294967295 134512640 134569956 3221224400 3221214696 1131207539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 37316 13073 16 0 210625 0
vsize: 842564
[startup+1150.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 111567 48 0 0 22 0 11 0 547895260 862785536 37384 4294967295 134512640 134569956 3221224400 3221214936 1131218009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 37384 13073 16 0 210625 0
vsize: 842564
[startup+1160.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 112537 48 0 0 25 0 11 0 547895260 862785536 37435 4294967295 134512640 134569956 3221224400 3221214696 1131207021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 37435 13073 16 0 210625 0
vsize: 842564
[startup+1170.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) S 835 23176 23175 0 -1 0 18061 0 1 0 113510 48 0 0 25 0 11 0 547895260 862785536 37608 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 37608 13073 16 0 210625 0
vsize: 842564
[startup+1180.31 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 114473 48 0 0 25 0 11 0 547895260 862785536 37800 4294967295 134512640 134569956 3221224400 3221214696 1131206630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 37800 13073 16 0 210625 0
vsize: 842564
[startup+1190.31 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 115444 48 0 0 25 0 11 0 547895260 862785536 37984 4294967295 134512640 134569956 3221224400 3221214696 1131207110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 37984 13073 16 0 210625 0
vsize: 842564
[startup+1200.31 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 116414 48 0 0 25 0 11 0 547895260 862785536 38035 4294967295 134512640 134569956 3221224400 3221214312 1131550546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 38035 13073 16 0 210625 0
vsize: 842564
[startup+1210.31 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 117388 48 0 0 25 0 11 0 547895260 862785536 38311 4294967295 134512640 134569956 3221224400 3221214664 1131297651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 38311 13073 16 0 210625 0
vsize: 842564
[startup+1220.31 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 118362 48 0 0 25 0 11 0 547895260 862785536 38402 4294967295 134512640 134569956 3221224400 3221214696 1131207021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 38402 13073 16 0 210625 0
vsize: 842564
[startup+1230.31 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 119337 48 0 0 25 0 11 0 547895260 862785536 38481 4294967295 134512640 134569956 3221224400 3221214792 1131344534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 38481 13073 16 0 210625 0
vsize: 842564
[startup+1240.31 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 846
Raw data (stat): 836 (java) R 835 23176 23175 0 -1 0 18061 0 1 0 120310 48 0 0 25 0 11 0 547895260 862785536 38567 4294967295 134512640 134569956 3221224400 3221214480 1131550567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 38567 13073 16 0 210625 0
vsize: 842564
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.45 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 848
Raw data (stat): 836 (java) Z 835 23176 23175 0 -1 1036 18061 24478 1 0 120314 56 4624 66 25 0 1 0 547895260 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.45
CPU time (s): 1250.61
CPU user time (s): 1249.39
CPU system time (s): 1.22281
CPU usage (%): 100.82
Max. virtual memory (Kb): 843784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####