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-ii16e2.opb
MD5SUMb02172857ce65a3b2db38d953a9873b2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 520
Optimality of the best value was proved NO
Number of terms in the objective function 1064
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 1064
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 1064
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 benchmark6.555
Number of variables1064
Total number of constraints8357
Number of constraints which are clauses8357
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 constraint16

Trace number 4308 

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        919340 kB
Buffers:         31432 kB
Cached:          63288 kB
SwapCached:          4 kB
Active:          46784 kB
Inactive:        50752 kB
HighTotal:      131008 kB
HighFree:        63952 kB
LowTotal:       903652 kB
LowFree:        855388 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            12200 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:36:45 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1305 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-ii16e2.opb
c reading problem 
c [nbvar=1064]
c [nbconstr=8357]
c time 4.493
c #vars     1064
c #clauses  8357
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=522
c Current CPU time (ms) : 32.775
c starts	: 3
c conflicts	: 458
c decisions	: 1516
c propagations	: 87374
c inspects	: 355900
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 458
c root simplifications	: 3
c 
c CURRENT OPTIMUM=521
c Current CPU time (ms) : 50.116
c starts	: 5
c conflicts	: 662
c decisions	: 1974
c propagations	: 128914
c inspects	: 546343
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 662
c root simplifications	: 5
c 
c CURRENT OPTIMUM=520
c Current CPU time (ms) : 143.466
c starts	: 8
c conflicts	: 1009
c decisions	: 2646
c propagations	: 192459
c inspects	: 912919
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1009
c root simplifications	: 8
#### 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.97 0.78 2/54 21255
Raw data (stat): 21255 (runsolver) R 21254 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419097938 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.0007 s]
Raw data (loadavg): 1.24 1.04 0.80 4/64 21265
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18078 0 1 0 600 45 0 0 24 0 11 0 419097938 871358464 23358 4294967295 134512640 134569956 3221224416 3221213336 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212734 23358 13073 16 0 212718 0
vsize: 850936
[startup+20.0019 s]
Raw data (loadavg): 1.20 1.03 0.80 2/64 21265
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18079 0 1 0 1536 45 0 0 24 0 11 0 419097938 865550336 23624 4294967295 134512640 134569956 3221224416 3221214848 1131324669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 23624 13073 16 0 211300 0
vsize: 845264
[startup+30.003 s]
Raw data (loadavg): 1.17 1.03 0.80 2/64 21265
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18079 0 1 0 2512 46 0 0 25 0 11 0 419097938 865550336 23635 4294967295 134512640 134569956 3221224416 3221214784 1131364239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 23635 13073 16 0 211300 0
vsize: 845264
[startup+40.0028 s]
Raw data (loadavg): 1.14 1.03 0.80 2/64 21266
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 3474 46 0 0 25 0 11 0 419097938 865550336 23636 4294967295 134512640 134569956 3221224416 3221214784 1131359753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 23636 13073 16 0 211300 0
vsize: 845264
[startup+50.0082 s]
Raw data (loadavg): 1.12 1.03 0.81 2/64 21266
Raw data (stat): 21255 (java) S 21254 20937 20936 0 -1 0 18080 3 1 0 4427 46 0 0 25 0 11 0 419097938 865550336 23709 4294967295 134512640 134569956 3221224416 3221213368 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 23709 13073 16 0 211300 0
vsize: 845264
[startup+60.0083 s]
Raw data (loadavg): 1.10 1.03 0.81 2/64 21267
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 5370 46 0 0 24 0 11 0 419097938 865550336 24154 4294967295 134512640 134569956 3221224416 3221214688 1131217830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 24154 13073 16 0 211300 0
vsize: 845264
[startup+70.0098 s]
Raw data (loadavg): 1.09 1.03 0.81 2/64 21267
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 6318 46 0 0 25 0 11 0 419097938 865550336 24242 4294967295 134512640 134569956 3221224416 3221214688 1131217289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 24242 13073 16 0 211300 0
vsize: 845264
[startup+80.0101 s]
Raw data (loadavg): 1.07 1.03 0.81 2/64 21267
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 7258 47 0 0 25 0 11 0 419097938 865550336 24242 4294967295 134512640 134569956 3221224416 3221214784 1131361134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 24242 13073 16 0 211300 0
vsize: 845264
[startup+90.0101 s]
Raw data (loadavg): 1.06 1.02 0.81 2/64 21267
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 8198 47 0 0 25 0 11 0 419097938 865550336 24462 4294967295 134512640 134569956 3221224416 3221214784 1131359793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 24462 13073 16 0 211300 0
vsize: 845264
[startup+100.011 s]
Raw data (loadavg): 1.05 1.02 0.82 2/64 21267
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 9145 47 0 0 25 0 11 0 419097938 865550336 24881 4294967295 134512640 134569956 3221224416 3221214784 1131361062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 24881 13073 16 0 211300 0
vsize: 845264
[startup+110.011 s]
Raw data (loadavg): 1.04 1.02 0.82 2/64 21267
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 10111 47 0 0 25 0 11 0 419097938 865550336 24960 4294967295 134512640 134569956 3221224416 3221214784 1131360017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 24960 13073 16 0 211300 0
vsize: 845264
[startup+120.012 s]
Raw data (loadavg): 1.04 1.02 0.82 2/64 21267
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 11079 47 0 0 25 0 11 0 419097938 865550336 25020 4294967295 134512640 134569956 3221224416 3221214688 1131217289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 25020 13073 16 0 211300 0
vsize: 845264
[startup+130.013 s]
Raw data (loadavg): 1.03 1.02 0.82 2/64 21267
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 12046 47 0 0 25 0 11 0 419097938 865550336 25082 4294967295 134512640 134569956 3221224416 3221214736 1131334625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25082 13073 16 0 211300 0
vsize: 845264
[startup+140.012 s]
Raw data (loadavg): 1.02 1.02 0.82 2/64 21267
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 13006 47 0 0 24 0 11 0 419097938 865550336 25147 4294967295 134512640 134569956 3221224416 3221214856 1131324654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25147 13073 16 0 211300 0
vsize: 845264
[startup+150.013 s]
Raw data (loadavg): 1.02 1.02 0.82 2/64 21268
Raw data (stat): 21255 (java) S 21254 20937 20936 0 -1 0 18080 3 1 0 13967 48 0 0 25 0 11 0 419097938 865550336 25207 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25207 13073 16 0 211300 0
vsize: 845264
[startup+160.014 s]
Raw data (loadavg): 1.02 1.02 0.82 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 14922 48 0 0 25 0 11 0 419097938 865550336 25257 4294967295 134512640 134569956 3221224416 3221214784 1131361072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25257 13073 16 0 211300 0
vsize: 845264
[startup+170.014 s]
Raw data (loadavg): 1.01 1.02 0.82 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 15880 48 0 0 25 0 11 0 419097938 865550336 25309 4294967295 134512640 134569956 3221224416 3221214688 1131217481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25309 13073 16 0 211300 0
vsize: 845264
[startup+180.014 s]
Raw data (loadavg): 1.01 1.02 0.83 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 16833 48 0 0 25 0 11 0 419097938 865550336 25377 4294967295 134512640 134569956 3221224416 3221214688 1131217289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25377 13073 16 0 211300 0
vsize: 845264
[startup+190.015 s]
Raw data (loadavg): 1.01 1.02 0.83 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 17786 49 0 0 25 0 11 0 419097938 865550336 25427 4294967295 134512640 134569956 3221224416 3221214688 1131217029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25427 13073 16 0 211300 0
vsize: 845264
[startup+200.015 s]
Raw data (loadavg): 1.01 1.01 0.83 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 18753 49 0 0 25 0 11 0 419097938 865550336 25694 4294967295 134512640 134569956 3221224416 3221214784 1131359935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25694 13073 16 0 211300 0
vsize: 845264
[startup+210.016 s]
Raw data (loadavg): 1.01 1.01 0.83 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 19727 49 0 0 25 0 11 0 419097938 865550336 25736 4294967295 134512640 134569956 3221224416 3221214784 1131359918 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25736 13073 16 0 211300 0
vsize: 845264
[startup+220.017 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 20699 50 0 0 25 0 11 0 419097938 865550336 25776 4294967295 134512640 134569956 3221224416 3221214784 1131360046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25776 13073 16 0 211300 0
vsize: 845264
[startup+230.017 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 21664 50 0 0 25 0 11 0 419097938 865550336 25837 4294967295 134512640 134569956 3221224416 3221214760 1131251176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25837 13073 16 0 211300 0
vsize: 845264
[startup+240.018 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 22616 50 0 0 25 0 11 0 419097938 865550336 25866 4294967295 134512640 134569956 3221224416 3221214784 1131361974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25866 13073 16 0 211300 0
vsize: 845264
[startup+250.018 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 23574 51 0 0 25 0 11 0 419097938 865550336 25892 4294967295 134512640 134569956 3221224416 3221214688 1131217242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25892 13073 16 0 211300 0
vsize: 845264
[startup+260.019 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 24514 51 0 0 25 0 11 0 419097938 865550336 25939 4294967295 134512640 134569956 3221224416 3221214688 1131217384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25939 13073 16 0 211300 0
vsize: 845264
[startup+270.02 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 25473 51 0 0 25 0 11 0 419097938 865550336 25950 4294967295 134512640 134569956 3221224416 3221214784 1131360040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 25950 13073 16 0 211300 0
vsize: 845264
[startup+280.02 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 26437 51 0 0 25 0 11 0 419097938 865550336 26272 4294967295 134512640 134569956 3221224416 3221214784 1131359956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26272 13073 16 0 211300 0
vsize: 845264
[startup+290.021 s]
Raw data (loadavg): 1.00 1.01 0.84 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 27412 51 0 0 25 0 11 0 419097938 865550336 26324 4294967295 134512640 134569956 3221224416 3221214688 1131217203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26324 13073 16 0 211300 0
vsize: 845264
[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 28387 51 0 0 25 0 11 0 419097938 865550336 26348 4294967295 134512640 134569956 3221224416 3221214784 1131360949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26348 13073 16 0 211300 0
vsize: 845264
[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 29365 52 0 0 25 0 11 0 419097938 865550336 26383 4294967295 134512640 134569956 3221224416 3221214784 1131360040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26383 13073 16 0 211300 0
vsize: 845264
[startup+320.023 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 30341 52 0 0 25 0 11 0 419097938 865550336 26400 4294967295 134512640 134569956 3221224416 3221214784 1131360046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26400 13073 16 0 211300 0
vsize: 845264
[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 31321 52 0 0 25 0 11 0 419097938 865550336 26425 4294967295 134512640 134569956 3221224416 3221214688 1131217538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26425 13073 16 0 211300 0
vsize: 845264
[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 32298 53 0 0 25 0 11 0 419097938 865550336 26436 4294967295 134512640 134569956 3221224416 3221214688 1131217052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26436 13073 16 0 211300 0
vsize: 845264
[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 33276 53 0 0 25 0 11 0 419097938 865550336 26449 4294967295 134512640 134569956 3221224416 3221214688 1131217228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26449 13073 16 0 211300 0
vsize: 845264
[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 34254 53 0 0 25 0 11 0 419097938 865550336 26463 4294967295 134512640 134569956 3221224416 3221214688 1131217242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26463 13073 16 0 211300 0
vsize: 845264
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 35229 54 0 0 25 0 11 0 419097938 865550336 26491 4294967295 134512640 134569956 3221224416 3221214688 1131216957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26491 13073 16 0 211300 0
vsize: 845264
[startup+380.025 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 36203 54 0 0 25 0 11 0 419097938 865550336 26508 4294967295 134512640 134569956 3221224416 3221214856 1131324665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26508 13073 16 0 211300 0
vsize: 845264
[startup+390.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 21268
Raw data (stat): 21255 (java) S 21254 20937 20936 0 -1 0 18080 3 1 0 37180 54 0 0 25 0 11 0 419097938 865550336 26543 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26543 13073 16 0 211300 0
vsize: 845264
[startup+400.026 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 38154 55 0 0 25 0 11 0 419097938 865550336 26569 4294967295 134512640 134569956 3221224416 3221214784 1131360017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26569 13073 16 0 211300 0
vsize: 845264
[startup+410.026 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 39132 55 0 0 25 0 11 0 419097938 865550336 26585 4294967295 134512640 134569956 3221224416 3221214784 1131361991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26585 13073 16 0 211300 0
vsize: 845264
[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 40107 56 0 0 25 0 11 0 419097938 865550336 26612 4294967295 134512640 134569956 3221224416 3221214784 1131359949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26612 13073 16 0 211300 0
vsize: 845264
[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 41088 56 0 0 25 0 11 0 419097938 865550336 26634 4294967295 134512640 134569956 3221224416 3221214784 1131359956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26634 13073 16 0 211300 0
vsize: 845264
[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 42065 56 0 0 25 0 11 0 419097938 865550336 26667 4294967295 134512640 134569956 3221224416 3221214688 1131217289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26667 13073 16 0 211300 0
vsize: 845264
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 43040 56 0 0 25 0 11 0 419097938 865550336 26681 4294967295 134512640 134569956 3221224416 3221214784 1131359953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26681 13073 16 0 211300 0
vsize: 845264
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 44015 56 0 0 25 0 11 0 419097938 865550336 26706 4294967295 134512640 134569956 3221224416 3221214688 1131217289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26706 13073 16 0 211300 0
vsize: 845264
[startup+470.03 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 44992 56 0 0 25 0 11 0 419097938 865550336 26727 4294967295 134512640 134569956 3221224416 3221214688 1131216897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26727 13073 16 0 211300 0
vsize: 845264
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 45968 57 0 0 25 0 11 0 419097938 865550336 26745 4294967295 134512640 134569956 3221224416 3221214688 1131217047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26745 13073 16 0 211300 0
vsize: 845264
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 46944 57 0 0 25 0 11 0 419097938 865550336 26766 4294967295 134512640 134569956 3221224416 3221214688 1131216933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26766 13073 16 0 211300 0
vsize: 845264
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 47916 57 0 0 25 0 11 0 419097938 865550336 26798 4294967295 134512640 134569956 3221224416 3221214784 1131359956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26798 13073 16 0 211300 0
vsize: 845264
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 48892 58 0 0 25 0 11 0 419097938 865550336 26833 4294967295 134512640 134569956 3221224416 3221214784 1131361047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26833 13073 16 0 211300 0
vsize: 845264
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 49868 58 0 0 25 0 11 0 419097938 865550336 26855 4294967295 134512640 134569956 3221224416 3221214688 1131216988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26855 13073 16 0 211300 0
vsize: 845264
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 50843 58 0 0 25 0 11 0 419097938 865550336 26878 4294967295 134512640 134569956 3221224416 3221214688 1131217214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 26878 13073 16 0 211300 0
vsize: 845264
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 51819 58 0 0 24 0 11 0 419097938 865550336 26904 4294967295 134512640 134569956 3221224416 3221214784 1131361971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26904 13073 16 0 211300 0
vsize: 845264
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 52795 58 0 0 25 0 11 0 419097938 865550336 26927 4294967295 134512640 134569956 3221224416 3221214688 1131217289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26927 13073 16 0 211300 0
vsize: 845264
[startup+560.031 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 53773 59 0 0 25 0 11 0 419097938 865550336 26943 4294967295 134512640 134569956 3221224416 3221214688 1131217493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26943 13073 16 0 211300 0
vsize: 845264
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 54744 59 0 0 25 0 11 0 419097938 865550336 26963 4294967295 134512640 134569956 3221224416 3221214280 1076461028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26963 13073 16 0 211300 0
vsize: 845264
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 55724 59 0 0 25 0 11 0 419097938 865550336 26991 4294967295 134512640 134569956 3221224416 3221214688 1131217091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 26991 13073 16 0 211300 0
vsize: 845264
[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 56700 60 0 0 25 0 11 0 419097938 865550336 27004 4294967295 134512640 134569956 3221224416 3221214784 1131360017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27004 13073 16 0 211300 0
vsize: 845264
[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 57679 60 0 0 25 0 11 0 419097938 865550336 27015 4294967295 134512640 134569956 3221224416 3221214688 1131217289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27015 13073 16 0 211300 0
vsize: 845264
[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 58654 61 0 0 24 0 11 0 419097938 865550336 27029 4294967295 134512640 134569956 3221224416 3221214688 1131217326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27029 13073 16 0 211300 0
vsize: 845264
[startup+620.034 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 59632 61 0 0 25 0 11 0 419097938 865550336 27045 4294967295 134512640 134569956 3221224416 3221214704 1131527887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 27045 13073 16 0 211300 0
vsize: 845264
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 60607 61 0 0 25 0 11 0 419097938 865550336 27076 4294967295 134512640 134569956 3221224416 3221214784 1131360193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27076 13073 16 0 211300 0
vsize: 845264
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 61586 61 0 0 25 0 11 0 419097938 865550336 27110 4294967295 134512640 134569956 3221224416 3221214688 1131217923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27110 13073 16 0 211300 0
vsize: 845264
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 62556 61 0 0 24 0 11 0 419097938 865550336 27155 4294967295 134512640 134569956 3221224416 3221214784 1131361072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27155 13073 16 0 211300 0
vsize: 845264
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 63536 62 0 0 25 0 11 0 419097938 865550336 27171 4294967295 134512640 134569956 3221224416 3221214688 1131216933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27171 13073 16 0 211300 0
vsize: 845264
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 64514 62 0 0 25 0 11 0 419097938 865550336 27197 4294967295 134512640 134569956 3221224416 3221214784 1131360125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27197 13073 16 0 211300 0
vsize: 845264
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 65487 62 0 0 25 0 11 0 419097938 865550336 27224 4294967295 134512640 134569956 3221224416 3221214784 1131360017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27224 13073 16 0 211300 0
vsize: 845264
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 66465 62 0 0 25 0 11 0 419097938 865550336 27236 4294967295 134512640 134569956 3221224416 3221214784 1131360017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27236 13073 16 0 211300 0
vsize: 845264
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 67442 63 0 0 25 0 11 0 419097938 865550336 27241 4294967295 134512640 134569956 3221224416 3221214784 1131359956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27241 13073 16 0 211300 0
vsize: 845264
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 68410 63 0 0 25 0 11 0 419097938 865550336 27285 4294967295 134512640 134569956 3221224416 3221214848 1131567953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27285 13073 16 0 211300 0
vsize: 845264
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 69381 63 0 0 25 0 11 0 419097938 865550336 27335 4294967295 134512640 134569956 3221224416 3221214688 1131217230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27335 13073 16 0 211300 0
vsize: 845264
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 70356 63 0 0 25 0 11 0 419097938 865550336 27359 4294967295 134512640 134569956 3221224416 3221214736 1131335568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27359 13073 16 0 211300 0
vsize: 845264
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 71331 63 0 0 25 0 11 0 419097938 865550336 27392 4294967295 134512640 134569956 3221224416 3221214688 1131217289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27392 13073 16 0 211300 0
vsize: 845264
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 72306 64 0 0 25 0 11 0 419097938 865550336 27432 4294967295 134512640 134569956 3221224416 3221214784 1131361963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27432 13073 16 0 211300 0
vsize: 845264
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 73282 64 0 0 25 0 11 0 419097938 865550336 27454 4294967295 134512640 134569956 3221224416 3221214784 1131359956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27454 13073 16 0 211300 0
vsize: 845264
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 74259 65 0 0 25 0 11 0 419097938 865550336 27473 4294967295 134512640 134569956 3221224416 3221214784 1131359956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27473 13073 16 0 211300 0
vsize: 845264
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 75236 65 0 0 25 0 11 0 419097938 865550336 27508 4294967295 134512640 134569956 3221224416 3221214688 1131216893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27508 13073 16 0 211300 0
vsize: 845264
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 76215 65 0 0 25 0 11 0 419097938 865550336 27518 4294967295 134512640 134569956 3221224416 3221214784 1131360021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27518 13073 16 0 211300 0
vsize: 845264
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 77193 65 0 0 25 0 11 0 419097938 865550336 27529 4294967295 134512640 134569956 3221224416 3221214688 1131217861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27529 13073 16 0 211300 0
vsize: 845264
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 78172 66 0 0 25 0 11 0 419097938 865550336 27544 4294967295 134512640 134569956 3221224416 3221214784 1131359949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27544 13073 16 0 211300 0
vsize: 845264
[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 79147 66 0 0 25 0 11 0 419097938 865550336 27560 4294967295 134512640 134569956 3221224416 3221214688 1131217289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27560 13073 16 0 211300 0
vsize: 845264
[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 80121 66 0 0 25 0 11 0 419097938 865550336 27583 4294967295 134512640 134569956 3221224416 3221214784 1131361062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27583 13073 16 0 211300 0
vsize: 845264
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 81096 67 0 0 24 0 11 0 419097938 865550336 27606 4294967295 134512640 134569956 3221224416 3221214784 1131360992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27606 13073 16 0 211300 0
vsize: 845264
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 82074 67 0 0 25 0 11 0 419097938 865550336 27629 4294967295 134512640 134569956 3221224416 3221214688 1131216926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27629 13073 16 0 211300 0
vsize: 845264
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 83051 68 0 0 25 0 11 0 419097938 865550336 27642 4294967295 134512640 134569956 3221224416 3221214784 1131360017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27642 13073 16 0 211300 0
vsize: 845264
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 84024 68 0 0 25 0 11 0 419097938 865550336 27672 4294967295 134512640 134569956 3221224416 3221214784 1131360017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27672 13073 16 0 211300 0
vsize: 845264
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 84996 68 0 0 25 0 11 0 419097938 865550336 27699 4294967295 134512640 134569956 3221224416 3221214688 1131217925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27699 13073 16 0 211300 0
vsize: 845264
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 85968 69 0 0 25 0 11 0 419097938 865550336 27725 4294967295 134512640 134569956 3221224416 3221214688 1131217289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27725 13073 16 0 211300 0
vsize: 845264
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 86939 69 0 0 25 0 11 0 419097938 865550336 27770 4294967295 134512640 134569956 3221224416 3221214784 1131359956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27770 13073 16 0 211300 0
vsize: 845264
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 87914 69 0 0 25 0 11 0 419097938 865550336 27780 4294967295 134512640 134569956 3221224416 3221214688 1131217128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27780 13073 16 0 211300 0
vsize: 845264
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 88886 70 0 0 25 0 11 0 419097938 865550336 27804 4294967295 134512640 134569956 3221224416 3221214688 1131217289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27804 13073 16 0 211300 0
vsize: 845264
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18080 3 1 0 89851 70 0 0 25 0 11 0 419097938 865550336 27814 4294967295 134512640 134569956 3221224416 3221214688 1131216977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27814 13073 16 0 211300 0
vsize: 845264
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 90823 70 0 0 25 0 11 0 419097938 865550336 27835 4294967295 134512640 134569956 3221224416 3221214600 1131251336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 27835 13073 16 0 211300 0
vsize: 845264
[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 91789 70 0 0 25 0 11 0 419097938 865550336 27858 4294967295 134512640 134569956 3221224416 3221214784 1131359956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27858 13073 16 0 211300 0
vsize: 845264
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 92757 70 0 0 25 0 11 0 419097938 865550336 27922 4294967295 134512640 134569956 3221224416 3221214784 1131361047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27922 13073 16 0 211300 0
vsize: 845264
[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 93726 71 0 0 25 0 11 0 419097938 865550336 27951 4294967295 134512640 134569956 3221224416 3221214688 1131217896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 27951 13073 16 0 211300 0
vsize: 845264
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 94696 71 0 0 25 0 11 0 419097938 865550336 28005 4294967295 134512640 134569956 3221224416 3221214784 1131360017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 28005 13073 16 0 211300 0
vsize: 845264
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 95669 72 0 0 25 0 11 0 419097938 865550336 28075 4294967295 134512640 134569956 3221224416 3221214688 1131217242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 28075 13073 16 0 211300 0
vsize: 845264
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 96642 72 0 0 25 0 11 0 419097938 865550336 28115 4294967295 134512640 134569956 3221224416 3221214784 1131361054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 28115 13073 16 0 211300 0
vsize: 845264
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 97618 72 0 0 25 0 11 0 419097938 865550336 28132 4294967295 134512640 134569956 3221224416 3221214784 1131359935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 28132 13073 16 0 211300 0
vsize: 845264
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 98597 73 0 0 25 0 11 0 419097938 865550336 28164 4294967295 134512640 134569956 3221224416 3221214688 1131217236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 28164 13073 16 0 211300 0
vsize: 845264
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 99571 73 0 0 25 0 11 0 419097938 865550336 28194 4294967295 134512640 134569956 3221224416 3221214784 1131360180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 28194 13073 16 0 211300 0
vsize: 845264
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 100549 73 0 0 25 0 11 0 419097938 865550336 28214 4294967295 134512640 134569956 3221224416 3221214784 1131360017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 28214 13073 16 0 211300 0
vsize: 845264
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 101526 73 0 0 25 0 11 0 419097938 865550336 28234 4294967295 134512640 134569956 3221224416 3221214688 1131217242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 28234 13073 16 0 211300 0
vsize: 845264
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 102502 74 0 0 25 0 11 0 419097938 865550336 28262 4294967295 134512640 134569956 3221224416 3221214688 1131216901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 28262 13073 16 0 211300 0
vsize: 845264
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 103477 74 0 0 25 0 11 0 419097938 865550336 28279 4294967295 134512640 134569956 3221224416 3221214688 1131217289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28279 13073 16 0 211300 0
vsize: 845264
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 104450 74 0 0 25 0 11 0 419097938 865550336 28301 4294967295 134512640 134569956 3221224416 3221214688 1131217173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28301 13073 16 0 211300 0
vsize: 845264
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 105421 74 0 0 25 0 11 0 419097938 865550336 28345 4294967295 134512640 134569956 3221224416 3221214688 1131217320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28345 13073 16 0 211300 0
vsize: 845264
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 106399 74 0 0 25 0 11 0 419097938 865550336 28368 4294967295 134512640 134569956 3221224416 3221214784 1131361072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28368 13073 16 0 211300 0
vsize: 845264
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 107374 74 0 0 25 0 11 0 419097938 865550336 28389 4294967295 134512640 134569956 3221224416 3221214856 1131324385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28389 13073 16 0 211300 0
vsize: 845264
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 108351 74 0 0 25 0 11 0 419097938 865550336 28402 4294967295 134512640 134569956 3221224416 3221214688 1131217741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211316 28402 13073 16 0 211300 0
vsize: 845264
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 109324 74 0 0 25 0 11 0 419097938 865550336 28407 4294967295 134512640 134569956 3221224416 3221214688 1131217091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28407 13073 16 0 211300 0
vsize: 845264
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 110288 74 0 0 24 0 11 0 419097938 865550336 28465 4294967295 134512640 134569956 3221224416 3221214688 1131217332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28465 13073 16 0 211300 0
vsize: 845264
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 111259 74 0 0 25 0 11 0 419097938 865550336 28499 4294967295 134512640 134569956 3221224416 3221214736 1131333857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28499 13073 16 0 211300 0
vsize: 845264
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 112237 75 0 0 25 0 11 0 419097938 865550336 28523 4294967295 134512640 134569956 3221224416 3221214688 1131217843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28523 13073 16 0 211300 0
vsize: 845264
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 113203 75 0 0 25 0 11 0 419097938 865550336 28565 4294967295 134512640 134569956 3221224416 3221214892 1080204233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28565 13073 16 0 211300 0
vsize: 845264
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 114181 75 0 0 25 0 11 0 419097938 865550336 28573 4294967295 134512640 134569956 3221224416 3221214784 1131359994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28573 13073 16 0 211300 0
vsize: 845264
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 115154 75 0 0 25 0 11 0 419097938 865550336 28594 4294967295 134512640 134569956 3221224416 3221214688 1131216901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28594 13073 16 0 211300 0
vsize: 845264
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 116125 75 0 0 25 0 11 0 419097938 865550336 28627 4294967295 134512640 134569956 3221224416 3221214784 1131359918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28627 13073 16 0 211300 0
vsize: 845264
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 117101 75 0 0 25 0 11 0 419097938 865550336 28635 4294967295 134512640 134569956 3221224416 3221214688 1131217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28635 13073 16 0 211300 0
vsize: 845264
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 118072 75 0 0 24 0 11 0 419097938 865550336 28662 4294967295 134512640 134569956 3221224416 3221214688 1131216933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28662 13073 16 0 211300 0
vsize: 845264
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 119047 76 0 0 25 0 11 0 419097938 865550336 28693 4294967295 134512640 134569956 3221224416 3221214784 1131361069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28693 13073 16 0 211300 0
vsize: 845264
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 21268
Raw data (stat): 21255 (java) R 21254 20937 20936 0 -1 0 18081 3 1 0 120020 76 0 0 24 0 11 0 419097938 865550336 28720 4294967295 134512640 134569956 3221224416 3221214784 1131360017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211316 28720 13073 16 0 211300 0
vsize: 845264
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 21270
Raw data (stat): 21255 (java) Z 21254 20937 20936 0 -1 1036 18081 11102 1 0 120021 76 4141 39 25 0 1 0 419097938 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): 1240.12
CPU time (s): 1242.79
CPU user time (s): 1241.63
CPU system time (s): 1.15982
CPU usage (%): 100.215
Max. virtual memory (Kb): 850936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####