PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/sorensson/garden/normalized-g9x9.opb
MD5SUM	3682f861aa46be9df7d6903cb35a0651
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	81
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	81
Number of bits of the sum of numbers in the objective function	7
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	81
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.676896
Number of variables	81
Total number of constraints	81
Number of constraints which are clauses	81
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	5
Trace number 6511

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        889072 kB
Buffers:         36144 kB
Cached:          90048 kB
SwapCached:         16 kB
Active:          63044 kB
Inactive:        65928 kB
HighTotal:      131008 kB
HighFree:        37184 kB
LowTotal:       903652 kB
LowFree:        851888 kB
SwapTotal:     2097136 kB
SwapFree:      2097120 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11036 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 05:53:04 (client local time) WITH STATUS 143 IN 1243.78 SECONDS
stats: 4975 7 1243.78 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-g9x9.opb
c reading problem 
c [nbvar=81]
c [nbconstr=81]
c time 0.423
c #vars     81
c #clauses  81
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=27
c Current CPU time (ms) : 0.487
c starts	: 1
c conflicts	: 0
c decisions	: 54
c propagations	: 81
c inspects	: 168
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=26
c Current CPU time (ms) : 1.416
c starts	: 2
c conflicts	: 4
c decisions	: 101
c propagations	: 183
c inspects	: 348
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4
c root simplifications	: 2
c 
c CURRENT OPTIMUM=25
c Current CPU time (ms) : 8.117
c starts	: 3
c conflicts	: 60
c decisions	: 234
c propagations	: 665
c inspects	: 2497
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 60
c root simplifications	: 3
c 
c CURRENT OPTIMUM=24
c Current CPU time (ms) : 8.486
c starts	: 4
c conflicts	: 60
c decisions	: 290
c propagations	: 746
c inspects	: 3761
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 60
c root simplifications	: 4
c 
c CURRENT OPTIMUM=23
c Current CPU time (ms) : 10.055
c starts	: 5
c conflicts	: 82
c decisions	: 361
c propagations	: 1014
c inspects	: 5508
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 82
c root simplifications	: 5
c 
c CURRENT OPTIMUM=22
c Current CPU time (ms) : 20.637
c starts	: 7
c conflicts	: 329
c decisions	: 931
c propagations	: 3626
c inspects	: 49664
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 329
c root simplifications	: 7
c 
c CURRENT OPTIMUM=21
c Current CPU time (ms) : 124.341
c starts	: 12
c conflicts	: 1590
c decisions	: 3840
c propagations	: 16130
c inspects	: 760314
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1590
c root simplifications	: 12
#### 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.91 0.97 0.92 2/54 867
Raw data (stat): 867 (runsolver) R 866 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 423870677 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.0004 s]
Raw data (loadavg): 1.23 1.03 0.94 4/64 881
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 13084 3 1 0 584 29 0 0 25 0 11 0 423870677 872095744 17703 4294967295 134512640 134569956 3221224416 3221214776 1131240500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212914 17705 13073 16 0 212898 0
vsize: 851656
[startup+20.0017 s]
Raw data (loadavg): 1.35 1.06 0.95 2/64 882
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18084 3 1 0 1289 41 0 0 25 0 11 0 423870677 872062976 23518 4294967295 134512640 134569956 3221224416 3221214664 1130918825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212906 23518 13073 16 0 212890 0
vsize: 851624
[startup+30.0024 s]
Raw data (loadavg): 1.29 1.06 0.95 2/64 883
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18084 3 1 0 2242 41 0 0 25 0 11 0 423870677 869797888 23479 4294967295 134512640 134569956 3221224416 3221214800 1131235666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 23479 13073 16 0 212337 0
vsize: 849412
[startup+40.0029 s]
Raw data (loadavg): 1.25 1.06 0.95 2/64 883
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18084 3 1 0 3178 41 0 0 25 0 11 0 423870677 869797888 23902 4294967295 134512640 134569956 3221224416 3221214704 1131162668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 23902 13073 16 0 212337 0
vsize: 849412
[startup+50.0073 s]
Raw data (loadavg): 1.21 1.06 0.95 2/64 883
Raw data (stat): 867 (java) S 866 25285 25284 0 -1 0 18084 3 1 0 4119 41 0 0 25 0 11 0 423870677 869797888 24244 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 24244 13073 16 0 212337 0
vsize: 849412
[startup+60.008 s]
Raw data (loadavg): 1.18 1.05 0.95 2/64 883
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 5052 41 0 0 25 0 11 0 423870677 869797888 24341 4294967295 134512640 134569956 3221224416 3221214800 1131239657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 24341 13073 16 0 212337 0
vsize: 849412
[startup+70.0083 s]
Raw data (loadavg): 1.15 1.05 0.95 2/64 883
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 5995 41 0 0 25 0 11 0 423870677 869797888 24581 4294967295 134512640 134569956 3221224416 3221214696 1131162663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 24581 13073 16 0 212337 0
vsize: 849412
[startup+80.0086 s]
Raw data (loadavg): 1.12 1.05 0.95 2/64 883
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 6936 41 0 0 25 0 11 0 423870677 869797888 24791 4294967295 134512640 134569956 3221224416 3221214648 1131624496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 24791 13073 16 0 212337 0
vsize: 849412
[startup+90.0094 s]
Raw data (loadavg): 1.10 1.05 0.95 2/64 883
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 7888 41 0 0 25 0 11 0 423870677 869797888 24942 4294967295 134512640 134569956 3221224416 3221214512 1131394464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 24942 13073 16 0 212337 0
vsize: 849412
[startup+100.01 s]
Raw data (loadavg): 1.09 1.05 0.95 2/64 883
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 8840 41 0 0 25 0 11 0 423870677 869797888 25103 4294967295 134512640 134569956 3221224416 3221214360 1131441276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 25103 13073 16 0 212337 0
vsize: 849412
[startup+110.011 s]
Raw data (loadavg): 1.07 1.04 0.95 2/64 883
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 9795 41 0 0 25 0 11 0 423870677 869797888 25240 4294967295 134512640 134569956 3221224416 3221214800 1131239726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 25240 13073 16 0 212337 0
vsize: 849412
[startup+120.012 s]
Raw data (loadavg): 1.06 1.04 0.95 2/64 883
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 10751 41 0 0 25 0 11 0 423870677 869797888 25380 4294967295 134512640 134569956 3221224416 3221215040 1130863134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 25380 13073 16 0 212337 0
vsize: 849412
[startup+130.015 s]
Raw data (loadavg): 1.05 1.04 0.95 2/64 884
Raw data (stat): 867 (java) S 866 25285 25284 0 -1 0 18085 3 1 0 11708 41 0 0 25 0 11 0 423870677 869797888 25491 4294967295 134512640 134569956 3221224416 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 25491 13073 16 0 212337 0
vsize: 849412
[startup+140.016 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 12670 41 0 0 25 0 11 0 423870677 869797888 25624 4294967295 134512640 134569956 3221224416 3221214648 1131629384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 25624 13073 16 0 212337 0
vsize: 849412
[startup+150.016 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 13628 41 0 0 24 0 11 0 423870677 869797888 25754 4294967295 134512640 134569956 3221224416 3221214560 1131428014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 25754 13073 16 0 212337 0
vsize: 849412
[startup+160.017 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 14586 41 0 0 25 0 11 0 423870677 869797888 25861 4294967295 134512640 134569956 3221224416 3221214752 1131220028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 25861 13073 16 0 212337 0
vsize: 849412
[startup+170.017 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 15552 42 0 0 25 0 11 0 423870677 869797888 25954 4294967295 134512640 134569956 3221224416 3221214776 1131238695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 25954 13073 16 0 212337 0
vsize: 849412
[startup+180.017 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 16519 42 0 0 25 0 11 0 423870677 869797888 26062 4294967295 134512640 134569956 3221224416 3221214776 1131237305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 26062 13073 16 0 212337 0
vsize: 849412
[startup+190.018 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 17481 42 0 0 25 0 11 0 423870677 869797888 26169 4294967295 134512640 134569956 3221224416 3221214776 1131235403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 26169 13073 16 0 212337 0
vsize: 849412
[startup+200.019 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 18444 42 0 0 25 0 11 0 423870677 869797888 26279 4294967295 134512640 134569956 3221224416 3221214776 1131235403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 26279 13073 16 0 212337 0
vsize: 849412
[startup+210.019 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 19409 42 0 0 25 0 11 0 423870677 869797888 26380 4294967295 134512640 134569956 3221224416 3221214552 1131285748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 26380 13073 16 0 212337 0
vsize: 849412
[startup+220.02 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 20370 42 0 0 25 0 11 0 423870677 869797888 26495 4294967295 134512640 134569956 3221224416 3221214552 1131285665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 26495 13073 16 0 212337 0
vsize: 849412
[startup+230.02 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 21338 42 0 0 24 0 11 0 423870677 869797888 26598 4294967295 134512640 134569956 3221224416 3221214776 1131240561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 26598 13073 16 0 212337 0
vsize: 849412
[startup+240.021 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 22311 42 0 0 25 0 11 0 423870677 869797888 26675 4294967295 134512640 134569956 3221224416 3221214552 1131286721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 26675 13073 16 0 212337 0
vsize: 849412
[startup+250.021 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 23280 42 0 0 25 0 11 0 423870677 869797888 26746 4294967295 134512640 134569956 3221224416 3221214144 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 26746 13073 16 0 212337 0
vsize: 849412
[startup+260.023 s]
Raw data (loadavg): 1.08 1.04 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 24247 42 0 0 25 0 11 0 423870677 869797888 26817 4294967295 134512640 134569956 3221224416 3221214592 1131598813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 26817 13073 16 0 212337 0
vsize: 849412
[startup+270.023 s]
Raw data (loadavg): 1.07 1.04 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 25213 43 0 0 19 0 11 0 423870677 869797888 26889 4294967295 134512640 134569956 3221224416 3221214680 1131626356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 26889 13073 16 0 212337 0
vsize: 849412
[startup+280.023 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 26178 43 0 0 25 0 11 0 423870677 869797888 26975 4294967295 134512640 134569956 3221224416 3221214776 1131238640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 26975 13073 16 0 212337 0
vsize: 849412
[startup+290.024 s]
Raw data (loadavg): 1.05 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 27143 43 0 0 24 0 11 0 423870677 869797888 27070 4294967295 134512640 134569956 3221224416 3221214776 1131235601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27070 13073 16 0 212337 0
vsize: 849412
[startup+300.025 s]
Raw data (loadavg): 1.04 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 28114 43 0 0 25 0 11 0 423870677 869797888 27131 4294967295 134512640 134569956 3221224416 3221214776 1131239707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27131 13073 16 0 212337 0
vsize: 849412
[startup+310.025 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 29080 43 0 0 25 0 11 0 423870677 869797888 27233 4294967295 134512640 134569956 3221224416 3221214544 1085679482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27233 13073 16 0 212337 0
vsize: 849412
[startup+320.026 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 30047 43 0 0 24 0 11 0 423870677 869797888 27316 4294967295 134512640 134569956 3221224416 3221214776 1131243642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27316 13073 16 0 212337 0
vsize: 849412
[startup+330.026 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 31020 43 0 0 25 0 11 0 423870677 869797888 27392 4294967295 134512640 134569956 3221224416 3221214456 1131624168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27392 13073 16 0 212337 0
vsize: 849412
[startup+340.027 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 31994 43 0 0 25 0 11 0 423870677 869797888 27451 4294967295 134512640 134569956 3221224416 3221214672 1131163502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27451 13073 16 0 212337 0
vsize: 849412
[startup+350.03 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 884
Raw data (stat): 867 (java) S 866 25285 25284 0 -1 0 18085 3 1 0 32967 43 0 0 25 0 11 0 423870677 869797888 27523 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27523 13073 16 0 212337 0
vsize: 849412
[startup+360.032 s]
Raw data (loadavg): 1.09 1.04 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 33936 43 0 0 25 0 11 0 423870677 869797888 27602 4294967295 134512640 134569956 3221224416 3221214320 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27602 13073 16 0 212337 0
vsize: 849412
[startup+370.032 s]
Raw data (loadavg): 1.08 1.04 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 34910 43 0 0 25 0 11 0 423870677 869797888 27662 4294967295 134512640 134569956 3221224416 3221214568 1131396590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27662 13073 16 0 212337 0
vsize: 849412
[startup+380.033 s]
Raw data (loadavg): 1.07 1.04 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 35883 44 0 0 25 0 11 0 423870677 869797888 27717 4294967295 134512640 134569956 3221224416 3221214448 1131466069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27717 13073 16 0 212337 0
vsize: 849412
[startup+390.034 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 36858 44 0 0 25 0 11 0 423870677 869797888 27781 4294967295 134512640 134569956 3221224416 3221214776 1131235594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27781 13073 16 0 212337 0
vsize: 849412
[startup+400.034 s]
Raw data (loadavg): 1.05 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 37831 44 0 0 25 0 11 0 423870677 869797888 27845 4294967295 134512640 134569956 3221224416 3221214776 1131235666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27845 13073 16 0 212337 0
vsize: 849412
[startup+410.035 s]
Raw data (loadavg): 1.04 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 38810 44 0 0 25 0 11 0 423870677 869797888 27904 4294967295 134512640 134569956 3221224416 3221214688 1131300085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27904 13073 16 0 212337 0
vsize: 849412
[startup+420.036 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 39778 44 0 0 25 0 11 0 423870677 869797888 27986 4294967295 134512640 134569956 3221224416 3221214776 1131235403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 27986 13073 16 0 212337 0
vsize: 849412
[startup+430.036 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 40748 44 0 0 25 0 11 0 423870677 869797888 28050 4294967295 134512640 134569956 3221224416 3221214688 1131301717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28050 13073 16 0 212337 0
vsize: 849412
[startup+440.037 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 41722 44 0 0 25 0 11 0 423870677 869797888 28101 4294967295 134512640 134569956 3221224416 3221214008 1131624703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28101 13073 16 0 212337 0
vsize: 849412
[startup+450.036 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 42690 44 0 0 25 0 11 0 423870677 869797888 28165 4294967295 134512640 134569956 3221224416 3221214392 1131441504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28165 13073 16 0 212337 0
vsize: 849412
[startup+460.037 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 43668 44 0 0 25 0 11 0 423870677 869797888 28228 4294967295 134512640 134569956 3221224416 3221214776 1131235601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28228 13073 16 0 212337 0
vsize: 849412
[startup+470.038 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 44642 44 0 0 25 0 11 0 423870677 869797888 28305 4294967295 134512640 134569956 3221224416 3221214776 1131235666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28305 13073 16 0 212337 0
vsize: 849412
[startup+480.038 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 45620 44 0 0 25 0 11 0 423870677 869797888 28340 4294967295 134512640 134569956 3221224416 3221214404 1131439819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28340 13073 16 0 212337 0
vsize: 849412
[startup+490.038 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 46598 44 0 0 25 0 11 0 423870677 869797888 28385 4294967295 134512640 134569956 3221224416 3221214516 1131439824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28385 13073 16 0 212337 0
vsize: 849412
[startup+500.039 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 47575 44 0 0 25 0 11 0 423870677 869797888 28423 4294967295 134512640 134569956 3221224416 3221214456 1131623963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28423 13073 16 0 212337 0
vsize: 849412
[startup+510.04 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 48545 44 0 0 25 0 11 0 423870677 869797888 28491 4294967295 134512640 134569956 3221224416 3221214776 1131243590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28491 13073 16 0 212337 0
vsize: 849412
[startup+520.04 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 49515 44 0 0 25 0 11 0 423870677 869797888 28583 4294967295 134512640 134569956 3221224416 3221214552 1131429413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28583 13073 16 0 212337 0
vsize: 849412
[startup+530.04 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 50485 44 0 0 25 0 11 0 423870677 869797888 28644 4294967295 134512640 134569956 3221224416 3221214776 1131240766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28644 13073 16 0 212337 0
vsize: 849412
[startup+540.041 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 51456 44 0 0 25 0 11 0 423870677 869797888 28707 4294967295 134512640 134569956 3221224416 3221214272 1131466071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28707 13073 16 0 212337 0
vsize: 849412
[startup+550.042 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 52431 45 0 0 25 0 11 0 423870677 869797888 28755 4294967295 134512640 134569956 3221224416 3221214776 1131240674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28755 13073 16 0 212337 0
vsize: 849412
[startup+560.043 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 53413 45 0 0 25 0 11 0 423870677 869797888 28805 4294967295 134512640 134569956 3221224416 3221214008 1131439764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28805 13073 16 0 212337 0
vsize: 849412
[startup+570.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 54389 45 0 0 25 0 11 0 423870677 869797888 28873 4294967295 134512640 134569956 3221224416 3221214632 1131439776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28873 13073 16 0 212337 0
vsize: 849412
[startup+580.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 55365 45 0 0 25 0 11 0 423870677 869797888 28919 4294967295 134512640 134569956 3221224416 3221214544 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28919 13073 16 0 212337 0
vsize: 849412
[startup+590.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 56353 45 0 0 25 0 11 0 423870677 869797888 28942 4294967295 134512640 134569956 3221224416 3221214944 1131468929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28942 13073 16 0 212337 0
vsize: 849412
[startup+600.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 57328 45 0 0 25 0 11 0 423870677 869797888 28993 4294967295 134512640 134569956 3221224416 3221214340 1131466060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 28993 13073 16 0 212337 0
vsize: 849412
[startup+610.044 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 58304 45 0 0 25 0 11 0 423870677 869797888 29056 4294967295 134512640 134569956 3221224416 3221214120 1131439825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29056 13073 16 0 212337 0
vsize: 849412
[startup+620.045 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 59274 45 0 0 25 0 11 0 423870677 869797888 29129 4294967295 134512640 134569956 3221224416 3221214888 1131346372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29129 13073 16 0 212337 0
vsize: 849412
[startup+630.044 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 60257 45 0 0 25 0 11 0 423870677 869797888 29172 4294967295 134512640 134569956 3221224416 3221214568 1131633248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29172 13073 16 0 212337 0
vsize: 849412
[startup+640.045 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 61229 45 0 0 25 0 11 0 423870677 869797888 29250 4294967295 134512640 134569956 3221224416 3221214232 1131439717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29250 13073 16 0 212337 0
vsize: 849412
[startup+650.045 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 62202 45 0 0 25 0 11 0 423870677 869797888 29318 4294967295 134512640 134569956 3221224416 3221214344 1131631448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29318 13073 16 0 212337 0
vsize: 849412
[startup+660.047 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 63177 45 0 0 25 0 11 0 423870677 869797888 29378 4294967295 134512640 134569956 3221224416 3221214776 1131239707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29378 13073 16 0 212337 0
vsize: 849412
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 64156 45 0 0 25 0 11 0 423870677 869797888 29431 4294967295 134512640 134569956 3221224416 3221214160 1131441552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29431 13073 16 0 212337 0
vsize: 849412
[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 65131 45 0 0 25 0 11 0 423870677 869797888 29491 4294967295 134512640 134569956 3221224416 3221214144 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29491 13073 16 0 212337 0
vsize: 849412
[startup+690.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 66105 45 0 0 25 0 11 0 423870677 869797888 29538 4294967295 134512640 134569956 3221224416 3221214056 1131441520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29538 13073 16 0 212337 0
vsize: 849412
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 67078 46 0 0 25 0 11 0 423870677 869797888 29585 4294967295 134512640 134569956 3221224416 3221214776 1131236583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29585 13073 16 0 212337 0
vsize: 849412
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 68057 46 0 0 25 0 11 0 423870677 869797888 29623 4294967295 134512640 134569956 3221224416 3221214776 1131235666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29623 13073 16 0 212337 0
vsize: 849412
[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 69028 46 0 0 25 0 11 0 423870677 869797888 29671 4294967295 134512640 134569956 3221224416 3221214776 1131237730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29671 13073 16 0 212337 0
vsize: 849412
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 70000 46 0 0 25 0 11 0 423870677 869797888 29730 4294967295 134512640 134569956 3221224416 3221214776 1131236589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29730 13073 16 0 212337 0
vsize: 849412
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 70978 46 0 0 25 0 11 0 423870677 869797888 29776 4294967295 134512640 134569956 3221224416 3221214776 1131240561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29776 13073 16 0 212337 0
vsize: 849412
[startup+750.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 71950 46 0 0 25 0 11 0 423870677 869797888 29845 4294967295 134512640 134569956 3221224416 3221214776 1131237477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29845 13073 16 0 212337 0
vsize: 849412
[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 72928 46 0 0 25 0 11 0 423870677 869797888 29901 4294967295 134512640 134569956 3221224416 3221214672 1131624180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29901 13073 16 0 212337 0
vsize: 849412
[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 73907 46 0 0 25 0 11 0 423870677 869797888 29947 4294967295 134512640 134569956 3221224416 3221214320 1085679366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29947 13073 16 0 212337 0
vsize: 849412
[startup+780.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 74891 46 0 0 25 0 11 0 423870677 869797888 29981 4294967295 134512640 134569956 3221224416 3221214596 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 29981 13073 16 0 212337 0
vsize: 849412
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 75868 46 0 0 25 0 11 0 423870677 869797888 30023 4294967295 134512640 134569956 3221224416 3221214776 1131237477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30023 13073 16 0 212337 0
vsize: 849412
[startup+800.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) S 866 25285 25284 0 -1 0 18085 3 1 0 76848 46 0 0 25 0 11 0 423870677 869797888 30063 4294967295 134512640 134569956 3221224416 3221213416 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30063 13073 16 0 212337 0
vsize: 849412
[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 77826 46 0 0 25 0 11 0 423870677 869797888 30099 4294967295 134512640 134569956 3221224416 3221214208 1085679473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30099 13073 16 0 212337 0
vsize: 849412
[startup+820.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 78805 46 0 0 25 0 11 0 423870677 869797888 30135 4294967295 134512640 134569956 3221224416 3221214776 1131239121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30135 13073 16 0 212337 0
vsize: 849412
[startup+830.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 79789 46 0 0 25 0 11 0 423870677 869797888 30177 4294967295 134512640 134569956 3221224416 3221214232 1131439885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212353 30177 13073 16 0 212337 0
vsize: 849412
[startup+840.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 80767 46 0 0 25 0 11 0 423870677 869797888 30222 4294967295 134512640 134569956 3221224416 3221214320 1085679473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30222 13073 16 0 212337 0
vsize: 849412
[startup+850.061 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 81746 46 0 0 25 0 11 0 423870677 869797888 30258 4294967295 134512640 134569956 3221224416 3221214676 1131466048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30258 13073 16 0 212337 0
vsize: 849412
[startup+860.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 82729 46 0 0 25 0 11 0 423870677 869797888 30296 4294967295 134512640 134569956 3221224416 3221214672 1131285672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30296 13073 16 0 212337 0
vsize: 849412
[startup+870.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 83702 46 0 0 25 0 11 0 423870677 869797888 30351 4294967295 134512640 134569956 3221224416 3221214776 1131239510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30351 13073 16 0 212337 0
vsize: 849412
[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 84680 46 0 0 25 0 11 0 423870677 869797888 30388 4294967295 134512640 134569956 3221224416 3221214776 1131235666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30388 13073 16 0 212337 0
vsize: 849412
[startup+890.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 85658 46 0 0 25 0 11 0 423870677 869797888 30427 4294967295 134512640 134569956 3221224416 3221214672 1131162455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30427 13073 16 0 212337 0
vsize: 849412
[startup+900.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 86630 46 0 0 25 0 11 0 423870677 869797888 30475 4294967295 134512640 134569956 3221224416 3221214776 1131235666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30475 13073 16 0 212337 0
vsize: 849412
[startup+910.065 s]
Raw data (loadavg): 1.08 1.02 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 87608 47 0 0 25 0 11 0 423870677 869797888 30515 4294967295 134512640 134569956 3221224416 3221214776 1131243590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30515 13073 16 0 212337 0
vsize: 849412
[startup+920.066 s]
Raw data (loadavg): 1.14 1.03 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 88581 47 0 0 25 0 11 0 423870677 869797888 30576 4294967295 134512640 134569956 3221224416 3221214232 1131439825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30576 13073 16 0 212337 0
vsize: 849412
[startup+930.066 s]
Raw data (loadavg): 1.12 1.03 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 89559 47 0 0 25 0 11 0 423870677 869797888 30622 4294967295 134512640 134569956 3221224416 3221214672 1131466071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30622 13073 16 0 212337 0
vsize: 849412
[startup+940.066 s]
Raw data (loadavg): 1.10 1.03 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 90532 47 0 0 25 0 11 0 423870677 869797888 30681 4294967295 134512640 134569956 3221224416 3221214776 1131235605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30681 13073 16 0 212337 0
vsize: 849412
[startup+950.066 s]
Raw data (loadavg): 1.08 1.03 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 91511 47 0 0 25 0 11 0 423870677 869797888 30725 4294967295 134512640 134569956 3221224416 3221214632 1131439673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30725 13073 16 0 212337 0
vsize: 849412
[startup+960.069 s]
Raw data (loadavg): 1.07 1.03 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 92485 47 0 0 25 0 11 0 423870677 869797888 30776 4294967295 134512640 134569956 3221224416 3221214552 1131285987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30776 13073 16 0 212337 0
vsize: 849412
[startup+970.069 s]
Raw data (loadavg): 1.06 1.03 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 93465 47 0 0 25 0 11 0 423870677 869797888 30819 4294967295 134512640 134569956 3221224416 3221214296 1131439748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30819 13073 16 0 212337 0
vsize: 849412
[startup+980.069 s]
Raw data (loadavg): 1.05 1.02 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 94444 47 0 0 25 0 11 0 423870677 869797888 30865 4294967295 134512640 134569956 3221224416 3221214204 1085616771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30865 13073 16 0 212337 0
vsize: 849412
[startup+990.07 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 95423 47 0 0 25 0 11 0 423870677 869797888 30899 4294967295 134512640 134569956 3221224416 3221214944 1131468932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30899 13073 16 0 212337 0
vsize: 849412
[startup+1000.07 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 96401 47 0 0 25 0 11 0 423870677 869797888 30944 4294967295 134512640 134569956 3221224416 3221214876 1080204226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30944 13073 16 0 212337 0
vsize: 849412
[startup+1010.07 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 97380 47 0 0 25 0 11 0 423870677 869797888 30987 4294967295 134512640 134569956 3221224416 3221214408 1131439885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 30987 13073 16 0 212337 0
vsize: 849412
[startup+1020.07 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 98358 47 0 0 25 0 11 0 423870677 869797888 31022 4294967295 134512640 134569956 3221224416 3221214544 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31022 13073 16 0 212337 0
vsize: 849412
[startup+1030.08 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 884
Raw data (stat): 867 (java) S 866 25285 25284 0 -1 0 18085 3 1 0 99336 47 0 0 25 0 11 0 423870677 869797888 31071 4294967295 134512640 134569956 3221224416 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31071 13073 16 0 212337 0
vsize: 849412
[startup+1040.08 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 100305 47 0 0 25 0 11 0 423870677 869797888 31125 4294967295 134512640 134569956 3221224416 3221213920 1085679473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31125 13073 16 0 212337 0
vsize: 849412
[startup+1050.08 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 101278 47 0 0 24 0 11 0 423870677 869797888 31180 4294967295 134512640 134569956 3221224416 3221214672 1131162334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31180 13073 16 0 212337 0
vsize: 849412
[startup+1060.08 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 102257 47 0 0 25 0 11 0 423870677 869797888 31226 4294967295 134512640 134569956 3221224416 3221214408 1131439818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31226 13073 16 0 212337 0
vsize: 849412
[startup+1070.08 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 103241 47 0 0 25 0 11 0 423870677 869797888 31257 4294967295 134512640 134569956 3221224416 3221214776 1131240561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31257 13073 16 0 212337 0
vsize: 849412
[startup+1080.08 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 104215 47 0 0 25 0 11 0 423870677 869797888 31306 4294967295 134512640 134569956 3221224416 3221214680 1131625917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31306 13073 16 0 212337 0
vsize: 849412
[startup+1090.08 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 105194 47 0 0 25 0 11 0 423870677 869797888 31344 4294967295 134512640 134569956 3221224416 3221214696 1131497082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31344 13073 16 0 212337 0
vsize: 849412
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 106172 47 0 0 25 0 11 0 423870677 869797888 31385 4294967295 134512640 134569956 3221224416 3221214776 1131235666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31385 13073 16 0 212337 0
vsize: 849412
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 107151 47 0 0 25 0 11 0 423870677 869797888 31429 4294967295 134512640 134569956 3221224416 3221214028 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31429 13073 16 0 212337 0
vsize: 849412
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 108129 47 0 0 25 0 11 0 423870677 869797888 31460 4294967295 134512640 134569956 3221224416 3221214484 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31460 13073 16 0 212337 0
vsize: 849412
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 109108 48 0 0 25 0 11 0 423870677 869797888 31501 4294967295 134512640 134569956 3221224416 3221214776 1131242773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31501 13073 16 0 212337 0
vsize: 849412
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 110086 48 0 0 25 0 11 0 423870677 869797888 31546 4294967295 134512640 134569956 3221224416 3221214776 1131235666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31546 13073 16 0 212337 0
vsize: 849412
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 111065 48 0 0 25 0 11 0 423870677 869797888 31593 4294967295 134512640 134569956 3221224416 3221214776 1131236600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31593 13073 16 0 212337 0
vsize: 849412
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 112037 48 0 0 25 0 11 0 423870677 869797888 31637 4294967295 134512640 134569956 3221224416 3221214272 1131441552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31637 13073 16 0 212337 0
vsize: 849412
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 113014 48 0 0 25 0 11 0 423870677 869797888 31683 4294967295 134512640 134569956 3221224416 3221214776 1131235601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31683 13073 16 0 212337 0
vsize: 849412
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 113997 48 0 0 25 0 11 0 423870677 869797888 31718 4294967295 134512640 134569956 3221224416 3221214184 1131439735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31718 13073 16 0 212337 0
vsize: 849412
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 114981 48 0 0 25 0 11 0 423870677 869797888 31746 4294967295 134512640 134569956 3221224416 3221213920 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31746 13073 16 0 212337 0
vsize: 849412
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 115964 48 0 0 25 0 11 0 423870677 869797888 31777 4294967295 134512640 134569956 3221224416 3221214208 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31777 13073 16 0 212337 0
vsize: 849412
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 116946 48 0 0 25 0 11 0 423870677 869797888 31802 4294967295 134512640 134569956 3221224416 3221214776 1131235601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31802 13073 16 0 212337 0
vsize: 849412
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 117928 48 0 0 25 0 11 0 423870677 869797888 31829 4294967295 134512640 134569956 3221224416 3221214680 1131633305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31829 13073 16 0 212337 0
vsize: 849412
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 118910 48 0 0 25 0 11 0 423870677 869797888 31858 4294967295 134512640 134569956 3221224416 3221214568 1131627612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31858 13073 16 0 212337 0
vsize: 849412
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 119885 48 0 0 25 0 11 0 423870677 869797888 31894 4294967295 134512640 134569956 3221224416 3221214320 1085679756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31894 13073 16 0 212337 0
vsize: 849412
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 884
Raw data (stat): 867 (java) R 866 25285 25284 0 -1 0 18085 3 1 0 120861 48 0 0 24 0 11 0 423870677 869797888 31953 4294967295 134512640 134569956 3221224416 3221214776 1131235594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212353 31953 13073 16 0 212337 0
vsize: 849412
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.18 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 886
Raw data (stat): 867 (java) Z 866 25285 25284 0 -1 1036 18085 9717 1 0 120864 48 3432 32 25 0 1 0 423870677 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): 1250.18
CPU time (s): 1243.78
CPU user time (s): 1242.97
CPU system time (s): 0.806877
CPU usage (%): 99.488
Max. virtual memory (Kb): 851656
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####