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/MIPLIB/miplib2003/normalized-mps-v2-13-7-cap6000.opb
MD5SUM	f72618c4c62a4e83b66d53971e0bdc53
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-260522
Optimality of the best value was proved	NO
Number of terms in the objective function	5995
Biggest coefficient in the objective function	91110
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	12969603
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	800000
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	28761906
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.17
Number of variables	6000
Total number of constraints	8176
Number of constraints which are clauses	222
Number of constraints which are cardinality constraints (but not clauses)	7919
Number of constraints which are nor clauses,nor cardinality constraints	35
Minimum length of a constraint	1
Maximum length of a constraint	6000
Trace number 18785

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        676600 kB
Buffers:          7244 kB
Cached:         325140 kB
SwapCached:        408 kB
Active:          49664 kB
Inactive:       285256 kB
HighTotal:      131008 kB
HighFree:        23604 kB
LowTotal:       903652 kB
LowFree:        652996 kB
SwapTotal:     2097892 kB
SwapFree:      2097056 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5856 kB
Slab:            17476 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 16:56:32 (client local time) WITH STATUS 143 IN 1216.59 SECONDS
stats: 17481 7 1216.59 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-cap6000.opb
c reading problem 
c [nbvar=6000]
c [nbconstr=8176]
c time 17.973
c #vars     6000
c #clauses  2294
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=-80463
c Current CPU time (ms) : 20.373
c starts	: 1
c conflicts	: 0
c decisions	: 5831
c propagations	: 6000
c inspects	: 587
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-82743
c Current CPU time (ms) : 24.942
c starts	: 2
c conflicts	: 1
c decisions	: 11662
c propagations	: 12001
c inspects	: 1191
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 2
#### 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.98 0.93 2/55 1053
Raw data (stat): 1053 (runsolver) R 1052 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 546575747 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 1062
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 17977 0 1 0 809 40 0 0 25 0 10 0 546575747 854016000 19103 4294967295 134512640 134569956 3221224400 3221214472 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 19103 13073 16 0 208484 0
vsize: 834000
[startup+20.0017 s]
Raw data (loadavg): 1.00 1.00 0.94 3/65 1063
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18013 0 3 0 1665 42 0 0 25 0 11 0 546575747 856494080 19874 4294967295 134512640 134569956 3221224400 3221214672 1131336565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 19874 13073 16 0 209089 0
vsize: 836420
[startup+30.002 s]
Raw data (loadavg): 1.31 1.07 0.96 2/65 1065
Raw data (stat): 1053 (java) S 1052 20838 20837 0 -1 0 18054 3 3 0 2454 43 0 0 25 0 11 0 546575747 863838208 23125 4294967295 134512640 134569956 3221224400 3221213648 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210898 23125 13073 16 0 210882 0
vsize: 843592
[startup+40.0056 s]
Raw data (loadavg): 1.26 1.06 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 3368 43 0 0 25 0 11 0 546575747 864235520 23294 4294967295 134512640 134569956 3221224400 3221214584 1131429602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 23294 13073 16 0 210979 0
vsize: 843980
[startup+50.0085 s]
Raw data (loadavg): 1.22 1.06 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 4277 44 0 0 24 0 11 0 546575747 864235520 23294 4294967295 134512640 134569956 3221224400 3221214408 1131454527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 23294 13073 16 0 210979 0
vsize: 843980
[startup+60.0088 s]
Raw data (loadavg): 1.19 1.06 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 5209 44 0 0 25 0 11 0 546575747 864235520 24133 4294967295 134512640 134569956 3221224400 3221214680 1131466530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24133 13073 16 0 210979 0
vsize: 843980
[startup+70.0083 s]
Raw data (loadavg): 1.16 1.06 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 6206 44 0 0 25 0 11 0 546575747 864235520 24133 4294967295 134512640 134569956 3221224400 3221214528 1131442212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24133 13073 16 0 210979 0
vsize: 843980
[startup+80.011 s]
Raw data (loadavg): 1.13 1.05 0.96 3/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 7186 44 0 0 25 0 11 0 546575747 864235520 24133 4294967295 134512640 134569956 3221224400 3221214728 1131277772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24133 13073 16 0 210979 0
vsize: 843980
[startup+90.0107 s]
Raw data (loadavg): 1.11 1.05 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 8144 44 0 0 25 0 11 0 546575747 864235520 24133 4294967295 134512640 134569956 3221224400 3221214632 1131345172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24133 13073 16 0 210979 0
vsize: 843980
[startup+100.01 s]
Raw data (loadavg): 1.09 1.05 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 9097 44 0 0 25 0 11 0 546575747 864235520 24133 4294967295 134512640 134569956 3221224400 3221214616 1131446070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24133 13073 16 0 210979 0
vsize: 843980
[startup+110.011 s]
Raw data (loadavg): 1.08 1.05 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 10055 44 0 0 25 0 11 0 546575747 864235520 24234 4294967295 134512640 134569956 3221224400 3221214512 1131442212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24234 13073 16 0 210979 0
vsize: 843980
[startup+120.011 s]
Raw data (loadavg): 1.07 1.05 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 11048 44 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214512 1131419576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+130.012 s]
Raw data (loadavg): 1.06 1.04 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 12045 44 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214568 1131430025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+140.013 s]
Raw data (loadavg): 1.05 1.04 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 13043 44 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214568 1131429605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+150.013 s]
Raw data (loadavg): 1.04 1.04 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 14040 44 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214608 1131419699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+160.013 s]
Raw data (loadavg): 1.03 1.04 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 15038 44 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214664 1131467554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+170.013 s]
Raw data (loadavg): 1.03 1.04 0.96 2/65 1065
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 16035 45 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214664 1131465619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+180.013 s]
Raw data (loadavg): 1.02 1.03 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 17033 45 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214652 1080203714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+190.014 s]
Raw data (loadavg): 1.02 1.03 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 18030 45 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214080 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+200.014 s]
Raw data (loadavg): 1.02 1.03 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 19027 45 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214624 1131414872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+210.014 s]
Raw data (loadavg): 1.01 1.03 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 20024 45 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214504 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+220.014 s]
Raw data (loadavg): 1.01 1.03 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 21021 45 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214512 1131419576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+230.015 s]
Raw data (loadavg): 1.01 1.03 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 22019 45 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214664 1131465547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+240.016 s]
Raw data (loadavg): 1.01 1.03 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 23016 45 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214512 1131419576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+250.016 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 24013 45 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214512 1131442219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+260.016 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 25011 45 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214512 1131442711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+270.015 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 26008 45 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214640 1131448285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+280.016 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 27005 46 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214080 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+290.016 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 28003 46 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214568 1131430600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+300.015 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 29000 46 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214512 1131442212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+310.016 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 29997 46 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214604 1080204314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+320.015 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 30994 47 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214568 1131429879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+330.016 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 31991 47 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214568 1131429605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+340.017 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 32989 47 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214664 1131465513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+350.016 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 33986 47 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214568 1131431347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+360.016 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 34984 47 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214376 1131448914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+370.016 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 35981 47 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214664 1131465903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+380.016 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 36979 47 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214500 1080203670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+390.016 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 37976 47 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214664 1131466149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+400.02 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 38974 47 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214568 1131430726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+410.02 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 39970 48 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214512 1131442222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+420.019 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 40968 48 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214656 1080203753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+430.021 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 41960 48 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214664 1131465786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+440.021 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 42942 48 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214664 1131467383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 43924 48 0 0 25 0 11 0 546575747 864235520 24425 4294967295 134512640 134569956 3221224400 3221214568 1131430160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 24425 13073 16 0 210979 0
vsize: 843980
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 44895 48 0 0 25 0 11 0 546575747 864235520 24528 4294967295 134512640 134569956 3221224400 3221214660 1131414675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24528 13073 16 0 210979 0
vsize: 843980
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1067
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 45856 49 0 0 25 0 11 0 546575747 864235520 24528 4294967295 134512640 134569956 3221224400 3221214568 1131430184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24528 13073 16 0 210979 0
vsize: 843980
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 46804 49 0 0 25 0 11 0 546575747 864235520 24528 4294967295 134512640 134569956 3221224400 3221214664 1131465461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24528 13073 16 0 210979 0
vsize: 843980
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 47752 49 0 0 25 0 11 0 546575747 864235520 24834 4294967295 134512640 134569956 3221224400 3221214868 1080204306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24834 13073 16 0 210979 0
vsize: 843980
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 48721 49 0 0 25 0 11 0 546575747 864235520 24834 4294967295 134512640 134569956 3221224400 3221214568 1131431078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 24834 13073 16 0 210979 0
vsize: 843980
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 49705 49 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214568 1131429741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 50703 49 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214568 1131429673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 51700 49 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214632 1131345172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+540.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 52698 49 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214664 1131467554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 53695 49 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214512 1131419514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 54693 50 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214520 1131445955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 55690 50 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214660 1131455532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 56688 50 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214568 1131431176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 57685 50 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214664 1131466105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 58682 50 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214664 1131466811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 59680 50 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214664 1131465863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 60678 50 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214664 1131466329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 61675 50 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214568 1131430435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+640.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 62674 51 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214604 1080204267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 63671 51 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214432 1131438220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+660.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 64669 51 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214664 1131465594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 65666 51 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214664 1131466530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+680.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 66664 51 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214688 1131317303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 67662 51 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214564 1080204314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 68660 51 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214568 1131429605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 69656 51 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214576 1131345172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 70654 52 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214652 1080203746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 71651 52 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214616 1131445818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 72649 52 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214616 1131345172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 73643 52 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214664 1131468125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+760.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 74626 52 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214768 1131373615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1069
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 75569 52 0 0 25 0 11 0 546575747 864235520 25039 4294967295 134512640 134569956 3221224400 3221214520 1131445955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25039 13073 16 0 210979 0
vsize: 843980
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 76507 52 0 0 25 0 11 0 546575747 864235520 25059 4294967295 134512640 134569956 3221224400 3221214568 1131430920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25059 13073 16 0 210979 0
vsize: 843980
[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 77455 52 0 0 25 0 11 0 546575747 864235520 25160 4294967295 134512640 134569956 3221224400 3221214512 1131442222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25160 13073 16 0 210979 0
vsize: 843980
[startup+800.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 78435 52 0 0 25 0 11 0 546575747 864235520 25537 4294967295 134512640 134569956 3221224400 3221214568 1131429929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25537 13073 16 0 210979 0
vsize: 843980
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 79430 53 0 0 25 0 11 0 546575747 864235520 25537 4294967295 134512640 134569956 3221224400 3221214768 1131530721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25537 13073 16 0 210979 0
vsize: 843980
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 80399 53 0 0 25 0 11 0 546575747 864235520 25537 4294967295 134512640 134569956 3221224400 3221214520 1131445955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25537 13073 16 0 210979 0
vsize: 843980
[startup+830.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 81366 53 0 0 24 0 11 0 546575747 864235520 25537 4294967295 134512640 134569956 3221224400 3221214812 1130908619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25537 13073 16 0 210979 0
vsize: 843980
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 82335 53 0 0 25 0 11 0 546575747 864235520 25739 4294967295 134512640 134569956 3221224400 3221214520 1131445952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25739 13073 16 0 210979 0
vsize: 843980
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 83332 53 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214568 1131430628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+860.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 84330 53 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214500 1080203674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+870.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 85327 53 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214568 1131429634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 86324 53 0 0 24 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214520 1131445899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 87321 53 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214624 1131414803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+900.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 88318 53 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214512 1131442222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+910.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 89315 54 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214664 1131466887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+920.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 90312 54 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214596 1080204290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+930.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 91310 54 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214596 1080203670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+940.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 92307 54 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214656 1080203665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+950.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 93303 54 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214664 1131467841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 94297 54 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214696 1131336353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 95283 55 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214616 1131345172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+980.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 96271 55 0 0 25 0 11 0 546575747 864235520 25741 4294967295 134512640 134569956 3221224400 3221214664 1131465594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25741 13073 16 0 210979 0
vsize: 843980
[startup+990.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 97260 55 0 0 25 0 11 0 546575747 864235520 25822 4294967295 134512640 134569956 3221224400 3221214664 1131466605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25822 13073 16 0 210979 0
vsize: 843980
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 98258 55 0 0 25 0 11 0 546575747 864235520 25822 4294967295 134512640 134569956 3221224400 3221214568 1131430106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25822 13073 16 0 210979 0
vsize: 843980
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 99255 55 0 0 25 0 11 0 546575747 864235520 25822 4294967295 134512640 134569956 3221224400 3221214072 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25822 13073 16 0 210979 0
vsize: 843980
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 100253 55 0 0 25 0 11 0 546575747 864235520 25822 4294967295 134512640 134569956 3221224400 3221214344 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25822 13073 16 0 210979 0
vsize: 843980
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 101251 55 0 0 25 0 11 0 546575747 864235520 25822 4294967295 134512640 134569956 3221224400 3221214744 1131309894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25822 13073 16 0 210979 0
vsize: 843980
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 102245 55 0 0 25 0 11 0 546575747 864235520 25822 4294967295 134512640 134569956 3221224400 3221214568 1131431036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25822 13073 16 0 210979 0
vsize: 843980
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 103233 56 0 0 25 0 11 0 546575747 864235520 25822 4294967295 134512640 134569956 3221224400 3221214632 1131345172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25822 13073 16 0 210979 0
vsize: 843980
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 104221 56 0 0 25 0 11 0 546575747 864235520 25822 4294967295 134512640 134569956 3221224400 3221214608 1131200912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25822 13073 16 0 210979 0
vsize: 843980
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1071
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 105213 56 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214668 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 106209 56 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214664 1131466530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 107206 56 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214096 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 108203 56 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214512 1131419576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 109200 56 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214652 1080203752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 110197 56 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214568 1131429969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 111194 56 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214604 1080204260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 112191 56 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214564 1131419475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 113188 57 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214664 1131466764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 114185 57 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214656 1080203753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 115183 57 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214664 1131466530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 116180 57 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214664 1131465619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 117169 57 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214728 1131253899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 118157 58 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214664 1131465461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 119146 58 0 0 25 0 11 0 546575747 864235520 25842 4294967295 134512640 134569956 3221224400 3221214664 1131466322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25842 13073 16 0 210979 0
vsize: 843980
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 1073
Raw data (stat): 1053 (java) R 1052 20838 20837 0 -1 0 18054 3 3 0 120143 58 0 0 25 0 11 0 546575747 864235520 25924 4294967295 134512640 134569956 3221224400 3221214664 1131466764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25924 13073 16 0 210979 0
vsize: 843980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 1075
Raw data (stat): 1053 (java) Z 1052 20838 20837 0 -1 1036 18054 5043 3 2 120151 58 1423 25 25 0 1 0 546575747 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): 1220.17
CPU time (s): 1216.59
CPU user time (s): 1215.76
CPU system time (s): 0.836872
CPU usage (%): 99.7069
Max. virtual memory (Kb): 843980
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####