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/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb
MD5SUM	10547c6c0f11ab5df74fcaff6ba6d160
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.87
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 16305

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-21 06:47:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13737 boxname=wulflinc6 idbench=1057 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  10547c6c0f11ab5df74fcaff6ba6d160  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-p0548.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-p0548.opb
IDLAUNCH: 13737
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        633828 kB
Buffers:         27292 kB
Cached:         351964 kB
SwapCached:        320 kB
Active:         108636 kB
Inactive:       273136 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        633576 kB
SwapTotal:     2097136 kB
SwapFree:      2096448 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            13388 kB
Committed_AS:    63580 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 07:07:56 (client local time) WITH STATUS 143 IN 1235.68 SECONDS
stats: 13737 7 1235.68 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-p0548.opb
c reading problem 
c [nbvar=548]
c [nbconstr=724]
c time 1.689
c #vars     548
c #clauses  166
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=40874
c Current CPU time (ms) : 5.959
c starts	: 1
c conflicts	: 15
c decisions	: 770
c propagations	: 1431
c inspects	: 1258
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 15
c root simplifications	: 3
c 
c CURRENT OPTIMUM=39754
c Current CPU time (ms) : 12.78
c starts	: 3
c conflicts	: 123
c decisions	: 1572
c propagations	: 3052
c inspects	: 10316
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 123
c root simplifications	: 5
c 
c CURRENT OPTIMUM=28989
c Current CPU time (ms) : 14.083
c starts	: 4
c conflicts	: 124
c decisions	: 1930
c propagations	: 3606
c inspects	: 15531
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 124
c root simplifications	: 6
c 
c CURRENT OPTIMUM=11893
c Current CPU time (ms) : 38.749
c starts	: 6
c conflicts	: 230
c decisions	: 2678
c propagations	: 6680
c inspects	: 47154
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 230
c root simplifications	: 8
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.94 2/54 9030
Raw data (stat): 9030 (runsolver) R 9029 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484811562 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0015 s]
Raw data (loadavg): 1.03 1.00 0.95 2/64 9041
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18089 3 1 0 511 38 0 0 21 0 11 0 484811562 864681984 21353 4294967295 134512640 134569956 3221224400 3221214800 1131212876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211104 21353 13073 16 0 211088 0
vsize: 844416
[startup+20.0022 s]
Raw data (loadavg): 1.10 1.02 0.95 2/64 9043
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 1439 38 0 0 18 0 11 0 484811562 864321536 22084 4294967295 134512640 134569956 3221224400 3221214704 1131247082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 22084 13073 16 0 211000 0
vsize: 844064
[startup+30.0038 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 9043
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 2380 38 0 0 24 0 11 0 484811562 864321536 22424 4294967295 134512640 134569956 3221224400 3221214624 1131406395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 22424 13073 16 0 211000 0
vsize: 844064
[startup+40.0072 s]
Raw data (loadavg): 1.07 1.01 0.95 2/64 9044
Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18092 3 1 0 3319 38 0 0 21 0 11 0 484811562 864321536 23036 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 23036 13073 16 0 211000 0
vsize: 844064
[startup+50.0087 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 4240 38 0 0 21 0 11 0 484811562 864321536 23224 4294967295 134512640 134569956 3221224400 3221214744 1131324499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 23224 13073 16 0 211000 0
vsize: 844064
[startup+60.0095 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 5174 39 0 0 18 0 11 0 484811562 864321536 23441 4294967295 134512640 134569956 3221224400 3221214496 1131261879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 23441 13073 16 0 211000 0
vsize: 844064
[startup+70.0104 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 6124 39 0 0 19 0 11 0 484811562 864321536 23686 4294967295 134512640 134569956 3221224400 3221214744 1131327926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 23686 13073 16 0 211000 0
vsize: 844064
[startup+80.011 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 7085 39 0 0 25 0 11 0 484811562 864321536 23906 4294967295 134512640 134569956 3221224400 3221214744 1131325319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 23906 13073 16 0 211000 0
vsize: 844064
[startup+90.0116 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 8052 39 0 0 17 0 11 0 484811562 864321536 24017 4294967295 134512640 134569956 3221224400 3221214792 1131194560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 24017 13073 16 0 211000 0
vsize: 844064
[startup+100.013 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 9023 39 0 0 25 0 11 0 484811562 864321536 24092 4294967295 134512640 134569956 3221224400 3221214624 1131407953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 24092 13073 16 0 211000 0
vsize: 844064
[startup+110.013 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 9990 39 0 0 20 0 11 0 484811562 864321536 24171 4294967295 134512640 134569956 3221224400 3221214752 1131213524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 24171 13073 16 0 211000 0
vsize: 844064
[startup+120.015 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 10963 39 0 0 18 0 11 0 484811562 864321536 24278 4294967295 134512640 134569956 3221224400 3221214848 1131225470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 24278 13073 16 0 211000 0
vsize: 844064
[startup+130.016 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 11944 39 0 0 17 0 11 0 484811562 864321536 24354 4294967295 134512640 134569956 3221224400 3221214824 1131221105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 24354 13073 16 0 211000 0
vsize: 844064
[startup+140.017 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 12925 39 0 0 20 0 11 0 484811562 864321536 24413 4294967295 134512640 134569956 3221224400 3221214752 1131213374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 24413 13073 16 0 211000 0
vsize: 844064
[startup+150.019 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 13906 39 0 0 21 0 11 0 484811562 864321536 24458 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 24458 13073 16 0 211000 0
vsize: 844064
[startup+160.02 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 14876 39 0 0 25 0 11 0 484811562 864321536 24484 4294967295 134512640 134569956 3221224400 3221214600 1131656988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 24484 13073 16 0 211000 0
vsize: 844064
[startup+170.02 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 15844 39 0 0 21 0 11 0 484811562 864321536 24586 4294967295 134512640 134569956 3221224400 3221214600 1131656995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 24586 13073 16 0 211000 0
vsize: 844064
[startup+180.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 16813 39 0 0 25 0 11 0 484811562 864321536 24666 4294967295 134512640 134569956 3221224400 3221214848 1131225109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 24666 13073 16 0 211000 0
vsize: 844064
[startup+190.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 17787 39 0 0 23 0 11 0 484811562 864321536 24823 4294967295 134512640 134569956 3221224400 3221214792 1131194581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 24823 13073 16 0 211000 0
vsize: 844064
[startup+200.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 18760 39 0 0 24 0 11 0 484811562 864321536 24898 4294967295 134512640 134569956 3221224400 3221214752 1131212865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 24898 13073 16 0 211000 0
vsize: 844064
[startup+210.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 19732 39 0 0 17 0 11 0 484811562 864321536 24958 4294967295 134512640 134569956 3221224400 3221214496 1131261849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 24958 13073 16 0 211000 0
vsize: 844064
[startup+220.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 20704 39 0 0 18 0 11 0 484811562 864321536 25042 4294967295 134512640 134569956 3221224400 3221214792 1131194577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25042 13073 16 0 211000 0
vsize: 844064
[startup+230.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18092 3 1 0 21678 39 0 0 25 0 11 0 484811562 864321536 25131 4294967295 134512640 134569956 3221224400 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25131 13073 16 0 211000 0
vsize: 844064
[startup+240.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 22653 39 0 0 17 0 11 0 484811562 864321536 25244 4294967295 134512640 134569956 3221224400 3221214616 1080203669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25244 13073 16 0 211000 0
vsize: 844064
[startup+250.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 23630 39 0 0 19 0 11 0 484811562 864321536 25308 4294967295 134512640 134569956 3221224400 3221214792 1131194560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25308 13073 16 0 211000 0
vsize: 844064
[startup+260.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 24608 40 0 0 23 0 11 0 484811562 864321536 25367 4294967295 134512640 134569956 3221224400 3221214848 1131225285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25367 13073 16 0 211000 0
vsize: 844064
[startup+270.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 25587 40 0 0 25 0 11 0 484811562 864321536 25421 4294967295 134512640 134569956 3221224400 3221214612 1080203744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25421 13073 16 0 211000 0
vsize: 844064
[startup+280.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18093 3 1 0 26560 40 0 0 24 0 11 0 484811562 864321536 25476 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25476 13073 16 0 211000 0
vsize: 844064
[startup+290.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 27534 40 0 0 22 0 11 0 484811562 864321536 25552 4294967295 134512640 134569956 3221224400 3221214752 1131213320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25552 13073 16 0 211000 0
vsize: 844064
[startup+300.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 28517 40 0 0 22 0 11 0 484811562 864321536 25635 4294967295 134512640 134569956 3221224400 3221214848 1131225437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25635 13073 16 0 211000 0
vsize: 844064
[startup+310.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 29506 40 0 0 20 0 11 0 484811562 864321536 25691 4294967295 134512640 134569956 3221224400 3221214752 1131212876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25691 13073 16 0 211000 0
vsize: 844064
[startup+320.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 30492 40 0 0 19 0 11 0 484811562 864321536 25712 4294967295 134512640 134569956 3221224400 3221214752 1131212869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25712 13073 16 0 211000 0
vsize: 844064
[startup+330.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 31476 40 0 0 24 0 11 0 484811562 864321536 25734 4294967295 134512640 134569956 3221224400 3221214752 1131212861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25734 13073 16 0 211000 0
vsize: 844064
[startup+340.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 32458 40 0 0 17 0 11 0 484811562 864321536 25778 4294967295 134512640 134569956 3221224400 3221214792 1131194560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25778 13073 16 0 211000 0
vsize: 844064
[startup+350.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 33437 40 0 0 24 0 11 0 484811562 864321536 25833 4294967295 134512640 134569956 3221224400 3221214496 1131261849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25833 13073 16 0 211000 0
vsize: 844064
[startup+360.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 34417 40 0 0 19 0 11 0 484811562 864321536 25862 4294967295 134512640 134569956 3221224400 3221214752 1131213233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 25862 13073 16 0 211000 0
vsize: 844064
[startup+370.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 35397 40 0 0 25 0 11 0 484811562 864321536 25922 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 25922 13073 16 0 211000 0
vsize: 844064
[startup+380.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 36381 41 0 0 25 0 11 0 484811562 864321536 25990 4294967295 134512640 134569956 3221224400 3221214496 1131261816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 25990 13073 16 0 211000 0
vsize: 844064
[startup+390.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 37367 41 0 0 25 0 11 0 484811562 864321536 26037 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26037 13073 16 0 211000 0
vsize: 844064
[startup+400.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 38350 41 0 0 25 0 11 0 484811562 864321536 26077 4294967295 134512640 134569956 3221224400 3221214752 1131213164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26077 13073 16 0 211000 0
vsize: 844064
[startup+410.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 39328 41 0 0 25 0 11 0 484811562 864321536 26119 4294967295 134512640 134569956 3221224400 3221214792 1131194560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26119 13073 16 0 211000 0
vsize: 844064
[startup+420.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 40310 41 0 0 25 0 11 0 484811562 864321536 26181 4294967295 134512640 134569956 3221224400 3221214408 1131610945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 26181 13073 16 0 211000 0
vsize: 844064
[startup+430.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 41291 41 0 0 25 0 11 0 484811562 864321536 26229 4294967295 134512640 134569956 3221224400 3221214752 1131212869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26229 13073 16 0 211000 0
vsize: 844064
[startup+440.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 42273 42 0 0 25 0 11 0 484811562 864321536 26291 4294967295 134512640 134569956 3221224400 3221214792 1131194577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26291 13073 16 0 211000 0
vsize: 844064
[startup+450.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 43253 42 0 0 25 0 11 0 484811562 864321536 26327 4294967295 134512640 134569956 3221224400 3221214752 1131213550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26327 13073 16 0 211000 0
vsize: 844064
[startup+460.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 44231 42 0 0 25 0 11 0 484811562 864321536 26369 4294967295 134512640 134569956 3221224400 3221214848 1131226148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26369 13073 16 0 211000 0
vsize: 844064
[startup+470.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 45208 43 0 0 25 0 11 0 484811562 864321536 26443 4294967295 134512640 134569956 3221224400 3221214848 1131225604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26443 13073 16 0 211000 0
vsize: 844064
[startup+480.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 46184 43 0 0 25 0 11 0 484811562 864321536 26498 4294967295 134512640 134569956 3221224400 3221214752 1131213917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26498 13073 16 0 211000 0
vsize: 844064
[startup+490.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 47159 43 0 0 25 0 11 0 484811562 864321536 26557 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26557 13073 16 0 211000 0
vsize: 844064
[startup+500.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 48137 43 0 0 25 0 11 0 484811562 864321536 26630 4294967295 134512640 134569956 3221224400 3221214792 1131194581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26630 13073 16 0 211000 0
vsize: 844064
[startup+510.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 49115 44 0 0 25 0 11 0 484811562 864321536 26680 4294967295 134512640 134569956 3221224400 3221214848 1131225081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26680 13073 16 0 211000 0
vsize: 844064
[startup+520.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 50095 44 0 0 25 0 11 0 484811562 864321536 26720 4294967295 134512640 134569956 3221224400 3221214696 1131300739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26720 13073 16 0 211000 0
vsize: 844064
[startup+530.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 51071 44 0 0 25 0 11 0 484811562 864321536 26791 4294967295 134512640 134569956 3221224400 3221214752 1131213122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26791 13073 16 0 211000 0
vsize: 844064
[startup+540.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 52047 45 0 0 25 0 11 0 484811562 864321536 26866 4294967295 134512640 134569956 3221224400 3221214744 1131328539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26866 13073 16 0 211000 0
vsize: 844064
[startup+550.065 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 53018 45 0 0 25 0 11 0 484811562 864321536 26936 4294967295 134512640 134569956 3221224400 3221214372 1130892664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 26936 13073 16 0 211000 0
vsize: 844064
[startup+560.066 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 53984 46 0 0 25 0 11 0 484811562 864321536 27010 4294967295 134512640 134569956 3221224400 3221214832 1131514926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27010 13073 16 0 211000 0
vsize: 844064
[startup+570.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 54955 46 0 0 25 0 11 0 484811562 864321536 27053 4294967295 134512640 134569956 3221224400 3221214732 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27053 13073 16 0 211000 0
vsize: 844064
[startup+580.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 55930 46 0 0 25 0 11 0 484811562 864321536 27216 4294967295 134512640 134569956 3221224400 3221214792 1131194577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27216 13073 16 0 211000 0
vsize: 844064
[startup+590.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 56912 46 0 0 25 0 11 0 484811562 864321536 27257 4294967295 134512640 134569956 3221224400 3221214624 1131408294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27257 13073 16 0 211000 0
vsize: 844064
[startup+600.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 57896 46 0 0 25 0 11 0 484811562 864321536 27320 4294967295 134512640 134569956 3221224400 3221214704 1131243926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27320 13073 16 0 211000 0
vsize: 844064
[startup+610.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 58880 47 0 0 25 0 11 0 484811562 864321536 27346 4294967295 134512640 134569956 3221224400 3221214792 1131194701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 27346 13073 16 0 211000 0
vsize: 844064
[startup+620.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 59864 47 0 0 25 0 11 0 484811562 864321536 27381 4294967295 134512640 134569956 3221224400 3221214752 1131213233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27381 13073 16 0 211000 0
vsize: 844064
[startup+630.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 60846 47 0 0 25 0 11 0 484811562 864321536 27417 4294967295 134512640 134569956 3221224400 3221214752 1131212861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27417 13073 16 0 211000 0
vsize: 844064
[startup+640.074 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 61825 48 0 0 25 0 11 0 484811562 864321536 27442 4294967295 134512640 134569956 3221224400 3221214752 1131213173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27442 13073 16 0 211000 0
vsize: 844064
[startup+650.075 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 62809 48 0 0 25 0 11 0 484811562 864321536 27488 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27488 13073 16 0 211000 0
vsize: 844064
[startup+660.076 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 63792 49 0 0 25 0 11 0 484811562 864321536 27535 4294967295 134512640 134569956 3221224400 3221214752 1131213286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27535 13073 16 0 211000 0
vsize: 844064
[startup+670.077 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 64782 49 0 0 25 0 11 0 484811562 864321536 27567 4294967295 134512640 134569956 3221224400 3221214752 1131213947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27567 13073 16 0 211000 0
vsize: 844064
[startup+680.078 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 65772 49 0 0 25 0 11 0 484811562 864321536 27577 4294967295 134512640 134569956 3221224400 3221214848 1131226148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27577 13073 16 0 211000 0
vsize: 844064
[startup+690.079 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 66760 50 0 0 25 0 11 0 484811562 864321536 27590 4294967295 134512640 134569956 3221224400 3221214752 1131213286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27590 13073 16 0 211000 0
vsize: 844064
[startup+700.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 67749 51 0 0 25 0 11 0 484811562 864321536 27604 4294967295 134512640 134569956 3221224400 3221214752 1131213197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27604 13073 16 0 211000 0
vsize: 844064
[startup+710.081 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 68736 51 0 0 20 0 11 0 484811562 864321536 27620 4294967295 134512640 134569956 3221224400 3221214848 1131226195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27620 13073 16 0 211000 0
vsize: 844064
[startup+720.082 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 69722 51 0 0 25 0 11 0 484811562 864321536 27642 4294967295 134512640 134569956 3221224400 3221214752 1131213332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27642 13073 16 0 211000 0
vsize: 844064
[startup+730.083 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 70703 52 0 0 24 0 11 0 484811562 864321536 27666 4294967295 134512640 134569956 3221224400 3221214752 1131212901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27666 13073 16 0 211000 0
vsize: 844064
[startup+740.084 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 71682 52 0 0 24 0 11 0 484811562 864321536 27718 4294967295 134512640 134569956 3221224400 3221214752 1131213491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27718 13073 16 0 211000 0
vsize: 844064
[startup+750.085 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 72665 52 0 0 25 0 11 0 484811562 864321536 27759 4294967295 134512640 134569956 3221224400 3221214800 1131221112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 27759 13073 16 0 211000 0
vsize: 844064
[startup+760.086 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9044
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 73648 53 0 0 25 0 11 0 484811562 864321536 27832 4294967295 134512640 134569956 3221224400 3221214792 1131194560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 27832 13073 16 0 211000 0
vsize: 844064
[startup+770.087 s]
Raw data (loadavg): 1.00 1.00 0.95 2/67 9047
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 74631 54 0 0 25 0 11 0 484811562 864321536 27872 4294967295 134512640 134569956 3221224400 3221214848 1131225476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 27872 13073 16 0 211000 0
vsize: 844064
[startup+780.089 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 9097
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 75608 61 0 0 25 0 11 0 484811562 864321536 27899 4294967295 134512640 134569956 3221224400 3221214752 1131213286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 27899 13073 16 0 211000 0
vsize: 844064
[startup+790.088 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 9097
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 76593 61 0 0 25 0 11 0 484811562 864321536 27939 4294967295 134512640 134569956 3221224400 3221214792 1131194638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 27939 13073 16 0 211000 0
vsize: 844064
[startup+800.088 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 9097
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 77579 61 0 0 23 0 11 0 484811562 864321536 27979 4294967295 134512640 134569956 3221224400 3221214752 1131213233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 27979 13073 16 0 211000 0
vsize: 844064
[startup+810.088 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 9097
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 78559 61 0 0 17 0 11 0 484811562 864321536 28037 4294967295 134512640 134569956 3221224400 3221214624 1131408680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28037 13073 16 0 211000 0
vsize: 844064
[startup+820.088 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 9097
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 79542 62 0 0 22 0 11 0 484811562 864321536 28075 4294967295 134512640 134569956 3221224400 3221214752 1131212901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28075 13073 16 0 211000 0
vsize: 844064
[startup+830.087 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 9097
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 80523 62 0 0 25 0 11 0 484811562 864321536 28128 4294967295 134512640 134569956 3221224400 3221214720 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28128 13073 16 0 211000 0
vsize: 844064
[startup+840.087 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 9097
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 81505 62 0 0 24 0 11 0 484811562 864321536 28181 4294967295 134512640 134569956 3221224400 3221214752 1131212876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28181 13073 16 0 211000 0
vsize: 844064
[startup+850.087 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 82488 62 0 0 16 0 11 0 484811562 864321536 28242 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28242 13073 16 0 211000 0
vsize: 844064
[startup+860.089 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 9099
Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18093 3 1 0 83471 62 0 0 24 0 11 0 484811562 864321536 28282 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28282 13073 16 0 211000 0
vsize: 844064
[startup+870.089 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 84451 62 0 0 18 0 11 0 484811562 864321536 28341 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28341 13073 16 0 211000 0
vsize: 844064
[startup+880.088 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 85435 62 0 0 20 0 11 0 484811562 864321536 28400 4294967295 134512640 134569956 3221224400 3221214304 1080216945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28400 13073 16 0 211000 0
vsize: 844064
[startup+890.089 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 86419 62 0 0 21 0 11 0 484811562 864321536 28437 4294967295 134512640 134569956 3221224400 3221214752 1131213576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28437 13073 16 0 211000 0
vsize: 844064
[startup+900.088 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 87402 62 0 0 20 0 11 0 484811562 864321536 28480 4294967295 134512640 134569956 3221224400 3221214612 1080203688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28480 13073 16 0 211000 0
vsize: 844064
[startup+910.088 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 88385 62 0 0 17 0 11 0 484811562 864321536 28500 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28500 13073 16 0 211000 0
vsize: 844064
[startup+920.091 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18093 3 1 0 89368 62 0 0 24 0 11 0 484811562 864321536 28529 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28529 13073 16 0 211000 0
vsize: 844064
[startup+930.091 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 90351 63 0 0 23 0 11 0 484811562 864321536 28575 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28575 13073 16 0 211000 0
vsize: 844064
[startup+940.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 91333 63 0 0 23 0 11 0 484811562 864321536 28606 4294967295 134512640 134569956 3221224400 3221214752 1131212972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28606 13073 16 0 211000 0
vsize: 844064
[startup+950.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 92316 63 0 0 19 0 11 0 484811562 864321536 28660 4294967295 134512640 134569956 3221224400 3221214752 1131212901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28660 13073 16 0 211000 0
vsize: 844064
[startup+960.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 93299 63 0 0 20 0 11 0 484811562 864321536 28699 4294967295 134512640 134569956 3221224400 3221214792 1131194581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28699 13073 16 0 211000 0
vsize: 844064
[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 94281 63 0 0 18 0 11 0 484811562 864321536 28722 4294967295 134512640 134569956 3221224400 3221214792 1131194560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28722 13073 16 0 211000 0
vsize: 844064
[startup+980.089 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 95265 63 0 0 25 0 11 0 484811562 864321536 28785 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28785 13073 16 0 211000 0
vsize: 844064
[startup+990.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 96249 63 0 0 23 0 11 0 484811562 864321536 28837 4294967295 134512640 134569956 3221224400 3221214792 1131194769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28837 13073 16 0 211000 0
vsize: 844064
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18093 3 1 0 97231 63 0 0 25 0 11 0 484811562 864321536 28877 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28877 13073 16 0 211000 0
vsize: 844064
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 98214 63 0 0 22 0 11 0 484811562 864321536 28919 4294967295 134512640 134569956 3221224400 3221214832 1131515480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28919 13073 16 0 211000 0
vsize: 844064
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 99196 63 0 0 25 0 11 0 484811562 864321536 28962 4294967295 134512640 134569956 3221224400 3221214456 1131167132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 28962 13073 16 0 211000 0
vsize: 844064
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 100177 63 0 0 23 0 11 0 484811562 864321536 29011 4294967295 134512640 134569956 3221224400 3221214496 1131595504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211016 29011 13073 16 0 211000 0
vsize: 844064
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 101160 63 0 0 25 0 11 0 484811562 864321536 29049 4294967295 134512640 134569956 3221224400 3221214752 1131213194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29049 13073 16 0 211000 0
vsize: 844064
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 102141 63 0 0 25 0 11 0 484811562 864321536 29090 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29090 13073 16 0 211000 0
vsize: 844064
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 103123 63 0 0 23 0 11 0 484811562 864321536 29135 4294967295 134512640 134569956 3221224400 3221214752 1131212865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29135 13073 16 0 211000 0
vsize: 844064
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 104104 63 0 0 17 0 11 0 484811562 864321536 29183 4294967295 134512640 134569956 3221224400 3221214240 1131560404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29183 13073 16 0 211000 0
vsize: 844064
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9099
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 105083 64 0 0 25 0 11 0 484811562 864321536 29236 4294967295 134512640 134569956 3221224400 3221214752 1131213455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29236 13073 16 0 211000 0
vsize: 844064
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 106059 64 0 0 20 0 11 0 484811562 864321536 29302 4294967295 134512640 134569956 3221224400 3221214792 1131194577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29302 13073 16 0 211000 0
vsize: 844064
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 107034 64 0 0 17 0 11 0 484811562 864321536 29382 4294967295 134512640 134569956 3221224400 3221214496 1131595924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29382 13073 16 0 211000 0
vsize: 844064
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 108014 64 0 0 22 0 11 0 484811562 864321536 29438 4294967295 134512640 134569956 3221224400 3221214848 1131225270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29438 13073 16 0 211000 0
vsize: 844064
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 108994 64 0 0 21 0 11 0 484811562 864321536 29515 4294967295 134512640 134569956 3221224400 3221214752 1131212940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29515 13073 16 0 211000 0
vsize: 844064
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 109976 64 0 0 25 0 11 0 484811562 864321536 29578 4294967295 134512640 134569956 3221224400 3221214752 1131212861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29578 13073 16 0 211000 0
vsize: 844064
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 110960 64 0 0 16 0 11 0 484811562 864321536 29609 4294967295 134512640 134569956 3221224400 3221214752 1131212962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29609 13073 16 0 211000 0
vsize: 844064
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 111943 64 0 0 18 0 11 0 484811562 864321536 29661 4294967295 134512640 134569956 3221224400 3221214496 1131261879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29661 13073 16 0 211000 0
vsize: 844064
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 112928 64 0 0 21 0 11 0 484811562 864321536 29686 4294967295 134512640 134569956 3221224400 3221214848 1131225118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29686 13073 16 0 211000 0
vsize: 844064
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 113908 64 0 0 22 0 11 0 484811562 864321536 29710 4294967295 134512640 134569956 3221224400 3221214684 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29710 13073 16 0 211000 0
vsize: 844064
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18093 3 1 0 114887 64 0 0 24 0 11 0 484811562 864321536 29763 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29763 13073 16 0 211000 0
vsize: 844064
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 115872 64 0 0 23 0 11 0 484811562 864321536 29818 4294967295 134512640 134569956 3221224400 3221214752 1131213524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29818 13073 16 0 211000 0
vsize: 844064
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 116855 64 0 0 16 0 11 0 484811562 864321536 29868 4294967295 134512640 134569956 3221224400 3221214752 1131212869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29868 13073 16 0 211000 0
vsize: 844064
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 117838 64 0 0 17 0 11 0 484811562 864321536 29892 4294967295 134512640 134569956 3221224400 3221214752 1131213222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29892 13073 16 0 211000 0
vsize: 844064
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 118819 64 0 0 18 0 11 0 484811562 864321536 29930 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29930 13073 16 0 211000 0
vsize: 844064
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 119801 64 0 0 21 0 11 0 484811562 864321536 29980 4294967295 134512640 134569956 3221224400 3221214432 1131496636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 29980 13073 16 0 211000 0
vsize: 844064
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9101
Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 120783 65 0 0 19 0 11 0 484811562 864321536 30023 4294967295 134512640 134569956 3221224400 3221214752 1131213475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211016 30023 13073 16 0 211000 0
vsize: 844064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 9103
Raw data (stat): 9030 (java) Z 9029 29653 29652 0 -1 1036 18093 9042 1 0 120788 65 2675 38 16 0 1 0 484811562 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.2
CPU time (s): 1235.68
CPU user time (s): 1234.64
CPU system time (s): 1.03884
CPU usage (%): 99.6353
Max. virtual memory (Kb): 844416
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####