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-wood1p.opb
MD5SUM	ebfeaf296769d76c3baeac85e245b267
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	52428800000000
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	64856524263290100
Number of bits of the biggest sum of numbers	56
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	7.12892
Number of variables	51880
Total number of constraints	244
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	244
Minimum length of a constraint	20
Maximum length of a constraint	51840
Trace number 15965

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-21 06:00:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16584 boxname=wulflinc25 idbench=1276 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ebfeaf296769d76c3baeac85e245b267  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-wood1p.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-wood1p.opb
IDLAUNCH: 16584
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        739980 kB
Buffers:         23136 kB
Cached:         250852 kB
SwapCached:        732 kB
Active:          70920 kB
Inactive:       205076 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        739728 kB
SwapTotal:     2097892 kB
SwapFree:      2096248 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            13144 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 06:22:21 (client local time) WITH STATUS 143 IN 1322.78 SECONDS
stats: 16584 7 1322.78 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-wood1p.opb
c reading problem 
c [nbvar=51880]
c [nbconstr=244]
c time 833.57
c #vars     51880
c #clauses  415
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.89 0.94 0.90 2/54 30247
Raw data (stat): 30247 (runsolver) R 30246 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542763470 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.0006 s]
Raw data (loadavg): 0.91 0.94 0.90 2/63 30256
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 17998 0 1 0 882 40 0 0 24 0 10 0 542763470 853774336 19228 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208441 19228 13073 16 0 208425 0
vsize: 833764
[startup+20.0012 s]
Raw data (loadavg): 0.92 0.94 0.90 4/63 30256
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 1699 41 0 0 25 0 10 0 542763470 866336768 22933 4294967295 134512640 134569956 3221224400 3221214644 1076460929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211508 22933 13073 16 0 211492 0
vsize: 846032
[startup+30.0019 s]
Raw data (loadavg): 1.08 0.98 0.91 2/63 30256
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 2510 41 0 0 25 0 10 0 542763470 862576640 23132 4294967295 134512640 134569956 3221224400 3221214840 1131212620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210590 23132 13073 16 0 210574 0
vsize: 842360
[startup+40.0145 s]
Raw data (loadavg): 1.22 1.01 0.92 2/63 30256
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 3356 42 0 0 25 0 10 0 542763470 860549120 23425 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 23425 13073 16 0 210079 0
vsize: 840380
[startup+50.014 s]
Raw data (loadavg): 1.19 1.01 0.92 2/63 30256
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 4207 43 0 0 25 0 10 0 542763470 860450816 25280 4294967295 134512640 134569956 3221224400 3221214840 1131212874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 25280 13073 16 0 210055 0
vsize: 840284
[startup+60.0136 s]
Raw data (loadavg): 1.16 1.01 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 5061 44 0 0 24 0 10 0 542763470 860450816 25891 4294967295 134512640 134569956 3221224400 3221214840 1131214346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 25891 13073 16 0 210055 0
vsize: 840284
[startup+70.02 s]
Raw data (loadavg): 1.13 1.01 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 5923 44 0 0 25 0 10 0 542763470 860450816 26060 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 26060 13073 16 0 210055 0
vsize: 840284
[startup+80.0258 s]
Raw data (loadavg): 1.11 1.01 0.92 2/63 30258
Raw data (stat): 30247 (java) S 30246 28099 28098 0 -1 0 18020 0 1 0 6764 46 0 0 22 0 10 0 542763470 860450816 27807 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 27807 13073 16 0 210055 0
vsize: 840284
[startup+90.0255 s]
Raw data (loadavg): 1.09 1.01 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 7629 46 0 0 17 0 10 0 542763470 860450816 27920 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 27920 13073 16 0 210055 0
vsize: 840284
[startup+100.025 s]
Raw data (loadavg): 1.08 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 8482 47 0 0 18 0 10 0 542763470 860450816 28496 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 28496 13073 16 0 210055 0
vsize: 840284
[startup+110.029 s]
Raw data (loadavg): 1.07 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 9338 47 0 0 15 0 10 0 542763470 860450816 29488 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 29488 13073 16 0 210055 0
vsize: 840284
[startup+120.028 s]
Raw data (loadavg): 1.06 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 10208 48 0 0 18 0 10 0 542763470 860450816 29791 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 29791 13073 16 0 210055 0
vsize: 840284
[startup+130.029 s]
Raw data (loadavg): 1.05 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 11096 48 0 0 22 0 10 0 542763470 860450816 30095 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 30095 13073 16 0 210055 0
vsize: 840284
[startup+140.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 12029 48 0 0 25 0 10 0 542763470 860450816 30470 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 30470 13073 16 0 210055 0
vsize: 840284
[startup+150.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 12974 48 0 0 25 0 10 0 542763470 860450816 30529 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 30529 13073 16 0 210055 0
vsize: 840284
[startup+160.031 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 13922 49 0 0 25 0 10 0 542763470 860450816 30582 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 30582 13073 16 0 210055 0
vsize: 840284
[startup+170.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) S 30246 28099 28098 0 -1 0 18020 0 1 0 14870 49 0 0 25 0 10 0 542763470 860450816 30633 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 30633 13073 16 0 210055 0
vsize: 840284
[startup+180.036 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 15816 49 0 0 25 0 10 0 542763470 860450816 30686 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 30686 13073 16 0 210055 0
vsize: 840284
[startup+190.036 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 16700 50 0 0 24 0 10 0 542763470 860450816 31045 4294967295 134512640 134569956 3221224400 3221214828 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 31045 13073 16 0 210055 0
vsize: 840284
[startup+200.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 17585 50 0 0 25 0 10 0 542763470 860450816 31045 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 31045 13073 16 0 210055 0
vsize: 840284
[startup+210.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 18458 51 0 0 25 0 10 0 542763470 860450816 31602 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 31602 13073 16 0 210055 0
vsize: 840284
[startup+220.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 19352 52 0 0 25 0 10 0 542763470 860450816 31871 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 31871 13073 16 0 210055 0
vsize: 840284
[startup+230.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 20223 52 0 0 25 0 10 0 542763470 860450816 32286 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 32286 13073 16 0 210055 0
vsize: 840284
[startup+240.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 21084 53 0 0 25 0 10 0 542763470 860450816 33631 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 33631 13073 16 0 210055 0
vsize: 840284
[startup+250.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 21979 53 0 0 25 0 10 0 542763470 860450816 33631 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 33631 13073 16 0 210055 0
vsize: 840284
[startup+260.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 22854 53 0 0 25 0 10 0 542763470 860450816 34283 4294967295 134512640 134569956 3221224400 3221214288 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 34283 13073 16 0 210055 0
vsize: 840284
[startup+270.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 23740 54 0 0 24 0 10 0 542763470 860450816 34283 4294967295 134512640 134569956 3221224400 3221214836 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 34283 13073 16 0 210055 0
vsize: 840284
[startup+280.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 24613 54 0 0 25 0 10 0 542763470 860450816 34955 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 34955 13073 16 0 210055 0
vsize: 840284
[startup+290.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 25497 54 0 0 25 0 10 0 542763470 860450816 35824 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 35824 13073 16 0 210055 0
vsize: 840284
[startup+300.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) S 30246 28099 28098 0 -1 0 18020 0 1 0 26377 54 0 0 25 0 10 0 542763470 860450816 36101 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 36101 13073 16 0 210055 0
vsize: 840284
[startup+310.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30258
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 27253 55 0 0 25 0 10 0 542763470 860450816 36376 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 36376 13073 16 0 210055 0
vsize: 840284
[startup+320.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 28132 55 0 0 25 0 10 0 542763470 860450816 36757 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 36757 13073 16 0 210055 0
vsize: 840284
[startup+330.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 29008 55 0 0 25 0 10 0 542763470 860450816 36759 4294967295 134512640 134569956 3221224400 3221214816 1131153579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 36759 13073 16 0 210055 0
vsize: 840284
[startup+340.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 29882 56 0 0 25 0 10 0 542763470 860450816 37693 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 37693 13073 16 0 210055 0
vsize: 840284
[startup+350.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 30773 56 0 0 25 0 10 0 542763470 860450816 37980 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 37980 13073 16 0 210055 0
vsize: 840284
[startup+360.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30260
Raw data (stat): 30247 (java) S 30246 28099 28098 0 -1 0 18020 0 1 0 31659 56 0 0 25 0 10 0 542763470 860450816 37988 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 37989 13073 16 0 210055 0
vsize: 840284
[startup+370.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30260
Raw data (stat): 30247 (java) S 30246 28099 28098 0 -1 0 18020 0 1 0 32592 56 0 0 25 0 10 0 542763470 860450816 38342 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 38342 13073 16 0 210055 0
vsize: 840284
[startup+380.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30260
Raw data (stat): 30247 (java) S 30246 28099 28098 0 -1 0 18020 0 1 0 33525 56 0 0 25 0 10 0 542763470 860450816 38375 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 38375 13073 16 0 210055 0
vsize: 840284
[startup+390.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 34461 56 0 0 24 0 10 0 542763470 860450816 38408 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 38408 13073 16 0 210055 0
vsize: 840284
[startup+400.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 35396 56 0 0 24 0 10 0 542763470 860450816 38439 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 38439 13073 16 0 210055 0
vsize: 840284
[startup+410.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 36331 56 0 0 25 0 10 0 542763470 860450816 38470 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 38470 13073 16 0 210055 0
vsize: 840284
[startup+420.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 37266 56 0 0 25 0 10 0 542763470 860450816 38500 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 38500 13073 16 0 210055 0
vsize: 840284
[startup+430.046 s]
Raw data (loadavg): 1.07 1.02 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 38200 56 0 0 24 0 10 0 542763470 860450816 38530 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 38530 13073 16 0 210055 0
vsize: 840284
[startup+440.046 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 39133 56 0 0 25 0 10 0 542763470 860450816 38559 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 38559 13073 16 0 210055 0
vsize: 840284
[startup+450.046 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 40065 57 0 0 25 0 10 0 542763470 860450816 38588 4294967295 134512640 134569956 3221224400 3221214304 1131466250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 38588 13073 16 0 210055 0
vsize: 840284
[startup+460.047 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 40973 57 0 0 25 0 10 0 542763470 860450816 39435 4294967295 134512640 134569956 3221224400 3221214512 1130894840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 39435 13073 16 0 210055 0
vsize: 840284
[startup+470.047 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 41891 57 0 0 25 0 10 0 542763470 860450816 39435 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 39435 13073 16 0 210055 0
vsize: 840284
[startup+480.047 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 42779 58 0 0 25 0 10 0 542763470 860450816 39935 4294967295 134512640 134569956 3221224400 3221214828 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 39935 13073 16 0 210055 0
vsize: 840284
[startup+490.048 s]
Raw data (loadavg): 1.02 1.01 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 43695 58 0 0 25 0 10 0 542763470 860450816 40257 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 40257 13073 16 0 210055 0
vsize: 840284
[startup+500.048 s]
Raw data (loadavg): 1.02 1.01 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 44602 58 0 0 25 0 10 0 542763470 860450816 40803 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 40803 13073 16 0 210055 0
vsize: 840284
[startup+510.049 s]
Raw data (loadavg): 1.02 1.01 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 45479 59 0 0 24 0 10 0 542763470 860450816 42499 4294967295 134512640 134569956 3221224400 3221214836 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 42499 13073 16 0 210055 0
vsize: 840284
[startup+520.049 s]
Raw data (loadavg): 1.01 1.01 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 46398 59 0 0 25 0 10 0 542763470 860450816 42941 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 42941 13073 16 0 210055 0
vsize: 840284
[startup+530.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 47307 59 0 0 25 0 10 0 542763470 860450816 43480 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 43480 13073 16 0 210055 0
vsize: 840284
[startup+540.051 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 48222 59 0 0 25 0 10 0 542763470 860450816 43907 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 43907 13073 16 0 210055 0
vsize: 840284
[startup+550.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 49127 59 0 0 25 0 10 0 542763470 860450816 44461 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 44461 13073 16 0 210055 0
vsize: 840284
[startup+560.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 50037 60 0 0 25 0 10 0 542763470 860450816 45769 4294967295 134512640 134569956 3221224400 3221214420 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 45769 13073 16 0 210055 0
vsize: 840284
[startup+570.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 50944 60 0 0 25 0 10 0 542763470 860450816 46667 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 46667 13073 16 0 210055 0
vsize: 840284
[startup+580.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 51858 60 0 0 25 0 10 0 542763470 860450816 46667 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 46667 13073 16 0 210055 0
vsize: 840284
[startup+590.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 52762 61 0 0 24 0 10 0 542763470 860450816 47624 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 47624 13073 16 0 210055 0
vsize: 840284
[startup+600.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 53673 61 0 0 24 0 10 0 542763470 860450816 47624 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 47624 13073 16 0 210055 0
vsize: 840284
[startup+610.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 54574 61 0 0 25 0 10 0 542763470 860450816 49061 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 49061 13073 16 0 210055 0
vsize: 840284
[startup+620.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 55476 62 0 0 25 0 10 0 542763470 860450816 49273 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 49273 13073 16 0 210055 0
vsize: 840284
[startup+630.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 56374 62 0 0 25 0 10 0 542763470 860450816 49273 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 49273 13073 16 0 210055 0
vsize: 840284
[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) S 30246 28099 28098 0 -1 0 18020 0 1 0 57287 62 0 0 25 0 10 0 542763470 860450816 49526 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 49526 13073 16 0 210055 0
vsize: 840284
[startup+650.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 58213 62 0 0 25 0 10 0 542763470 860450816 49550 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 49550 13073 16 0 210055 0
vsize: 840284
[startup+660.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 59135 62 0 0 25 0 10 0 542763470 860450816 49573 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 49573 13073 16 0 210055 0
vsize: 840284
[startup+670.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) S 30246 28099 28098 0 -1 0 18020 0 1 0 60060 62 0 0 25 0 10 0 542763470 860450816 49596 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 49596 13073 16 0 210055 0
vsize: 840284
[startup+680.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 60984 63 0 0 25 0 10 0 542763470 860450816 49619 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 49619 13073 16 0 210055 0
vsize: 840284
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 61906 63 0 0 25 0 10 0 542763470 860450816 49642 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 49642 13073 16 0 210055 0
vsize: 840284
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 62832 63 0 0 25 0 10 0 542763470 860450816 49663 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 49663 13073 16 0 210055 0
vsize: 840284
[startup+710.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 63753 63 0 0 25 0 10 0 542763470 860450816 49686 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 49686 13073 16 0 210055 0
vsize: 840284
[startup+720.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 64674 63 0 0 25 0 10 0 542763470 860450816 49709 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 49709 13073 16 0 210055 0
vsize: 840284
[startup+730.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 65594 63 0 0 25 0 10 0 542763470 860450816 50088 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 50088 13073 16 0 210055 0
vsize: 840284
[startup+740.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 66515 63 0 0 25 0 10 0 542763470 860450816 50088 4294967295 134512640 134569956 3221224400 3221214880 1131158433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 50088 13073 16 0 210055 0
vsize: 840284
[startup+750.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 67433 63 0 0 25 0 10 0 542763470 860450816 50094 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 50094 13073 16 0 210055 0
vsize: 840284
[startup+760.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 68342 63 0 0 24 0 10 0 542763470 860450816 50116 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 50116 13073 16 0 210055 0
vsize: 840284
[startup+770.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 69258 63 0 0 25 0 10 0 542763470 860450816 50136 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 50136 13073 16 0 210055 0
vsize: 840284
[startup+780.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 70168 63 0 0 24 0 10 0 542763470 860450816 50158 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 50158 13073 16 0 210055 0
vsize: 840284
[startup+790.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 71083 63 0 0 25 0 10 0 542763470 860450816 50178 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 50178 13073 16 0 210055 0
vsize: 840284
[startup+800.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 71964 64 0 0 25 0 10 0 542763470 860450816 52628 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 52628 13073 16 0 210055 0
vsize: 840284
[startup+810.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18020 0 1 0 72860 65 0 0 25 0 10 0 542763470 860450816 54238 4294967295 134512640 134569956 3221224400 3221205960 1073953089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 54238 13073 16 0 210055 0
vsize: 840284
[startup+820.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) S 30246 28099 28098 0 -1 0 18020 0 1 0 73730 69 0 0 25 0 10 0 542763470 860450816 59628 4294967295 134512640 134569956 3221224400 3221213600 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 59628 13073 16 0 210055 0
vsize: 840284
[startup+830.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18021 0 1 0 74559 73 0 0 25 0 10 0 542763470 860450816 67926 4294967295 134512640 134569956 3221224400 3221214816 1131153908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 67926 13073 16 0 210055 0
vsize: 840284
[startup+840.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 75403 75 0 0 25 0 10 0 542763470 860450816 74718 4294967295 134512640 134569956 3221224400 3221214728 1131252931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74718 13073 16 0 210055 0
vsize: 840284
[startup+850.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 76376 75 0 0 25 0 10 0 542763470 860450816 74686 4294967295 134512640 134569956 3221224400 3221214728 1131252063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74686 13073 16 0 210055 0
vsize: 840284
[startup+860.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 77346 75 0 0 24 0 10 0 542763470 860450816 74686 4294967295 134512640 134569956 3221224400 3221214824 1131273480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74686 13073 16 0 210055 0
vsize: 840284
[startup+870.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 78315 75 0 0 25 0 10 0 542763470 860450816 74702 4294967295 134512640 134569956 3221224400 3221214728 1131252941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74702 13073 16 0 210055 0
vsize: 840284
[startup+880.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 79284 76 0 0 25 0 10 0 542763470 860450816 74725 4294967295 134512640 134569956 3221224400 3221214712 1131253032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74725 13073 16 0 210055 0
vsize: 840284
[startup+890.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 80254 76 0 0 24 0 10 0 542763470 860450816 74737 4294967295 134512640 134569956 3221224400 3221214712 1131251741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74737 13073 16 0 210055 0
vsize: 840284
[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 81230 76 0 0 25 0 10 0 542763470 860450816 74747 4294967295 134512640 134569956 3221224400 3221214808 1131273398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74747 13073 16 0 210055 0
vsize: 840284
[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 82204 77 0 0 25 0 10 0 542763470 860450816 74758 4294967295 134512640 134569956 3221224400 3221214808 1131273398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74758 13073 16 0 210055 0
vsize: 840284
[startup+920.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 83180 77 0 0 25 0 10 0 542763470 860450816 74767 4294967295 134512640 134569956 3221224400 3221214712 1131251990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74767 13073 16 0 210055 0
vsize: 840284
[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 84152 78 0 0 25 0 10 0 542763470 860450816 74777 4294967295 134512640 134569956 3221224400 3221214808 1131273580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74777 13073 16 0 210055 0
vsize: 840284
[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 85117 78 0 0 24 0 10 0 542763470 860450816 74787 4294967295 134512640 134569956 3221224400 3221214712 1131251717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74787 13073 16 0 210055 0
vsize: 840284
[startup+950.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 86089 78 0 0 25 0 10 0 542763470 860450816 74795 4294967295 134512640 134569956 3221224400 3221214712 1131251760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 74795 13073 16 0 210055 0
vsize: 840284
[startup+960.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 87056 79 0 0 25 0 10 0 542763470 860450816 74816 4294967295 134512640 134569956 3221224400 3221214712 1131251681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74816 13073 16 0 210055 0
vsize: 840284
[startup+970.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 88028 79 0 0 25 0 10 0 542763470 860450816 74832 4294967295 134512640 134569956 3221224400 3221214712 1131252345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74832 13073 16 0 210055 0
vsize: 840284
[startup+980.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 88998 79 0 0 25 0 10 0 542763470 860450816 74839 4294967295 134512640 134569956 3221224400 3221214712 1131252048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74839 13073 16 0 210055 0
vsize: 840284
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 89969 80 0 0 25 0 10 0 542763470 860450816 74855 4294967295 134512640 134569956 3221224400 3221214712 1131252113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74855 13073 16 0 210055 0
vsize: 840284
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 90936 80 0 0 25 0 10 0 542763470 860450816 74867 4294967295 134512640 134569956 3221224400 3221214712 1131253006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74867 13073 16 0 210055 0
vsize: 840284
[startup+1010.07 s]
Raw data (loadavg): 1.07 1.02 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 91900 80 0 0 25 0 10 0 542763470 860450816 74877 4294967295 134512640 134569956 3221224400 3221214808 1131274253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74877 13073 16 0 210055 0
vsize: 840284
[startup+1020.07 s]
Raw data (loadavg): 1.06 1.02 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 92860 81 0 0 24 0 10 0 542763470 860450816 74895 4294967295 134512640 134569956 3221224400 3221214712 1131251767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74895 13073 16 0 210055 0
vsize: 840284
[startup+1030.07 s]
Raw data (loadavg): 1.05 1.01 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 93823 81 0 0 24 0 10 0 542763470 860450816 74915 4294967295 134512640 134569956 3221224400 3221214808 1131273469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74915 13073 16 0 210055 0
vsize: 840284
[startup+1040.07 s]
Raw data (loadavg): 1.04 1.01 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 94788 82 0 0 25 0 10 0 542763470 860450816 74931 4294967295 134512640 134569956 3221224400 3221214712 1131252238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74931 13073 16 0 210055 0
vsize: 840284
[startup+1050.07 s]
Raw data (loadavg): 1.04 1.01 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 95752 82 0 0 25 0 10 0 542763470 860450816 74958 4294967295 134512640 134569956 3221224400 3221214712 1131252285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74958 13073 16 0 210055 0
vsize: 840284
[startup+1060.07 s]
Raw data (loadavg): 1.03 1.01 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 96716 83 0 0 25 0 10 0 542763470 860450816 74972 4294967295 134512640 134569956 3221224400 3221214712 1131252183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210071 74972 13073 16 0 210055 0
vsize: 840284
[startup+1070.07 s]
Raw data (loadavg): 1.02 1.01 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 97681 83 0 0 25 0 10 0 542763470 860450816 74987 4294967295 134512640 134569956 3221224400 3221214712 1131252360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 74987 13073 16 0 210055 0
vsize: 840284
[startup+1080.07 s]
Raw data (loadavg): 1.02 1.01 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 98645 84 0 0 25 0 10 0 542763470 860450816 75002 4294967295 134512640 134569956 3221224400 3221214712 1131252113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75002 13073 16 0 210055 0
vsize: 840284
[startup+1090.07 s]
Raw data (loadavg): 1.02 1.01 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 99609 84 0 0 25 0 10 0 542763470 860450816 75017 4294967295 134512640 134569956 3221224400 3221214712 1131252285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75017 13073 16 0 210055 0
vsize: 840284
[startup+1100.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 100574 84 0 0 25 0 10 0 542763470 860450816 75032 4294967295 134512640 134569956 3221224400 3221214808 1131272311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75032 13073 16 0 210055 0
vsize: 840284
[startup+1110.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 101539 85 0 0 25 0 10 0 542763470 860450816 75048 4294967295 134512640 134569956 3221224400 3221214712 1131252113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75048 13073 16 0 210055 0
vsize: 840284
[startup+1120.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 102503 85 0 0 25 0 10 0 542763470 860450816 75063 4294967295 134512640 134569956 3221224400 3221214712 1131252343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75063 13073 16 0 210055 0
vsize: 840284
[startup+1130.08 s]
Raw data (loadavg): 1.01 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 103470 85 0 0 25 0 10 0 542763470 860450816 75081 4294967295 134512640 134569956 3221224400 3221214712 1131251685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75081 13073 16 0 210055 0
vsize: 840284
[startup+1140.08 s]
Raw data (loadavg): 1.01 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 104436 85 0 0 25 0 10 0 542763470 860450816 75097 4294967295 134512640 134569956 3221224400 3221214808 1131272311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75097 13073 16 0 210055 0
vsize: 840284
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 105403 86 0 0 25 0 10 0 542763470 860450816 75110 4294967295 134512640 134569956 3221224400 3221214808 1131272304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75110 13073 16 0 210055 0
vsize: 840284
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 106369 86 0 0 25 0 10 0 542763470 860450816 75122 4294967295 134512640 134569956 3221224400 3221214712 1131252065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75122 13073 16 0 210055 0
vsize: 840284
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 107331 86 0 0 25 0 10 0 542763470 860450816 75135 4294967295 134512640 134569956 3221224400 3221214712 1131253025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75135 13073 16 0 210055 0
vsize: 840284
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 108293 87 0 0 25 0 10 0 542763470 860450816 75149 4294967295 134512640 134569956 3221224400 3221214808 1131272311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75149 13073 16 0 210055 0
vsize: 840284
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 109257 87 0 0 25 0 10 0 542763470 860450816 75185 4294967295 134512640 134569956 3221224400 3221214808 1131273608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75185 13073 16 0 210055 0
vsize: 840284
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 110224 87 0 0 25 0 10 0 542763470 860450816 75198 4294967295 134512640 134569956 3221224400 3221214712 1131252061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75198 13073 16 0 210055 0
vsize: 840284
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 111188 87 0 0 25 0 10 0 542763470 860450816 75214 4294967295 134512640 134569956 3221224400 3221214808 1131272311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75214 13073 16 0 210055 0
vsize: 840284
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) S 30246 28099 28098 0 -1 0 18045 0 2 0 112151 87 0 0 25 0 10 0 542763470 860450816 75231 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75231 13073 16 0 210055 0
vsize: 840284
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 113112 87 0 0 24 0 10 0 542763470 860450816 75249 4294967295 134512640 134569956 3221224400 3221214712 1131253214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75249 13073 16 0 210055 0
vsize: 840284
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 114075 87 0 0 24 0 10 0 542763470 860450816 75265 4294967295 134512640 134569956 3221224400 3221214712 1131252113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75265 13073 16 0 210055 0
vsize: 840284
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 115039 88 0 0 25 0 10 0 542763470 860450816 75287 4294967295 134512640 134569956 3221224400 3221214712 1131252285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75287 13073 16 0 210055 0
vsize: 840284
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 116004 88 0 0 25 0 10 0 542763470 860450816 75309 4294967295 134512640 134569956 3221224400 3221214808 1131273289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75309 13073 16 0 210055 0
vsize: 840284
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 116970 88 0 0 25 0 10 0 542763470 860450816 75323 4294967295 134512640 134569956 3221224400 3221214808 1131274325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75323 13073 16 0 210055 0
vsize: 840284
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 117934 89 0 0 25 0 10 0 542763470 860450816 75340 4294967295 134512640 134569956 3221224400 3221214808 1131274325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75340 13073 16 0 210055 0
vsize: 840284
[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 118898 89 0 0 25 0 10 0 542763470 860450816 75358 4294967295 134512640 134569956 3221224400 3221214712 1131252162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75358 13073 16 0 210055 0
vsize: 840284
[startup+1300.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 119861 89 0 0 25 0 10 0 542763470 860450816 75377 4294967295 134512640 134569956 3221224400 3221214712 1131252113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75377 13073 16 0 210055 0
vsize: 840284
[startup+1310.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 30260
Raw data (stat): 30247 (java) R 30246 28099 28098 0 -1 0 18045 0 2 0 120822 89 0 0 25 0 10 0 542763470 860450816 75391 4294967295 134512640 134569956 3221224400 3221214808 1131273428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210071 75391 13073 16 0 210055 0
vsize: 840284
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.26 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 30261
Raw data (stat): 30247 (java) Z 30246 28099 28098 0 -1 1036 18045 65131 2 0 120824 103 11185 163 25 0 1 0 542763470 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1310.26
CPU time (s): 1322.78
CPU user time (s): 1320.1
CPU system time (s): 2.67859
CPU usage (%): 100.955
Max. virtual memory (Kb): 846032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####