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-p0201.opb
MD5SUMff4eb45c2603a47e5b79b2649e926ba4
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved NO
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.01984
Number of variables195
Total number of constraints133
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint3
Maximum length of a constraint65

Trace number 7129

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        742744 kB
Buffers:         36896 kB
Cached:         220148 kB
SwapCached:       2376 kB
Active:          64104 kB
Inactive:       198284 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        742492 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7036 kB
Slab:            23900 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 21:45:12 (client local time) WITH STATUS 143 IN 1226.82 SECONDS
stats: 5157 7 1226.82 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-p0201.opb
c reading problem 
c [nbvar=201]
c [nbconstr=133]
c time 1.133
c #vars     201
c #clauses  133
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=2230
c Current CPU time (ms) : 1.562
c starts	: 1
c conflicts	: 3
c decisions	: 63
c propagations	: 235
c inspects	: 681
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 1
c 
c CURRENT OPTIMUM=1707
c Current CPU time (ms) : 3.727
c starts	: 2
c conflicts	: 6
c decisions	: 164
c propagations	: 585
c inspects	: 1609
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 2
c 
c CURRENT OPTIMUM=1583
c Current CPU time (ms) : 3.857
c starts	: 3
c conflicts	: 6
c decisions	: 213
c propagations	: 786
c inspects	: 2281
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 3
c 
c CURRENT OPTIMUM=1555
c Current CPU time (ms) : 4.75
c starts	: 4
c conflicts	: 9
c decisions	: 313
c propagations	: 1188
c inspects	: 3019
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 9
c root simplifications	: 5
#### 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.85 0.94 0.90 2/55 3502
Raw data (stat): 3502 (runsolver) R 3501 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487818013 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.0008 s]
Raw data (loadavg): 1.18 1.01 0.92 2/65 3516
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18071 3 1 0 622 39 0 0 25 0 11 0 487818013 863019008 20867 4294967295 134512640 134569956 3221224416 3221214808 1131202812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210698 20867 13073 16 0 210682 0
vsize: 842792
[startup+20.001 s]
Raw data (loadavg): 1.22 1.02 0.93 3/65 3516
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18073 3 1 0 1575 40 0 0 25 0 11 0 487818013 867786752 22131 4294967295 134512640 134569956 3221224416 3221214852 1130917326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211862 22131 13073 16 0 211846 0
vsize: 847448
[startup+30.0386 s]
Raw data (loadavg): 1.19 1.02 0.93 3/65 3516
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 2536 41 0 0 25 0 11 0 487818013 864980992 21787 4294967295 134512640 134569956 3221224416 3221214912 1131212252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211177 21787 13073 16 0 211161 0
vsize: 844708
[startup+40.0386 s]
Raw data (loadavg): 1.16 1.02 0.93 2/65 3516
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 3499 41 0 0 25 0 11 0 487818013 862932992 21512 4294967295 134512640 134569956 3221224416 3221214864 1131169711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 21512 13073 16 0 210661 0
vsize: 842708
[startup+50.0398 s]
Raw data (loadavg): 1.13 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 4474 41 0 0 25 0 11 0 487818013 862932992 21623 4294967295 134512640 134569956 3221224416 3221214808 1131202320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 21623 13073 16 0 210661 0
vsize: 842708
[startup+60.0398 s]
Raw data (loadavg): 1.11 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 5451 41 0 0 25 0 11 0 487818013 862932992 21696 4294967295 134512640 134569956 3221224416 3221214808 1131203534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 21696 13073 16 0 210661 0
vsize: 842708
[startup+70.0404 s]
Raw data (loadavg): 1.10 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 6430 41 0 0 25 0 11 0 487818013 862932992 21758 4294967295 134512640 134569956 3221224416 3221214320 1085679358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 21758 13073 16 0 210661 0
vsize: 842708
[startup+80.0406 s]
Raw data (loadavg): 1.08 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 7407 41 0 0 25 0 11 0 487818013 862932992 21833 4294967295 134512640 134569956 3221224416 3221214864 1131169617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 21833 13073 16 0 210661 0
vsize: 842708
[startup+90.0406 s]
Raw data (loadavg): 1.07 1.01 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 8384 41 0 0 25 0 11 0 487818013 862932992 21925 4294967295 134512640 134569956 3221224416 3221214864 1131169658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 21925 13073 16 0 210661 0
vsize: 842708
[startup+100.045 s]
Raw data (loadavg): 1.06 1.01 0.93 2/65 3518
Raw data (stat): 3502 (java) S 3501 20838 20837 0 -1 0 18074 3 1 0 9362 41 0 0 25 0 11 0 487818013 862932992 21998 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 21998 13073 16 0 210661 0
vsize: 842708
[startup+110.045 s]
Raw data (loadavg): 1.13 1.03 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 10341 41 0 0 25 0 11 0 487818013 862932992 22078 4294967295 134512640 134569956 3221224416 3221214808 1131202245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 22078 13073 16 0 210661 0
vsize: 842708
[startup+120.046 s]
Raw data (loadavg): 1.11 1.03 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 11319 41 0 0 25 0 11 0 487818013 862932992 22157 4294967295 134512640 134569956 3221224416 3221214808 1131202828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 22157 13073 16 0 210661 0
vsize: 842708
[startup+130.047 s]
Raw data (loadavg): 1.09 1.03 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 12297 42 0 0 25 0 11 0 487818013 862932992 22231 4294967295 134512640 134569956 3221224416 3221214808 1131203511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 22231 13073 16 0 210661 0
vsize: 842708
[startup+140.047 s]
Raw data (loadavg): 1.08 1.03 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 13277 42 0 0 25 0 11 0 487818013 862932992 22293 4294967295 134512640 134569956 3221224416 3221214808 1131202270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 22293 13073 16 0 210661 0
vsize: 842708
[startup+150.048 s]
Raw data (loadavg): 1.06 1.03 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 14252 42 0 0 25 0 11 0 487818013 862932992 22378 4294967295 134512640 134569956 3221224416 3221214864 1131169750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 22378 13073 16 0 210661 0
vsize: 842708
[startup+160.049 s]
Raw data (loadavg): 1.05 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 15227 42 0 0 25 0 11 0 487818013 862932992 22455 4294967295 134512640 134569956 3221224416 3221214864 1131169624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 22455 13073 16 0 210661 0
vsize: 842708
[startup+170.048 s]
Raw data (loadavg): 1.04 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 16203 42 0 0 25 0 11 0 487818013 862932992 22541 4294967295 134512640 134569956 3221224416 3221214864 1131169605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 22541 13073 16 0 210661 0
vsize: 842708
[startup+180.049 s]
Raw data (loadavg): 1.04 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 17183 42 0 0 25 0 11 0 487818013 862932992 22652 4294967295 134512640 134569956 3221224416 3221214912 1131211461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 22652 13073 16 0 210661 0
vsize: 842708
[startup+190.05 s]
Raw data (loadavg): 1.03 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 18167 42 0 0 25 0 11 0 487818013 862932992 22712 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 22712 13073 16 0 210661 0
vsize: 842708
[startup+200.05 s]
Raw data (loadavg): 1.03 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 19148 42 0 0 25 0 11 0 487818013 862932992 22753 4294967295 134512640 134569956 3221224416 3221214808 1131202939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 22753 13073 16 0 210661 0
vsize: 842708
[startup+210.05 s]
Raw data (loadavg): 1.02 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 20128 42 0 0 25 0 11 0 487818013 862932992 22851 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 22851 13073 16 0 210661 0
vsize: 842708
[startup+220.051 s]
Raw data (loadavg): 1.02 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 21106 42 0 0 25 0 11 0 487818013 862932992 22914 4294967295 134512640 134569956 3221224416 3221214808 1131202270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 22914 13073 16 0 210661 0
vsize: 842708
[startup+230.051 s]
Raw data (loadavg): 1.01 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 22086 42 0 0 25 0 11 0 487818013 862932992 23004 4294967295 134512640 134569956 3221224416 3221214736 1131241156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23004 13073 16 0 210661 0
vsize: 842708
[startup+240.051 s]
Raw data (loadavg): 1.01 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 23065 42 0 0 24 0 11 0 487818013 862932992 23077 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23077 13073 16 0 210661 0
vsize: 842708
[startup+250.05 s]
Raw data (loadavg): 1.01 1.02 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 24048 42 0 0 25 0 11 0 487818013 862932992 23154 4294967295 134512640 134569956 3221224416 3221214808 1131202530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23154 13073 16 0 210661 0
vsize: 842708
[startup+260.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 25031 42 0 0 25 0 11 0 487818013 862932992 23214 4294967295 134512640 134569956 3221224416 3221214864 1131169642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23214 13073 16 0 210661 0
vsize: 842708
[startup+270.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 26017 42 0 0 25 0 11 0 487818013 862932992 23274 4294967295 134512640 134569956 3221224416 3221214808 1131202755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23274 13073 16 0 210661 0
vsize: 842708
[startup+280.051 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 27002 42 0 0 25 0 11 0 487818013 862932992 23319 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23319 13073 16 0 210661 0
vsize: 842708
[startup+290.051 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 27987 42 0 0 25 0 11 0 487818013 862932992 23376 4294967295 134512640 134569956 3221224416 3221214864 1131169624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23376 13073 16 0 210661 0
vsize: 842708
[startup+300.052 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 28972 42 0 0 25 0 11 0 487818013 862932992 23449 4294967295 134512640 134569956 3221224416 3221214864 1131169621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23449 13073 16 0 210661 0
vsize: 842708
[startup+310.052 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 29957 42 0 0 24 0 11 0 487818013 862932992 23503 4294967295 134512640 134569956 3221224416 3221214808 1131203496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23503 13073 16 0 210661 0
vsize: 842708
[startup+320.052 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 30942 42 0 0 25 0 11 0 487818013 862932992 23539 4294967295 134512640 134569956 3221224416 3221214864 1131169617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23539 13073 16 0 210661 0
vsize: 842708
[startup+330.053 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 31925 42 0 0 24 0 11 0 487818013 862932992 23613 4294967295 134512640 134569956 3221224416 3221214808 1131203500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23613 13073 16 0 210661 0
vsize: 842708
[startup+340.054 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 3518
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 32909 43 0 0 25 0 11 0 487818013 862932992 23662 4294967295 134512640 134569956 3221224416 3221214736 1131240102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23662 13073 16 0 210661 0
vsize: 842708
[startup+350.053 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 33887 43 0 0 24 0 11 0 487818013 862932992 23710 4294967295 134512640 134569956 3221224416 3221214808 1131202844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23710 13073 16 0 210661 0
vsize: 842708
[startup+360.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 34868 43 0 0 25 0 11 0 487818013 862932992 23774 4294967295 134512640 134569956 3221224416 3221214808 1131202245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23774 13073 16 0 210661 0
vsize: 842708
[startup+370.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 35850 43 0 0 25 0 11 0 487818013 862932992 23850 4294967295 134512640 134569956 3221224416 3221214808 1131202320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23850 13073 16 0 210661 0
vsize: 842708
[startup+380.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 36835 43 0 0 25 0 11 0 487818013 862932992 23909 4294967295 134512640 134569956 3221224416 3221214908 1131203703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23909 13073 16 0 210661 0
vsize: 842708
[startup+390.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 37816 43 0 0 25 0 11 0 487818013 862932992 23958 4294967295 134512640 134569956 3221224416 3221214888 1131253629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23958 13073 16 0 210661 0
vsize: 842708
[startup+400.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 38799 43 0 0 25 0 11 0 487818013 862932992 23994 4294967295 134512640 134569956 3221224416 3221214808 1131202616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 23994 13073 16 0 210661 0
vsize: 842708
[startup+410.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 39781 43 0 0 25 0 11 0 487818013 862932992 24079 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24079 13073 16 0 210661 0
vsize: 842708
[startup+420.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 40765 43 0 0 25 0 11 0 487818013 862932992 24136 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24136 13073 16 0 210661 0
vsize: 842708
[startup+430.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 41748 43 0 0 24 0 11 0 487818013 862932992 24200 4294967295 134512640 134569956 3221224416 3221214808 1131202948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24200 13073 16 0 210661 0
vsize: 842708
[startup+440.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 42733 43 0 0 25 0 11 0 487818013 862932992 24259 4294967295 134512640 134569956 3221224416 3221214808 1131202773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24259 13073 16 0 210661 0
vsize: 842708
[startup+450.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 43718 43 0 0 25 0 11 0 487818013 862932992 24311 4294967295 134512640 134569956 3221224416 3221214864 1131169621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24311 13073 16 0 210661 0
vsize: 842708
[startup+460.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 44701 44 0 0 25 0 11 0 487818013 862932992 24368 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24368 13073 16 0 210661 0
vsize: 842708
[startup+470.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 45685 44 0 0 25 0 11 0 487818013 862932992 24407 4294967295 134512640 134569956 3221224416 3221214808 1131203159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24407 13073 16 0 210661 0
vsize: 842708
[startup+480.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 46667 44 0 0 25 0 11 0 487818013 862932992 24487 4294967295 134512640 134569956 3221224416 3221214808 1131202245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24487 13073 16 0 210661 0
vsize: 842708
[startup+490.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 47652 44 0 0 25 0 11 0 487818013 862932992 24544 4294967295 134512640 134569956 3221224416 3221214808 1131202237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24544 13073 16 0 210661 0
vsize: 842708
[startup+500.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 48635 44 0 0 25 0 11 0 487818013 862932992 24593 4294967295 134512640 134569956 3221224416 3221213956 1079753248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24593 13073 16 0 210661 0
vsize: 842708
[startup+510.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 49619 44 0 0 25 0 11 0 487818013 862932992 24657 4294967295 134512640 134569956 3221224416 3221214808 1131202681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24657 13073 16 0 210661 0
vsize: 842708
[startup+520.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 50602 44 0 0 25 0 11 0 487818013 862932992 24711 4294967295 134512640 134569956 3221224416 3221214808 1131203567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24711 13073 16 0 210661 0
vsize: 842708
[startup+530.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 51585 44 0 0 25 0 11 0 487818013 862932992 24779 4294967295 134512640 134569956 3221224416 3221214808 1131202832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24779 13073 16 0 210661 0
vsize: 842708
[startup+540.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 52571 44 0 0 25 0 11 0 487818013 862932992 24841 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24841 13073 16 0 210661 0
vsize: 842708
[startup+550.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) S 3501 20838 20837 0 -1 0 18074 3 1 0 53558 44 0 0 25 0 11 0 487818013 862932992 24894 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24894 13073 16 0 210661 0
vsize: 842708
[startup+560.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 54544 44 0 0 25 0 11 0 487818013 862932992 24933 4294967295 134512640 134569956 3221224416 3221214952 1131258393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24933 13073 16 0 210661 0
vsize: 842708
[startup+570.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 55528 44 0 0 25 0 11 0 487818013 862932992 24958 4294967295 134512640 134569956 3221224416 3221214808 1131202233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 24958 13073 16 0 210661 0
vsize: 842708
[startup+580.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 56510 44 0 0 25 0 11 0 487818013 862932992 25012 4294967295 134512640 134569956 3221224416 3221214912 1131211285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25012 13073 16 0 210661 0
vsize: 842708
[startup+590.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 57490 44 0 0 25 0 11 0 487818013 862932992 25078 4294967295 134512640 134569956 3221224416 3221214808 1131202252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25078 13073 16 0 210661 0
vsize: 842708
[startup+600.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 58468 44 0 0 24 0 11 0 487818013 862932992 25155 4294967295 134512640 134569956 3221224416 3221214808 1131202241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25155 13073 16 0 210661 0
vsize: 842708
[startup+610.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 59450 44 0 0 25 0 11 0 487818013 862932992 25229 4294967295 134512640 134569956 3221224416 3221214808 1131202270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25229 13073 16 0 210661 0
vsize: 842708
[startup+620.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 60434 45 0 0 25 0 11 0 487818013 862932992 25286 4294967295 134512640 134569956 3221224416 3221214808 1131202237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25286 13073 16 0 210661 0
vsize: 842708
[startup+630.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 61417 45 0 0 25 0 11 0 487818013 862932992 25360 4294967295 134512640 134569956 3221224416 3221214808 1131202828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25360 13073 16 0 210661 0
vsize: 842708
[startup+640.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3520
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 62398 45 0 0 24 0 11 0 487818013 862932992 25416 4294967295 134512640 134569956 3221224416 3221214864 1131169624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25416 13073 16 0 210661 0
vsize: 842708
[startup+650.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 63379 45 0 0 25 0 11 0 487818013 862932992 25464 4294967295 134512640 134569956 3221224416 3221214808 1131202905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25464 13073 16 0 210661 0
vsize: 842708
[startup+660.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 64358 45 0 0 24 0 11 0 487818013 862932992 25519 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25519 13073 16 0 210661 0
vsize: 842708
[startup+670.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 65339 45 0 0 25 0 11 0 487818013 862932992 25589 4294967295 134512640 134569956 3221224416 3221214864 1131169617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25589 13073 16 0 210661 0
vsize: 842708
[startup+680.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 66321 45 0 0 25 0 11 0 487818013 862932992 25677 4294967295 134512640 134569956 3221224416 3221214864 1131169617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25677 13073 16 0 210661 0
vsize: 842708
[startup+690.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 67304 45 0 0 25 0 11 0 487818013 862932992 25737 4294967295 134512640 134569956 3221224416 3221214568 1131432547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25737 13073 16 0 210661 0
vsize: 842708
[startup+700.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 68288 45 0 0 25 0 11 0 487818013 862932992 25807 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25807 13073 16 0 210661 0
vsize: 842708
[startup+710.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 69273 45 0 0 25 0 11 0 487818013 862932992 25870 4294967295 134512640 134569956 3221224416 3221214808 1131202275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25870 13073 16 0 210661 0
vsize: 842708
[startup+720.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 70258 45 0 0 25 0 11 0 487818013 862932992 25929 4294967295 134512640 134569956 3221224416 3221214808 1131202616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25929 13073 16 0 210661 0
vsize: 842708
[startup+730.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 71242 45 0 0 25 0 11 0 487818013 862932992 25956 4294967295 134512640 134569956 3221224416 3221214808 1131202840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 25956 13073 16 0 210661 0
vsize: 842708
[startup+740.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 72224 45 0 0 17 0 11 0 487818013 862932992 26028 4294967295 134512640 134569956 3221224416 3221214912 1131211676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26028 13073 16 0 210661 0
vsize: 842708
[startup+750.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 73207 45 0 0 25 0 11 0 487818013 862932992 26080 4294967295 134512640 134569956 3221224416 3221214808 1131202252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26080 13073 16 0 210661 0
vsize: 842708
[startup+760.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 74190 45 0 0 25 0 11 0 487818013 862932992 26157 4294967295 134512640 134569956 3221224416 3221214568 1131262934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26157 13073 16 0 210661 0
vsize: 842708
[startup+770.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 75172 45 0 0 25 0 11 0 487818013 862932992 26222 4294967295 134512640 134569956 3221224416 3221214728 1131230124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26222 13073 16 0 210661 0
vsize: 842708
[startup+780.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 76153 45 0 0 25 0 11 0 487818013 862932992 26270 4294967295 134512640 134569956 3221224416 3221214808 1131202874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26270 13073 16 0 210661 0
vsize: 842708
[startup+790.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 77133 45 0 0 24 0 11 0 487818013 862932992 26353 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26353 13073 16 0 210661 0
vsize: 842708
[startup+800.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 78116 45 0 0 25 0 11 0 487818013 862932992 26415 4294967295 134512640 134569956 3221224416 3221214808 1131203159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26415 13073 16 0 210661 0
vsize: 842708
[startup+810.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 79099 45 0 0 24 0 11 0 487818013 862932992 26467 4294967295 134512640 134569956 3221224416 3221214908 1131202220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26467 13073 16 0 210661 0
vsize: 842708
[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 80082 45 0 0 25 0 11 0 487818013 862932992 26517 4294967295 134512640 134569956 3221224416 3221214552 1131447112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26517 13073 16 0 210661 0
vsize: 842708
[startup+830.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 81064 45 0 0 24 0 11 0 487818013 862932992 26577 4294967295 134512640 134569956 3221224416 3221214864 1131169624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26577 13073 16 0 210661 0
vsize: 842708
[startup+840.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 82046 45 0 0 25 0 11 0 487818013 862932992 26623 4294967295 134512640 134569956 3221224416 3221214864 1131169658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26623 13073 16 0 210661 0
vsize: 842708
[startup+850.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 83029 45 0 0 25 0 11 0 487818013 862932992 26692 4294967295 134512640 134569956 3221224416 3221214808 1131202840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26692 13073 16 0 210661 0
vsize: 842708
[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 84010 45 0 0 24 0 11 0 487818013 862932992 26753 4294967295 134512640 134569956 3221224416 3221214808 1131202840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26753 13073 16 0 210661 0
vsize: 842708
[startup+870.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 84992 45 0 0 25 0 11 0 487818013 862932992 26812 4294967295 134512640 134569956 3221224416 3221214808 1131202870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26812 13073 16 0 210661 0
vsize: 842708
[startup+880.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 85976 45 0 0 25 0 11 0 487818013 862932992 26870 4294967295 134512640 134569956 3221224416 3221214808 1131202570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26870 13073 16 0 210661 0
vsize: 842708
[startup+890.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 86962 45 0 0 25 0 11 0 487818013 862932992 26937 4294967295 134512640 134569956 3221224416 3221214808 1131202616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26937 13073 16 0 210661 0
vsize: 842708
[startup+900.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 87948 46 0 0 24 0 11 0 487818013 862932992 26969 4294967295 134512640 134569956 3221224416 3221214808 1131202800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26969 13073 16 0 210661 0
vsize: 842708
[startup+910.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 88933 46 0 0 25 0 11 0 487818013 862932992 27006 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27006 13073 16 0 210661 0
vsize: 842708
[startup+920.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 89918 46 0 0 25 0 11 0 487818013 862932992 27031 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27031 13073 16 0 210661 0
vsize: 842708
[startup+930.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 90903 46 0 0 25 0 11 0 487818013 862932992 27062 4294967295 134512640 134569956 3221224416 3221214448 1131558392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27062 13073 16 0 210661 0
vsize: 842708
[startup+940.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3522
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 91887 46 0 0 25 0 11 0 487818013 862932992 27125 4294967295 134512640 134569956 3221224416 3221214808 1131202674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27125 13073 16 0 210661 0
vsize: 842708
[startup+950.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 92870 46 0 0 25 0 11 0 487818013 862932992 27162 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27162 13073 16 0 210661 0
vsize: 842708
[startup+960.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 93854 46 0 0 25 0 11 0 487818013 862932992 27225 4294967295 134512640 134569956 3221224416 3221214808 1131203402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27225 13073 16 0 210661 0
vsize: 842708
[startup+970.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 94834 46 0 0 25 0 11 0 487818013 862932992 27278 4294967295 134512640 134569956 3221224416 3221214808 1131202614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27278 13073 16 0 210661 0
vsize: 842708
[startup+980.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) S 3501 20838 20837 0 -1 0 18074 3 1 0 95816 46 0 0 25 0 11 0 487818013 862932992 27309 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27309 13073 16 0 210661 0
vsize: 842708
[startup+990.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 96795 46 0 0 25 0 11 0 487818013 862932992 27386 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27386 13073 16 0 210661 0
vsize: 842708
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 97776 46 0 0 25 0 11 0 487818013 862932992 27453 4294967295 134512640 134569956 3221224416 3221214952 1131258393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27453 13073 16 0 210661 0
vsize: 842708
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 98760 46 0 0 25 0 11 0 487818013 862932992 27559 4294967295 134512640 134569956 3221224416 3221214808 1131202548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27559 13073 16 0 210661 0
vsize: 842708
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 99742 47 0 0 24 0 11 0 487818013 862932992 27600 4294967295 134512640 134569956 3221224416 3221214808 1131202249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27600 13073 16 0 210661 0
vsize: 842708
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 100725 47 0 0 25 0 11 0 487818013 862932992 27654 4294967295 134512640 134569956 3221224416 3221214808 1131202705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27654 13073 16 0 210661 0
vsize: 842708
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 101709 47 0 0 25 0 11 0 487818013 862932992 27689 4294967295 134512640 134569956 3221224416 3221214808 1131202840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27689 13073 16 0 210661 0
vsize: 842708
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 102691 47 0 0 25 0 11 0 487818013 862932992 27751 4294967295 134512640 134569956 3221224416 3221214864 1131169597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27751 13073 16 0 210661 0
vsize: 842708
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 103674 47 0 0 25 0 11 0 487818013 862932992 27808 4294967295 134512640 134569956 3221224416 3221214808 1131202674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27808 13073 16 0 210661 0
vsize: 842708
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 104655 47 0 0 25 0 11 0 487818013 862932992 27882 4294967295 134512640 134569956 3221224416 3221214808 1131202320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27882 13073 16 0 210661 0
vsize: 842708
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 105638 47 0 0 25 0 11 0 487818013 862932992 27914 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27914 13073 16 0 210661 0
vsize: 842708
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 106622 47 0 0 25 0 11 0 487818013 862932992 27975 4294967295 134512640 134569956 3221224416 3221214808 1131203527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27975 13073 16 0 210661 0
vsize: 842708
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 107603 47 0 0 25 0 11 0 487818013 862932992 28052 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28052 13073 16 0 210661 0
vsize: 842708
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 108586 47 0 0 25 0 11 0 487818013 862932992 28101 4294967295 134512640 134569956 3221224416 3221214580 1131558416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28101 13073 16 0 210661 0
vsize: 842708
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 109569 47 0 0 25 0 11 0 487818013 862932992 28141 4294967295 134512640 134569956 3221224416 3221214808 1131202616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28141 13073 16 0 210661 0
vsize: 842708
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 110552 47 0 0 25 0 11 0 487818013 862932992 28189 4294967295 134512640 134569956 3221224416 3221214908 1131202220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28189 13073 16 0 210661 0
vsize: 842708
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 111533 48 0 0 25 0 11 0 487818013 862932992 28265 4294967295 134512640 134569956 3221224416 3221214864 1131169624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28265 13073 16 0 210661 0
vsize: 842708
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 112518 48 0 0 25 0 11 0 487818013 862932992 28296 4294967295 134512640 134569956 3221224416 3221214808 1131202455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28296 13073 16 0 210661 0
vsize: 842708
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 113501 48 0 0 25 0 11 0 487818013 862932992 28346 4294967295 134512640 134569956 3221224416 3221214576 1079721461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28346 13073 16 0 210661 0
vsize: 842708
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 114490 48 0 0 25 0 11 0 487818013 862932992 28375 4294967295 134512640 134569956 3221224416 3221214808 1131202616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28375 13073 16 0 210661 0
vsize: 842708
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 115475 48 0 0 25 0 11 0 487818013 862932992 28433 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28433 13073 16 0 210661 0
vsize: 842708
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 116464 48 0 0 25 0 11 0 487818013 862932992 28460 4294967295 134512640 134569956 3221224416 3221214808 1131202804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28460 13073 16 0 210661 0
vsize: 842708
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 117451 48 0 0 25 0 11 0 487818013 862932992 28499 4294967295 134512640 134569956 3221224416 3221214608 1131304400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28499 13073 16 0 210661 0
vsize: 842708
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 118437 48 0 0 24 0 11 0 487818013 862932992 28513 4294967295 134512640 134569956 3221224416 3221214908 1131202227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28513 13073 16 0 210661 0
vsize: 842708
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 119425 48 0 0 25 0 11 0 487818013 862932992 28542 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28542 13073 16 0 210661 0
vsize: 842708
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 3524
Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 120415 48 0 0 24 0 11 0 487818013 862932992 28572 4294967295 134512640 134569956 3221224416 3221214592 1131304109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28572 13073 16 0 210661 0
vsize: 842708
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 3526
Raw data (stat): 3502 (java) Z 3501 20838 20837 0 -1 1036 18074 8010 1 0 120418 48 2183 31 25 0 1 0 487818013 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.18
CPU time (s): 1226.82
CPU user time (s): 1226.01
CPU system time (s): 0.801878
CPU usage (%): 99.7269
Max. virtual memory (Kb): 847448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####