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/een/normalized-seymour.opb
MD5SUM23a177449585151350479e80b33e6416
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 353
Optimality of the best value was proved NO
Number of terms in the objective function 1372
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 1372
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 1372
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.04984
Number of variables1255
Total number of constraints4827
Number of constraints which are clauses4827
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 constraint19

Trace number 6943

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-14 20:30:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5001 boxname=wulflinc24 idbench=385 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  23a177449585151350479e80b33e6416  /oldhome/oroussel/tmp/wulflinc24/normalized-seymour.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-seymour.opb
IDLAUNCH: 5001
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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.080
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:        815892 kB
Buffers:         35724 kB
Cached:         140512 kB
SwapCached:       3828 kB
Active:          65412 kB
Inactive:       117524 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        815640 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            30260 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 20:51:04 (client local time) WITH STATUS 143 IN 1263.25 SECONDS
stats: 5001 7 1263.25 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-seymour.opb
c reading problem 
c [nbvar=1372]
c [nbconstr=4827]
c time 4.532
c #vars     1372
c #clauses  4827
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=385
c Current CPU time (ms) : 5.156
c starts	: 1
c conflicts	: 0
c decisions	: 987
c propagations	: 1372
c inspects	: 15371
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=384
c Current CPU time (ms) : 10.895
c starts	: 2
c conflicts	: 8
c decisions	: 1964
c propagations	: 3101
c inspects	: 19360
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8
c root simplifications	: 2
c 
c CURRENT OPTIMUM=369
c Current CPU time (ms) : 14.635
c starts	: 3
c conflicts	: 8
c decisions	: 2970
c propagations	: 4473
c inspects	: 29287
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8
c root simplifications	: 3
c 
c CURRENT OPTIMUM=368
c Current CPU time (ms) : 16.064
c starts	: 4
c conflicts	: 13
c decisions	: 3984
c propagations	: 5880
c inspects	: 31049
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 13
c root simplifications	: 4
c 
c CURRENT OPTIMUM=366
c Current CPU time (ms) : 19.867
c starts	: 5
c conflicts	: 13
c decisions	: 4990
c propagations	: 7252
c inspects	: 37358
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 13
c root simplifications	: 5
c 
c CURRENT OPTIMUM=365
c Current CPU time (ms) : 21.158
c starts	: 6
c conflicts	: 17
c decisions	: 6007
c propagations	: 8663
c inspects	: 39238
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 17
c root simplifications	: 6
c 
c CURRENT OPTIMUM=364
c Current CPU time (ms) : 22.877
c starts	: 7
c conflicts	: 17
c decisions	: 7015
c propagations	: 10035
c inspects	: 42131
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 17
c root simplifications	: 7
c 
c CURRENT OPTIMUM=363
c Current CPU time (ms) : 81.123
c starts	: 8
c conflicts	: 115
c decisions	: 8581
c propagations	: 13095
c inspects	: 50240
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 115
c root simplifications	: 8
c 
c CURRENT OPTIMUM=362
c Current CPU time (ms) : 519.114
c starts	: 11
c conflicts	: 455
c decisions	: 12805
c propagations	: 25800
c inspects	: 292125
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 455
c root simplifications	: 11
c 
c CURRENT OPTIMUM=361
c Current CPU time (ms) : 712.09
c starts	: 13
c conflicts	: 575
c decisions	: 15053
c propagations	: 30221
c inspects	: 438909
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 575
c root simplifications	: 13
c 
c CURRENT OPTIMUM=356
c Current CPU time (ms) : 781.089
c starts	: 14
c conflicts	: 575
c decisions	: 16069
c propagations	: 31593
c inspects	: 507615
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 575
c root simplifications	: 14
c 
c CURRENT OPTIMUM=355
c Current CPU time (ms) : 799.633
c starts	: 15
c conflicts	: 618
c decisions	: 17216
c propagations	: 33570
c inspects	: 518310
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 618
c root simplifications	: 15
#### 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.00 0.00 0.00 2/54 8777
Raw data (stat): 8777 (runsolver) R 8776 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487479183 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.38 0.08 0.03 2/64 8788
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18064 4 1 0 715 41 0 0 25 0 11 0 487479183 861073408 21431 4294967295 134512640 134569956 3221224416 3221214760 1131376231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210223 21431 13073 16 0 210207 0
vsize: 840892
[startup+20.0008 s]
Raw data (loadavg): 0.48 0.11 0.04 2/64 8791
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18065 4 1 0 1631 41 0 0 25 0 11 0 487479183 860688384 22202 4294967295 134512640 134569956 3221224416 3221214816 1131239576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210129 22202 13073 16 0 210113 0
vsize: 840516
[startup+30.0019 s]
Raw data (loadavg): 0.56 0.14 0.05 2/64 8794
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18066 4 1 0 2528 41 0 0 25 0 11 0 487479183 860196864 22464 4294967295 134512640 134569956 3221224416 3221214684 1080203741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 22464 13073 16 0 209993 0
vsize: 840036
[startup+40.0017 s]
Raw data (loadavg): 0.62 0.17 0.06 2/64 8794
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18066 4 1 0 3418 42 0 0 24 0 11 0 487479183 860372992 22788 4294967295 134512640 134569956 3221224416 3221214776 1131489364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210052 22788 13073 16 0 210036 0
vsize: 840208
[startup+50.0033 s]
Raw data (loadavg): 0.68 0.20 0.07 2/64 8794
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18066 4 1 0 4321 42 0 0 25 0 11 0 487479183 860372992 23131 4294967295 134512640 134569956 3221224416 3221214744 1131340066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210052 23131 13073 16 0 210036 0
vsize: 840208
[startup+60.0039 s]
Raw data (loadavg): 0.73 0.22 0.08 2/64 8794
Raw data (stat): 8777 (java) S 8776 28546 28545 0 -1 0 18067 4 1 0 5244 42 0 0 25 0 11 0 487479183 860196864 23091 4294967295 134512640 134569956 3221224416 3221213120 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 23091 13073 16 0 209993 0
vsize: 840036
[startup+70.0047 s]
Raw data (loadavg): 0.77 0.25 0.08 2/64 8794
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 6171 43 0 0 25 0 11 0 487479183 860196864 23448 4294967295 134512640 134569956 3221224416 3221214480 1131294526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 23448 13073 16 0 209993 0
vsize: 840036
[startup+80.0049 s]
Raw data (loadavg): 0.81 0.27 0.09 2/64 8794
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 7068 43 0 0 25 0 11 0 487479183 860196864 24405 4294967295 134512640 134569956 3221224416 3221214720 1131294569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 24405 13073 16 0 209993 0
vsize: 840036
[startup+90.005 s]
Raw data (loadavg): 0.83 0.29 0.10 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 7986 43 0 0 25 0 11 0 487479183 860196864 24840 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 24840 13073 16 0 209993 0
vsize: 840036
[startup+100.006 s]
Raw data (loadavg): 0.86 0.32 0.11 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 8888 43 0 0 25 0 11 0 487479183 860196864 24840 4294967295 134512640 134569956 3221224416 3221214800 1131238845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 24840 13073 16 0 209993 0
vsize: 840036
[startup+110.012 s]
Raw data (loadavg): 0.88 0.34 0.12 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 9801 43 0 0 25 0 11 0 487479183 860196864 25138 4294967295 134512640 134569956 3221224416 3221214824 1131375391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 25138 13073 16 0 209993 0
vsize: 840036
[startup+120.02 s]
Raw data (loadavg): 0.90 0.36 0.13 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 10709 44 0 0 25 0 11 0 487479183 860196864 25716 4294967295 134512640 134569956 3221224416 3221214760 1131345391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 25716 13073 16 0 209993 0
vsize: 840036
[startup+130.021 s]
Raw data (loadavg): 0.91 0.38 0.14 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 11607 44 0 0 25 0 11 0 487479183 860196864 26017 4294967295 134512640 134569956 3221224416 3221214800 1131239582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 26017 13073 16 0 209993 0
vsize: 840036
[startup+140.02 s]
Raw data (loadavg): 0.93 0.40 0.15 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 12490 44 0 0 25 0 11 0 487479183 860196864 28190 4294967295 134512640 134569956 3221224416 3221214776 1131336267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 28190 13073 16 0 209993 0
vsize: 840036
[startup+150.021 s]
Raw data (loadavg): 0.94 0.42 0.16 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 13455 44 0 0 25 0 11 0 487479183 860196864 28191 4294967295 134512640 134569956 3221224416 3221214800 1131239676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 28191 13073 16 0 209993 0
vsize: 840036
[startup+160.022 s]
Raw data (loadavg): 0.95 0.44 0.16 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 14401 45 0 0 25 0 11 0 487479183 860196864 28191 4294967295 134512640 134569956 3221224416 3221214872 1131309177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 28191 13073 16 0 209993 0
vsize: 840036
[startup+170.021 s]
Raw data (loadavg): 0.95 0.46 0.17 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 15339 45 0 0 25 0 11 0 487479183 860196864 28191 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 28191 13073 16 0 209993 0
vsize: 840036
[startup+180.022 s]
Raw data (loadavg): 0.96 0.47 0.18 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 16276 45 0 0 25 0 11 0 487479183 860196864 28284 4294967295 134512640 134569956 3221224416 3221214872 1131309261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 28284 13073 16 0 209993 0
vsize: 840036
[startup+190.023 s]
Raw data (loadavg): 0.97 0.49 0.19 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 17246 46 0 0 25 0 11 0 487479183 860196864 28729 4294967295 134512640 134569956 3221224416 3221214800 1131239681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 28729 13073 16 0 209993 0
vsize: 840036
[startup+200.023 s]
Raw data (loadavg): 0.97 0.51 0.20 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 18231 46 0 0 25 0 11 0 487479183 860196864 28772 4294967295 134512640 134569956 3221224416 3221214800 1131239139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 28772 13073 16 0 209993 0
vsize: 840036
[startup+210.023 s]
Raw data (loadavg): 0.98 0.52 0.21 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 19219 47 0 0 25 0 11 0 487479183 860196864 28789 4294967295 134512640 134569956 3221224416 3221214800 1131239061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 28789 13073 16 0 209993 0
vsize: 840036
[startup+220.024 s]
Raw data (loadavg): 0.98 0.54 0.21 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 20207 47 0 0 25 0 11 0 487479183 860196864 28807 4294967295 134512640 134569956 3221224416 3221214848 1131152456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 28807 13073 16 0 209993 0
vsize: 840036
[startup+230.024 s]
Raw data (loadavg): 0.98 0.55 0.22 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 21196 47 0 0 25 0 11 0 487479183 860196864 28821 4294967295 134512640 134569956 3221224416 3221214800 1131239146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 28821 13073 16 0 209993 0
vsize: 840036
[startup+240.024 s]
Raw data (loadavg): 0.98 0.57 0.23 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 22184 48 0 0 25 0 11 0 487479183 860196864 28831 4294967295 134512640 134569956 3221224416 3221214784 1131337557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 28831 13073 16 0 209993 0
vsize: 840036
[startup+250.025 s]
Raw data (loadavg): 0.99 0.58 0.24 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 23153 48 0 0 25 0 11 0 487479183 860196864 28841 4294967295 134512640 134569956 3221224416 3221214704 1131342062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 28841 13073 16 0 209993 0
vsize: 840036
[startup+260.025 s]
Raw data (loadavg): 0.99 0.59 0.25 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 24099 48 0 0 25 0 11 0 487479183 860196864 28855 4294967295 134512640 134569956 3221224416 3221214760 1131345688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 28855 13073 16 0 209993 0
vsize: 840036
[startup+270.025 s]
Raw data (loadavg): 0.99 0.61 0.25 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 25017 49 0 0 25 0 11 0 487479183 860196864 28874 4294967295 134512640 134569956 3221224416 3221214824 1131374987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 28874 13073 16 0 209993 0
vsize: 840036
[startup+280.026 s]
Raw data (loadavg): 0.99 0.62 0.26 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 25932 49 0 0 25 0 11 0 487479183 860196864 29069 4294967295 134512640 134569956 3221224416 3221214800 1131238697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 29069 13073 16 0 209993 0
vsize: 840036
[startup+290.027 s]
Raw data (loadavg): 0.99 0.63 0.27 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 26850 49 0 0 25 0 11 0 487479183 860196864 29271 4294967295 134512640 134569956 3221224416 3221214760 1131294408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 29271 13073 16 0 209993 0
vsize: 840036
[startup+300.027 s]
Raw data (loadavg): 0.99 0.64 0.28 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 27776 50 0 0 25 0 11 0 487479183 860196864 29540 4294967295 134512640 134569956 3221224416 3221214800 1131239656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 29540 13073 16 0 209993 0
vsize: 840036
[startup+310.028 s]
Raw data (loadavg): 0.99 0.65 0.28 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 28705 50 0 0 25 0 11 0 487479183 860196864 29679 4294967295 134512640 134569956 3221224416 3221214824 1131374485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 29679 13073 16 0 209993 0
vsize: 840036
[startup+320.028 s]
Raw data (loadavg): 0.99 0.67 0.29 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 29629 51 0 0 25 0 11 0 487479183 860196864 29824 4294967295 134512640 134569956 3221224416 3221214736 1131489364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 29824 13073 16 0 209993 0
vsize: 840036
[startup+330.028 s]
Raw data (loadavg): 0.99 0.68 0.30 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 30571 51 0 0 25 0 11 0 487479183 860196864 30074 4294967295 134512640 134569956 3221224416 3221214800 1131238674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 30074 13073 16 0 209993 0
vsize: 840036
[startup+340.028 s]
Raw data (loadavg): 0.99 0.69 0.30 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 31513 51 0 0 25 0 11 0 487479183 860196864 30257 4294967295 134512640 134569956 3221224416 3221214800 1131238669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 30257 13073 16 0 209993 0
vsize: 840036
[startup+350.029 s]
Raw data (loadavg): 0.99 0.70 0.31 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 32454 52 0 0 25 0 11 0 487479183 860196864 30310 4294967295 134512640 134569956 3221224416 3221214764 1080204306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 30310 13073 16 0 209993 0
vsize: 840036
[startup+360.029 s]
Raw data (loadavg): 0.99 0.71 0.32 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 33399 52 0 0 25 0 11 0 487479183 860196864 30431 4294967295 134512640 134569956 3221224416 3221214744 1131340242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 30431 13073 16 0 209993 0
vsize: 840036
[startup+370.029 s]
Raw data (loadavg): 0.99 0.71 0.32 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 34335 53 0 0 25 0 11 0 487479183 860196864 30563 4294967295 134512640 134569956 3221224416 3221214848 1131152402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 30563 13073 16 0 209993 0
vsize: 840036
[startup+380.029 s]
Raw data (loadavg): 0.99 0.72 0.33 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 35279 53 0 0 25 0 11 0 487479183 860196864 30598 4294967295 134512640 134569956 3221224416 3221214848 1131152262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 30598 13073 16 0 209993 0
vsize: 840036
[startup+390.029 s]
Raw data (loadavg): 0.99 0.73 0.34 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 36241 54 0 0 25 0 11 0 487479183 860196864 30714 4294967295 134512640 134569956 3221224416 3221214872 1131309216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 30714 13073 16 0 209993 0
vsize: 840036
[startup+400.03 s]
Raw data (loadavg): 0.99 0.74 0.34 2/64 8795
Raw data (stat): 8777 (java) S 8776 28546 28545 0 -1 0 18067 4 1 0 37187 54 0 0 25 0 11 0 487479183 860196864 30813 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 30813 13073 16 0 209993 0
vsize: 840036
[startup+410.031 s]
Raw data (loadavg): 0.99 0.75 0.35 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 38134 55 0 0 25 0 11 0 487479183 860196864 30978 4294967295 134512640 134569956 3221224416 3221214800 1131239061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 30978 13073 16 0 209993 0
vsize: 840036
[startup+420.031 s]
Raw data (loadavg): 0.99 0.76 0.36 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 39092 55 0 0 25 0 11 0 487479183 860196864 31122 4294967295 134512640 134569956 3221224416 3221214848 1131152266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 31122 13073 16 0 209993 0
vsize: 840036
[startup+430.031 s]
Raw data (loadavg): 0.99 0.76 0.37 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 40071 55 0 0 25 0 11 0 487479183 860196864 31361 4294967295 134512640 134569956 3221224416 3221214848 1131152307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 31361 13073 16 0 209993 0
vsize: 840036
[startup+440.031 s]
Raw data (loadavg): 0.99 0.77 0.37 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 41063 56 0 0 25 0 11 0 487479183 860196864 31368 4294967295 134512640 134569956 3221224416 3221214800 1131238849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 31368 13073 16 0 209993 0
vsize: 840036
[startup+450.033 s]
Raw data (loadavg): 0.99 0.78 0.38 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 42055 56 0 0 25 0 11 0 487479183 860196864 31369 4294967295 134512640 134569956 3221224416 3221214800 1131239061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 31369 13073 16 0 209993 0
vsize: 840036
[startup+460.033 s]
Raw data (loadavg): 0.99 0.79 0.38 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 43045 57 0 0 24 0 11 0 487479183 860196864 31371 4294967295 134512640 134569956 3221224416 3221214800 1131239195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 31371 13073 16 0 209993 0
vsize: 840036
[startup+470.033 s]
Raw data (loadavg): 0.99 0.79 0.39 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 44034 57 0 0 25 0 11 0 487479183 860196864 31375 4294967295 134512640 134569956 3221224416 3221214800 1131238941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 31375 13073 16 0 209993 0
vsize: 840036
[startup+480.034 s]
Raw data (loadavg): 0.99 0.80 0.39 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 45023 57 0 0 25 0 11 0 487479183 860196864 31381 4294967295 134512640 134569956 3221224416 3221214800 1131239302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 31381 13073 16 0 209993 0
vsize: 840036
[startup+490.034 s]
Raw data (loadavg): 0.99 0.80 0.40 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 46011 58 0 0 25 0 11 0 487479183 860196864 31386 4294967295 134512640 134569956 3221224416 3221214776 1131489364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 31386 13073 16 0 209993 0
vsize: 840036
[startup+500.036 s]
Raw data (loadavg): 0.99 0.81 0.41 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 46943 58 0 0 25 0 11 0 487479183 860196864 31399 4294967295 134512640 134569956 3221224416 3221214816 1131359729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 31399 13073 16 0 209993 0
vsize: 840036
[startup+510.036 s]
Raw data (loadavg): 0.99 0.82 0.41 2/64 8795
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 47845 58 0 0 25 0 11 0 487479183 860196864 32313 4294967295 134512640 134569956 3221224416 3221214760 1131344773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 32313 13073 16 0 209993 0
vsize: 840036
[startup+520.035 s]
Raw data (loadavg): 0.99 0.82 0.42 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 48747 59 0 0 25 0 11 0 487479183 860196864 33207 4294967295 134512640 134569956 3221224416 3221214848 1131152307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 33207 13073 16 0 209993 0
vsize: 840036
[startup+530.036 s]
Raw data (loadavg): 0.99 0.83 0.42 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 49707 59 0 0 25 0 11 0 487479183 860196864 33207 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 33207 13073 16 0 209993 0
vsize: 840036
[startup+540.036 s]
Raw data (loadavg): 0.99 0.83 0.43 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 50636 59 0 0 25 0 11 0 487479183 860196864 33207 4294967295 134512640 134569956 3221224416 3221214800 1131239061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 33207 13073 16 0 209993 0
vsize: 840036
[startup+550.036 s]
Raw data (loadavg): 0.99 0.84 0.44 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 51554 60 0 0 25 0 11 0 487479183 860196864 33207 4294967295 134512640 134569956 3221224416 3221214800 1131238865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 33207 13073 16 0 209993 0
vsize: 840036
[startup+560.037 s]
Raw data (loadavg): 0.99 0.84 0.44 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 52473 60 0 0 25 0 11 0 487479183 860196864 33565 4294967295 134512640 134569956 3221224416 3221214800 1131239906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 33565 13073 16 0 209993 0
vsize: 840036
[startup+570.037 s]
Raw data (loadavg): 0.99 0.85 0.45 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 53444 61 0 0 25 0 11 0 487479183 860196864 33978 4294967295 134512640 134569956 3221224416 3221214800 1131239255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 33978 13073 16 0 209993 0
vsize: 840036
[startup+580.038 s]
Raw data (loadavg): 0.99 0.85 0.45 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 54428 61 0 0 25 0 11 0 487479183 860196864 33996 4294967295 134512640 134569956 3221224416 3221214800 1131239061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 33996 13073 16 0 209993 0
vsize: 840036
[startup+590.038 s]
Raw data (loadavg): 0.99 0.86 0.46 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 55412 61 0 0 25 0 11 0 487479183 860196864 34013 4294967295 134512640 134569956 3221224416 3221214800 1131238756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 34013 13073 16 0 209993 0
vsize: 840036
[startup+600.039 s]
Raw data (loadavg): 0.99 0.86 0.46 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 56371 61 0 0 25 0 11 0 487479183 860196864 34037 4294967295 134512640 134569956 3221224416 3221214744 1131340114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 34037 13073 16 0 209993 0
vsize: 840036
[startup+610.039 s]
Raw data (loadavg): 0.99 0.86 0.47 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 57290 62 0 0 25 0 11 0 487479183 860196864 34047 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 34047 13073 16 0 209993 0
vsize: 840036
[startup+620.04 s]
Raw data (loadavg): 0.99 0.87 0.47 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 58193 62 0 0 25 0 11 0 487479183 860196864 34803 4294967295 134512640 134569956 3221224416 3221214800 1131239061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 34803 13073 16 0 209993 0
vsize: 840036
[startup+630.04 s]
Raw data (loadavg): 0.99 0.87 0.48 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 59112 62 0 0 25 0 11 0 487479183 860196864 35645 4294967295 134512640 134569956 3221224416 3221214896 1131314875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 35645 13073 16 0 209993 0
vsize: 840036
[startup+640.04 s]
Raw data (loadavg): 0.99 0.88 0.48 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 60071 63 0 0 25 0 11 0 487479183 860196864 35645 4294967295 134512640 134569956 3221224416 3221214848 1131152358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 35645 13073 16 0 209993 0
vsize: 840036
[startup+650.04 s]
Raw data (loadavg): 0.99 0.88 0.49 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 60999 63 0 0 24 0 11 0 487479183 860196864 35645 4294967295 134512640 134569956 3221224416 3221214800 1131239898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 35645 13073 16 0 209993 0
vsize: 840036
[startup+660.041 s]
Raw data (loadavg): 0.99 0.88 0.49 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 61927 63 0 0 25 0 11 0 487479183 860196864 35645 4294967295 134512640 134569956 3221224416 3221214800 1131238863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 35645 13073 16 0 209993 0
vsize: 840036
[startup+670.041 s]
Raw data (loadavg): 0.99 0.89 0.50 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 62844 63 0 0 25 0 11 0 487479183 860196864 35745 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 35745 13073 16 0 209993 0
vsize: 840036
[startup+680.041 s]
Raw data (loadavg): 0.99 0.89 0.50 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 63803 63 0 0 25 0 11 0 487479183 860196864 36415 4294967295 134512640 134569956 3221224416 3221214800 1131239656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 36415 13073 16 0 209993 0
vsize: 840036
[startup+690.042 s]
Raw data (loadavg): 0.99 0.89 0.51 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 64788 63 0 0 24 0 11 0 487479183 860196864 36436 4294967295 134512640 134569956 3221224416 3221214800 1131238697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 36436 13073 16 0 209993 0
vsize: 840036
[startup+700.043 s]
Raw data (loadavg): 0.99 0.89 0.51 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 65775 63 0 0 25 0 11 0 487479183 860196864 36445 4294967295 134512640 134569956 3221224416 3221214800 1131238661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 36445 13073 16 0 209993 0
vsize: 840036
[startup+710.043 s]
Raw data (loadavg): 0.99 0.90 0.52 2/64 8796
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 66762 63 0 0 25 0 11 0 487479183 860196864 36462 4294967295 134512640 134569956 3221224416 3221214872 1131309220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 36462 13073 16 0 209993 0
vsize: 840036
[startup+720.044 s]
Raw data (loadavg): 0.99 0.90 0.52 2/64 8797
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 67740 64 0 0 25 0 11 0 487479183 860196864 36467 4294967295 134512640 134569956 3221224416 3221214800 1131239176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 36467 13073 16 0 209993 0
vsize: 840036
[startup+730.045 s]
Raw data (loadavg): 0.99 0.90 0.53 2/64 8797
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 68711 64 0 0 25 0 11 0 487479183 860196864 36469 4294967295 134512640 134569956 3221224416 3221214800 1131239061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 36469 13073 16 0 209993 0
vsize: 840036
[startup+740.045 s]
Raw data (loadavg): 0.99 0.91 0.53 2/64 8797
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 69677 64 0 0 25 0 11 0 487479183 860196864 36474 4294967295 134512640 134569956 3221224416 3221214800 1131239768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 36474 13073 16 0 209993 0
vsize: 840036
[startup+750.046 s]
Raw data (loadavg): 0.99 0.91 0.54 2/64 8797
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 70631 64 0 0 25 0 11 0 487479183 860196864 36480 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 36480 13073 16 0 209993 0
vsize: 840036
[startup+760.047 s]
Raw data (loadavg): 0.99 0.91 0.54 2/64 8797
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 71586 64 0 0 25 0 11 0 487479183 860196864 36488 4294967295 134512640 134569956 3221224416 3221214800 1131238683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 36488 13073 16 0 209993 0
vsize: 840036
[startup+770.047 s]
Raw data (loadavg): 0.99 0.91 0.55 2/64 8797
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 72565 64 0 0 25 0 11 0 487479183 860196864 36836 4294967295 134512640 134569956 3221224416 3221214800 1131239001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 36836 13073 16 0 209993 0
vsize: 840036
[startup+780.047 s]
Raw data (loadavg): 0.99 0.92 0.55 2/64 8797
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 73552 64 0 0 25 0 11 0 487479183 860196864 36844 4294967295 134512640 134569956 3221224416 3221214800 1131238661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 36844 13073 16 0 209993 0
vsize: 840036
[startup+790.048 s]
Raw data (loadavg): 0.99 0.92 0.55 2/64 8798
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 74501 64 0 0 25 0 11 0 487479183 860196864 36850 4294967295 134512640 134569956 3221224416 3221214720 1131294569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 36850 13073 16 0 209993 0
vsize: 840036
[startup+800.048 s]
Raw data (loadavg): 0.99 0.92 0.56 2/64 8798
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 75413 64 0 0 25 0 11 0 487479183 860196864 37050 4294967295 134512640 134569956 3221224416 3221214892 1131239909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37050 13073 16 0 209993 0
vsize: 840036
[startup+810.049 s]
Raw data (loadavg): 0.99 0.92 0.56 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 76380 64 0 0 25 0 11 0 487479183 860196864 37050 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37050 13073 16 0 209993 0
vsize: 840036
[startup+820.049 s]
Raw data (loadavg): 0.99 0.92 0.57 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 77325 64 0 0 25 0 11 0 487479183 860196864 37050 4294967295 134512640 134569956 3221224416 3221214896 1131314705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37050 13073 16 0 209993 0
vsize: 840036
[startup+830.05 s]
Raw data (loadavg): 0.99 0.93 0.57 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 78257 64 0 0 25 0 11 0 487479183 860196864 37050 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37050 13073 16 0 209993 0
vsize: 840036
[startup+840.05 s]
Raw data (loadavg): 0.99 0.93 0.57 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 79191 64 0 0 25 0 11 0 487479183 860196864 37342 4294967295 134512640 134569956 3221224416 3221214800 1131239061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37342 13073 16 0 209993 0
vsize: 840036
[startup+850.051 s]
Raw data (loadavg): 0.99 0.93 0.58 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 80150 64 0 0 25 0 11 0 487479183 860196864 37832 4294967295 134512640 134569956 3221224416 3221214848 1131152307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37832 13073 16 0 209993 0
vsize: 840036
[startup+860.051 s]
Raw data (loadavg): 0.99 0.93 0.58 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 81135 64 0 0 25 0 11 0 487479183 860196864 37905 4294967295 134512640 134569956 3221224416 3221214800 1131239148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37905 13073 16 0 209993 0
vsize: 840036
[startup+870.052 s]
Raw data (loadavg): 0.99 0.93 0.59 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 82124 64 0 0 25 0 11 0 487479183 860196864 37920 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37920 13073 16 0 209993 0
vsize: 840036
[startup+880.052 s]
Raw data (loadavg): 0.99 0.94 0.59 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 83116 64 0 0 25 0 11 0 487479183 860196864 37924 4294967295 134512640 134569956 3221224416 3221214848 1131152307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37924 13073 16 0 209993 0
vsize: 840036
[startup+890.052 s]
Raw data (loadavg): 0.99 0.94 0.59 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 84106 64 0 0 25 0 11 0 487479183 860196864 37928 4294967295 134512640 134569956 3221224416 3221214800 1131239061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37928 13073 16 0 209993 0
vsize: 840036
[startup+900.053 s]
Raw data (loadavg): 0.99 0.94 0.60 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 85097 64 0 0 25 0 11 0 487479183 860196864 37935 4294967295 134512640 134569956 3221224416 3221214896 1131315118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37935 13073 16 0 209993 0
vsize: 840036
[startup+910.053 s]
Raw data (loadavg): 0.99 0.94 0.60 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 86086 64 0 0 24 0 11 0 487479183 860196864 37941 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37941 13073 16 0 209993 0
vsize: 840036
[startup+920.053 s]
Raw data (loadavg): 0.99 0.94 0.60 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 87077 64 0 0 25 0 11 0 487479183 860196864 37947 4294967295 134512640 134569956 3221224416 3221214896 1131314885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37947 13073 16 0 209993 0
vsize: 840036
[startup+930.054 s]
Raw data (loadavg): 0.99 0.94 0.61 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 88067 65 0 0 25 0 11 0 487479183 860196864 37955 4294967295 134512640 134569956 3221224416 3221214800 1131239646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37955 13073 16 0 209993 0
vsize: 840036
[startup+940.054 s]
Raw data (loadavg): 0.99 0.94 0.61 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 89056 65 0 0 25 0 11 0 487479183 860196864 37961 4294967295 134512640 134569956 3221224416 3221214800 1131239749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37961 13073 16 0 209993 0
vsize: 840036
[startup+950.055 s]
Raw data (loadavg): 0.99 0.95 0.62 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 90046 65 0 0 25 0 11 0 487479183 860196864 37967 4294967295 134512640 134569956 3221224416 3221214800 1131239549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37967 13073 16 0 209993 0
vsize: 840036
[startup+960.056 s]
Raw data (loadavg): 0.99 0.95 0.62 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 91035 65 0 0 25 0 11 0 487479183 860196864 37975 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37975 13073 16 0 209993 0
vsize: 840036
[startup+970.056 s]
Raw data (loadavg): 0.99 0.95 0.62 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 92023 65 0 0 25 0 11 0 487479183 860196864 37984 4294967295 134512640 134569956 3221224416 3221214800 1131239705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37984 13073 16 0 209993 0
vsize: 840036
[startup+980.056 s]
Raw data (loadavg): 0.99 0.95 0.63 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 93011 65 0 0 24 0 11 0 487479183 860196864 37990 4294967295 134512640 134569956 3221224416 3221214800 1131238657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37990 13073 16 0 209993 0
vsize: 840036
[startup+990.056 s]
Raw data (loadavg): 0.99 0.95 0.63 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 94000 65 0 0 25 0 11 0 487479183 860196864 37995 4294967295 134512640 134569956 3221224416 3221214800 1131238772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 37995 13073 16 0 209993 0
vsize: 840036
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.95 0.64 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 94987 65 0 0 25 0 11 0 487479183 860196864 38004 4294967295 134512640 134569956 3221224416 3221214848 1131152307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 38004 13073 16 0 209993 0
vsize: 840036
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.95 0.64 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 95975 65 0 0 25 0 11 0 487479183 860196864 38011 4294967295 134512640 134569956 3221224416 3221214672 1131357092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 38011 13073 16 0 209993 0
vsize: 840036
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.95 0.64 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 96940 66 0 0 25 0 11 0 487479183 860196864 38017 4294967295 134512640 134569956 3221224416 3221214856 1131351968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 38017 13073 16 0 209993 0
vsize: 840036
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.95 0.65 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 97881 66 0 0 25 0 11 0 487479183 860196864 38028 4294967295 134512640 134569956 3221224416 3221214824 1131375719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 38028 13073 16 0 209993 0
vsize: 840036
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.95 0.65 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 98810 66 0 0 24 0 11 0 487479183 860196864 38033 4294967295 134512640 134569956 3221224416 3221214800 1131239235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 38033 13073 16 0 209993 0
vsize: 840036
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.96 0.65 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 99718 66 0 0 25 0 11 0 487479183 860196864 38212 4294967295 134512640 134569956 3221224416 3221214712 1131445308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 38212 13073 16 0 209993 0
vsize: 840036
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.96 0.65 2/64 8799
Raw data (stat): 8777 (java) S 8776 28546 28545 0 -1 0 18067 4 1 0 100634 66 0 0 25 0 11 0 487479183 860196864 38362 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 38362 13073 16 0 209993 0
vsize: 840036
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.96 0.66 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 101549 66 0 0 25 0 11 0 487479183 860196864 38623 4294967295 134512640 134569956 3221224416 3221214736 1131266001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 38623 13073 16 0 209993 0
vsize: 840036
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.96 0.66 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 102462 66 0 0 25 0 11 0 487479183 860196864 38975 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 38975 13073 16 0 209993 0
vsize: 840036
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.96 0.66 2/64 8799
Raw data (stat): 8777 (java) S 8776 28546 28545 0 -1 0 18067 4 1 0 103389 66 0 0 25 0 11 0 487479183 860196864 39072 4294967295 134512640 134569956 3221224416 3221213224 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39072 13073 16 0 209993 0
vsize: 840036
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.96 0.67 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 104322 66 0 0 25 0 11 0 487479183 860196864 39212 4294967295 134512640 134569956 3221224416 3221214800 1131294250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39212 13073 16 0 209993 0
vsize: 840036
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.96 0.67 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 105303 66 0 0 25 0 11 0 487479183 860196864 39212 4294967295 134512640 134569956 3221224416 3221214848 1131152307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39212 13073 16 0 209993 0
vsize: 840036
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.96 0.67 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 106254 66 0 0 25 0 11 0 487479183 860196864 39278 4294967295 134512640 134569956 3221224416 3221214896 1131315118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39278 13073 16 0 209993 0
vsize: 840036
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.96 0.67 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 107221 66 0 0 25 0 11 0 487479183 860196864 39748 4294967295 134512640 134569956 3221224416 3221214960 1131324587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39748 13073 16 0 209993 0
vsize: 840036
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.96 0.68 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 108195 66 0 0 25 0 11 0 487479183 860196864 39779 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39779 13073 16 0 209993 0
vsize: 840036
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.68 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 109177 66 0 0 25 0 11 0 487479183 860196864 39897 4294967295 134512640 134569956 3221224416 3221214800 1131239176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39897 13073 16 0 209993 0
vsize: 840036
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.68 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 110163 67 0 0 25 0 11 0 487479183 860196864 39938 4294967295 134512640 134569956 3221224416 3221214800 1131239906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39938 13073 16 0 209993 0
vsize: 840036
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.69 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 111153 67 0 0 25 0 11 0 487479183 860196864 39944 4294967295 134512640 134569956 3221224416 3221214848 1131152375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39944 13073 16 0 209993 0
vsize: 840036
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.69 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 112145 67 0 0 25 0 11 0 487479183 860196864 39946 4294967295 134512640 134569956 3221224416 3221214800 1131238956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39946 13073 16 0 209993 0
vsize: 840036
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.69 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 113136 67 0 0 25 0 11 0 487479183 860196864 39947 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39947 13073 16 0 209993 0
vsize: 840036
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.70 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 114127 67 0 0 25 0 11 0 487479183 860196864 39950 4294967295 134512640 134569956 3221224416 3221214872 1131309232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39950 13073 16 0 209993 0
vsize: 840036
[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.70 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 115118 67 0 0 25 0 11 0 487479183 860196864 39952 4294967295 134512640 134569956 3221224416 3221214800 1131239061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39952 13073 16 0 209993 0
vsize: 840036
[startup+1220.08 s]
Raw data (loadavg): 0.99 0.97 0.70 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 116110 67 0 0 25 0 11 0 487479183 860196864 39953 4294967295 134512640 134569956 3221224416 3221214848 1131152256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39953 13073 16 0 209993 0
vsize: 840036
[startup+1230.08 s]
Raw data (loadavg): 0.99 0.97 0.70 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 117101 67 0 0 25 0 11 0 487479183 860196864 39954 4294967295 134512640 134569956 3221224416 3221214800 1131239061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39954 13073 16 0 209993 0
vsize: 840036
[startup+1240.08 s]
Raw data (loadavg): 0.99 0.97 0.71 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 118092 67 0 0 25 0 11 0 487479183 860196864 39957 4294967295 134512640 134569956 3221224416 3221214800 1131238976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39957 13073 16 0 209993 0
vsize: 840036
[startup+1250.08 s]
Raw data (loadavg): 0.99 0.97 0.71 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 119084 67 0 0 25 0 11 0 487479183 860196864 39959 4294967295 134512640 134569956 3221224416 3221214848 1131152266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39959 13073 16 0 209993 0
vsize: 840036
[startup+1260.08 s]
Raw data (loadavg): 0.99 0.97 0.71 2/64 8799
Raw data (stat): 8777 (java) R 8776 28546 28545 0 -1 0 18067 4 1 0 120074 67 0 0 25 0 11 0 487479183 860196864 39961 4294967295 134512640 134569956 3221224416 3221214800 1131239061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210009 39961 13073 16 0 209993 0
vsize: 840036
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.19 s]
Raw data (loadavg): 0.99 0.97 0.71 1/54 8801
Raw data (stat): 8777 (java) Z 8776 28546 28545 0 -1 1036 18067 22814 1 0 120075 67 6119 62 24 0 1 0 487479183 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): 1260.18
CPU time (s): 1263.25
CPU user time (s): 1261.95
CPU system time (s): 1.2998
CPU usage (%): 100.243
Max. virtual memory (Kb): 840892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####