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/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
MD5SUM	cafd7bd480d889c74d8810dc689bffd8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	736
Optimality of the best value was proved	NO
Number of terms in the objective function	1518
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	1518
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1518
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	23.6604
Number of variables	1518
Total number of constraints	21621
Number of constraints which are clauses	21621
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	2
Maximum length of a constraint	32
Trace number 4334

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-13 16:35:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1386 boxname=wulflinc31 idbench=154 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  cafd7bd480d889c74d8810dc689bffd8  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c4.opb
IDLAUNCH: 1386
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917004 kB
Buffers:         33460 kB
Cached:          45436 kB
SwapCached:        392 kB
Active:          39304 kB
Inactive:        42760 kB
HighTotal:      131008 kB
HighFree:        81928 kB
LowTotal:       903652 kB
LowFree:        835076 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            30028 kB
Committed_AS:    63476 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:56:12 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1386 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c4.opb
c reading problem 
c [nbvar=1518]
c [nbconstr=21621]
c time 7.322
c #vars     1518
c #clauses  21621
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=741
c Current CPU time (ms) : 124.203
c starts	: 5
c conflicts	: 886
c decisions	: 4195
c propagations	: 305779
c inspects	: 2099649
c learned literals	: 1
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 885
c root simplifications	: 6
c 
c CURRENT OPTIMUM=740
c Current CPU time (ms) : 394.91
c starts	: 11
c conflicts	: 2250
c decisions	: 7609
c propagations	: 743011
c inspects	: 5380457
c learned literals	: 1
c learned binary clauses	: 70
c learned ternary clauses	: 14
c learned clauses	: 2249
c root simplifications	: 17
c 
c CURRENT OPTIMUM=736
c Current CPU time (ms) : 481.069
c starts	: 12
c conflicts	: 2343
c decisions	: 7895
c propagations	: 775857
c inspects	: 5643404
c learned literals	: 1
c learned binary clauses	: 70
c learned ternary clauses	: 14
c learned clauses	: 2342
c root simplifications	: 18
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.90 2/54 23490
Raw data (stat): 23490 (runsolver) R 23489 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477419418 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.98 0.90 3/64 23500
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18073 0 1 0 835 49 0 0 25 0 11 0 477419418 858398720 19674 4294967295 134512640 134569956 3221224416 3221214864 1131336592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209570 19674 13073 16 0 209554 0
vsize: 838280
[startup+20.044 s]
Raw data (loadavg): 1.23 1.05 0.93 2/64 23500
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18102 0 1 0 1674 49 0 0 25 0 11 0 477419418 872177664 26802 4294967295 134512640 134569956 3221224416 3221214840 1131336592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212934 26802 13073 16 0 212918 0
vsize: 851736
[startup+30.0446 s]
Raw data (loadavg): 1.27 1.06 0.93 3/64 23500
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 0 1 0 2637 49 0 0 25 0 11 0 477419418 864428032 25459 4294967295 134512640 134569956 3221224416 3221214696 1131258485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 25459 13073 16 0 211026 0
vsize: 844168
[startup+40.0444 s]
Raw data (loadavg): 1.23 1.06 0.93 2/64 23500
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 0 1 0 3598 50 0 0 25 0 11 0 477419418 864428032 25558 4294967295 134512640 134569956 3221224416 3221214728 1131378965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 25558 13073 16 0 211026 0
vsize: 844168
[startup+50.0448 s]
Raw data (loadavg): 1.20 1.06 0.93 2/64 23500
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 0 1 0 4560 50 0 0 25 0 11 0 477419418 864428032 25950 4294967295 134512640 134569956 3221224416 3221214896 1131577441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 25950 13073 16 0 211026 0
vsize: 844168
[startup+60.0452 s]
Raw data (loadavg): 1.16 1.06 0.93 2/64 23500
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 0 1 0 5528 50 0 0 25 0 11 0 477419418 864428032 26379 4294967295 134512640 134569956 3221224416 3221214848 1131336609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 26379 13073 16 0 211026 0
vsize: 844168
[startup+70.0465 s]
Raw data (loadavg): 1.14 1.05 0.93 2/64 23500
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 0 1 0 6489 50 0 0 25 0 11 0 477419418 864428032 27184 4294967295 134512640 134569956 3221224416 3221214696 1131504529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211042 27184 13073 16 0 211026 0
vsize: 844168
[startup+80.0477 s]
Raw data (loadavg): 1.12 1.05 0.93 2/64 23500
Raw data (stat): 23490 (java) S 23489 23176 23175 0 -1 0 18103 0 1 0 7448 51 0 0 25 0 11 0 477419418 864428032 27702 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 27702 13073 16 0 211026 0
vsize: 844168
[startup+90.048 s]
Raw data (loadavg): 1.10 1.05 0.93 2/64 23500
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 0 1 0 8416 51 0 0 25 0 11 0 477419418 864428032 27844 4294967295 134512640 134569956 3221224416 3221214848 1131336507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 27844 13073 16 0 211026 0
vsize: 844168
[startup+100.048 s]
Raw data (loadavg): 1.08 1.05 0.93 2/64 23500
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 0 1 0 9376 51 0 0 25 0 11 0 477419418 864428032 28232 4294967295 134512640 134569956 3221224416 3221214784 1131350160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 28232 13073 16 0 211026 0
vsize: 844168
[startup+110.049 s]
Raw data (loadavg): 1.07 1.05 0.93 2/64 23500
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 0 1 0 10336 52 0 0 25 0 11 0 477419418 864428032 28740 4294967295 134512640 134569956 3221224416 3221214848 1131336400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211042 28740 13073 16 0 211026 0
vsize: 844168
[startup+120.049 s]
Raw data (loadavg): 1.06 1.04 0.93 2/64 23500
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 0 1 0 11285 52 0 0 24 0 11 0 477419418 864428032 29208 4294967295 134512640 134569956 3221224416 3221214744 1131449700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 29208 13073 16 0 211026 0
vsize: 844168
[startup+130.05 s]
Raw data (loadavg): 1.05 1.04 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 12237 53 0 0 25 0 11 0 477419418 864428032 29581 4294967295 134512640 134569956 3221224416 3221214784 1131351716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 29581 13073 16 0 211026 0
vsize: 844168
[startup+140.051 s]
Raw data (loadavg): 1.04 1.04 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 13190 53 0 0 25 0 11 0 477419418 864428032 29741 4294967295 134512640 134569956 3221224416 3221214848 1131336515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 29741 13073 16 0 211026 0
vsize: 844168
[startup+150.05 s]
Raw data (loadavg): 1.03 1.04 0.93 2/64 23501
Raw data (stat): 23490 (java) S 23489 23176 23175 0 -1 0 18103 4 1 0 14118 53 0 0 25 0 11 0 477419418 864428032 29875 4294967295 134512640 134569956 3221224416 3221213392 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 29875 13073 16 0 211026 0
vsize: 844168
[startup+160.051 s]
Raw data (loadavg): 1.03 1.04 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 15070 54 0 0 25 0 11 0 477419418 864428032 30228 4294967295 134512640 134569956 3221224416 3221214848 1131336576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 30228 13073 16 0 211026 0
vsize: 844168
[startup+170.052 s]
Raw data (loadavg): 1.02 1.03 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 16003 54 0 0 25 0 11 0 477419418 864428032 30693 4294967295 134512640 134569956 3221224416 3221214608 1131431481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 30693 13073 16 0 211026 0
vsize: 844168
[startup+180.052 s]
Raw data (loadavg): 1.02 1.03 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 16950 55 0 0 25 0 11 0 477419418 864428032 31019 4294967295 134512640 134569956 3221224416 3221214784 1131350702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 31019 13073 16 0 211026 0
vsize: 844168
[startup+190.053 s]
Raw data (loadavg): 1.02 1.03 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 17908 55 0 0 25 0 11 0 477419418 864428032 31351 4294967295 134512640 134569956 3221224416 3221214848 1131336501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 31351 13073 16 0 211026 0
vsize: 844168
[startup+200.054 s]
Raw data (loadavg): 1.01 1.03 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 18857 55 0 0 25 0 11 0 477419418 864428032 31917 4294967295 134512640 134569956 3221224416 3221214936 1131503559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 31917 13073 16 0 211026 0
vsize: 844168
[startup+210.054 s]
Raw data (loadavg): 1.01 1.03 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 19803 55 0 0 25 0 11 0 477419418 864428032 32288 4294967295 134512640 134569956 3221224416 3221214960 1131676706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 32288 13073 16 0 211026 0
vsize: 844168
[startup+220.054 s]
Raw data (loadavg): 1.01 1.03 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 20748 56 0 0 25 0 11 0 477419418 864428032 32905 4294967295 134512640 134569956 3221224416 3221214784 1131352543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 32905 13073 16 0 211026 0
vsize: 844168
[startup+230.056 s]
Raw data (loadavg): 1.01 1.03 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 21688 56 0 0 25 0 11 0 477419418 864428032 33264 4294967295 134512640 134569956 3221224416 3221214688 1131247644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 33264 13073 16 0 211026 0
vsize: 844168
[startup+240.057 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 22634 56 0 0 25 0 11 0 477419418 864428032 33632 4294967295 134512640 134569956 3221224416 3221214688 1131246661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211042 33632 13073 16 0 211026 0
vsize: 844168
[startup+250.057 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 23569 56 0 0 25 0 11 0 477419418 864428032 33922 4294967295 134512640 134569956 3221224416 3221214688 1131247620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 33922 13073 16 0 211026 0
vsize: 844168
[startup+260.059 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 24518 57 0 0 25 0 11 0 477419418 864428032 34131 4294967295 134512640 134569956 3221224416 3221214736 1131376731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 34131 13073 16 0 211026 0
vsize: 844168
[startup+270.06 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 25466 57 0 0 25 0 11 0 477419418 864428032 34472 4294967295 134512640 134569956 3221224416 3221214784 1131355866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 34472 13073 16 0 211026 0
vsize: 844168
[startup+280.061 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 26407 58 0 0 25 0 11 0 477419418 864428032 34722 4294967295 134512640 134569956 3221224416 3221214784 1131351442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 34722 13073 16 0 211026 0
vsize: 844168
[startup+290.062 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 27346 58 0 0 25 0 11 0 477419418 864428032 34945 4294967295 134512640 134569956 3221224416 3221214736 1131376746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 34945 13073 16 0 211026 0
vsize: 844168
[startup+300.061 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 28294 58 0 0 25 0 11 0 477419418 864428032 35115 4294967295 134512640 134569956 3221224416 3221214928 1130883836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 35115 13073 16 0 211026 0
vsize: 844168
[startup+310.063 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 29242 58 0 0 25 0 11 0 477419418 864428032 35267 4294967295 134512640 134569956 3221224416 3221214848 1131336284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 35267 13073 16 0 211026 0
vsize: 844168
[startup+320.064 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 30189 59 0 0 25 0 11 0 477419418 864428032 35518 4294967295 134512640 134569956 3221224416 3221214744 1131455158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211042 35518 13073 16 0 211026 0
vsize: 844168
[startup+330.064 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 31138 59 0 0 25 0 11 0 477419418 864428032 35839 4294967295 134512640 134569956 3221224416 3221214704 1131258793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 35839 13073 16 0 211026 0
vsize: 844168
[startup+340.064 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 32085 59 0 0 25 0 11 0 477419418 864428032 36239 4294967295 134512640 134569956 3221224416 3221214784 1131350465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 36239 13073 16 0 211026 0
vsize: 844168
[startup+350.065 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 33033 60 0 0 25 0 11 0 477419418 864428032 36488 4294967295 134512640 134569956 3221224416 3221214688 1131247069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 36488 13073 16 0 211026 0
vsize: 844168
[startup+360.066 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 33970 60 0 0 25 0 11 0 477419418 864428032 36771 4294967295 134512640 134569956 3221224416 3221214784 1131351608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 36771 13073 16 0 211026 0
vsize: 844168
[startup+370.067 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 34919 60 0 0 25 0 11 0 477419418 864428032 37037 4294967295 134512640 134569956 3221224416 3221214688 1131246657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 37037 13073 16 0 211026 0
vsize: 844168
[startup+380.067 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 35867 61 0 0 25 0 11 0 477419418 864428032 37377 4294967295 134512640 134569956 3221224416 3221214736 1131377628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 37377 13073 16 0 211026 0
vsize: 844168
[startup+390.068 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 23501
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 36814 62 0 0 25 0 11 0 477419418 864428032 37638 4294967295 134512640 134569956 3221224416 3221214736 1131377557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 37638 13073 16 0 211026 0
vsize: 844168
[startup+400.068 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 23502
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 37723 62 0 0 25 0 11 0 477419418 864428032 38133 4294967295 134512640 134569956 3221224416 3221214688 1131247567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 38133 13073 16 0 211026 0
vsize: 844168
[startup+410.068 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 23502
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 38653 62 0 0 25 0 11 0 477419418 864428032 38187 4294967295 134512640 134569956 3221224416 3221214784 1131350319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 38187 13073 16 0 211026 0
vsize: 844168
[startup+420.069 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 23502
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 39573 63 0 0 25 0 11 0 477419418 864428032 38249 4294967295 134512640 134569956 3221224416 3221214736 1131377573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 38249 13073 16 0 211026 0
vsize: 844168
[startup+430.071 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 23502
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 40514 63 0 0 25 0 11 0 477419418 864428032 38249 4294967295 134512640 134569956 3221224416 3221214784 1131351608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 38249 13073 16 0 211026 0
vsize: 844168
[startup+440.071 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 23502
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 41443 63 0 0 25 0 11 0 477419418 864428032 38399 4294967295 134512640 134569956 3221224416 3221214784 1131350490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 38399 13073 16 0 211026 0
vsize: 844168
[startup+450.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23502
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 42386 64 0 0 25 0 11 0 477419418 864428032 38779 4294967295 134512640 134569956 3221224416 3221214784 1131350490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 38779 13073 16 0 211026 0
vsize: 844168
[startup+460.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23502
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 43339 64 0 0 25 0 11 0 477419418 864428032 38852 4294967295 134512640 134569956 3221224416 3221214784 1131351570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 38852 13073 16 0 211026 0
vsize: 844168
[startup+470.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23502
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 44282 64 0 0 25 0 11 0 477419418 864428032 38891 4294967295 134512640 134569956 3221224416 3221214784 1131350551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 38891 13073 16 0 211026 0
vsize: 844168
[startup+480.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23502
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18103 4 1 0 45224 64 0 0 24 0 11 0 477419418 864428032 39010 4294967295 134512640 134569956 3221224416 3221214688 1131246657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 39010 13073 16 0 211026 0
vsize: 844168
[startup+490.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 46182 64 0 0 25 0 11 0 477419418 864428032 39058 4294967295 134512640 134569956 3221224416 3221214688 1131247069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 39058 13073 16 0 211026 0
vsize: 844168
[startup+500.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 47104 65 0 0 25 0 11 0 477419418 864428032 39144 4294967295 134512640 134569956 3221224416 3221214544 1131488298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 39144 13073 16 0 211026 0
vsize: 844168
[startup+510.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 48020 65 0 0 25 0 11 0 477419418 864428032 39317 4294967295 134512640 134569956 3221224416 3221214784 1131350522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 39317 13073 16 0 211026 0
vsize: 844168
[startup+520.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 48948 65 0 0 25 0 11 0 477419418 864428032 39317 4294967295 134512640 134569956 3221224416 3221214688 1131247096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 39317 13073 16 0 211026 0
vsize: 844168
[startup+530.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 49852 66 0 0 25 0 11 0 477419418 864428032 39362 4294967295 134512640 134569956 3221224416 3221214688 1131246855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 39362 13073 16 0 211026 0
vsize: 844168
[startup+540.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 50779 66 0 0 25 0 11 0 477419418 864428032 39380 4294967295 134512640 134569956 3221224416 3221214784 1131350483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 39380 13073 16 0 211026 0
vsize: 844168
[startup+550.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 51722 66 0 0 25 0 11 0 477419418 864428032 39757 4294967295 134512640 134569956 3221224416 3221214784 1131352468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 39757 13073 16 0 211026 0
vsize: 844168
[startup+560.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 52679 67 0 0 25 0 11 0 477419418 864428032 40055 4294967295 134512640 134569956 3221224416 3221214784 1131350490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40055 13073 16 0 211026 0
vsize: 844168
[startup+570.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 53651 67 0 0 25 0 11 0 477419418 864428032 40073 4294967295 134512640 134569956 3221224416 3221214688 1131247085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40073 13073 16 0 211026 0
vsize: 844168
[startup+580.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 54621 67 0 0 25 0 11 0 477419418 864428032 40088 4294967295 134512640 134569956 3221224416 3221214784 1131350351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40088 13073 16 0 211026 0
vsize: 844168
[startup+590.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 55571 68 0 0 25 0 11 0 477419418 864428032 40147 4294967295 134512640 134569956 3221224416 3221214784 1131350487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40147 13073 16 0 211026 0
vsize: 844168
[startup+600.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 56545 68 0 0 25 0 11 0 477419418 864428032 40194 4294967295 134512640 134569956 3221224416 3221214688 1131247730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40194 13073 16 0 211026 0
vsize: 844168
[startup+610.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 57504 68 0 0 25 0 11 0 477419418 864428032 40219 4294967295 134512640 134569956 3221224416 3221214688 1131246989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40219 13073 16 0 211026 0
vsize: 844168
[startup+620.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 58460 68 0 0 25 0 11 0 477419418 864428032 40244 4294967295 134512640 134569956 3221224416 3221214688 1131247069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40244 13073 16 0 211026 0
vsize: 844168
[startup+630.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 59424 69 0 0 25 0 11 0 477419418 864428032 40269 4294967295 134512640 134569956 3221224416 3221214784 1131352323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40269 13073 16 0 211026 0
vsize: 844168
[startup+640.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 60375 69 0 0 25 0 11 0 477419418 864428032 40328 4294967295 134512640 134569956 3221224416 3221214704 1131346781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40328 13073 16 0 211026 0
vsize: 844168
[startup+650.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 61335 69 0 0 25 0 11 0 477419418 864428032 40390 4294967295 134512640 134569956 3221224416 3221214940 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40390 13073 16 0 211026 0
vsize: 844168
[startup+660.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 62294 69 0 0 25 0 11 0 477419418 864428032 40451 4294967295 134512640 134569956 3221224416 3221214784 1131350574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40451 13073 16 0 211026 0
vsize: 844168
[startup+670.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 63254 69 0 0 25 0 11 0 477419418 864428032 40489 4294967295 134512640 134569956 3221224416 3221214784 1131351626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40489 13073 16 0 211026 0
vsize: 844168
[startup+680.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 64214 70 0 0 25 0 11 0 477419418 864428032 40512 4294967295 134512640 134569956 3221224416 3221214688 1131247069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40512 13073 16 0 211026 0
vsize: 844168
[startup+690.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 65182 70 0 0 25 0 11 0 477419418 864428032 40621 4294967295 134512640 134569956 3221224416 3221214688 1131246657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40621 13073 16 0 211026 0
vsize: 844168
[startup+700.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 66151 70 0 0 25 0 11 0 477419418 864428032 40623 4294967295 134512640 134569956 3221224416 3221214784 1131350448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40623 13073 16 0 211026 0
vsize: 844168
[startup+710.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 67117 71 0 0 25 0 11 0 477419418 864428032 40674 4294967295 134512640 134569956 3221224416 3221214784 1131350551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40674 13073 16 0 211026 0
vsize: 844168
[startup+720.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 68083 71 0 0 25 0 11 0 477419418 864428032 40699 4294967295 134512640 134569956 3221224416 3221214784 1131350551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40699 13073 16 0 211026 0
vsize: 844168
[startup+730.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 69044 71 0 0 25 0 11 0 477419418 864428032 40751 4294967295 134512640 134569956 3221224416 3221214784 1131350551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40751 13073 16 0 211026 0
vsize: 844168
[startup+740.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 70009 71 0 0 25 0 11 0 477419418 864428032 40753 4294967295 134512640 134569956 3221224416 3221214784 1131350551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40753 13073 16 0 211026 0
vsize: 844168
[startup+750.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 70975 72 0 0 25 0 11 0 477419418 864428032 40791 4294967295 134512640 134569956 3221224416 3221214688 1131246693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40791 13073 16 0 211026 0
vsize: 844168
[startup+760.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 71936 72 0 0 25 0 11 0 477419418 864428032 40817 4294967295 134512640 134569956 3221224416 3221214784 1131352577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40817 13073 16 0 211026 0
vsize: 844168
[startup+770.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 72897 72 0 0 25 0 11 0 477419418 864428032 40865 4294967295 134512640 134569956 3221224416 3221214688 1131246670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40865 13073 16 0 211026 0
vsize: 844168
[startup+780.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 73865 72 0 0 25 0 11 0 477419418 864428032 40903 4294967295 134512640 134569956 3221224416 3221214688 1131247069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40903 13073 16 0 211026 0
vsize: 844168
[startup+790.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 74829 73 0 0 25 0 11 0 477419418 864428032 40960 4294967295 134512640 134569956 3221224416 3221214784 1131350490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40960 13073 16 0 211026 0
vsize: 844168
[startup+800.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 75793 73 0 0 25 0 11 0 477419418 864428032 40993 4294967295 134512640 134569956 3221224416 3221214784 1131350490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 40993 13073 16 0 211026 0
vsize: 844168
[startup+810.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 76755 73 0 0 25 0 11 0 477419418 864428032 41034 4294967295 134512640 134569956 3221224416 3221214688 1131246735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41034 13073 16 0 211026 0
vsize: 844168
[startup+820.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 77722 74 0 0 25 0 11 0 477419418 864428032 41065 4294967295 134512640 134569956 3221224416 3221214784 1131350551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41065 13073 16 0 211026 0
vsize: 844168
[startup+830.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 78689 74 0 0 25 0 11 0 477419418 864428032 41090 4294967295 134512640 134569956 3221224416 3221214848 1131336272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41090 13073 16 0 211026 0
vsize: 844168
[startup+840.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 79655 74 0 0 25 0 11 0 477419418 864428032 41117 4294967295 134512640 134569956 3221224416 3221214784 1131351584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41117 13073 16 0 211026 0
vsize: 844168
[startup+850.094 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 80622 75 0 0 25 0 11 0 477419418 864428032 41133 4294967295 134512640 134569956 3221224416 3221214784 1131350551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41133 13073 16 0 211026 0
vsize: 844168
[startup+860.095 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 81584 75 0 0 24 0 11 0 477419418 864428032 41173 4294967295 134512640 134569956 3221224416 3221214688 1131246735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41173 13073 16 0 211026 0
vsize: 844168
[startup+870.095 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 82552 75 0 0 25 0 11 0 477419418 864428032 41201 4294967295 134512640 134569956 3221224416 3221214784 1131352547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41201 13073 16 0 211026 0
vsize: 844168
[startup+880.097 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 83520 76 0 0 25 0 11 0 477419418 864428032 41249 4294967295 134512640 134569956 3221224416 3221214784 1131351570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41249 13073 16 0 211026 0
vsize: 844168
[startup+890.097 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 84491 76 0 0 25 0 11 0 477419418 864428032 41271 4294967295 134512640 134569956 3221224416 3221214848 1131336770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41271 13073 16 0 211026 0
vsize: 844168
[startup+900.097 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 85464 76 0 0 25 0 11 0 477419418 864428032 41290 4294967295 134512640 134569956 3221224416 3221214784 1131350483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41290 13073 16 0 211026 0
vsize: 844168
[startup+910.098 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) S 23489 23176 23175 0 -1 0 18104 4 1 0 86432 76 0 0 25 0 11 0 477419418 864428032 41302 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41302 13073 16 0 211026 0
vsize: 844168
[startup+920.098 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 87404 77 0 0 25 0 11 0 477419418 864428032 41331 4294967295 134512640 134569956 3221224416 3221214784 1131350319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211042 41331 13073 16 0 211026 0
vsize: 844168
[startup+930.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 88371 77 0 0 25 0 11 0 477419418 864428032 41341 4294967295 134512640 134569956 3221224416 3221214688 1131247337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41341 13073 16 0 211026 0
vsize: 844168
[startup+940.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 89339 77 0 0 25 0 11 0 477419418 864428032 41372 4294967295 134512640 134569956 3221224416 3221214784 1131350490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41372 13073 16 0 211026 0
vsize: 844168
[startup+950.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 90312 78 0 0 25 0 11 0 477419418 864428032 41397 4294967295 134512640 134569956 3221224416 3221214784 1131350490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41397 13073 16 0 211026 0
vsize: 844168
[startup+960.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 91277 78 0 0 25 0 11 0 477419418 864428032 41427 4294967295 134512640 134569956 3221224416 3221214784 1131350680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41427 13073 16 0 211026 0
vsize: 844168
[startup+970.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 92252 78 0 0 25 0 11 0 477419418 864428032 41451 4294967295 134512640 134569956 3221224416 3221214784 1131350319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41451 13073 16 0 211026 0
vsize: 844168
[startup+980.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 93222 78 0 0 25 0 11 0 477419418 864428032 41481 4294967295 134512640 134569956 3221224416 3221214688 1131247136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41481 13073 16 0 211026 0
vsize: 844168
[startup+990.102 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 94191 78 0 0 25 0 11 0 477419418 864428032 41497 4294967295 134512640 134569956 3221224416 3221214784 1131350483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211042 41497 13073 16 0 211026 0
vsize: 844168
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 95160 79 0 0 25 0 11 0 477419418 864428032 41520 4294967295 134512640 134569956 3221224416 3221214688 1131247017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41520 13073 16 0 211026 0
vsize: 844168
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 96129 79 0 0 25 0 11 0 477419418 864428032 41529 4294967295 134512640 134569956 3221224416 3221214784 1131351747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41529 13073 16 0 211026 0
vsize: 844168
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 97095 79 0 0 25 0 11 0 477419418 864428032 41551 4294967295 134512640 134569956 3221224416 3221214784 1131350483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41551 13073 16 0 211026 0
vsize: 844168
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 98066 79 0 0 25 0 11 0 477419418 864428032 41568 4294967295 134512640 134569956 3221224416 3221214784 1131351608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41568 13073 16 0 211026 0
vsize: 844168
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 99036 79 0 0 25 0 11 0 477419418 864428032 41575 4294967295 134512640 134569956 3221224416 3221214784 1131351774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41575 13073 16 0 211026 0
vsize: 844168
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 100001 80 0 0 25 0 11 0 477419418 864428032 41618 4294967295 134512640 134569956 3221224416 3221214784 1131352881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41618 13073 16 0 211026 0
vsize: 844168
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 100972 80 0 0 25 0 11 0 477419418 864428032 41637 4294967295 134512640 134569956 3221224416 3221214784 1131352494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41637 13073 16 0 211026 0
vsize: 844168
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 101934 80 0 0 24 0 11 0 477419418 864428032 41667 4294967295 134512640 134569956 3221224416 3221214688 1131247716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41667 13073 16 0 211026 0
vsize: 844168
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) S 23489 23176 23175 0 -1 0 18104 4 1 0 102902 80 0 0 25 0 11 0 477419418 864428032 41693 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41693 13073 16 0 211026 0
vsize: 844168
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 103873 81 0 0 25 0 11 0 477419418 864428032 41706 4294967295 134512640 134569956 3221224416 3221214784 1131351629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41706 13073 16 0 211026 0
vsize: 844168
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 104830 81 0 0 25 0 11 0 477419418 864428032 41728 4294967295 134512640 134569956 3221224416 3221214688 1131247271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41728 13073 16 0 211026 0
vsize: 844168
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 105790 82 0 0 25 0 11 0 477419418 864428032 41775 4294967295 134512640 134569956 3221224416 3221214784 1131350490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41775 13073 16 0 211026 0
vsize: 844168
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 106758 82 0 0 25 0 11 0 477419418 864428032 41830 4294967295 134512640 134569956 3221224416 3221214688 1131247069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41830 13073 16 0 211026 0
vsize: 844168
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 107724 82 0 0 24 0 11 0 477419418 864428032 41857 4294967295 134512640 134569956 3221224416 3221214784 1131350448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41857 13073 16 0 211026 0
vsize: 844168
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 108695 83 0 0 25 0 11 0 477419418 864428032 41879 4294967295 134512640 134569956 3221224416 3221214784 1131350626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41879 13073 16 0 211026 0
vsize: 844168
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 109667 83 0 0 24 0 11 0 477419418 864428032 41900 4294967295 134512640 134569956 3221224416 3221214688 1131246661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41900 13073 16 0 211026 0
vsize: 844168
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 110634 83 0 0 25 0 11 0 477419418 864428032 41924 4294967295 134512640 134569956 3221224416 3221214688 1131247017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41924 13073 16 0 211026 0
vsize: 844168
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 111599 83 0 0 25 0 11 0 477419418 864428032 41989 4294967295 134512640 134569956 3221224416 3221214688 1131247211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 41989 13073 16 0 211026 0
vsize: 844168
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 112566 84 0 0 25 0 11 0 477419418 864428032 42019 4294967295 134512640 134569956 3221224416 3221214688 1131247116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 42019 13073 16 0 211026 0
vsize: 844168
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 113536 84 0 0 25 0 11 0 477419418 864428032 42064 4294967295 134512640 134569956 3221224416 3221214688 1131246661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 42064 13073 16 0 211026 0
vsize: 844168
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 114508 84 0 0 25 0 11 0 477419418 864428032 42084 4294967295 134512640 134569956 3221224416 3221214784 1131350448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 42084 13073 16 0 211026 0
vsize: 844168
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 115479 85 0 0 25 0 11 0 477419418 864428032 42090 4294967295 134512640 134569956 3221224416 3221214784 1131350551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 42090 13073 16 0 211026 0
vsize: 844168
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 116445 86 0 0 25 0 11 0 477419418 864428032 42113 4294967295 134512640 134569956 3221224416 3221214784 1131352532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 42113 13073 16 0 211026 0
vsize: 844168
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 117407 86 0 0 25 0 11 0 477419418 864428032 42118 4294967295 134512640 134569956 3221224416 3221214688 1131247069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 42118 13073 16 0 211026 0
vsize: 844168
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 118374 86 0 0 25 0 11 0 477419418 864428032 42169 4294967295 134512640 134569956 3221224416 3221214688 1131247211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 42169 13073 16 0 211026 0
vsize: 844168
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 119336 86 0 0 25 0 11 0 477419418 864428032 42226 4294967295 134512640 134569956 3221224416 3221214784 1131350490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 42226 13073 16 0 211026 0
vsize: 844168
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23503
Raw data (stat): 23490 (java) R 23489 23176 23175 0 -1 0 18104 4 1 0 120306 87 0 0 25 0 11 0 477419418 864428032 42242 4294967295 134512640 134569956 3221224416 3221214688 1131246661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211042 42242 13073 16 0 211026 0
vsize: 844168
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.23 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 23505
Raw data (stat): 23490 (java) Z 23489 23176 23175 0 -1 1036 18104 21339 1 0 120309 87 5318 52 25 0 1 0 477419418 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.23
CPU time (s): 1257.68
CPU user time (s): 1256.28
CPU system time (s): 1.40479
CPU usage (%): 99.7979
Max. virtual memory (Kb): 851736
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####