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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-80bau3b.opb
MD5SUM	16a606cf9ab6b9dba681e237f3d29f84
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	126788
Biggest coefficient in the objective function	175552593920000
Number of bits for the biggest coefficient in the objective function	48
Sum of the numbers in the objective function	8868947507751438
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	175552593920000
Number of bits of the biggest number in a constraint	48
Biggest sum of numbers in a constraint	8868947507751438
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.45378
Number of variables	157082
Total number of constraints	5220
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5220
Minimum length of a constraint	7
Maximum length of a constraint	2220
Trace number 20198

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-21 20:20:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15427 boxname=wulflinc24 idbench=1187 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  16a606cf9ab6b9dba681e237f3d29f84  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-80bau3b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-80bau3b.opb
IDLAUNCH: 15427
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        686808 kB
Buffers:         31696 kB
Cached:         291324 kB
SwapCached:        524 kB
Active:         141824 kB
Inactive:       183188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        686556 kB
SwapTotal:     2097892 kB
SwapFree:      2096476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            17188 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 20:42:22 (client local time) WITH STATUS 143 IN 1310.18 SECONDS
stats: 15427 7 1310.18 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-80bau3b.opb
c reading problem 
c [nbvar=157482]
c [nbconstr=5220]
#### 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.98 0.95 2/54 15573
Raw data (stat): 15573 (runsolver) R 15572 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547910396 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.0076 s]
Raw data (loadavg): 0.94 0.98 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 892 36 0 0 25 0 10 0 547910396 853712896 19154 4294967295 134512640 134569956 3221224400 3221214704 1131197085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208426 19154 13073 16 0 208410 0
vsize: 833704
[startup+20.1093 s]
Raw data (loadavg): 0.95 0.98 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 1788 36 0 0 25 0 10 0 547910396 853889024 19693 4294967295 134512640 134569956 3221224400 3221214272 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 19693 13073 16 0 208453 0
vsize: 833876
[startup+30.11 s]
Raw data (loadavg): 0.96 0.98 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 2689 36 0 0 25 0 10 0 547910396 853889024 20141 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 20141 13073 16 0 208453 0
vsize: 833876
[startup+40.1108 s]
Raw data (loadavg): 0.96 0.98 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 3617 37 0 0 25 0 10 0 547910396 853889024 20375 4294967295 134512640 134569956 3221224400 3221214824 1131218755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 20375 13073 16 0 208453 0
vsize: 833876
[startup+50.1115 s]
Raw data (loadavg): 0.97 0.98 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 4544 37 0 0 24 0 10 0 547910396 853889024 20502 4294967295 134512640 134569956 3221224400 3221214824 1131218755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 20502 13073 16 0 208453 0
vsize: 833876
[startup+60.1111 s]
Raw data (loadavg): 0.97 0.98 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 5476 38 0 0 25 0 10 0 547910396 853889024 20600 4294967295 134512640 134569956 3221224400 3221214824 1131217746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 20600 13073 16 0 208453 0
vsize: 833876
[startup+70.1114 s]
Raw data (loadavg): 0.98 0.98 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 6419 38 0 0 25 0 10 0 547910396 853889024 20827 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 20827 13073 16 0 208453 0
vsize: 833876
[startup+80.1126 s]
Raw data (loadavg): 1.05 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 7366 39 0 0 25 0 10 0 547910396 853889024 20905 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 20905 13073 16 0 208453 0
vsize: 833876
[startup+90.1123 s]
Raw data (loadavg): 1.04 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 8313 39 0 0 25 0 10 0 547910396 853889024 20977 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 20977 13073 16 0 208453 0
vsize: 833876
[startup+100.122 s]
Raw data (loadavg): 1.04 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) S 15572 28546 28545 0 -1 0 17995 0 1 0 9260 40 0 0 25 0 10 0 547910396 853889024 21045 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21045 13073 16 0 208453 0
vsize: 833876
[startup+110.128 s]
Raw data (loadavg): 1.03 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 10210 40 0 0 25 0 10 0 547910396 853889024 21110 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21110 13073 16 0 208453 0
vsize: 833876
[startup+120.127 s]
Raw data (loadavg): 1.03 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 11158 41 0 0 25 0 10 0 547910396 853889024 21169 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21169 13073 16 0 208453 0
vsize: 833876
[startup+130.127 s]
Raw data (loadavg): 1.02 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 12108 41 0 0 25 0 10 0 547910396 853889024 21225 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21225 13073 16 0 208453 0
vsize: 833876
[startup+140.128 s]
Raw data (loadavg): 1.02 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 13053 42 0 0 24 0 10 0 547910396 853889024 21282 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21282 13073 16 0 208453 0
vsize: 833876
[startup+150.128 s]
Raw data (loadavg): 1.01 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 14002 42 0 0 25 0 10 0 547910396 853889024 21334 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21334 13073 16 0 208453 0
vsize: 833876
[startup+160.128 s]
Raw data (loadavg): 1.01 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 14951 42 0 0 25 0 10 0 547910396 853889024 21383 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21383 13073 16 0 208453 0
vsize: 833876
[startup+170.128 s]
Raw data (loadavg): 1.01 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 15895 43 0 0 25 0 10 0 547910396 853889024 21431 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21431 13073 16 0 208453 0
vsize: 833876
[startup+180.129 s]
Raw data (loadavg): 1.01 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 16819 44 0 0 25 0 10 0 547910396 853889024 21477 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21477 13073 16 0 208453 0
vsize: 833876
[startup+190.146 s]
Raw data (loadavg): 1.01 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 17750 44 0 0 25 0 10 0 547910396 853889024 21778 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21778 13073 16 0 208453 0
vsize: 833876
[startup+200.147 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 18695 45 0 0 25 0 10 0 547910396 853889024 21821 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21821 13073 16 0 208453 0
vsize: 833876
[startup+210.147 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 19635 46 0 0 24 0 10 0 547910396 853889024 21867 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21867 13073 16 0 208453 0
vsize: 833876
[startup+220.149 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 20579 46 0 0 25 0 10 0 547910396 853889024 21908 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21908 13073 16 0 208453 0
vsize: 833876
[startup+230.149 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 21523 46 0 0 25 0 10 0 547910396 853889024 21950 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21950 13073 16 0 208453 0
vsize: 833876
[startup+240.152 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 22466 47 0 0 25 0 10 0 547910396 853889024 21991 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 21991 13073 16 0 208453 0
vsize: 833876
[startup+250.152 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 23409 47 0 0 25 0 10 0 547910396 853889024 22031 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22031 13073 16 0 208453 0
vsize: 833876
[startup+260.153 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 24350 48 0 0 25 0 10 0 547910396 853889024 22070 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22070 13073 16 0 208453 0
vsize: 833876
[startup+270.153 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) S 15572 28546 28545 0 -1 0 17995 0 1 0 25291 49 0 0 25 0 10 0 547910396 853889024 22108 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22108 13073 16 0 208453 0
vsize: 833876
[startup+280.153 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 26228 50 0 0 25 0 10 0 547910396 853889024 22148 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22148 13073 16 0 208453 0
vsize: 833876
[startup+290.159 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 27168 50 0 0 25 0 10 0 547910396 853889024 22185 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22185 13073 16 0 208453 0
vsize: 833876
[startup+300.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 28108 51 0 0 25 0 10 0 547910396 853889024 22221 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22221 13073 16 0 208453 0
vsize: 833876
[startup+310.161 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 29048 51 0 0 25 0 10 0 547910396 853889024 22256 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22256 13073 16 0 208453 0
vsize: 833876
[startup+320.161 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 29987 51 0 0 25 0 10 0 547910396 853889024 22291 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22291 13073 16 0 208453 0
vsize: 833876
[startup+330.167 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 30927 52 0 0 25 0 10 0 547910396 853889024 22326 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22326 13073 16 0 208453 0
vsize: 833876
[startup+340.168 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 31866 52 0 0 25 0 10 0 547910396 853889024 22361 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22361 13073 16 0 208453 0
vsize: 833876
[startup+350.168 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 32804 52 0 0 25 0 10 0 547910396 853889024 22394 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22394 13073 16 0 208453 0
vsize: 833876
[startup+360.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 33742 53 0 0 25 0 10 0 547910396 853889024 22427 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22427 13073 16 0 208453 0
vsize: 833876
[startup+370.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) S 15572 28546 28545 0 -1 0 17995 0 1 0 34676 53 0 0 25 0 10 0 547910396 853889024 22460 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22460 13073 16 0 208453 0
vsize: 833876
[startup+380.177 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 35611 53 0 0 24 0 10 0 547910396 853889024 22494 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22494 13073 16 0 208453 0
vsize: 833876
[startup+390.177 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 36547 54 0 0 25 0 10 0 547910396 853889024 22525 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22525 13073 16 0 208453 0
vsize: 833876
[startup+400.178 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 37483 54 0 0 25 0 10 0 547910396 853889024 22556 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22556 13073 16 0 208453 0
vsize: 833876
[startup+410.177 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 38418 54 0 0 25 0 10 0 547910396 853889024 22587 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22587 13073 16 0 208453 0
vsize: 833876
[startup+420.178 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 39352 55 0 0 25 0 10 0 547910396 853889024 22617 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22617 13073 16 0 208453 0
vsize: 833876
[startup+430.179 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 40287 55 0 0 25 0 10 0 547910396 853889024 22649 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22649 13073 16 0 208453 0
vsize: 833876
[startup+440.179 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 41221 56 0 0 25 0 10 0 547910396 853889024 22678 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22678 13073 16 0 208453 0
vsize: 833876
[startup+450.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 42155 56 0 0 25 0 10 0 547910396 853889024 22707 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22707 13073 16 0 208453 0
vsize: 833876
[startup+460.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 43088 57 0 0 25 0 10 0 547910396 853889024 22736 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22736 13073 16 0 208453 0
vsize: 833876
[startup+470.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 44021 57 0 0 25 0 10 0 547910396 853889024 22765 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22765 13073 16 0 208453 0
vsize: 833876
[startup+480.181 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 44954 57 0 0 25 0 10 0 547910396 853889024 22793 4294967295 134512640 134569956 3221224400 3221214152 1076877601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22793 13073 16 0 208453 0
vsize: 833876
[startup+490.181 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 45887 57 0 0 25 0 10 0 547910396 853889024 22821 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22821 13073 16 0 208453 0
vsize: 833876
[startup+500.182 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 46818 57 0 0 25 0 10 0 547910396 853889024 22849 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22849 13073 16 0 208453 0
vsize: 833876
[startup+510.182 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 47750 58 0 0 25 0 10 0 547910396 853889024 22877 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22877 13073 16 0 208453 0
vsize: 833876
[startup+520.181 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 48680 58 0 0 25 0 10 0 547910396 853889024 22904 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22904 13073 16 0 208453 0
vsize: 833876
[startup+530.182 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 49610 58 0 0 25 0 10 0 547910396 853889024 22930 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22930 13073 16 0 208453 0
vsize: 833876
[startup+540.183 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 50541 58 0 0 25 0 10 0 547910396 853889024 22955 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22955 13073 16 0 208453 0
vsize: 833876
[startup+550.183 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 51470 59 0 0 25 0 10 0 547910396 853889024 22982 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22982 13073 16 0 208453 0
vsize: 833876
[startup+560.184 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 52398 59 0 0 25 0 10 0 547910396 853889024 23008 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 23008 13073 16 0 208453 0
vsize: 833876
[startup+570.184 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 53327 60 0 0 25 0 10 0 547910396 853889024 23036 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 23036 13073 16 0 208453 0
vsize: 833876
[startup+580.184 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) S 15572 28546 28545 0 -1 0 17995 0 1 0 54259 60 0 0 25 0 10 0 547910396 853889024 23062 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 23062 13073 16 0 208453 0
vsize: 833876
[startup+590.184 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 55189 60 0 0 25 0 10 0 547910396 853889024 23089 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 23089 13073 16 0 208453 0
vsize: 833876
[startup+600.185 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 56117 61 0 0 25 0 10 0 547910396 853889024 23116 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 23116 13073 16 0 208453 0
vsize: 833876
[startup+610.185 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 57043 61 0 0 25 0 10 0 547910396 853889024 23142 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 23142 13073 16 0 208453 0
vsize: 833876
[startup+620.185 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 57970 62 0 0 25 0 10 0 547910396 853889024 23167 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 23167 13073 16 0 208453 0
vsize: 833876
[startup+630.186 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 58897 62 0 0 25 0 10 0 547910396 853889024 23191 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 23191 13073 16 0 208453 0
vsize: 833876
[startup+640.187 s]
Raw data (loadavg): 1.00 1.00 0.95 3/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 59823 62 0 0 24 0 10 0 547910396 853889024 23215 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 23215 13073 16 0 208453 0
vsize: 833876
[startup+650.188 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 60753 62 0 0 25 0 10 0 547910396 853889024 23238 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 23238 13073 16 0 208453 0
vsize: 833876
[startup+660.188 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 61679 62 0 0 25 0 10 0 547910396 853889024 23262 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 23262 13073 16 0 208453 0
vsize: 833876
[startup+670.189 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 62604 62 0 0 25 0 10 0 547910396 853889024 23285 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 23285 13073 16 0 208453 0
vsize: 833876
[startup+680.195 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) S 15572 28546 28545 0 -1 0 17995 0 1 0 63524 62 0 0 25 0 10 0 547910396 853889024 24282 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24282 13073 16 0 208453 0
vsize: 833876
[startup+690.195 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 64450 62 0 0 25 0 10 0 547910396 853889024 24282 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24282 13073 16 0 208453 0
vsize: 833876
[startup+700.196 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 65365 63 0 0 25 0 10 0 547910396 853889024 24297 4294967295 134512640 134569956 3221224400 3221214804 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24297 13073 16 0 208453 0
vsize: 833876
[startup+710.197 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 66285 63 0 0 21 0 10 0 547910396 853889024 24319 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24319 13073 16 0 208453 0
vsize: 833876
[startup+720.198 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 67198 63 0 0 25 0 10 0 547910396 853889024 24342 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24342 13073 16 0 208453 0
vsize: 833876
[startup+730.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) S 15572 28546 28545 0 -1 0 17995 0 1 0 68116 63 0 0 25 0 10 0 547910396 853889024 24363 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24363 13073 16 0 208453 0
vsize: 833876
[startup+740.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 69030 64 0 0 25 0 10 0 547910396 853889024 24390 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24390 13073 16 0 208453 0
vsize: 833876
[startup+750.203 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 69943 64 0 0 24 0 10 0 547910396 853889024 24413 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24413 13073 16 0 208453 0
vsize: 833876
[startup+760.203 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 70862 64 0 0 25 0 10 0 547910396 853889024 24434 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24434 13073 16 0 208453 0
vsize: 833876
[startup+770.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 71774 64 0 0 24 0 10 0 547910396 853889024 24466 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24466 13073 16 0 208453 0
vsize: 833876
[startup+780.219 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 72692 64 0 0 25 0 10 0 547910396 853889024 24490 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24490 13073 16 0 208453 0
vsize: 833876
[startup+790.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 73604 64 0 0 25 0 10 0 547910396 853889024 24516 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24516 13073 16 0 208453 0
vsize: 833876
[startup+800.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 74521 64 0 0 25 0 10 0 547910396 853889024 24536 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24536 13073 16 0 208453 0
vsize: 833876
[startup+810.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 75433 64 0 0 25 0 10 0 547910396 853889024 24568 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24568 13073 16 0 208453 0
vsize: 833876
[startup+820.222 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 76349 65 0 0 25 0 10 0 547910396 853889024 24591 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24591 13073 16 0 208453 0
vsize: 833876
[startup+830.222 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 77259 65 0 0 24 0 10 0 547910396 853889024 24617 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24617 13073 16 0 208453 0
vsize: 833876
[startup+840.223 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 78174 65 0 0 25 0 10 0 547910396 853889024 24637 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24637 13073 16 0 208453 0
vsize: 833876
[startup+850.225 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 79083 65 0 0 24 0 10 0 547910396 853889024 24666 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24666 13073 16 0 208453 0
vsize: 833876
[startup+860.225 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 79998 65 0 0 25 0 10 0 547910396 853889024 24686 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24686 13073 16 0 208453 0
vsize: 833876
[startup+870.225 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 80913 65 0 0 25 0 10 0 547910396 853889024 24711 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24711 13073 16 0 208453 0
vsize: 833876
[startup+880.226 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 81822 65 0 0 25 0 10 0 547910396 853889024 24731 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24731 13073 16 0 208453 0
vsize: 833876
[startup+890.226 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 82737 65 0 0 25 0 10 0 547910396 853889024 24760 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24760 13073 16 0 208453 0
vsize: 833876
[startup+900.227 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 83646 65 0 0 24 0 10 0 547910396 853889024 24784 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24784 13073 16 0 208453 0
vsize: 833876
[startup+910.228 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 84560 65 0 0 25 0 10 0 547910396 853889024 24803 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24803 13073 16 0 208453 0
vsize: 833876
[startup+920.231 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 85474 65 0 0 25 0 10 0 547910396 853889024 24828 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24828 13073 16 0 208453 0
vsize: 833876
[startup+930.232 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 86382 66 0 0 25 0 10 0 547910396 853889024 24851 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24851 13073 16 0 208453 0
vsize: 833876
[startup+940.231 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 87294 66 0 0 25 0 10 0 547910396 853889024 24876 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24876 13073 16 0 208453 0
vsize: 833876
[startup+950.233 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 88200 66 0 0 24 0 10 0 547910396 853889024 24897 4294967295 134512640 134569956 3221224400 3221214804 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24897 13073 16 0 208453 0
vsize: 833876
[startup+960.233 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 89112 66 0 0 25 0 10 0 547910396 853889024 24917 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24917 13073 16 0 208453 0
vsize: 833876
[startup+970.234 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 90025 66 0 0 23 0 10 0 547910396 853889024 24943 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24943 13073 16 0 208453 0
vsize: 833876
[startup+980.234 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 90929 66 0 0 19 0 10 0 547910396 853889024 24968 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 24968 13073 16 0 208453 0
vsize: 833876
[startup+990.235 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 91841 67 0 0 22 0 10 0 547910396 853889024 24988 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 24988 13073 16 0 208453 0
vsize: 833876
[startup+1000.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) S 15572 28546 28545 0 -1 0 17995 0 1 0 92751 68 0 0 25 0 10 0 547910396 853889024 25011 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25011 13073 16 0 208453 0
vsize: 833876
[startup+1010.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 93658 68 0 0 25 0 10 0 547910396 853889024 25030 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25030 13073 16 0 208453 0
vsize: 833876
[startup+1020.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 94569 68 0 0 25 0 10 0 547910396 853889024 25055 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25055 13073 16 0 208453 0
vsize: 833876
[startup+1030.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 95474 69 0 0 25 0 10 0 547910396 853889024 25075 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25075 13073 16 0 208453 0
vsize: 833876
[startup+1040.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 96385 69 0 0 25 0 10 0 547910396 853889024 25093 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25093 13073 16 0 208453 0
vsize: 833876
[startup+1050.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 97290 69 0 0 25 0 10 0 547910396 853889024 25122 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25122 13073 16 0 208453 0
vsize: 833876
[startup+1060.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 98200 70 0 0 25 0 10 0 547910396 853889024 25141 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25141 13073 16 0 208453 0
vsize: 833876
[startup+1070.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 99103 70 0 0 24 0 10 0 547910396 853889024 25165 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25165 13073 16 0 208453 0
vsize: 833876
[startup+1080.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 100013 70 0 0 25 0 10 0 547910396 853889024 25186 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25186 13073 16 0 208453 0
vsize: 833876
[startup+1090.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 100920 70 0 0 25 0 10 0 547910396 853889024 25208 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25208 13073 16 0 208453 0
vsize: 833876
[startup+1100.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 101821 71 0 0 24 0 10 0 547910396 853889024 25230 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25230 13073 16 0 208453 0
vsize: 833876
[startup+1110.24 s]
Raw data (loadavg): 1.07 1.02 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 102730 71 0 0 18 0 10 0 547910396 853889024 25247 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25247 13073 16 0 208453 0
vsize: 833876
[startup+1120.24 s]
Raw data (loadavg): 1.06 1.02 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 103639 72 0 0 23 0 10 0 547910396 853889024 25270 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25270 13073 16 0 208453 0
vsize: 833876
[startup+1130.24 s]
Raw data (loadavg): 1.05 1.01 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 104542 72 0 0 19 0 10 0 547910396 853889024 25292 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25292 13073 16 0 208453 0
vsize: 833876
[startup+1140.24 s]
Raw data (loadavg): 1.04 1.01 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 105449 72 0 0 21 0 10 0 547910396 853889024 25312 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25312 13073 16 0 208453 0
vsize: 833876
[startup+1150.24 s]
Raw data (loadavg): 1.04 1.01 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 106358 73 0 0 23 0 10 0 547910396 853889024 25331 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25331 13073 16 0 208453 0
vsize: 833876
[startup+1160.25 s]
Raw data (loadavg): 1.03 1.01 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 107258 73 0 0 19 0 10 0 547910396 853889024 25355 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25355 13073 16 0 208453 0
vsize: 833876
[startup+1170.25 s]
Raw data (loadavg): 1.02 1.01 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 108165 73 0 0 20 0 10 0 547910396 853889024 25372 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25372 13073 16 0 208453 0
vsize: 833876
[startup+1180.25 s]
Raw data (loadavg): 1.02 1.01 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 109070 73 0 0 21 0 10 0 547910396 853889024 25395 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25395 13073 16 0 208453 0
vsize: 833876
[startup+1190.25 s]
Raw data (loadavg): 1.02 1.01 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 109977 73 0 0 23 0 10 0 547910396 853889024 25413 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25413 13073 16 0 208453 0
vsize: 833876
[startup+1200.25 s]
Raw data (loadavg): 1.01 1.01 0.96 2/63 15582
Raw data (stat): 15573 (java) S 15572 28546 28545 0 -1 0 17995 0 1 0 110880 73 0 0 24 0 10 0 547910396 853889024 25434 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25434 13073 16 0 208453 0
vsize: 833876
[startup+1210.25 s]
Raw data (loadavg): 1.01 1.01 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 111783 73 0 0 19 0 10 0 547910396 853889024 25455 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25455 13073 16 0 208453 0
vsize: 833876
[startup+1220.26 s]
Raw data (loadavg): 1.01 1.01 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 112687 73 0 0 20 0 10 0 547910396 853889024 25474 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25474 13073 16 0 208453 0
vsize: 833876
[startup+1230.26 s]
Raw data (loadavg): 1.01 1.00 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 113590 73 0 0 22 0 10 0 547910396 853889024 25494 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25494 13073 16 0 208453 0
vsize: 833876
[startup+1240.26 s]
Raw data (loadavg): 1.01 1.00 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 114494 73 0 0 23 0 10 0 547910396 853889024 25511 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25511 13073 16 0 208453 0
vsize: 833876
[startup+1250.27 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 115393 74 0 0 19 0 10 0 547910396 853889024 25531 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25531 13073 16 0 208453 0
vsize: 833876
[startup+1260.27 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 116298 74 0 0 20 0 10 0 547910396 853889024 25546 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25546 13073 16 0 208453 0
vsize: 833876
[startup+1270.27 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 117202 74 0 0 21 0 10 0 547910396 853889024 25561 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25561 13073 16 0 208453 0
vsize: 833876
[startup+1280.27 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 118106 74 0 0 21 0 10 0 547910396 853889024 25577 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25577 13073 16 0 208453 0
vsize: 833876
[startup+1290.27 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 119011 74 0 0 23 0 10 0 547910396 853889024 25606 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25606 13073 16 0 208453 0
vsize: 833876
[startup+1300.27 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 119914 75 0 0 24 0 10 0 547910396 853889024 25626 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25626 13073 16 0 208453 0
vsize: 833876
[startup+1310.27 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 15582
Raw data (stat): 15573 (java) R 15572 28546 28545 0 -1 0 17995 0 1 0 120811 75 0 0 19 0 10 0 547910396 853889024 25645 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25645 13073 16 0 208453 0
vsize: 833876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.35 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 15583
Raw data (stat): 15573 (java) Z 15572 28546 28545 0 -1 1036 17995 7355 1 0 120814 75 10086 41 19 0 1 0 547910396 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.35
CPU time (s): 1310.18
CPU user time (s): 1309.01
CPU system time (s): 1.16782
CPU usage (%): 99.9868
Max. virtual memory (Kb): 833876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####