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/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
MD5SUM	7fcbcb2a8848112bb780308c9eb60989
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4241
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	3334110
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	7195
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	555
Trace number 16863

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        461988 kB
Buffers:         34456 kB
Cached:         514996 kB
SwapCached:         56 kB
Active:         107412 kB
Inactive:       444880 kB
HighTotal:      131008 kB
HighFree:         6776 kB
LowTotal:       903652 kB
LowFree:        455212 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6840 kB
Slab:            14796 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 09:06:54 (client local time) WITH STATUS 143 IN 1226.88 SECONDS
stats: 12411 7 1226.88 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-aflow30a.opb
c reading problem 
c [nbvar=7195]
c [nbconstr=1321]
c time 19.775
c #vars     7195
c #clauses  958
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
#### 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.98 2/54 8393
Raw data (stat): 8393 (runsolver) R 8392 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 485522554 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.0014 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 8402
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 17994 0 1 0 868 39 0 0 25 0 10 0 485522554 853798912 19368 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 19368 13073 16 0 208431 0
vsize: 833788
[startup+20.0428 s]
Raw data (loadavg): 1.03 1.00 1.00 4/63 8402
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 17994 0 1 0 1725 39 0 0 25 0 10 0 485522554 860332032 21252 4294967295 134512640 134569956 3221224400 3221213340 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210042 21252 13073 16 0 210026 0
vsize: 840168
[startup+30.0442 s]
Raw data (loadavg): 1.33 1.07 1.02 4/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18089 0 1 0 2504 39 0 0 25 0 11 0 485522554 873836544 25396 4294967295 134512640 134569956 3221224400 3221214124 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213339 25396 13073 16 0 213323 0
vsize: 853356
[startup+40.0485 s]
Raw data (loadavg): 1.43 1.10 1.03 2/64 8403
Raw data (stat): 8393 (java) S 8392 10720 10719 0 -1 0 18090 0 1 0 3368 39 0 0 25 0 11 0 485522554 871997440 25499 4294967295 134512640 134569956 3221224400 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212890 25499 13073 16 0 212874 0
vsize: 851560
[startup+50.0492 s]
Raw data (loadavg): 1.52 1.12 1.04 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 4303 40 0 0 25 0 11 0 485522554 872599552 25755 4294967295 134512640 134569956 3221224400 3221214576 1131418371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213037 25755 13073 16 0 213021 0
vsize: 852148
[startup+60.0496 s]
Raw data (loadavg): 1.44 1.12 1.03 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 5247 40 0 0 25 0 11 0 485522554 871342080 26190 4294967295 134512640 134569956 3221224400 3221214616 1131705045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 26190 13073 16 0 212714 0
vsize: 850920
[startup+70.0504 s]
Raw data (loadavg): 1.37 1.12 1.03 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 6192 40 0 0 25 0 11 0 485522554 871342080 26191 4294967295 134512640 134569956 3221224400 3221214556 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 26191 13073 16 0 212714 0
vsize: 850920
[startup+80.0518 s]
Raw data (loadavg): 1.32 1.11 1.03 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 7133 41 0 0 25 0 11 0 485522554 871342080 26280 4294967295 134512640 134569956 3221224400 3221214740 1131167404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 26280 13073 16 0 212714 0
vsize: 850920
[startup+90.0524 s]
Raw data (loadavg): 1.27 1.11 1.03 2/64 8403
Raw data (stat): 8393 (java) S 8392 10720 10719 0 -1 0 18091 0 1 0 8075 41 0 0 25 0 11 0 485522554 871342080 26385 4294967295 134512640 134569956 3221224400 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 26385 13073 16 0 212714 0
vsize: 850920
[startup+100.053 s]
Raw data (loadavg): 1.23 1.10 1.03 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 9035 41 0 0 25 0 11 0 485522554 871342080 26749 4294967295 134512640 134569956 3221224400 3221214520 1131386931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 26749 13073 16 0 212714 0
vsize: 850920
[startup+110.053 s]
Raw data (loadavg): 1.19 1.10 1.03 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 10010 42 0 0 25 0 11 0 485522554 871342080 26755 4294967295 134512640 134569956 3221224400 3221214840 1131379839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 26755 13073 16 0 212714 0
vsize: 850920
[startup+120.054 s]
Raw data (loadavg): 1.16 1.10 1.03 3/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 10999 42 0 0 25 0 11 0 485522554 871342080 26931 4294967295 134512640 134569956 3221224400 3221214520 1131386970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 26931 13073 16 0 212714 0
vsize: 850920
[startup+130.055 s]
Raw data (loadavg): 1.14 1.09 1.03 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 11992 42 0 0 25 0 11 0 485522554 871342080 26931 4294967295 134512640 134569956 3221224400 3221214656 1131415575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 26931 13073 16 0 212714 0
vsize: 850920
[startup+140.056 s]
Raw data (loadavg): 1.11 1.09 1.03 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 12980 43 0 0 25 0 11 0 485522554 871342080 26931 4294967295 134512640 134569956 3221224400 3221214592 1131479856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 26931 13073 16 0 212714 0
vsize: 850920
[startup+150.058 s]
Raw data (loadavg): 1.10 1.08 1.03 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 13965 43 0 0 25 0 11 0 485522554 871342080 26931 4294967295 134512640 134569956 3221224400 3221214592 1131480471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 26931 13073 16 0 212714 0
vsize: 850920
[startup+160.059 s]
Raw data (loadavg): 1.08 1.08 1.02 2/64 8403
Raw data (stat): 8393 (java) S 8392 10720 10719 0 -1 0 18091 0 1 0 14943 43 0 0 25 0 11 0 485522554 871342080 26931 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 26931 13073 16 0 212714 0
vsize: 850920
[startup+170.058 s]
Raw data (loadavg): 1.07 1.08 1.02 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 15921 44 0 0 25 0 11 0 485522554 871342080 26931 4294967295 134512640 134569956 3221224400 3221214560 1131245964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 26931 13073 16 0 212714 0
vsize: 850920
[startup+180.06 s]
Raw data (loadavg): 1.06 1.08 1.02 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 16902 44 0 0 25 0 11 0 485522554 871342080 26931 4294967295 134512640 134569956 3221224400 3221214560 1131244220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 26931 13073 16 0 212714 0
vsize: 850920
[startup+190.06 s]
Raw data (loadavg): 1.05 1.07 1.02 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 17879 44 0 0 25 0 11 0 485522554 871342080 27027 4294967295 134512640 134569956 3221224400 3221214656 1131418371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27027 13073 16 0 212714 0
vsize: 850920
[startup+200.06 s]
Raw data (loadavg): 1.04 1.07 1.02 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 18845 45 0 0 25 0 11 0 485522554 871342080 27212 4294967295 134512640 134569956 3221224400 3221214672 1131428820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27212 13073 16 0 212714 0
vsize: 850920
[startup+210.06 s]
Raw data (loadavg): 1.03 1.07 1.02 3/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 19810 45 0 0 24 0 11 0 485522554 871342080 27212 4294967295 134512640 134569956 3221224400 3221214672 1131429193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27212 13073 16 0 212714 0
vsize: 850920
[startup+220.061 s]
Raw data (loadavg): 1.03 1.06 1.02 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 20780 45 0 0 25 0 11 0 485522554 871342080 27339 4294967295 134512640 134569956 3221224400 3221214464 1131420978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27339 13073 16 0 212714 0
vsize: 850920
[startup+230.061 s]
Raw data (loadavg): 1.02 1.06 1.02 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 21766 46 0 0 25 0 11 0 485522554 871342080 27475 4294967295 134512640 134569956 3221224400 3221214592 1131383904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27475 13073 16 0 212714 0
vsize: 850920
[startup+240.061 s]
Raw data (loadavg): 1.02 1.06 1.02 3/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 22764 46 0 0 25 0 11 0 485522554 871342080 27475 4294967295 134512640 134569956 3221224400 3221214552 1131463111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27475 13073 16 0 212714 0
vsize: 850920
[startup+250.061 s]
Raw data (loadavg): 1.02 1.06 1.02 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 23749 47 0 0 25 0 11 0 485522554 871342080 27475 4294967295 134512640 134569956 3221224400 3221214648 1131389006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27475 13073 16 0 212714 0
vsize: 850920
[startup+260.062 s]
Raw data (loadavg): 1.01 1.05 1.02 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 24730 47 0 0 25 0 11 0 485522554 871342080 27475 4294967295 134512640 134569956 3221224400 3221214672 1131429141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27475 13073 16 0 212714 0
vsize: 850920
[startup+270.062 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 25711 47 0 0 25 0 11 0 485522554 871342080 27490 4294967295 134512640 134569956 3221224400 3221214808 1130883119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27490 13073 16 0 212714 0
vsize: 850920
[startup+280.063 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 26704 47 0 0 25 0 11 0 485522554 871342080 27592 4294967295 134512640 134569956 3221224400 3221214704 1131244116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27592 13073 16 0 212714 0
vsize: 850920
[startup+290.064 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 27702 48 0 0 25 0 11 0 485522554 871342080 27592 4294967295 134512640 134569956 3221224400 3221214744 1131230400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27592 13073 16 0 212714 0
vsize: 850920
[startup+300.063 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 28697 48 0 0 25 0 11 0 485522554 871342080 27592 4294967295 134512640 134569956 3221224400 3221214560 1131245909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27592 13073 16 0 212714 0
vsize: 850920
[startup+310.064 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 29692 48 0 0 25 0 11 0 485522554 871342080 27592 4294967295 134512640 134569956 3221224400 3221214592 1131480655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27592 13073 16 0 212714 0
vsize: 850920
[startup+320.064 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 30689 48 0 0 25 0 11 0 485522554 871342080 27592 4294967295 134512640 134569956 3221224400 3221214656 1131418371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27592 13073 16 0 212714 0
vsize: 850920
[startup+330.065 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 31683 48 0 0 25 0 11 0 485522554 871342080 27592 4294967295 134512640 134569956 3221224400 3221214656 1131415645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27592 13073 16 0 212714 0
vsize: 850920
[startup+340.065 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 32680 49 0 0 25 0 11 0 485522554 871342080 27592 4294967295 134512640 134569956 3221224400 3221214656 1131418371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27592 13073 16 0 212714 0
vsize: 850920
[startup+350.065 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 33670 49 0 0 25 0 11 0 485522554 871342080 27592 4294967295 134512640 134569956 3221224400 3221214672 1131431399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27592 13073 16 0 212714 0
vsize: 850920
[startup+360.065 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 34650 50 0 0 25 0 11 0 485522554 871342080 27625 4294967295 134512640 134569956 3221224400 3221214516 1131386916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 27625 13073 16 0 212714 0
vsize: 850920
[startup+370.066 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 35633 50 0 0 25 0 11 0 485522554 871342080 27625 4294967295 134512640 134569956 3221224400 3221214520 1131387040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27625 13073 16 0 212714 0
vsize: 850920
[startup+380.066 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 36622 50 0 0 22 0 11 0 485522554 871342080 27725 4294967295 134512640 134569956 3221224400 3221214672 1131429305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27725 13073 16 0 212714 0
vsize: 850920
[startup+390.067 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 37620 50 0 0 25 0 11 0 485522554 871342080 27725 4294967295 134512640 134569956 3221224400 3221214840 1131379584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27725 13073 16 0 212714 0
vsize: 850920
[startup+400.067 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 38618 50 0 0 25 0 11 0 485522554 871342080 27725 4294967295 134512640 134569956 3221224400 3221214656 1131418364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27725 13073 16 0 212714 0
vsize: 850920
[startup+410.069 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 39606 50 0 0 25 0 11 0 485522554 871342080 27725 4294967295 134512640 134569956 3221224400 3221214736 1131395727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27725 13073 16 0 212714 0
vsize: 850920
[startup+420.069 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 40597 50 0 0 25 0 11 0 485522554 871342080 27725 4294967295 134512640 134569956 3221224400 3221214592 1131480664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27725 13073 16 0 212714 0
vsize: 850920
[startup+430.071 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 41590 50 0 0 25 0 11 0 485522554 871342080 27725 4294967295 134512640 134569956 3221224400 3221214592 1131480471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27725 13073 16 0 212714 0
vsize: 850920
[startup+440.071 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 42579 50 0 0 25 0 11 0 485522554 871342080 27725 4294967295 134512640 134569956 3221224400 3221214656 1131415575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27725 13073 16 0 212714 0
vsize: 850920
[startup+450.071 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 43568 50 0 0 25 0 11 0 485522554 871342080 27725 4294967295 134512640 134569956 3221224400 3221214592 1131482360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27725 13073 16 0 212714 0
vsize: 850920
[startup+460.072 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 44560 50 0 0 25 0 11 0 485522554 871342080 27725 4294967295 134512640 134569956 3221224400 3221214592 1131480471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27725 13073 16 0 212714 0
vsize: 850920
[startup+470.073 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 45550 50 0 0 25 0 11 0 485522554 871342080 27741 4294967295 134512640 134569956 3221224400 3221214656 1131416210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27741 13073 16 0 212714 0
vsize: 850920
[startup+480.073 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 46544 50 0 0 25 0 11 0 485522554 871342080 27787 4294967295 134512640 134569956 3221224400 3221214656 1131418371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27787 13073 16 0 212714 0
vsize: 850920
[startup+490.074 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 47537 50 0 0 25 0 11 0 485522554 871342080 27818 4294967295 134512640 134569956 3221224400 3221214560 1131244045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27818 13073 16 0 212714 0
vsize: 850920
[startup+500.075 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 48532 50 0 0 25 0 11 0 485522554 871342080 27861 4294967295 134512640 134569956 3221224400 3221214556 1131244065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27861 13073 16 0 212714 0
vsize: 850920
[startup+510.075 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 49529 50 0 0 25 0 11 0 485522554 871342080 27894 4294967295 134512640 134569956 3221224400 3221214656 1131418923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27894 13073 16 0 212714 0
vsize: 850920
[startup+520.075 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 50525 50 0 0 25 0 11 0 485522554 871342080 27898 4294967295 134512640 134569956 3221224400 3221214592 1131480647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27898 13073 16 0 212714 0
vsize: 850920
[startup+530.079 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8403
Raw data (stat): 8393 (java) S 8392 10720 10719 0 -1 0 18091 0 1 0 51522 50 0 0 25 0 11 0 485522554 871342080 27898 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27898 13073 16 0 212714 0
vsize: 850920
[startup+540.079 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 52519 50 0 0 25 0 11 0 485522554 871342080 27898 4294967295 134512640 134569956 3221224400 3221214592 1131480448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27898 13073 16 0 212714 0
vsize: 850920
[startup+550.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 53516 50 0 0 25 0 11 0 485522554 871342080 27898 4294967295 134512640 134569956 3221224400 3221214656 1131416191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27898 13073 16 0 212714 0
vsize: 850920
[startup+560.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 54513 50 0 0 25 0 11 0 485522554 871342080 27898 4294967295 134512640 134569956 3221224400 3221214656 1131415648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27898 13073 16 0 212714 0
vsize: 850920
[startup+570.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 55510 50 0 0 25 0 11 0 485522554 871342080 27898 4294967295 134512640 134569956 3221224400 3221214592 1131480448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27898 13073 16 0 212714 0
vsize: 850920
[startup+580.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 56505 50 0 0 25 0 11 0 485522554 871342080 27898 4294967295 134512640 134569956 3221224400 3221214560 1131244045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27898 13073 16 0 212714 0
vsize: 850920
[startup+590.083 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 57502 50 0 0 25 0 11 0 485522554 871342080 27930 4294967295 134512640 134569956 3221224400 3221214552 1131460768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27930 13073 16 0 212714 0
vsize: 850920
[startup+600.083 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 58499 50 0 0 25 0 11 0 485522554 871342080 27930 4294967295 134512640 134569956 3221224400 3221214592 1131480203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27930 13073 16 0 212714 0
vsize: 850920
[startup+610.084 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 59495 50 0 0 25 0 11 0 485522554 871342080 27930 4294967295 134512640 134569956 3221224400 3221214592 1131480587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27930 13073 16 0 212714 0
vsize: 850920
[startup+620.085 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 60491 50 0 0 25 0 11 0 485522554 871342080 27930 4294967295 134512640 134569956 3221224400 3221214592 1131479851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27930 13073 16 0 212714 0
vsize: 850920
[startup+630.085 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 61489 51 0 0 25 0 11 0 485522554 871342080 27935 4294967295 134512640 134569956 3221224400 3221214656 1131418364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27935 13073 16 0 212714 0
vsize: 850920
[startup+640.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 62485 51 0 0 25 0 11 0 485522554 871342080 27935 4294967295 134512640 134569956 3221224400 3221214656 1131418486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27935 13073 16 0 212714 0
vsize: 850920
[startup+650.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 63476 51 0 0 25 0 11 0 485522554 871342080 27967 4294967295 134512640 134569956 3221224400 3221214592 1131383959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27967 13073 16 0 212714 0
vsize: 850920
[startup+660.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 64452 51 0 0 25 0 11 0 485522554 871342080 27967 4294967295 134512640 134569956 3221224400 3221214840 1131380259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27967 13073 16 0 212714 0
vsize: 850920
[startup+670.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 65429 51 0 0 25 0 11 0 485522554 871342080 27973 4294967295 134512640 134569956 3221224400 3221214552 1131460578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 27973 13073 16 0 212714 0
vsize: 850920
[startup+680.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 66414 51 0 0 25 0 11 0 485522554 871342080 28125 4294967295 134512640 134569956 3221224400 3221214624 1131692244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28125 13073 16 0 212714 0
vsize: 850920
[startup+690.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 67411 51 0 0 25 0 11 0 485522554 871342080 28125 4294967295 134512640 134569956 3221224400 3221214672 1131428771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28125 13073 16 0 212714 0
vsize: 850920
[startup+700.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 68409 51 0 0 25 0 11 0 485522554 871342080 28125 4294967295 134512640 134569956 3221224400 3221214672 1131229905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28125 13073 16 0 212714 0
vsize: 850920
[startup+710.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 69403 51 0 0 25 0 11 0 485522554 871342080 28125 4294967295 134512640 134569956 3221224400 3221214656 1131418368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28125 13073 16 0 212714 0
vsize: 850920
[startup+720.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 70396 51 0 0 25 0 11 0 485522554 871342080 28125 4294967295 134512640 134569956 3221224400 3221214656 1131418932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28125 13073 16 0 212714 0
vsize: 850920
[startup+730.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 71389 51 0 0 25 0 11 0 485522554 871342080 28125 4294967295 134512640 134569956 3221224400 3221214656 1131415615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28125 13073 16 0 212714 0
vsize: 850920
[startup+740.193 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 72393 51 0 0 25 0 11 0 485522554 871342080 28125 4294967295 134512640 134569956 3221224400 3221214656 1131418915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28125 13073 16 0 212714 0
vsize: 850920
[startup+750.193 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 73386 51 0 0 25 0 11 0 485522554 871342080 28125 4294967295 134512640 134569956 3221224400 3221214656 1131418352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28125 13073 16 0 212714 0
vsize: 850920
[startup+760.194 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 74377 51 0 0 25 0 11 0 485522554 871342080 28125 4294967295 134512640 134569956 3221224400 3221214592 1131481552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28125 13073 16 0 212714 0
vsize: 850920
[startup+770.195 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 75370 51 0 0 25 0 11 0 485522554 871342080 28125 4294967295 134512640 134569956 3221224400 3221214592 1131480471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28125 13073 16 0 212714 0
vsize: 850920
[startup+780.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 76361 51 0 0 25 0 11 0 485522554 871342080 28125 4294967295 134512640 134569956 3221224400 3221214592 1131479822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28125 13073 16 0 212714 0
vsize: 850920
[startup+790.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 77355 51 0 0 25 0 11 0 485522554 871342080 28178 4294967295 134512640 134569956 3221224400 3221214592 1131480471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28178 13073 16 0 212714 0
vsize: 850920
[startup+800.197 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 78348 51 0 0 25 0 11 0 485522554 871342080 28219 4294967295 134512640 134569956 3221224400 3221214592 1131480733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28219 13073 16 0 212714 0
vsize: 850920
[startup+810.197 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 79342 51 0 0 25 0 11 0 485522554 871342080 28227 4294967295 134512640 134569956 3221224400 3221214656 1131418386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28227 13073 16 0 212714 0
vsize: 850920
[startup+820.197 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8403
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 80336 52 0 0 25 0 11 0 485522554 871342080 28227 4294967295 134512640 134569956 3221224400 3221214656 1131415721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28227 13073 16 0 212714 0
vsize: 850920
[startup+830.205 s]
Raw data (loadavg): 1.08 1.02 1.01 3/68 8456
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 81325 54 0 0 25 0 11 0 485522554 871342080 28227 4294967295 134512640 134569956 3221224400 3221214656 1131415721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 28227 13073 16 0 212714 0
vsize: 850920
[startup+840.211 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 8456
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 82316 54 0 0 25 0 11 0 485522554 871342080 28265 4294967295 134512640 134569956 3221224400 3221214560 1131244045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28265 13073 16 0 212714 0
vsize: 850920
[startup+850.211 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 8456
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 83308 54 0 0 25 0 11 0 485522554 871342080 28271 4294967295 134512640 134569956 3221224400 3221214656 1131415575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28271 13073 16 0 212714 0
vsize: 850920
[startup+860.211 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 8456
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 84298 54 0 0 25 0 11 0 485522554 871342080 28271 4294967295 134512640 134569956 3221224400 3221214592 1131480617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28271 13073 16 0 212714 0
vsize: 850920
[startup+870.211 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 8456
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 85290 54 0 0 25 0 11 0 485522554 871342080 28271 4294967295 134512640 134569956 3221224400 3221214592 1131481462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28271 13073 16 0 212714 0
vsize: 850920
[startup+880.212 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8456
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 86278 55 0 0 25 0 11 0 485522554 871342080 28316 4294967295 134512640 134569956 3221224400 3221214560 1131244002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28316 13073 16 0 212714 0
vsize: 850920
[startup+890.212 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8456
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 87261 55 0 0 24 0 11 0 485522554 871342080 28361 4294967295 134512640 134569956 3221224400 3221214560 1131244002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28361 13073 16 0 212714 0
vsize: 850920
[startup+900.212 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 88250 56 0 0 25 0 11 0 485522554 871342080 28361 4294967295 134512640 134569956 3221224400 3221214656 1131418371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28361 13073 16 0 212714 0
vsize: 850920
[startup+910.213 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 89220 56 0 0 25 0 11 0 485522554 871342080 28434 4294967295 134512640 134569956 3221224400 3221214728 1131167417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28434 13073 16 0 212714 0
vsize: 850920
[startup+920.212 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 90200 56 0 0 25 0 11 0 485522554 871342080 28434 4294967295 134512640 134569956 3221224400 3221214272 1080217252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28434 13073 16 0 212714 0
vsize: 850920
[startup+930.213 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 91168 57 0 0 25 0 11 0 485522554 871342080 28514 4294967295 134512640 134569956 3221224400 3221214672 1131229934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28514 13073 16 0 212714 0
vsize: 850920
[startup+940.214 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 92130 57 0 0 24 0 11 0 485522554 871342080 28657 4294967295 134512640 134569956 3221224400 3221214800 1131228093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28657 13073 16 0 212714 0
vsize: 850920
[startup+950.214 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 93104 58 0 0 25 0 11 0 485522554 871342080 28783 4294967295 134512640 134569956 3221224400 3221214672 1131230400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28783 13073 16 0 212714 0
vsize: 850920
[startup+960.215 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 94082 58 0 0 25 0 11 0 485522554 871342080 28860 4294967295 134512640 134569956 3221224400 3221214768 1131329469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28860 13073 16 0 212714 0
vsize: 850920
[startup+970.216 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 95059 59 0 0 25 0 11 0 485522554 871342080 28870 4294967295 134512640 134569956 3221224400 3221214672 1131229987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28870 13073 16 0 212714 0
vsize: 850920
[startup+980.216 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18091 0 1 0 96041 59 0 0 25 0 11 0 485522554 871342080 28882 4294967295 134512640 134569956 3221224400 3221214840 1131379584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28882 13073 16 0 212714 0
vsize: 850920
[startup+990.216 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 97026 60 0 0 25 0 11 0 485522554 871342080 28970 4294967295 134512640 134569956 3221224400 3221214672 1131230714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28970 13073 16 0 212714 0
vsize: 850920
[startup+1000.22 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 98011 60 0 0 24 0 11 0 485522554 871342080 28971 4294967295 134512640 134569956 3221224400 3221214768 1131329414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28971 13073 16 0 212714 0
vsize: 850920
[startup+1010.22 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 98984 60 0 0 25 0 11 0 485522554 871342080 28982 4294967295 134512640 134569956 3221224400 3221214672 1131229811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 28982 13073 16 0 212714 0
vsize: 850920
[startup+1020.22 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 99961 61 0 0 25 0 11 0 485522554 871342080 29016 4294967295 134512640 134569956 3221224400 3221214612 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29016 13073 16 0 212714 0
vsize: 850920
[startup+1030.22 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 100942 62 0 0 25 0 11 0 485522554 871342080 29127 4294967295 134512640 134569956 3221224400 3221214672 1131229563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29127 13073 16 0 212714 0
vsize: 850920
[startup+1040.22 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 101929 62 0 0 25 0 11 0 485522554 871342080 29142 4294967295 134512640 134569956 3221224400 3221214560 1131243977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29142 13073 16 0 212714 0
vsize: 850920
[startup+1050.22 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 102914 62 0 0 25 0 11 0 485522554 871342080 29150 4294967295 134512640 134569956 3221224400 3221214744 1131490824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29150 13073 16 0 212714 0
vsize: 850920
[startup+1060.22 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 103886 63 0 0 25 0 11 0 485522554 871342080 29165 4294967295 134512640 134569956 3221224400 3221214672 1131230365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29165 13073 16 0 212714 0
vsize: 850920
[startup+1070.22 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 104860 63 0 0 25 0 11 0 485522554 871342080 29185 4294967295 134512640 134569956 3221224400 3221214672 1131431362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29185 13073 16 0 212714 0
vsize: 850920
[startup+1080.22 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 105831 63 0 0 25 0 11 0 485522554 871342080 29248 4294967295 134512640 134569956 3221224400 3221214624 1131230059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29248 13073 16 0 212714 0
vsize: 850920
[startup+1090.22 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 106806 63 0 0 25 0 11 0 485522554 871342080 29361 4294967295 134512640 134569956 3221224400 3221214768 1131331344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29361 13073 16 0 212714 0
vsize: 850920
[startup+1100.22 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 107783 64 0 0 25 0 11 0 485522554 871342080 29380 4294967295 134512640 134569956 3221224400 3221214672 1131229905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29380 13073 16 0 212714 0
vsize: 850920
[startup+1110.22 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8458
Raw data (stat): 8393 (java) S 8392 10720 10719 0 -1 0 18092 0 1 0 108754 64 0 0 25 0 11 0 485522554 871342080 29452 4294967295 134512640 134569956 3221224400 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29452 13073 16 0 212714 0
vsize: 850920
[startup+1120.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 109723 64 0 0 25 0 11 0 485522554 871342080 29488 4294967295 134512640 134569956 3221224400 3221214600 1131304149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29488 13073 16 0 212714 0
vsize: 850920
[startup+1130.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8458
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 110679 65 0 0 25 0 11 0 485522554 871342080 29560 4294967295 134512640 134569956 3221224400 3221214672 1131230672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29560 13073 16 0 212714 0
vsize: 850920
[startup+1140.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8460
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 111642 65 0 0 25 0 11 0 485522554 871342080 29636 4294967295 134512640 134569956 3221224400 3221214592 1131480485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29636 13073 16 0 212714 0
vsize: 850920
[startup+1150.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8460
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 112616 66 0 0 25 0 11 0 485522554 871342080 29724 4294967295 134512640 134569956 3221224400 3221214656 1131418915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29724 13073 16 0 212714 0
vsize: 850920
[startup+1160.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8460
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 113590 66 0 0 25 0 11 0 485522554 871342080 29848 4294967295 134512640 134569956 3221224400 3221214824 1131475401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29848 13073 16 0 212714 0
vsize: 850920
[startup+1170.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8460
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 114565 66 0 0 25 0 11 0 485522554 871342080 29899 4294967295 134512640 134569956 3221224400 3221214656 1131418352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212730 29899 13073 16 0 212714 0
vsize: 850920
[startup+1180.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8460
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 115539 67 0 0 25 0 11 0 485522554 871342080 29920 4294967295 134512640 134569956 3221224400 3221214656 1131418364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29920 13073 16 0 212714 0
vsize: 850920
[startup+1190.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8460
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 116511 67 0 0 25 0 11 0 485522554 871342080 29949 4294967295 134512640 134569956 3221224400 3221214672 1131229905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 29949 13073 16 0 212714 0
vsize: 850920
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8460
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 117475 67 0 0 25 0 11 0 485522554 871342080 30025 4294967295 134512640 134569956 3221224400 3221214560 1131244220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 30025 13073 16 0 212714 0
vsize: 850920
[startup+1210.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8460
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 118437 68 0 0 25 0 11 0 485522554 871342080 30111 4294967295 134512640 134569956 3221224400 3221214592 1131481491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 30111 13073 16 0 212714 0
vsize: 850920
[startup+1220.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8460
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 119398 68 0 0 25 0 11 0 485522554 871342080 30211 4294967295 134512640 134569956 3221224400 3221214592 1131480471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 30211 13073 16 0 212714 0
vsize: 850920
[startup+1230.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8460
Raw data (stat): 8393 (java) R 8392 10720 10719 0 -1 0 18092 0 1 0 120353 68 0 0 25 0 11 0 485522554 871342080 30357 4294967295 134512640 134569956 3221224400 3221214560 1131243951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212730 30357 13073 16 0 212714 0
vsize: 850920
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.3 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8462
Raw data (stat): 8393 (java) Z 8392 10720 10719 0 -1 1036 18092 7711 1 0 120354 68 2238 25 25 0 1 0 485522554 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.3
CPU time (s): 1226.88
CPU user time (s): 1225.93
CPU system time (s): 0.947855
CPU usage (%): 99.7215
Max. virtual memory (Kb): 853356
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####