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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb
MD5SUM966ceb4249ada81e9b52daecca845c09
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 537
Optimality of the best value was proved NO
Number of terms in the objective function 1900
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1900
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1900
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.05684
Number of variables1900
Total number of constraints7639
Number of constraints which are clauses7639
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10

Trace number 4345 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-04-13 16:36:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1548 boxname=wulflinc19 idbench=172 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  966ceb4249ada81e9b52daecca845c09  /oldhome/oroussel/tmp/wulflinc19/normalized-ii8c2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-ii8c2.opb
IDLAUNCH: 1548
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        913176 kB
Buffers:         30876 kB
Cached:          57060 kB
SwapCached:         56 kB
Active:          38976 kB
Inactive:        51912 kB
HighTotal:      131008 kB
HighFree:        69860 kB
LowTotal:       903652 kB
LowFree:        843316 kB
SwapTotal:     2097892 kB
SwapFree:      2097836 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7028 kB
Slab:            24988 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:57:06 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1548 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-ii8c2.opb
c reading problem 
c [nbvar=1900]
c [nbconstr=7639]
c time 5.82
c #vars     1900
c #clauses  7639
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=897
c Current CPU time (ms) : 10.476
c starts	: 1
c conflicts	: 24
c decisions	: 217
c propagations	: 5357
c inspects	: 15652
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 24
c root simplifications	: 1
c 
c CURRENT OPTIMUM=703
c Current CPU time (ms) : 11.677
c starts	: 2
c conflicts	: 24
c decisions	: 765
c propagations	: 7257
c inspects	: 21292
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 24
c root simplifications	: 2
c 
c CURRENT OPTIMUM=684
c Current CPU time (ms) : 65.227
c starts	: 3
c conflicts	: 62
c decisions	: 1868
c propagations	: 12923
c inspects	: 54311
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 62
c root simplifications	: 3
#### 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.90 2/55 23869
Raw data (stat): 23869 (runsolver) R 23868 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477435898 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.0483 s]
Raw data (loadavg): 1.17 1.03 0.92 4/65 23879
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18066 0 1 0 711 46 0 0 25 0 11 0 477435898 865857536 22144 4294967295 134512640 134569956 3221224416 3221213796 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211391 22151 13073 16 0 211375 0
vsize: 845564
[startup+20.0551 s]
Raw data (loadavg): 1.29 1.06 0.93 2/65 23881
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 1563 47 0 0 25 0 11 0 477435898 865214464 23732 4294967295 134512640 134569956 3221224416 3221214584 1131401812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 23732 13073 16 0 211218 0
vsize: 844936
[startup+30.0555 s]
Raw data (loadavg): 1.25 1.06 0.93 2/65 23881
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 2477 48 0 0 25 0 11 0 477435898 865214464 23732 4294967295 134512640 134569956 3221224416 3221214676 1080203688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 23732 13073 16 0 211218 0
vsize: 844936
[startup+40.0567 s]
Raw data (loadavg): 1.21 1.06 0.93 2/65 23881
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 3377 48 0 0 25 0 11 0 477435898 865214464 23732 4294967295 134512640 134569956 3221224416 3221214640 1131405315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 23732 13073 16 0 211218 0
vsize: 844936
[startup+50.0577 s]
Raw data (loadavg): 1.18 1.06 0.93 2/65 23881
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 4280 48 0 0 25 0 11 0 477435898 865214464 24242 4294967295 134512640 134569956 3221224416 3221214640 1131404110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 24242 13073 16 0 211218 0
vsize: 844936
[startup+60.058 s]
Raw data (loadavg): 1.15 1.05 0.93 2/65 23881
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 5218 48 0 0 25 0 11 0 477435898 865214464 24459 4294967295 134512640 134569956 3221224416 3221214812 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 24459 13073 16 0 211218 0
vsize: 844936
[startup+70.059 s]
Raw data (loadavg): 1.12 1.05 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 6163 49 0 0 25 0 11 0 477435898 865214464 24516 4294967295 134512640 134569956 3221224416 3221214696 1131242277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 24516 13073 16 0 211218 0
vsize: 844936
[startup+80.0599 s]
Raw data (loadavg): 1.11 1.05 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 7099 49 0 0 25 0 11 0 477435898 865214464 24644 4294967295 134512640 134569956 3221224416 3221214696 1131243136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 24644 13073 16 0 211218 0
vsize: 844936
[startup+90.0602 s]
Raw data (loadavg): 1.09 1.05 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 8037 49 0 0 25 0 11 0 477435898 865214464 24766 4294967295 134512640 134569956 3221224416 3221214792 1131373332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 24766 13073 16 0 211218 0
vsize: 844936
[startup+100.061 s]
Raw data (loadavg): 1.07 1.05 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 8991 49 0 0 25 0 11 0 477435898 865214464 25096 4294967295 134512640 134569956 3221224416 3221214696 1131242602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25096 13073 16 0 211218 0
vsize: 844936
[startup+110.061 s]
Raw data (loadavg): 1.06 1.04 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 9970 50 0 0 25 0 11 0 477435898 865214464 25215 4294967295 134512640 134569956 3221224416 3221214736 1131469138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25215 13073 16 0 211218 0
vsize: 844936
[startup+120.062 s]
Raw data (loadavg): 1.05 1.04 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 10951 50 0 0 25 0 11 0 477435898 865214464 25231 4294967295 134512640 134569956 3221224416 3221214736 1131469313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25231 13073 16 0 211218 0
vsize: 844936
[startup+130.062 s]
Raw data (loadavg): 1.04 1.04 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 11934 51 0 0 25 0 11 0 477435898 865214464 25244 4294967295 134512640 134569956 3221224416 3221214876 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25244 13073 16 0 211218 0
vsize: 844936
[startup+140.063 s]
Raw data (loadavg): 1.04 1.04 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18067 3 1 0 12904 51 0 0 25 0 11 0 477435898 865214464 25281 4294967295 134512640 134569956 3221224416 3221214640 1131403705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25281 13073 16 0 211218 0
vsize: 844936
[startup+150.063 s]
Raw data (loadavg): 1.03 1.04 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 13879 51 0 0 25 0 11 0 477435898 865214464 25334 4294967295 134512640 134569956 3221224416 3221214736 1131469258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25334 13073 16 0 211218 0
vsize: 844936
[startup+160.063 s]
Raw data (loadavg): 1.03 1.03 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 14849 51 0 0 25 0 11 0 477435898 865214464 25344 4294967295 134512640 134569956 3221224416 3221214736 1131469177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25344 13073 16 0 211218 0
vsize: 844936
[startup+170.067 s]
Raw data (loadavg): 1.02 1.03 0.93 2/65 23882
Raw data (stat): 23869 (java) S 23868 22929 22928 0 -1 0 18068 3 1 0 15826 51 0 0 25 0 11 0 477435898 865214464 25498 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25498 13073 16 0 211218 0
vsize: 844936
[startup+180.067 s]
Raw data (loadavg): 1.02 1.03 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 16802 52 0 0 25 0 11 0 477435898 865214464 25536 4294967295 134512640 134569956 3221224416 3221214724 1080204290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25536 13073 16 0 211218 0
vsize: 844936
[startup+190.069 s]
Raw data (loadavg): 1.01 1.03 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 17778 52 0 0 25 0 11 0 477435898 865214464 25563 4294967295 134512640 134569956 3221224416 3221214812 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25563 13073 16 0 211218 0
vsize: 844936
[startup+200.07 s]
Raw data (loadavg): 1.01 1.03 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 18755 53 0 0 25 0 11 0 477435898 865214464 25661 4294967295 134512640 134569956 3221224416 3221214640 1131407259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25661 13073 16 0 211218 0
vsize: 844936
[startup+210.07 s]
Raw data (loadavg): 1.01 1.03 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 19735 53 0 0 25 0 11 0 477435898 865214464 25677 4294967295 134512640 134569956 3221224416 3221214592 1131328941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25677 13073 16 0 211218 0
vsize: 844936
[startup+220.071 s]
Raw data (loadavg): 1.01 1.03 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 20716 53 0 0 25 0 11 0 477435898 865214464 25719 4294967295 134512640 134569956 3221224416 3221214696 1131242457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25719 13073 16 0 211218 0
vsize: 844936
[startup+230.071 s]
Raw data (loadavg): 1.01 1.02 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 21689 54 0 0 24 0 11 0 477435898 865214464 25801 4294967295 134512640 134569956 3221224416 3221214640 1131403821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25801 13073 16 0 211218 0
vsize: 844936
[startup+240.071 s]
Raw data (loadavg): 1.00 1.02 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 22670 54 0 0 25 0 11 0 477435898 865214464 25827 4294967295 134512640 134569956 3221224416 3221214584 1131591261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25827 13073 16 0 211218 0
vsize: 844936
[startup+250.072 s]
Raw data (loadavg): 1.00 1.02 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 23648 54 0 0 25 0 11 0 477435898 865214464 25842 4294967295 134512640 134569956 3221224416 3221214696 1131242645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25842 13073 16 0 211218 0
vsize: 844936
[startup+260.073 s]
Raw data (loadavg): 1.00 1.02 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 24622 54 0 0 25 0 11 0 477435898 865214464 25920 4294967295 134512640 134569956 3221224416 3221214672 1131369637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25920 13073 16 0 211218 0
vsize: 844936
[startup+270.073 s]
Raw data (loadavg): 1.00 1.02 0.93 2/65 23882
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 25591 55 0 0 25 0 11 0 477435898 865214464 25965 4294967295 134512640 134569956 3221224416 3221214488 1131308286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25965 13073 16 0 211218 0
vsize: 844936
[startup+280.073 s]
Raw data (loadavg): 1.00 1.02 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 26561 56 0 0 25 0 11 0 477435898 865214464 25981 4294967295 134512640 134569956 3221224416 3221214736 1131472133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 25981 13073 16 0 211218 0
vsize: 844936
[startup+290.075 s]
Raw data (loadavg): 1.00 1.02 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18068 3 1 0 27535 56 0 0 25 0 11 0 477435898 865214464 26094 4294967295 134512640 134569956 3221224416 3221214736 1131474120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 26094 13073 16 0 211218 0
vsize: 844936
[startup+300.075 s]
Raw data (loadavg): 1.00 1.02 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 28502 56 0 0 25 0 11 0 477435898 865214464 26125 4294967295 134512640 134569956 3221224416 3221214592 1131328911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26125 13073 16 0 211218 0
vsize: 844936
[startup+310.076 s]
Raw data (loadavg): 1.00 1.02 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 29479 56 0 0 25 0 11 0 477435898 865214464 26203 4294967295 134512640 134569956 3221224416 3221214840 1131330411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 26203 13073 16 0 211218 0
vsize: 844936
[startup+320.077 s]
Raw data (loadavg): 1.00 1.02 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 30462 56 0 0 24 0 11 0 477435898 865214464 26268 4294967295 134512640 134569956 3221224416 3221214736 1131472853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26268 13073 16 0 211218 0
vsize: 844936
[startup+330.077 s]
Raw data (loadavg): 1.00 1.02 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 31450 56 0 0 25 0 11 0 477435898 865214464 26282 4294967295 134512640 134569956 3221224416 3221214584 1131592165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26282 13073 16 0 211218 0
vsize: 844936
[startup+340.078 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 32439 56 0 0 25 0 11 0 477435898 865214464 26299 4294967295 134512640 134569956 3221224416 3221214584 1131592815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26299 13073 16 0 211218 0
vsize: 844936
[startup+350.079 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 33422 57 0 0 25 0 11 0 477435898 865214464 26332 4294967295 134512640 134569956 3221224416 3221214660 1080204314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26332 13073 16 0 211218 0
vsize: 844936
[startup+360.079 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 34405 57 0 0 25 0 11 0 477435898 865214464 26342 4294967295 134512640 134569956 3221224416 3221214676 1080203717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26342 13073 16 0 211218 0
vsize: 844936
[startup+370.08 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 35390 57 0 0 25 0 11 0 477435898 865214464 26356 4294967295 134512640 134569956 3221224416 3221214520 1131427984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26356 13073 16 0 211218 0
vsize: 844936
[startup+380.08 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 36375 57 0 0 25 0 11 0 477435898 865214464 26437 4294967295 134512640 134569956 3221224416 3221214696 1131242241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26437 13073 16 0 211218 0
vsize: 844936
[startup+390.08 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 37353 57 0 0 25 0 11 0 477435898 865214464 26467 4294967295 134512640 134569956 3221224416 3221214640 1131404324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26467 13073 16 0 211218 0
vsize: 844936
[startup+400.082 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 38327 57 0 0 25 0 11 0 477435898 865214464 26467 4294967295 134512640 134569956 3221224416 3221214584 1131592807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26467 13073 16 0 211218 0
vsize: 844936
[startup+410.081 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 39294 57 0 0 25 0 11 0 477435898 865214464 26500 4294967295 134512640 134569956 3221224416 3221214376 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26500 13073 16 0 211218 0
vsize: 844936
[startup+420.082 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 40268 57 0 0 25 0 11 0 477435898 865214464 26535 4294967295 134512640 134569956 3221224416 3221214584 1131308653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26535 13073 16 0 211218 0
vsize: 844936
[startup+430.082 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 41244 57 0 0 24 0 11 0 477435898 865214464 26670 4294967295 134512640 134569956 3221224416 3221214696 1131242252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26670 13073 16 0 211218 0
vsize: 844936
[startup+440.083 s]
Raw data (loadavg): 1.08 1.02 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 42220 58 0 0 25 0 11 0 477435898 865214464 26728 4294967295 134512640 134569956 3221224416 3221214736 1131470081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26728 13073 16 0 211218 0
vsize: 844936
[startup+450.084 s]
Raw data (loadavg): 1.07 1.02 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 43195 58 0 0 25 0 11 0 477435898 865214464 26806 4294967295 134512640 134569956 3221224416 3221214888 1131537173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26806 13073 16 0 211218 0
vsize: 844936
[startup+460.085 s]
Raw data (loadavg): 1.06 1.02 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 44177 58 0 0 25 0 11 0 477435898 865214464 26866 4294967295 134512640 134569956 3221224416 3221214520 1131429488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26866 13073 16 0 211218 0
vsize: 844936
[startup+470.085 s]
Raw data (loadavg): 1.05 1.02 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 45162 58 0 0 25 0 11 0 477435898 865214464 26893 4294967295 134512640 134569956 3221224416 3221214560 1131457139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26893 13073 16 0 211218 0
vsize: 844936
[startup+480.085 s]
Raw data (loadavg): 1.04 1.02 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 46146 58 0 0 25 0 11 0 477435898 865214464 26927 4294967295 134512640 134569956 3221224416 3221214520 1131429352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26927 13073 16 0 211218 0
vsize: 844936
[startup+490.086 s]
Raw data (loadavg): 1.03 1.02 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 47135 58 0 0 25 0 11 0 477435898 865214464 26975 4294967295 134512640 134569956 3221224416 3221214472 1131599782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26975 13073 16 0 211218 0
vsize: 844936
[startup+500.087 s]
Raw data (loadavg): 1.03 1.01 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 48125 58 0 0 25 0 11 0 477435898 865214464 26975 4294967295 134512640 134569956 3221224416 3221214468 1131602624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 26975 13073 16 0 211218 0
vsize: 844936
[startup+510.088 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 49116 58 0 0 25 0 11 0 477435898 865214464 27010 4294967295 134512640 134569956 3221224416 3221214440 1131616849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27010 13073 16 0 211218 0
vsize: 844936
[startup+520.088 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 50111 58 0 0 25 0 11 0 477435898 865214464 27063 4294967295 134512640 134569956 3221224416 3221214640 1131407388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27063 13073 16 0 211218 0
vsize: 844936
[startup+530.089 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 51107 58 0 0 25 0 11 0 477435898 865214464 27063 4294967295 134512640 134569956 3221224416 3221214584 1131308343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27063 13073 16 0 211218 0
vsize: 844936
[startup+540.089 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 52104 58 0 0 25 0 11 0 477435898 865214464 27063 4294967295 134512640 134569956 3221224416 3221214584 1131308539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27063 13073 16 0 211218 0
vsize: 844936
[startup+550.09 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 53101 58 0 0 25 0 11 0 477435898 865214464 27063 4294967295 134512640 134569956 3221224416 3221214688 1131633096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27063 13073 16 0 211218 0
vsize: 844936
[startup+560.091 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 54092 58 0 0 25 0 11 0 477435898 865214464 27088 4294967295 134512640 134569956 3221224416 3221214696 1131242457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27088 13073 16 0 211218 0
vsize: 844936
[startup+570.091 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 23884
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 55076 58 0 0 25 0 11 0 477435898 865214464 27088 4294967295 134512640 134569956 3221224416 3221214488 1131609596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27088 13073 16 0 211218 0
vsize: 844936
[startup+580.092 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 56057 58 0 0 25 0 11 0 477435898 865214464 27088 4294967295 134512640 134569956 3221224416 3221214496 1079721536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27088 13073 16 0 211218 0
vsize: 844936
[startup+590.092 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 57039 58 0 0 25 0 11 0 477435898 865214464 27089 4294967295 134512640 134569956 3221224416 3221214584 1131308524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27089 13073 16 0 211218 0
vsize: 844936
[startup+600.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 58023 58 0 0 25 0 11 0 477435898 865214464 27115 4294967295 134512640 134569956 3221224416 3221214736 1131472853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27115 13073 16 0 211218 0
vsize: 844936
[startup+610.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 59010 59 0 0 25 0 11 0 477435898 865214464 27265 4294967295 134512640 134569956 3221224416 3221214520 1131427775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27265 13073 16 0 211218 0
vsize: 844936
[startup+620.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 60002 59 0 0 25 0 11 0 477435898 865214464 27285 4294967295 134512640 134569956 3221224416 3221214584 1131308702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27285 13073 16 0 211218 0
vsize: 844936
[startup+630.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 60996 59 0 0 25 0 11 0 477435898 865214464 27285 4294967295 134512640 134569956 3221224416 3221214416 1080216994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27285 13073 16 0 211218 0
vsize: 844936
[startup+640.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 61984 59 0 0 25 0 11 0 477435898 865214464 27285 4294967295 134512640 134569956 3221224416 3221214520 1131429485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27285 13073 16 0 211218 0
vsize: 844936
[startup+650.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 62975 59 0 0 25 0 11 0 477435898 865214464 27302 4294967295 134512640 134569956 3221224416 3221214640 1131404962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27302 13073 16 0 211218 0
vsize: 844936
[startup+660.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 63966 59 0 0 25 0 11 0 477435898 865214464 27302 4294967295 134512640 134569956 3221224416 3221214516 1131621850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27302 13073 16 0 211218 0
vsize: 844936
[startup+670.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 64958 59 0 0 25 0 11 0 477435898 865214464 27302 4294967295 134512640 134569956 3221224416 3221214812 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27302 13073 16 0 211218 0
vsize: 844936
[startup+680.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 65945 59 0 0 25 0 11 0 477435898 865214464 27373 4294967295 134512640 134569956 3221224416 3221214640 1131404385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27373 13073 16 0 211218 0
vsize: 844936
[startup+690.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 66932 59 0 0 25 0 11 0 477435898 865214464 27375 4294967295 134512640 134569956 3221224416 3221214520 1131428599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27375 13073 16 0 211218 0
vsize: 844936
[startup+700.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 67919 59 0 0 25 0 11 0 477435898 865214464 27375 4294967295 134512640 134569956 3221224416 3221214584 1131402099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27375 13073 16 0 211218 0
vsize: 844936
[startup+710.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 68904 59 0 0 25 0 11 0 477435898 865214464 27375 4294967295 134512640 134569956 3221224416 3221214496 1131621830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27375 13073 16 0 211218 0
vsize: 844936
[startup+720.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 69890 59 0 0 25 0 11 0 477435898 865214464 27375 4294967295 134512640 134569956 3221224416 3221214312 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27375 13073 16 0 211218 0
vsize: 844936
[startup+730.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 70876 59 0 0 25 0 11 0 477435898 865214464 27375 4294967295 134512640 134569956 3221224416 3221214640 1131405081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27375 13073 16 0 211218 0
vsize: 844936
[startup+740.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 71863 59 0 0 25 0 11 0 477435898 865214464 27490 4294967295 134512640 134569956 3221224416 3221214312 1080217237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27490 13073 16 0 211218 0
vsize: 844936
[startup+750.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 72854 59 0 0 24 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214288 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+760.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 73852 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214352 1080217358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+770.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 74849 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214560 1131457663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+780.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 75845 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214424 1131615210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+790.105 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 76843 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214440 1131617022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+800.106 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 77839 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214312 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+810.106 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 78836 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214352 1080217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+820.106 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 79833 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214520 1131426633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+830.107 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 80831 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214468 1079721525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+840.108 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 81827 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214440 1131617122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+850.108 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 82824 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214472 1131629965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+860.109 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 83821 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214352 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+870.109 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23886
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 84817 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214352 1080217338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+880.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 85814 59 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214440 1131616868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+890.111 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 86808 60 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214520 1131427668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+900.111 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 87800 60 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214344 1080216959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+910.111 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 88794 60 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214520 1131429282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+920.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 89787 60 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214344 1080217027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+930.113 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 90781 60 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214512 1131619614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+940.114 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 91776 61 0 0 25 0 11 0 477435898 865214464 27660 4294967295 134512640 134569956 3221224416 3221214560 1131429481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27660 13073 16 0 211218 0
vsize: 844936
[startup+950.115 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 92773 61 0 0 25 0 11 0 477435898 865214464 27699 4294967295 134512640 134569956 3221224416 3221214516 1131616492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27699 13073 16 0 211218 0
vsize: 844936
[startup+960.114 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 93764 61 0 0 25 0 11 0 477435898 865214464 27699 4294967295 134512640 134569956 3221224416 3221214584 1131401774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27699 13073 16 0 211218 0
vsize: 844936
[startup+970.115 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 94754 62 0 0 25 0 11 0 477435898 865214464 27699 4294967295 134512640 134569956 3221224416 3221214696 1131242510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27699 13073 16 0 211218 0
vsize: 844936
[startup+980.117 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 95744 62 0 0 25 0 11 0 477435898 865214464 27699 4294967295 134512640 134569956 3221224416 3221214736 1131469218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27699 13073 16 0 211218 0
vsize: 844936
[startup+990.117 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 96730 62 0 0 25 0 11 0 477435898 865214464 27700 4294967295 134512640 134569956 3221224416 3221214732 1131514924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27700 13073 16 0 211218 0
vsize: 844936
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 97717 62 0 0 25 0 11 0 477435898 865214464 27735 4294967295 134512640 134569956 3221224416 3221214560 1131457664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27735 13073 16 0 211218 0
vsize: 844936
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 98707 62 0 0 25 0 11 0 477435898 865214464 27735 4294967295 134512640 134569956 3221224416 3221214584 1131591542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27735 13073 16 0 211218 0
vsize: 844936
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 99696 63 0 0 25 0 11 0 477435898 865214464 27810 4294967295 134512640 134569956 3221224416 3221214496 1131621796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27810 13073 16 0 211218 0
vsize: 844936
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 100687 63 0 0 25 0 11 0 477435898 865214464 27810 4294967295 134512640 134569956 3221224416 3221214344 1080217015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27810 13073 16 0 211218 0
vsize: 844936
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 101678 63 0 0 25 0 11 0 477435898 865214464 27810 4294967295 134512640 134569956 3221224416 3221214420 1080217099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27810 13073 16 0 211218 0
vsize: 844936
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 102668 64 0 0 25 0 11 0 477435898 865214464 27810 4294967295 134512640 134569956 3221224416 3221214400 1131615309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27810 13073 16 0 211218 0
vsize: 844936
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 103651 64 0 0 24 0 11 0 477435898 865214464 27839 4294967295 134512640 134569956 3221224416 3221214696 1131243268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27839 13073 16 0 211218 0
vsize: 844936
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 104634 64 0 0 24 0 11 0 477435898 865214464 27868 4294967295 134512640 134569956 3221224416 3221214516 1131395571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27868 13073 16 0 211218 0
vsize: 844936
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 105621 65 0 0 25 0 11 0 477435898 865214464 27868 4294967295 134512640 134569956 3221224416 3221214584 1131591157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211234 27868 13073 16 0 211218 0
vsize: 844936
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 106607 65 0 0 25 0 11 0 477435898 865214464 27868 4294967295 134512640 134569956 3221224416 3221214696 1131243206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 27868 13073 16 0 211218 0
vsize: 844936
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 107588 65 0 0 25 0 11 0 477435898 865214464 28027 4294967295 134512640 134569956 3221224416 3221214672 1131369468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28027 13073 16 0 211218 0
vsize: 844936
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 108575 66 0 0 25 0 11 0 477435898 865214464 28028 4294967295 134512640 134569956 3221224416 3221214416 1080216962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28028 13073 16 0 211218 0
vsize: 844936
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 109562 66 0 0 25 0 11 0 477435898 865214464 28028 4294967295 134512640 134569956 3221224416 3221214628 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28028 13073 16 0 211218 0
vsize: 844936
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 110550 66 0 0 25 0 11 0 477435898 865214464 28028 4294967295 134512640 134569956 3221224416 3221214584 1131402111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28028 13073 16 0 211218 0
vsize: 844936
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) S 23868 22929 22928 0 -1 0 18069 3 1 0 111537 67 0 0 25 0 11 0 477435898 865214464 28028 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28028 13073 16 0 211218 0
vsize: 844936
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 112524 67 0 0 25 0 11 0 477435898 865214464 28028 4294967295 134512640 134569956 3221224416 3221214584 1131401934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28028 13073 16 0 211218 0
vsize: 844936
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 113514 67 0 0 25 0 11 0 477435898 865214464 28105 4294967295 134512640 134569956 3221224416 3221214520 1131427389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28105 13073 16 0 211218 0
vsize: 844936
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23888
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 114506 68 0 0 25 0 11 0 477435898 865214464 28181 4294967295 134512640 134569956 3221224416 3221214136 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28181 13073 16 0 211218 0
vsize: 844936
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23890
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 115498 68 0 0 25 0 11 0 477435898 865214464 28275 4294967295 134512640 134569956 3221224416 3221214200 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28275 13073 16 0 211218 0
vsize: 844936
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23890
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 116493 69 0 0 25 0 11 0 477435898 865214464 28275 4294967295 134512640 134569956 3221224416 3221214352 1080217364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28275 13073 16 0 211218 0
vsize: 844936
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23890
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 117490 69 0 0 25 0 11 0 477435898 865214464 28275 4294967295 134512640 134569956 3221224416 3221214376 1080216969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28275 13073 16 0 211218 0
vsize: 844936
[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23890
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 118486 70 0 0 25 0 11 0 477435898 865214464 28275 4294967295 134512640 134569956 3221224416 3221214344 1080217015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28275 13073 16 0 211218 0
vsize: 844936
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23890
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 119482 70 0 0 25 0 11 0 477435898 865214464 28275 4294967295 134512640 134569956 3221224416 3221214376 1080217037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28275 13073 16 0 211218 0
vsize: 844936
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 23890
Raw data (stat): 23869 (java) R 23868 22929 22928 0 -1 0 18069 3 1 0 120478 70 0 0 25 0 11 0 477435898 865214464 28275 4294967295 134512640 134569956 3221224416 3221214496 1131621806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211234 28275 13073 16 0 211218 0
vsize: 844936
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.24 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 23892
Raw data (stat): 23869 (java) Z 23868 22929 22928 0 -1 1036 18069 16218 1 0 120483 76 3451 45 25 0 1 0 477435898 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): 1230.24
CPU time (s): 1240.57
CPU user time (s): 1239.35
CPU system time (s): 1.21581
CPU usage (%): 100.839
Max. virtual memory (Kb): 845564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####