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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM	81fe81e3ddb87532751f87d8d69ff2f0
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	11160
Biggest coefficient in the objective function	2147483648
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	869952060630
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	2147483648
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	869952060630
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.18997
Number of variables	21960
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	372
Trace number 20231

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-21 20:26:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15284 boxname=wulflinc6 idbench=1176 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  81fe81e3ddb87532751f87d8d69ff2f0  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-tr12-30.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-tr12-30.opb
IDLAUNCH: 15284
/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:        399936 kB
Buffers:         31096 kB
Cached:         582468 kB
SwapCached:        544 kB
Active:          85096 kB
Inactive:       530504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        399684 kB
SwapTotal:     2097136 kB
SwapFree:      2095720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            13336 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 20:47:05 (client local time) WITH STATUS 143 IN 1237.67 SECONDS
stats: 15284 7 1237.67 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-tr12-30.opb
c reading problem 
c [nbvar=21960]
c [nbconstr=1110]
c time 138.92
c #vars     21960
c #clauses  1111
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.93 0.92 0.90 2/54 25337
Raw data (stat): 25337 (runsolver) R 25336 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489727072 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0034 s]
Raw data (loadavg): 0.94 0.92 0.91 2/63 25346
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 17977 0 1 0 878 40 0 0 17 0 10 0 489727072 853569536 19264 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208391 19264 13073 16 0 208375 0
vsize: 833564
[startup+20.0041 s]
Raw data (loadavg): 0.95 0.92 0.91 2/63 25346
Raw data (stat): 25337 (java) S 25336 29653 29652 0 -1 0 17977 0 1 0 1768 40 0 0 20 0 10 0 489727072 854618112 19993 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208647 19993 13073 16 0 208631 0
vsize: 834588
[startup+30.0037 s]
Raw data (loadavg): 0.95 0.92 0.91 2/63 25346
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 17977 0 1 0 2665 41 0 0 19 0 10 0 489727072 854618112 20484 4294967295 134512640 134569956 3221224400 3221214824 1131217663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208647 20484 13073 16 0 208631 0
vsize: 834588
[startup+40.0037 s]
Raw data (loadavg): 0.96 0.92 0.91 2/63 25346
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18013 0 1 0 3515 42 0 0 20 0 10 0 489727072 858615808 21697 4294967295 134512640 134569956 3221224400 3221214572 1131235429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209623 21697 13073 16 0 209607 0
vsize: 838492
[startup+50.0046 s]
Raw data (loadavg): 0.97 0.93 0.91 2/63 25346
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18013 0 1 0 4408 42 0 0 20 0 10 0 489727072 857309184 21481 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 21481 13073 16 0 209288 0
vsize: 837216
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.93 0.91 2/63 25346
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18013 0 1 0 5299 42 0 0 19 0 10 0 489727072 857309184 21836 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 21836 13073 16 0 209288 0
vsize: 837216
[startup+70.005 s]
Raw data (loadavg): 0.97 0.93 0.91 2/63 25346
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18013 0 1 0 6227 42 0 0 24 0 10 0 489727072 857309184 22037 4294967295 134512640 134569956 3221224400 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209304 22037 13073 16 0 209288 0
vsize: 837216
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 25346
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18013 0 1 0 7161 42 0 0 25 0 10 0 489727072 857309184 22142 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209304 22142 13073 16 0 209288 0
vsize: 837216
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 25346
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18013 0 1 0 8092 42 0 0 24 0 10 0 489727072 857309184 22251 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209304 22251 13073 16 0 209288 0
vsize: 837216
[startup+100.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/63 25346
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18013 0 1 0 9027 42 0 0 25 0 10 0 489727072 857309184 22344 4294967295 134512640 134569956 3221224400 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209304 22344 13073 16 0 209288 0
vsize: 837216
[startup+110.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 25346
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18013 0 1 0 9962 42 0 0 25 0 10 0 489727072 857309184 22432 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209304 22432 13073 16 0 209288 0
vsize: 837216
[startup+120.007 s]
Raw data (loadavg): 0.99 0.94 0.91 3/63 25346
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18013 0 1 0 10898 42 0 0 25 0 10 0 489727072 857309184 22510 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 22510 13073 16 0 209288 0
vsize: 837216
[startup+130.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 25346
Raw data (stat): 25337 (java) S 25336 29653 29652 0 -1 0 18013 0 1 0 11831 42 0 0 25 0 10 0 489727072 857309184 22594 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209304 22594 13073 16 0 209288 0
vsize: 837216
[startup+140.009 s]
Raw data (loadavg): 1.15 0.98 0.92 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18048 0 1 0 12766 45 0 0 25 0 11 0 489727072 857837568 22701 4294967295 134512640 134569956 3221224400 3221210768 1078879329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209433 22701 13073 16 0 209417 0
vsize: 837732
[startup+150.087 s]
Raw data (loadavg): 1.20 0.99 0.93 4/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18081 0 1 0 13592 45 0 0 25 0 11 0 489727072 863956992 26921 4294967295 134512640 134569956 3221224400 3221213604 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210927 26921 13073 16 0 210911 0
vsize: 843708
[startup+160.088 s]
Raw data (loadavg): 1.17 0.99 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 14563 46 0 0 24 0 11 0 489727072 862257152 26525 4294967295 134512640 134569956 3221224400 3221214840 1131246336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 26525 13073 16 0 210496 0
vsize: 842048
[startup+170.088 s]
Raw data (loadavg): 1.14 0.99 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 15542 46 0 0 17 0 11 0 489727072 862257152 26525 4294967295 134512640 134569956 3221224400 3221214896 1131385548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 26525 13073 16 0 210496 0
vsize: 842048
[startup+180.088 s]
Raw data (loadavg): 1.19 1.01 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 16519 47 0 0 21 0 11 0 489727072 862257152 26542 4294967295 134512640 134569956 3221224400 3221214840 1131246336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 26542 13073 16 0 210496 0
vsize: 842048
[startup+190.093 s]
Raw data (loadavg): 1.16 1.01 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 17496 47 0 0 17 0 11 0 489727072 862257152 26577 4294967295 134512640 134569956 3221224400 3221214840 1131246336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 26577 13073 16 0 210496 0
vsize: 842048
[startup+200.093 s]
Raw data (loadavg): 1.14 1.01 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 18473 47 0 0 22 0 11 0 489727072 862257152 26629 4294967295 134512640 134569956 3221224400 3221214856 1131384113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 26629 13073 16 0 210496 0
vsize: 842048
[startup+210.094 s]
Raw data (loadavg): 1.12 1.01 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 19449 48 0 0 22 0 11 0 489727072 862257152 26697 4294967295 134512640 134569956 3221224400 3221214784 1131272556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 26697 13073 16 0 210496 0
vsize: 842048
[startup+220.095 s]
Raw data (loadavg): 1.10 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 20427 49 0 0 21 0 11 0 489727072 862257152 26785 4294967295 134512640 134569956 3221224400 3221214784 1131272813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 26785 13073 16 0 210496 0
vsize: 842048
[startup+230.095 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 21408 49 0 0 23 0 11 0 489727072 862257152 26870 4294967295 134512640 134569956 3221224400 3221214872 1131520497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 26870 13073 16 0 210496 0
vsize: 842048
[startup+240.095 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 22390 49 0 0 18 0 11 0 489727072 862257152 26928 4294967295 134512640 134569956 3221224400 3221214784 1131272613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 26928 13073 16 0 210496 0
vsize: 842048
[startup+250.098 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) S 25336 29653 29652 0 -1 0 18082 0 1 0 23373 50 0 0 24 0 11 0 489727072 862257152 26972 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 26972 13073 16 0 210496 0
vsize: 842048
[startup+260.102 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 24355 50 0 0 16 0 11 0 489727072 862257152 27027 4294967295 134512640 134569956 3221224400 3221214784 1131272934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 27027 13073 16 0 210496 0
vsize: 842048
[startup+270.103 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 25338 51 0 0 17 0 11 0 489727072 862257152 27085 4294967295 134512640 134569956 3221224400 3221214880 1131386117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 27085 13073 16 0 210496 0
vsize: 842048
[startup+280.103 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 26319 51 0 0 19 0 11 0 489727072 862257152 27134 4294967295 134512640 134569956 3221224400 3221214784 1131273485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 27134 13073 16 0 210496 0
vsize: 842048
[startup+290.104 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 27297 52 0 0 19 0 11 0 489727072 862257152 27165 4294967295 134512640 134569956 3221224400 3221214784 1131273540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 27165 13073 16 0 210496 0
vsize: 842048
[startup+300.104 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 28277 53 0 0 18 0 11 0 489727072 862257152 27257 4294967295 134512640 134569956 3221224400 3221214784 1131272597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 27257 13073 16 0 210496 0
vsize: 842048
[startup+310.104 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 29259 53 0 0 20 0 11 0 489727072 862257152 27354 4294967295 134512640 134569956 3221224400 3221214784 1131272699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 27354 13073 16 0 210496 0
vsize: 842048
[startup+320.105 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 30243 54 0 0 25 0 11 0 489727072 862257152 27396 4294967295 134512640 134569956 3221224400 3221214920 1131244377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27396 13073 16 0 210496 0
vsize: 842048
[startup+330.106 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 31226 54 0 0 24 0 11 0 489727072 862257152 27446 4294967295 134512640 134569956 3221224400 3221214784 1131272989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27446 13073 16 0 210496 0
vsize: 842048
[startup+340.106 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 32211 54 0 0 25 0 11 0 489727072 862257152 27504 4294967295 134512640 134569956 3221224400 3221214784 1131272879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27504 13073 16 0 210496 0
vsize: 842048
[startup+350.106 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 33196 54 0 0 25 0 11 0 489727072 862257152 27533 4294967295 134512640 134569956 3221224400 3221214784 1131272865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27533 13073 16 0 210496 0
vsize: 842048
[startup+360.107 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 34181 55 0 0 24 0 11 0 489727072 862257152 27571 4294967295 134512640 134569956 3221224400 3221214784 1131272538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27571 13073 16 0 210496 0
vsize: 842048
[startup+370.107 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 35164 55 0 0 25 0 11 0 489727072 862257152 27595 4294967295 134512640 134569956 3221224400 3221214784 1131272879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27595 13073 16 0 210496 0
vsize: 842048
[startup+380.107 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 36147 55 0 0 25 0 11 0 489727072 862257152 27640 4294967295 134512640 134569956 3221224400 3221214824 1131246449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27640 13073 16 0 210496 0
vsize: 842048
[startup+390.115 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 37130 55 0 0 25 0 11 0 489727072 862257152 27691 4294967295 134512640 134569956 3221224400 3221214880 1131385173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27691 13073 16 0 210496 0
vsize: 842048
[startup+400.117 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 38109 55 0 0 25 0 11 0 489727072 862257152 27760 4294967295 134512640 134569956 3221224400 3221214784 1131272652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27760 13073 16 0 210496 0
vsize: 842048
[startup+410.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) S 25336 29653 29652 0 -1 0 18082 0 1 0 39088 56 0 0 25 0 11 0 489727072 862257152 27796 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27796 13073 16 0 210496 0
vsize: 842048
[startup+420.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 40068 56 0 0 25 0 11 0 489727072 862257152 27853 4294967295 134512640 134569956 3221224400 3221214784 1131272711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27853 13073 16 0 210496 0
vsize: 842048
[startup+430.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 41049 56 0 0 25 0 11 0 489727072 862257152 27883 4294967295 134512640 134569956 3221224400 3221214880 1131385592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27883 13073 16 0 210496 0
vsize: 842048
[startup+440.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 42030 56 0 0 25 0 11 0 489727072 862257152 27937 4294967295 134512640 134569956 3221224400 3221214784 1131273520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27937 13073 16 0 210496 0
vsize: 842048
[startup+450.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 43014 56 0 0 25 0 11 0 489727072 862257152 27991 4294967295 134512640 134569956 3221224400 3221214824 1131246376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 27991 13073 16 0 210496 0
vsize: 842048
[startup+460.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 44002 57 0 0 25 0 11 0 489727072 862257152 28009 4294967295 134512640 134569956 3221224400 3221214880 1131386279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28009 13073 16 0 210496 0
vsize: 842048
[startup+470.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 44981 57 0 0 25 0 11 0 489727072 862257152 28042 4294967295 134512640 134569956 3221224400 3221214784 1131272932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28042 13073 16 0 210496 0
vsize: 842048
[startup+480.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 45956 57 0 0 25 0 11 0 489727072 862257152 28078 4294967295 134512640 134569956 3221224400 3221214656 1131301596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28078 13073 16 0 210496 0
vsize: 842048
[startup+490.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 46932 57 0 0 25 0 11 0 489727072 862257152 28158 4294967295 134512640 134569956 3221224400 3221214784 1131272473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28158 13073 16 0 210496 0
vsize: 842048
[startup+500.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 47910 57 0 0 25 0 11 0 489727072 862257152 28243 4294967295 134512640 134569956 3221224400 3221214784 1131273620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28243 13073 16 0 210496 0
vsize: 842048
[startup+510.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 48888 57 0 0 25 0 11 0 489727072 862257152 28315 4294967295 134512640 134569956 3221224400 3221214760 1131394589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28315 13073 16 0 210496 0
vsize: 842048
[startup+520.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 49867 57 0 0 25 0 11 0 489727072 862257152 28365 4294967295 134512640 134569956 3221224400 3221214784 1131272711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28365 13073 16 0 210496 0
vsize: 842048
[startup+530.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 50847 58 0 0 25 0 11 0 489727072 862257152 28433 4294967295 134512640 134569956 3221224400 3221214784 1131272570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28433 13073 16 0 210496 0
vsize: 842048
[startup+540.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 51827 58 0 0 25 0 11 0 489727072 862257152 28528 4294967295 134512640 134569956 3221224400 3221214656 1131301760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28528 13073 16 0 210496 0
vsize: 842048
[startup+550.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 52800 58 0 0 25 0 11 0 489727072 862257152 28602 4294967295 134512640 134569956 3221224400 3221214656 1131302271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28602 13073 16 0 210496 0
vsize: 842048
[startup+560.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 53772 59 0 0 22 0 11 0 489727072 862257152 28627 4294967295 134512640 134569956 3221224400 3221214784 1131272320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28627 13073 16 0 210496 0
vsize: 842048
[startup+570.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 54748 59 0 0 17 0 11 0 489727072 862257152 28784 4294967295 134512640 134569956 3221224400 3221214656 1131301824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28784 13073 16 0 210496 0
vsize: 842048
[startup+580.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 55728 59 0 0 24 0 11 0 489727072 862257152 28818 4294967295 134512640 134569956 3221224400 3221214784 1131272669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28818 13073 16 0 210496 0
vsize: 842048
[startup+590.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 56709 59 0 0 25 0 11 0 489727072 862257152 28853 4294967295 134512640 134569956 3221224400 3221214520 1131462371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28853 13073 16 0 210496 0
vsize: 842048
[startup+600.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 57690 59 0 0 25 0 11 0 489727072 862257152 28928 4294967295 134512640 134569956 3221224400 3221214824 1131246365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28928 13073 16 0 210496 0
vsize: 842048
[startup+610.123 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 58671 59 0 0 25 0 11 0 489727072 862257152 28969 4294967295 134512640 134569956 3221224400 3221214784 1131272667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 28969 13073 16 0 210496 0
vsize: 842048
[startup+620.123 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 59654 59 0 0 25 0 11 0 489727072 862257152 29009 4294967295 134512640 134569956 3221224400 3221214784 1131272372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29009 13073 16 0 210496 0
vsize: 842048
[startup+630.126 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 60636 59 0 0 25 0 11 0 489727072 862257152 29065 4294967295 134512640 134569956 3221224400 3221214656 1131301824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29065 13073 16 0 210496 0
vsize: 842048
[startup+640.129 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) S 25336 29653 29652 0 -1 0 18082 0 1 0 61618 60 0 0 25 0 11 0 489727072 862257152 29136 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29136 13073 16 0 210496 0
vsize: 842048
[startup+650.129 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 62602 60 0 0 25 0 11 0 489727072 862257152 29169 4294967295 134512640 134569956 3221224400 3221214784 1131272937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29169 13073 16 0 210496 0
vsize: 842048
[startup+660.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 63587 60 0 0 25 0 11 0 489727072 862257152 29190 4294967295 134512640 134569956 3221224400 3221214784 1131273202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29190 13073 16 0 210496 0
vsize: 842048
[startup+670.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 64571 60 0 0 25 0 11 0 489727072 862257152 29224 4294967295 134512640 134569956 3221224400 3221214784 1131272618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29224 13073 16 0 210496 0
vsize: 842048
[startup+680.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 65556 60 0 0 25 0 11 0 489727072 862257152 29246 4294967295 134512640 134569956 3221224400 3221214784 1131272699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29246 13073 16 0 210496 0
vsize: 842048
[startup+690.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 66538 60 0 0 25 0 11 0 489727072 862257152 29283 4294967295 134512640 134569956 3221224400 3221214824 1131246353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29283 13073 16 0 210496 0
vsize: 842048
[startup+700.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 67523 60 0 0 25 0 11 0 489727072 862257152 29317 4294967295 134512640 134569956 3221224400 3221214880 1131385173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29317 13073 16 0 210496 0
vsize: 842048
[startup+710.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 68507 61 0 0 25 0 11 0 489727072 862257152 29345 4294967295 134512640 134569956 3221224400 3221214784 1131272669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29345 13073 16 0 210496 0
vsize: 842048
[startup+720.132 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 69492 61 0 0 23 0 11 0 489727072 862257152 29386 4294967295 134512640 134569956 3221224400 3221214880 1131385188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29386 13073 16 0 210496 0
vsize: 842048
[startup+730.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 70476 61 0 0 25 0 11 0 489727072 862257152 29419 4294967295 134512640 134569956 3221224400 3221214784 1131272307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29419 13073 16 0 210496 0
vsize: 842048
[startup+740.132 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 71461 61 0 0 25 0 11 0 489727072 862257152 29436 4294967295 134512640 134569956 3221224400 3221214880 1131386183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29436 13073 16 0 210496 0
vsize: 842048
[startup+750.133 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 72446 61 0 0 25 0 11 0 489727072 862257152 29476 4294967295 134512640 134569956 3221224400 3221214824 1131246365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29476 13073 16 0 210496 0
vsize: 842048
[startup+760.133 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 73429 61 0 0 24 0 11 0 489727072 862257152 29496 4294967295 134512640 134569956 3221224400 3221214784 1131272865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29496 13073 16 0 210496 0
vsize: 842048
[startup+770.133 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 74414 61 0 0 25 0 11 0 489727072 862257152 29540 4294967295 134512640 134569956 3221224400 3221214824 1131246336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29540 13073 16 0 210496 0
vsize: 842048
[startup+780.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 75398 61 0 0 25 0 11 0 489727072 862257152 29575 4294967295 134512640 134569956 3221224400 3221214784 1131272963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29575 13073 16 0 210496 0
vsize: 842048
[startup+790.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 76381 62 0 0 24 0 11 0 489727072 862257152 29603 4294967295 134512640 134569956 3221224400 3221214784 1131272725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29603 13073 16 0 210496 0
vsize: 842048
[startup+800.135 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 77358 62 0 0 25 0 11 0 489727072 862257152 29658 4294967295 134512640 134569956 3221224400 3221214784 1131273149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29658 13073 16 0 210496 0
vsize: 842048
[startup+810.135 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 78324 62 0 0 25 0 11 0 489727072 862257152 29699 4294967295 134512640 134569956 3221224400 3221214824 1131246336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29699 13073 16 0 210496 0
vsize: 842048
[startup+820.135 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 79290 62 0 0 25 0 11 0 489727072 862257152 29764 4294967295 134512640 134569956 3221224400 3221214784 1131272699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29764 13073 16 0 210496 0
vsize: 842048
[startup+830.136 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 80266 62 0 0 25 0 11 0 489727072 862257152 29925 4294967295 134512640 134569956 3221224400 3221214824 1131246365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29925 13073 16 0 210496 0
vsize: 842048
[startup+840.142 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 81247 62 0 0 24 0 11 0 489727072 862257152 29972 4294967295 134512640 134569956 3221224400 3221214880 1131385186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 29972 13073 16 0 210496 0
vsize: 842048
[startup+850.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 82230 62 0 0 25 0 11 0 489727072 862257152 30034 4294967295 134512640 134569956 3221224400 3221214880 1131385442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30034 13073 16 0 210496 0
vsize: 842048
[startup+860.149 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 83213 63 0 0 25 0 11 0 489727072 862257152 30057 4294967295 134512640 134569956 3221224400 3221214784 1131272725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30057 13073 16 0 210496 0
vsize: 842048
[startup+870.149 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 84192 63 0 0 25 0 11 0 489727072 862257152 30117 4294967295 134512640 134569956 3221224400 3221214876 1131272268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30117 13073 16 0 210496 0
vsize: 842048
[startup+880.149 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 85174 63 0 0 25 0 11 0 489727072 862257152 30166 4294967295 134512640 134569956 3221224400 3221214784 1131272340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30166 13073 16 0 210496 0
vsize: 842048
[startup+890.155 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 86153 63 0 0 24 0 11 0 489727072 862257152 30237 4294967295 134512640 134569956 3221224400 3221214880 1131385640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30237 13073 16 0 210496 0
vsize: 842048
[startup+900.155 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 87136 63 0 0 25 0 11 0 489727072 862257152 30282 4294967295 134512640 134569956 3221224400 3221214784 1131273540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30282 13073 16 0 210496 0
vsize: 842048
[startup+910.164 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 88119 63 0 0 25 0 11 0 489727072 862257152 30321 4294967295 134512640 134569956 3221224400 3221214876 1131273641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30321 13073 16 0 210496 0
vsize: 842048
[startup+920.185 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 89104 64 0 0 25 0 11 0 489727072 862257152 30375 4294967295 134512640 134569956 3221224400 3221214784 1131273218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30375 13073 16 0 210496 0
vsize: 842048
[startup+930.185 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 90089 64 0 0 25 0 11 0 489727072 862257152 30401 4294967295 134512640 134569956 3221224400 3221214784 1131272699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30401 13073 16 0 210496 0
vsize: 842048
[startup+940.186 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 91071 64 0 0 24 0 11 0 489727072 862257152 30433 4294967295 134512640 134569956 3221224400 3221214784 1131273108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30433 13073 16 0 210496 0
vsize: 842048
[startup+950.186 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 92054 64 0 0 25 0 11 0 489727072 862257152 30460 4294967295 134512640 134569956 3221224400 3221214880 1131385592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30460 13073 16 0 210496 0
vsize: 842048
[startup+960.186 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 93036 64 0 0 25 0 11 0 489727072 862257152 30506 4294967295 134512640 134569956 3221224400 3221214784 1131272699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30506 13073 16 0 210496 0
vsize: 842048
[startup+970.187 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 94021 64 0 0 25 0 11 0 489727072 862257152 30542 4294967295 134512640 134569956 3221224400 3221214784 1131272873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30542 13073 16 0 210496 0
vsize: 842048
[startup+980.187 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 95006 65 0 0 25 0 11 0 489727072 862257152 30572 4294967295 134512640 134569956 3221224400 3221214880 1131386137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30572 13073 16 0 210496 0
vsize: 842048
[startup+990.188 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 95990 65 0 0 25 0 11 0 489727072 862257152 30598 4294967295 134512640 134569956 3221224400 3221214784 1131273554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30598 13073 16 0 210496 0
vsize: 842048
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 96974 65 0 0 24 0 11 0 489727072 862257152 30629 4294967295 134512640 134569956 3221224400 3221214784 1131272364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30629 13073 16 0 210496 0
vsize: 842048
[startup+1010.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 97960 65 0 0 25 0 11 0 489727072 862257152 30656 4294967295 134512640 134569956 3221224400 3221214504 1131428848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30656 13073 16 0 210496 0
vsize: 842048
[startup+1020.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 98945 65 0 0 25 0 11 0 489727072 862257152 30680 4294967295 134512640 134569956 3221224400 3221214784 1131272669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30680 13073 16 0 210496 0
vsize: 842048
[startup+1030.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 99928 65 0 0 25 0 11 0 489727072 862257152 30708 4294967295 134512640 134569956 3221224400 3221214876 1131273641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30708 13073 16 0 210496 0
vsize: 842048
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18082 0 1 0 100911 66 0 0 25 0 11 0 489727072 862257152 30745 4294967295 134512640 134569956 3221224400 3221214784 1131272652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30745 13073 16 0 210496 0
vsize: 842048
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 101893 66 0 0 25 0 11 0 489727072 862257152 30781 4294967295 134512640 134569956 3221224400 3221214784 1131273520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30781 13073 16 0 210496 0
vsize: 842048
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 102880 66 0 0 25 0 11 0 489727072 862257152 30830 4294967295 134512640 134569956 3221224400 3221213944 1131626533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30830 13073 16 0 210496 0
vsize: 842048
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 103871 67 0 0 25 0 11 0 489727072 862257152 30852 4294967295 134512640 134569956 3221224400 3221214784 1131272940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30852 13073 16 0 210496 0
vsize: 842048
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 104859 67 0 0 25 0 11 0 489727072 862257152 30881 4294967295 134512640 134569956 3221224400 3221214784 1131272989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30881 13073 16 0 210496 0
vsize: 842048
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 105847 67 0 0 25 0 11 0 489727072 862257152 30898 4294967295 134512640 134569956 3221224400 3221214824 1131246416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30898 13073 16 0 210496 0
vsize: 842048
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 106834 67 0 0 20 0 11 0 489727072 862257152 30911 4294967295 134512640 134569956 3221224400 3221214160 1131625394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30911 13073 16 0 210496 0
vsize: 842048
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 107821 67 0 0 25 0 11 0 489727072 862257152 30933 4294967295 134512640 134569956 3221224400 3221214824 1131246365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 30933 13073 16 0 210496 0
vsize: 842048
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 108810 67 0 0 25 0 11 0 489727072 862257152 31029 4294967295 134512640 134569956 3221224400 3221214824 1131246336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31029 13073 16 0 210496 0
vsize: 842048
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 109799 67 0 0 25 0 11 0 489727072 862257152 31041 4294967295 134512640 134569956 3221224400 3221214824 1131246336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31041 13073 16 0 210496 0
vsize: 842048
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 110787 68 0 0 25 0 11 0 489727072 862257152 31061 4294967295 134512640 134569956 3221224400 3221214824 1131246353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31061 13073 16 0 210496 0
vsize: 842048
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 111776 68 0 0 25 0 11 0 489727072 862257152 31087 4294967295 134512640 134569956 3221224400 3221214436 1131626640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31087 13073 16 0 210496 0
vsize: 842048
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 112763 68 0 0 25 0 11 0 489727072 862257152 31113 4294967295 134512640 134569956 3221224400 3221214824 1131246461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31113 13073 16 0 210496 0
vsize: 842048
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 113751 68 0 0 25 0 11 0 489727072 862257152 31152 4294967295 134512640 134569956 3221224400 3221214296 1085679318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31152 13073 16 0 210496 0
vsize: 842048
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 114739 68 0 0 25 0 11 0 489727072 862257152 31176 4294967295 134512640 134569956 3221224400 3221214880 1131386137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31176 13073 16 0 210496 0
vsize: 842048
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 115729 68 0 0 25 0 11 0 489727072 862257152 31212 4294967295 134512640 134569956 3221224400 3221214824 1131246486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31212 13073 16 0 210496 0
vsize: 842048
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 116717 69 0 0 25 0 11 0 489727072 862257152 31225 4294967295 134512640 134569956 3221224400 3221214880 1131386298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31225 13073 16 0 210496 0
vsize: 842048
[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 117706 69 0 0 21 0 11 0 489727072 862257152 31248 4294967295 134512640 134569956 3221224400 3221214784 1131272699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31248 13073 16 0 210496 0
vsize: 842048
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 118694 69 0 0 25 0 11 0 489727072 862257152 31264 4294967295 134512640 134569956 3221224400 3221214880 1131385377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31264 13073 16 0 210496 0
vsize: 842048
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 119684 69 0 0 25 0 11 0 489727072 862257152 31293 4294967295 134512640 134569956 3221224400 3221214784 1131272989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31293 13073 16 0 210496 0
vsize: 842048
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25347
Raw data (stat): 25337 (java) R 25336 29653 29652 0 -1 0 18083 0 1 0 120671 69 0 0 24 0 11 0 489727072 862257152 31307 4294967295 134512640 134569956 3221224400 3221214880 1131385368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 31307 13073 16 0 210496 0
vsize: 842048
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.29 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 25349
Raw data (stat): 25337 (java) Z 25336 29653 29652 0 -1 1036 18083 10917 1 0 120674 69 2984 38 25 0 1 0 489727072 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): 1240.29
CPU time (s): 1237.67
CPU user time (s): 1236.59
CPU system time (s): 1.07883
CPU usage (%): 99.7889
Max. virtual memory (Kb): 843708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####