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/submitted/een/normalized-mitre.opb
MD5SUM	a32373ce42835aed9464b28f5a9ed13c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8818
Optimality of the best value was proved	NO
Number of terms in the objective function	9324
Biggest coefficient in the objective function	213
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	909647
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1069
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	909647
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	10724
Total number of constraints	2045
Number of constraints which are clauses	523
Number of constraints which are cardinality constraints (but not clauses)	1139
Number of constraints which are nor clauses,nor cardinality constraints	383
Minimum length of a constraint	3
Maximum length of a constraint	98
Trace number 7098

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-14 21:12:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5131 boxname=wulflinc15 idbench=395 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a32373ce42835aed9464b28f5a9ed13c  /oldhome/oroussel/tmp/wulflinc15/normalized-mitre.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mitre.opb
IDLAUNCH: 5131
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        850172 kB
Buffers:         37104 kB
Cached:         125108 kB
SwapCached:       2144 kB
Active:          71924 kB
Inactive:        95292 kB
HighTotal:      131008 kB
HighFree:         2520 kB
LowTotal:       903652 kB
LowFree:        847652 kB
SwapTotal:     2097136 kB
SwapFree:      2094992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11748 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 21:32:57 (client local time) WITH STATUS 143 IN 1226.64 SECONDS
stats: 5131 7 1226.64 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mitre.opb
c reading problem 
c [nbvar=10724]
c [nbconstr=2045]
c time 38.429
c #vars     10724
c #clauses  2045
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=10261
c Current CPU time (ms) : 252.695
c starts	: 6
c conflicts	: 1406
c decisions	: 301630
c propagations	: 1079581
c inspects	: 537632
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1406
c root simplifications	: 414
#### 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.87 0.97 0.90 2/54 9593
Raw data (stat): 9593 (runsolver) R 9592 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 429512747 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.001 s]
Raw data (loadavg): 0.89 0.97 0.90 2/63 9602
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 17978 0 1 0 894 40 0 0 24 0 10 0 429512747 853139456 19030 4294967295 134512640 134569956 3221224416 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208286 19030 13073 16 0 208270 0
vsize: 833144
[startup+20.0014 s]
Raw data (loadavg): 0.90 0.97 0.90 2/63 9602
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 17979 0 1 0 1789 40 0 0 25 0 10 0 429512747 853954560 19666 4294967295 134512640 134569956 3221224416 3221214840 1131204362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 19666 13073 16 0 208469 0
vsize: 833940
[startup+30.0027 s]
Raw data (loadavg): 1.00 0.99 0.91 4/63 9602
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 17983 0 1 0 2617 41 0 0 25 0 10 0 429512747 867160064 23132 4294967295 134512640 134569956 3221224416 3221214368 1131275082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211709 23132 13073 16 0 211693 0
vsize: 846836
[startup+40.002 s]
Raw data (loadavg): 1.08 1.00 0.91 3/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18052 0 1 0 3459 42 0 0 25 0 11 0 429512747 862154752 22606 4294967295 134512640 134569956 3221224416 3221214696 1131332908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 22606 13073 16 0 210471 0
vsize: 841948
[startup+50.0029 s]
Raw data (loadavg): 1.07 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18055 0 1 0 4355 42 0 0 25 0 11 0 429512747 862154752 23156 4294967295 134512640 134569956 3221224416 3221214688 1131332931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 23156 13073 16 0 210471 0
vsize: 841948
[startup+60.003 s]
Raw data (loadavg): 1.06 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18055 0 1 0 5320 42 0 0 25 0 11 0 429512747 862154752 23632 4294967295 134512640 134569956 3221224416 3221214784 1131656720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 23632 13073 16 0 210471 0
vsize: 841948
[startup+70.0042 s]
Raw data (loadavg): 1.05 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) S 9592 29151 29150 0 -1 0 18055 0 1 0 6278 42 0 0 25 0 11 0 429512747 862154752 23708 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 23708 13073 16 0 210471 0
vsize: 841948
[startup+80.0052 s]
Raw data (loadavg): 1.04 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18055 0 1 0 7241 42 0 0 25 0 11 0 429512747 862154752 23810 4294967295 134512640 134569956 3221224416 3221214784 1131656716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 23810 13073 16 0 210471 0
vsize: 841948
[startup+90.0056 s]
Raw data (loadavg): 1.03 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18055 0 1 0 8189 42 0 0 24 0 11 0 429512747 862154752 23943 4294967295 134512640 134569956 3221224416 3221214872 1131338719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 23943 13073 16 0 210471 0
vsize: 841948
[startup+100.007 s]
Raw data (loadavg): 1.03 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 9159 43 0 0 25 0 11 0 429512747 862154752 24458 4294967295 134512640 134569956 3221224416 3221214784 1131656730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 24458 13073 16 0 210471 0
vsize: 841948
[startup+110.007 s]
Raw data (loadavg): 1.02 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 10133 43 0 0 25 0 11 0 429512747 862154752 24458 4294967295 134512640 134569956 3221224416 3221214672 1131306402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 24458 13073 16 0 210471 0
vsize: 841948
[startup+120.007 s]
Raw data (loadavg): 1.02 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 11103 43 0 0 25 0 11 0 429512747 862154752 24458 4294967295 134512640 134569956 3221224416 3221214872 1131338708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 24458 13073 16 0 210471 0
vsize: 841948
[startup+130.008 s]
Raw data (loadavg): 1.02 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 12045 44 0 0 25 0 11 0 429512747 862154752 24536 4294967295 134512640 134569956 3221224416 3221214672 1131305703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 24536 13073 16 0 210471 0
vsize: 841948
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 12989 44 0 0 25 0 11 0 429512747 862154752 24677 4294967295 134512640 134569956 3221224416 3221214768 1131462003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 24677 13073 16 0 210471 0
vsize: 841948
[startup+150.01 s]
Raw data (loadavg): 1.01 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 13936 44 0 0 25 0 11 0 429512747 862154752 24812 4294967295 134512640 134569956 3221224416 3221214784 1131656843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 24812 13073 16 0 210471 0
vsize: 841948
[startup+160.011 s]
Raw data (loadavg): 1.01 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 14912 44 0 0 25 0 11 0 429512747 862154752 24847 4294967295 134512640 134569956 3221224416 3221214784 1131656720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 24847 13073 16 0 210471 0
vsize: 841948
[startup+170.01 s]
Raw data (loadavg): 1.01 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 15866 45 0 0 25 0 11 0 429512747 862154752 24937 4294967295 134512640 134569956 3221224416 3221214680 1131523394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 24937 13073 16 0 210471 0
vsize: 841948
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) S 9592 29151 29150 0 -1 0 18056 0 1 0 16834 45 0 0 25 0 11 0 429512747 862154752 25011 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 25012 13073 16 0 210471 0
vsize: 841948
[startup+190.011 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 17775 45 0 0 25 0 11 0 429512747 862154752 25178 4294967295 134512640 134569956 3221224416 3221214784 1131656720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 25178 13073 16 0 210471 0
vsize: 841948
[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 18746 45 0 0 25 0 11 0 429512747 862154752 25261 4294967295 134512640 134569956 3221224416 3221214872 1131338604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 25261 13073 16 0 210471 0
vsize: 841948
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 19696 46 0 0 25 0 11 0 429512747 862154752 25399 4294967295 134512640 134569956 3221224416 3221214784 1131577631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 25399 13073 16 0 210471 0
vsize: 841948
[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 20638 46 0 0 25 0 11 0 429512747 862154752 25558 4294967295 134512640 134569956 3221224416 3221214632 1131492215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 25558 13073 16 0 210471 0
vsize: 841948
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 21616 46 0 0 25 0 11 0 429512747 864964608 26291 4294967295 134512640 134569956 3221224416 3221214720 1131460829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211173 26291 13073 16 0 211157 0
vsize: 844692
[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 22571 46 0 0 25 0 11 0 429512747 864964608 26404 4294967295 134512640 134569956 3221224416 3221214784 1131577529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211173 26404 13073 16 0 211157 0
vsize: 844692
[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9603
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 0 1 0 23518 47 0 0 25 0 11 0 429512747 864964608 26550 4294967295 134512640 134569956 3221224416 3221214672 1131305117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211173 26550 13073 16 0 211157 0
vsize: 844692
[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 24474 47 0 0 25 0 11 0 429512747 863133696 26178 4294967295 134512640 134569956 3221224416 3221214472 1085679735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 26178 13073 16 0 210710 0
vsize: 842904
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 25465 47 0 0 25 0 11 0 429512747 863133696 26192 4294967295 134512640 134569956 3221224416 3221214108 1131564843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 26192 13073 16 0 210710 0
vsize: 842904
[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 26457 47 0 0 25 0 11 0 429512747 863133696 26214 4294967295 134512640 134569956 3221224416 3221214384 1131564650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 26214 13073 16 0 210710 0
vsize: 842904
[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 27441 47 0 0 24 0 11 0 429512747 863133696 26269 4294967295 134512640 134569956 3221224416 3221214492 1131691724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 26269 13073 16 0 210710 0
vsize: 842904
[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 28417 47 0 0 25 0 11 0 429512747 863133696 26427 4294967295 134512640 134569956 3221224416 3221214692 1080204298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 26427 13073 16 0 210710 0
vsize: 842904
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 29379 47 0 0 25 0 11 0 429512747 863133696 26808 4294967295 134512640 134569956 3221224416 3221214680 1131523385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 26808 13073 16 0 210710 0
vsize: 842904
[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 30359 48 0 0 25 0 11 0 429512747 863133696 26808 4294967295 134512640 134569956 3221224416 3221214680 1131523393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 26808 13073 16 0 210710 0
vsize: 842904
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 31321 48 0 0 25 0 11 0 429512747 863133696 26839 4294967295 134512640 134569956 3221224416 3221214680 1131523422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 26839 13073 16 0 210710 0
vsize: 842904
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 32270 48 0 0 25 0 11 0 429512747 863133696 27148 4294967295 134512640 134569956 3221224416 3221214692 1080204298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 27148 13073 16 0 210710 0
vsize: 842904
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 33233 48 0 0 25 0 11 0 429512747 863133696 27184 4294967295 134512640 134569956 3221224416 3221214704 1131305125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 27184 13073 16 0 210710 0
vsize: 842904
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 34195 48 0 0 25 0 11 0 429512747 863133696 27344 4294967295 134512640 134569956 3221224416 3221214680 1131523444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 27344 13073 16 0 210710 0
vsize: 842904
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 35158 48 0 0 25 0 11 0 429512747 863133696 27500 4294967295 134512640 134569956 3221224416 3221214672 1131491567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 27500 13073 16 0 210710 0
vsize: 842904
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 36094 49 0 0 25 0 11 0 429512747 863133696 27727 4294967295 134512640 134569956 3221224416 3221214624 1131535377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 27727 13073 16 0 210710 0
vsize: 842904
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 37058 49 0 0 25 0 11 0 429512747 863133696 27786 4294967295 134512640 134569956 3221224416 3221214552 1131500933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 27786 13073 16 0 210710 0
vsize: 842904
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 37992 49 0 0 25 0 11 0 429512747 863133696 27912 4294967295 134512640 134569956 3221224416 3221214672 1131443568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 27912 13073 16 0 210710 0
vsize: 842904
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 38945 50 0 0 25 0 11 0 429512747 863133696 28119 4294967295 134512640 134569956 3221224416 3221214672 1131316653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28119 13073 16 0 210710 0
vsize: 842904
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 39919 50 0 0 25 0 11 0 429512747 863133696 28119 4294967295 134512640 134569956 3221224416 3221214672 1131431858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28119 13073 16 0 210710 0
vsize: 842904
[startup+430.023 s]
Raw data (loadavg): 1.07 1.02 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 40892 51 0 0 25 0 11 0 429512747 863133696 28210 4294967295 134512640 134569956 3221224416 3221214760 1131463339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28210 13073 16 0 210710 0
vsize: 842904
[startup+440.023 s]
Raw data (loadavg): 1.06 1.02 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 41827 51 0 0 25 0 11 0 429512747 863133696 28521 4294967295 134512640 134569956 3221224416 3221214680 1131523454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28521 13073 16 0 210710 0
vsize: 842904
[startup+450.024 s]
Raw data (loadavg): 1.05 1.01 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 42827 51 0 0 25 0 11 0 429512747 863133696 28521 4294967295 134512640 134569956 3221224416 3221214444 1131699280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28521 13073 16 0 210710 0
vsize: 842904
[startup+460.024 s]
Raw data (loadavg): 1.04 1.01 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 43819 51 0 0 25 0 11 0 429512747 863133696 28521 4294967295 134512640 134569956 3221224416 3221214248 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28521 13073 16 0 210710 0
vsize: 842904
[startup+470.025 s]
Raw data (loadavg): 1.04 1.01 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 44818 52 0 0 25 0 11 0 429512747 863133696 28521 4294967295 134512640 134569956 3221224416 3221214168 1131564814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28521 13073 16 0 210710 0
vsize: 842904
[startup+480.025 s]
Raw data (loadavg): 1.03 1.01 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 45818 52 0 0 25 0 11 0 429512747 863133696 28521 4294967295 134512640 134569956 3221224416 3221214784 1131577824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28521 13073 16 0 210710 0
vsize: 842904
[startup+490.025 s]
Raw data (loadavg): 1.02 1.01 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 46810 52 0 0 25 0 11 0 429512747 863133696 28521 4294967295 134512640 134569956 3221224416 3221213920 1085679434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28521 13073 16 0 210710 0
vsize: 842904
[startup+500.025 s]
Raw data (loadavg): 1.02 1.01 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 47809 52 0 0 25 0 11 0 429512747 863133696 28521 4294967295 134512640 134569956 3221224416 3221214232 1131699330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28521 13073 16 0 210710 0
vsize: 842904
[startup+510.026 s]
Raw data (loadavg): 1.02 1.01 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 48809 52 0 0 25 0 11 0 429512747 863133696 28521 4294967295 134512640 134569956 3221224416 3221214856 1131559815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28521 13073 16 0 210710 0
vsize: 842904
[startup+520.025 s]
Raw data (loadavg): 1.01 1.01 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 49800 52 0 0 25 0 11 0 429512747 863133696 28555 4294967295 134512640 134569956 3221224416 3221214112 1131564905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28555 13073 16 0 210710 0
vsize: 842904
[startup+530.026 s]
Raw data (loadavg): 1.01 1.01 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 50800 52 0 0 25 0 11 0 429512747 863133696 28555 4294967295 134512640 134569956 3221224416 3221214176 1131699341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28555 13073 16 0 210710 0
vsize: 842904
[startup+540.027 s]
Raw data (loadavg): 1.01 1.01 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 51801 52 0 0 25 0 11 0 429512747 863133696 28555 4294967295 134512640 134569956 3221224416 3221214608 1131564860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28555 13073 16 0 210710 0
vsize: 842904
[startup+550.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 52792 53 0 0 25 0 11 0 429512747 863133696 28593 4294967295 134512640 134569956 3221224416 3221214416 1085632284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28593 13073 16 0 210710 0
vsize: 842904
[startup+560.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) S 9592 29151 29150 0 -1 0 18056 4 1 0 53788 53 0 0 25 0 11 0 429512747 863133696 28593 4294967295 134512640 134569956 3221224416 3221213272 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28593 13073 16 0 210710 0
vsize: 842904
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 54776 53 0 0 25 0 11 0 429512747 863133696 28593 4294967295 134512640 134569956 3221224416 3221214672 1131305117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28593 13073 16 0 210710 0
vsize: 842904
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 55767 53 0 0 25 0 11 0 429512747 863133696 28593 4294967295 134512640 134569956 3221224416 3221214240 1131699281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28593 13073 16 0 210710 0
vsize: 842904
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 56767 53 0 0 25 0 11 0 429512747 863133696 28593 4294967295 134512640 134569956 3221224416 3221214196 1131699280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28593 13073 16 0 210710 0
vsize: 842904
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 57758 53 0 0 25 0 11 0 429512747 863133696 28593 4294967295 134512640 134569956 3221224416 3221214456 1131566329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28593 13073 16 0 210710 0
vsize: 842904
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 58749 53 0 0 25 0 11 0 429512747 863133696 28593 4294967295 134512640 134569956 3221224416 3221214320 1131699256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28593 13073 16 0 210710 0
vsize: 842904
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 59749 53 0 0 25 0 11 0 429512747 863133696 28593 4294967295 134512640 134569956 3221224416 3221214640 1131564650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28593 13073 16 0 210710 0
vsize: 842904
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 60741 54 0 0 25 0 11 0 429512747 863133696 28644 4294967295 134512640 134569956 3221224416 3221214732 1131564914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28644 13073 16 0 210710 0
vsize: 842904
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 61733 54 0 0 25 0 11 0 429512747 863133696 28754 4294967295 134512640 134569956 3221224416 3221214704 1131699281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28754 13073 16 0 210710 0
vsize: 842904
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 62726 54 0 0 25 0 11 0 429512747 863133696 28788 4294967295 134512640 134569956 3221224416 3221214416 1131564860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28788 13073 16 0 210710 0
vsize: 842904
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 63726 55 0 0 25 0 11 0 429512747 863133696 28788 4294967295 134512640 134569956 3221224416 3221214408 1131695106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28788 13073 16 0 210710 0
vsize: 842904
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 64712 55 0 0 25 0 11 0 429512747 863133696 28788 4294967295 134512640 134569956 3221224416 3221214524 1131691715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28788 13073 16 0 210710 0
vsize: 842904
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 65713 55 0 0 25 0 11 0 429512747 863133696 28788 4294967295 134512640 134569956 3221224416 3221214644 1131699280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28788 13073 16 0 210710 0
vsize: 842904
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 66706 55 0 0 25 0 11 0 429512747 863133696 28788 4294967295 134512640 134569956 3221224416 3221214752 1131564828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28788 13073 16 0 210710 0
vsize: 842904
[startup+700.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 67699 55 0 0 25 0 11 0 429512747 863133696 28788 4294967295 134512640 134569956 3221224416 3221214616 1085679296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28788 13073 16 0 210710 0
vsize: 842904
[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 68692 55 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214672 1131305921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 69686 56 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214776 1131656843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 70686 56 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214120 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 71680 56 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214480 1131564860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 72673 56 0 0 24 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214808 1131564860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 73666 56 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214368 1131564645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 74660 56 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214260 1131699280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 75653 56 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214672 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 76646 56 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214232 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 77646 56 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214176 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 78638 57 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214260 1131699280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 79631 57 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214616 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 80630 57 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214304 1131564872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 81623 57 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214704 1131699256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 82616 57 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214376 1131699341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 83609 57 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214776 1131656704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 84602 57 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214560 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 85601 57 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214760 1131699281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 86602 57 0 0 25 0 11 0 429512747 863133696 28863 4294967295 134512640 134569956 3221224416 3221214704 1131699281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 28863 13073 16 0 210710 0
vsize: 842904
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 87593 57 0 0 25 0 11 0 429512747 863133696 29035 4294967295 134512640 134569956 3221224416 3221214560 1085679756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29035 13073 16 0 210710 0
vsize: 842904
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 88588 58 0 0 25 0 11 0 429512747 863133696 29121 4294967295 134512640 134569956 3221224416 3221214424 1131564653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29121 13073 16 0 210710 0
vsize: 842904
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 89584 58 0 0 25 0 11 0 429512747 863133696 29146 4294967295 134512640 134569956 3221224416 3221214236 1131564617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29146 13073 16 0 210710 0
vsize: 842904
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 90579 58 0 0 25 0 11 0 429512747 863133696 29165 4294967295 134512640 134569956 3221224416 3221214280 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29165 13073 16 0 210710 0
vsize: 842904
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 91575 58 0 0 25 0 11 0 429512747 863133696 29190 4294967295 134512640 134569956 3221224416 3221214632 1131564863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29190 13073 16 0 210710 0
vsize: 842904
[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 92574 58 0 0 25 0 11 0 429512747 863133696 29190 4294967295 134512640 134569956 3221224416 3221214576 1131564872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29190 13073 16 0 210710 0
vsize: 842904
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 93569 58 0 0 25 0 11 0 429512747 863133696 29206 4294967295 134512640 134569956 3221224416 3221214528 1131564713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29206 13073 16 0 210710 0
vsize: 842904
[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 94569 58 0 0 25 0 11 0 429512747 863133696 29206 4294967295 134512640 134569956 3221224416 3221214808 1131564905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29206 13073 16 0 210710 0
vsize: 842904
[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 95565 58 0 0 25 0 11 0 429512747 863133696 29221 4294967295 134512640 134569956 3221224416 3221214360 1131564872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29221 13073 16 0 210710 0
vsize: 842904
[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 96561 58 0 0 25 0 11 0 429512747 863133696 29231 4294967295 134512640 134569956 3221224416 3221214704 1131699138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29231 13073 16 0 210710 0
vsize: 842904
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 97557 58 0 0 25 0 11 0 429512747 863133696 29239 4294967295 134512640 134569956 3221224416 3221214344 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29239 13073 16 0 210710 0
vsize: 842904
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 98557 58 0 0 25 0 11 0 429512747 863133696 29239 4294967295 134512640 134569956 3221224416 3221214232 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29239 13073 16 0 210710 0
vsize: 842904
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 99553 58 0 0 25 0 11 0 429512747 863133696 29253 4294967295 134512640 134569956 3221224416 3221214704 1131699274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29253 13073 16 0 210710 0
vsize: 842904
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 100553 59 0 0 25 0 11 0 429512747 863133696 29253 4294967295 134512640 134569956 3221224416 3221214408 1131564866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29253 13073 16 0 210710 0
vsize: 842904
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 101553 59 0 0 25 0 11 0 429512747 863133696 29253 4294967295 134512640 134569956 3221224416 3221214696 1131564839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29253 13073 16 0 210710 0
vsize: 842904
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 102549 59 0 0 25 0 11 0 429512747 863133696 29255 4294967295 134512640 134569956 3221224416 3221214368 1131564784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29255 13073 16 0 210710 0
vsize: 842904
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 103546 59 0 0 25 0 11 0 429512747 863133696 29265 4294967295 134512640 134569956 3221224416 3221214064 1085679366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29265 13073 16 0 210710 0
vsize: 842904
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 104542 59 0 0 25 0 11 0 429512747 863133696 29275 4294967295 134512640 134569956 3221224416 3221214288 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29275 13073 16 0 210710 0
vsize: 842904
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 105537 59 0 0 25 0 11 0 429512747 863133696 29280 4294967295 134512640 134569956 3221224416 3221214704 1131699185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29280 13073 16 0 210710 0
vsize: 842904
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 106533 59 0 0 25 0 11 0 429512747 863133696 29289 4294967295 134512640 134569956 3221224416 3221214784 1131577847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29289 13073 16 0 210710 0
vsize: 842904
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 107532 59 0 0 25 0 11 0 429512747 863133696 29289 4294967295 134512640 134569956 3221224416 3221214308 1131691715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29289 13073 16 0 210710 0
vsize: 842904
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 108527 59 0 0 25 0 11 0 429512747 863133696 29293 4294967295 134512640 134569956 3221224416 3221214784 1131578942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29293 13073 16 0 210710 0
vsize: 842904
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 109527 60 0 0 25 0 11 0 429512747 863133696 29293 4294967295 134512640 134569956 3221224416 3221214640 1131564893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29293 13073 16 0 210710 0
vsize: 842904
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 110519 60 0 0 24 0 11 0 429512747 863133696 29305 4294967295 134512640 134569956 3221224416 3221214776 1131656851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29305 13073 16 0 210710 0
vsize: 842904
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 111519 60 0 0 25 0 11 0 429512747 863133696 29305 4294967295 134512640 134569956 3221224416 3221214152 1131699249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29305 13073 16 0 210710 0
vsize: 842904
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 112518 60 0 0 25 0 11 0 429512747 863133696 29305 4294967295 134512640 134569956 3221224416 3221214472 1131564905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29305 13073 16 0 210710 0
vsize: 842904
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 113506 61 0 0 25 0 11 0 429512747 863133696 29341 4294967295 134512640 134569956 3221224416 3221214588 1131699275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29341 13073 16 0 210710 0
vsize: 842904
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 114496 61 0 0 25 0 11 0 429512747 863133696 29360 4294967295 134512640 134569956 3221224416 3221214672 1131305887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29360 13073 16 0 210710 0
vsize: 842904
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 115493 61 0 0 25 0 11 0 429512747 863133696 29366 4294967295 134512640 134569956 3221224416 3221214256 1131564839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29366 13073 16 0 210710 0
vsize: 842904
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 116493 61 0 0 25 0 11 0 429512747 863133696 29366 4294967295 134512640 134569956 3221224416 3221214640 1131564828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29366 13073 16 0 210710 0
vsize: 842904
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 117493 61 0 0 25 0 11 0 429512747 863133696 29366 4294967295 134512640 134569956 3221224416 3221214672 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29366 13073 16 0 210710 0
vsize: 842904
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 118489 61 0 0 25 0 11 0 429512747 863133696 29374 4294967295 134512640 134569956 3221224416 3221214760 1131699185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29374 13073 16 0 210710 0
vsize: 842904
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 119489 61 0 0 25 0 11 0 429512747 863133696 29374 4294967295 134512640 134569956 3221224416 3221214704 1131699201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210726 29374 13073 16 0 210710 0
vsize: 842904
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9604
Raw data (stat): 9593 (java) R 9592 29151 29150 0 -1 0 18056 4 1 0 120485 61 0 0 25 0 11 0 429512747 863133696 29382 4294967295 134512640 134569956 3221224416 3221214248 1131564866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210726 29382 13073 16 0 210710 0
vsize: 842904
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 9606
Raw data (stat): 9593 (java) Z 9592 29151 29150 0 -1 1036 18056 8660 1 0 120489 61 2092 20 25 0 1 0 429512747 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): 1230.15
CPU time (s): 1226.64
CPU user time (s): 1225.82
CPU system time (s): 0.823874
CPU usage (%): 99.7147
Max. virtual memory (Kb): 846836
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####